Update Java VDMCheck for FMI2 changes

INTO-CPS-Association · Jan 22, 2024 · b8872fa · b8872fa
1 parent 9655eb9
commit b8872fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fmi2/vdmcheck/src/main/java/VDMCheck.java b/fmi2/vdmcheck/src/main/java/VDMCheck.java
@@ -250,7 +250,7 @@ private static boolean run(String filename, XMLFile tempXML, String vdmOUT)
 			File tempOUT = File.createTempFile("out", "tmp");
 			tempOUT.deleteOnExit();
 
-			File schema = new File(jarLocation.getAbsolutePath() + File.separator + "schema/fmi2.xsd");
+			File schema = new File(jarLocation.getAbsolutePath() + File.separator + "fmi2schema/fmi2.xsd");
 
 			int exit = runCommand(jarLocation, tempOUT,
 					"java", "-jar", "xsd2vdm.jar", 
@@ -265,7 +265,7 @@ private static boolean run(String filename, XMLFile tempXML, String vdmOUT)
 			runCommand(jarLocation, tempOUT,
 					"java", "-Xmx1g", "-cp", String.join(File.pathSeparator, dependencies), 
 					"com.fujitsu.vdmj.VDMJ", "-vdmsl", "-q", "-annotations",
-					"-e", "isValidFMIConfiguration(" + varName + ")", "model", tempVDM.getCanonicalPath());
+					"-e", "isValidFMIConfiguration(" + varName + ")", "fmi2model", tempVDM.getCanonicalPath());
 
 			sed(tempOUT, System.out,
 					"^true$", "No errors found.",