chore: house cleaning Oct 2023 (#2080)

DARPA-ASKEM · Oct 23, 2023 · 3fcc24d · 3fcc24d
1 parent 699a403
commit 3fcc24d
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 8 deletions.
diff --git a/packages/client/hmi-client/src/model-representation/petrinet/mira-petri.ts b/packages/client/hmi-client/src/model-representation/petrinet/mira-petri.ts
@@ -13,7 +13,7 @@ export const getStates = (amr: Model) => {
 	const matrixData: any[] = [];
 
 	const dupe: Set<string> = new Set();
-	const uniqueStates: any[] = []; // FIXME: grounding typing incorrect
+	const uniqueStates: any[] = [];
 
 	for (let i = 0; i < model.states.length; i++) {
 		const state = model.states[i];

diff --git a/packages/client/hmi-client/src/router/index.ts b/packages/client/hmi-client/src/router/index.ts
@@ -26,9 +26,7 @@ export enum RoutePath {
 	Theia = '/theia',
 	Ta2Playground = '/ta2-playground',
 	ResponsivePlaygroundPath = '/responsive-playground',
-	EvaluationScenariosPath = '/evaluation-scenarios',
-	ModelEditor = '/model-editor',
-	ModelRunner = '/model-runner'
+	EvaluationScenariosPath = '/evaluation-scenarios'
 }
 
 const routes = [

diff --git a/packages/client/hmi-client/src/services/graph.ts b/packages/client/hmi-client/src/services/graph.ts
@@ -50,7 +50,6 @@ export const runDagreLayout = <V, E>(graphData: IGraph<V, E>, lr: boolean = true
 		g.setEdge(edge.source, edge.target);
 	}
 
-	// FIXME: Hackathon show-n-tell, remove
 	if (lr === true) {
 		g.graph().rankDir = 'LR';
 		g.graph().nodesep = 100;

diff --git a/packages/client/hmi-client/src/services/model.ts b/packages/client/hmi-client/src/services/model.ts
@@ -66,6 +66,8 @@ export async function getModelConfigurations(modelId: string): Promise<ModelConf
 
 /**
  * Reconstruct an petrinet AMR's ode semantics
+ *
+ * @deprecated moving to mira-stratify
  */
 export async function reconstructAMR(amr: any) {
 	const response = await API.post('/mira/reconstruct_ode_semantics', amr);

diff --git a/packages/client/hmi-client/src/services/workflow.ts b/packages/client/hmi-client/src/services/workflow.ts
@@ -17,10 +17,7 @@ import { v4 as uuidv4 } from 'uuid';
  * not optimized, on the account that we don't expect most workflow graphs to
  * exceed say ... 10-12 nodes with 30-40 edges.
  *
- * TODO:
- * - Should we update workflow node status on modification???
  */
-
 export const emptyWorkflow = (name: string = 'test', description: string = '') => {
 	const workflow: Workflow = {
 		id: uuidv4(),