Update MainClass.java

isaacmaffeis · Sep 5, 2024 · 64690bd · 64690bd
1 parent 8e4537a
commit 64690bd
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/asmetal2java_codegen/src/org/asmeta/asm2java/main/MainClass.java b/asmetal2java_codegen/src/org/asmeta/asm2java/main/MainClass.java
@@ -44,7 +44,7 @@ public class MainClass {
 	// the generator for the code
 	static private JavaGenerator jGenerator = new JavaGenerator();
 	static private JavaExeGenerator jGeneratorExe = new JavaExeGenerator();
-	static private JavaASMGenerator2 jGeneratorASM = new JavaASMGenerator2();
+	//static private JavaASMGenerator2 jGeneratorASM = new JavaASMGenerator2();
 
 
 	// default translator options
@@ -122,10 +122,10 @@ public static CompileResult generate(
 		  jGeneratorExe.compileAndWrite(model.getMain(), javaFileExeT.getCanonicalPath(), userOptions);
 
 			// ASM Class
-			jGeneratorASM.setFinalStateConditions(finalStateConditions);
-			jGeneratorASM.compileAndWrite(model.getMain(), javaFileASM.getCanonicalPath(), userOptions);
+			//jGeneratorASM.setFinalStateConditions(finalStateConditions);
+			//jGeneratorASM.compileAndWrite(model.getMain(), javaFileASM.getCanonicalPath(), userOptions);
 			jGenerator.compileAndWrite(model.getMain(), javaFileASMN.getCanonicalPath(), userOptions);
-			jGeneratorASM.compileAndWrite(model.getMain(), javaFileASMT.getCanonicalPath(), userOptions);
+			//jGeneratorASM.compileAndWrite(model.getMain(), javaFileASMT.getCanonicalPath(), userOptions);
 
 		} catch (Exception e) {
 			e.printStackTrace();