Merge pull request #382 from RAIRLab/325-naming-convention-held-in-Lo…

…s-Angeles Better Format for Downloaded Files
RAIRLab · Apr 15, 2024 · 4d2a377 · 4d2a377
2 parents c412cb0 + a894438
commit 4d2a377
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/AEG/AEGTree.ts b/src/AEG/AEGTree.ts
@@ -260,6 +260,7 @@ export class AEGTree {
 
     /**
      * Returns a string representation of this AEGTree.
+     *
      * @returns Structured ordering of all children in this AEGTree in string form.
      */
     public toString(): string {

diff --git a/src/index.ts b/src/index.ts
@@ -208,20 +208,20 @@ export function aegStringify(treeData: AEGTree | ProofModeNode[]): string {
 /**
  * Calls appropriate methods to save the current AEGTree as a file.
  */
-async function saveMode() {
+async function saveMode(): Promise<void> {
     let name: string;
     let data: AEGTree | ProofModeNode[];
 
     if (TreeContext.modeState === "Draw") {
         name = "AEG Tree";
         data = TreeContext.tree;
     } else {
-        if (TreeContext.proof.length === 0) {
-            name = "[] \u2192 []";
+        if (TreeContext.proof.length === 1) {
+            name = "One-Step Proof";
         } else {
             name =
                 TreeContext.proof[0].tree.toString() +
-                "\u2192" +
+                " PROVES " +
                 TreeContext.getLastProofStep().tree.toString();
         }
         data = TreeContext.proof;