Add a enumerateStores and enumerateMemories() to profile.

Part of #55.
jkomoros · Jul 30, 2023 · b73b68d · b73b68d
1 parent 9cf7b0f
commit b73b68d
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/profile.ts b/src/profile.ts
@@ -198,4 +198,12 @@ export class Profile{
 		return true;
 	}
 
+	enumerateStores() : StoreID[] {
+		return Object.keys(this._stores);
+	}
+
+	enumerateMemories() : MemoryID[] {
+		return Object.keys(this._memories);
+	}
+
 }
diff --git a/tools/profile_filesystem.ts b/tools/profile_filesystem.ts
@@ -296,4 +296,12 @@ export class ProfileFilesystem extends Profile {
 		const filesystem = this.storeFilesystem(store);
 		return filesystem.delete(key);
 	}
+
+	override enumerateStores(): StoreID[] {
+		return Object.keys(this._storeFilesystemIDs);
+	}
+
+	override enumerateMemories(): MemoryID[] {
+		return Object.keys(this._associativeMemoryIDs);
+	}
 }