Improve extensibility of NativeTestBase

overturetool · Feb 2, 2017 · 74be6d0 · 74be6d0
1 parent 9b67af0
commit 74be6d0
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java b/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java
@@ -100,6 +100,14 @@ protected void generate(String... paths)
 			}
 
 		}
+
+		List<String> args = buildArgs(paths);
+
+		CGenMain.main(args.toArray(new String[] {}));
+	}
+
+	protected List<String> buildArgs(String... paths)
+	{
 		List<String> args = new Vector<String>(Arrays.asList(new String[] {
 				"--quiet", "-dest", root.getAbsolutePath() }));
 		args.addAll(Arrays.asList(paths));
@@ -109,8 +117,7 @@ protected void generate(String... paths)
 			args.add("-formatter");
 			args.add(System.getProperty(FORMATTER));
 		}
-
-		CGenMain.main(args.toArray(new String[] {}));
+		return args;
 	}
 
 	protected void compileAndTest(File... tests) throws IOException,