示例#1
0
 public static boolean isSupportedVdmDialect(IVdmProject vdmProject) {
   return vdmProject.getDialect() == Dialect.VDM_PP || vdmProject.getDialect() == Dialect.VDM_SL;
 }
示例#2
0
 private static File getProjectDir(IVdmProject project) {
   return project.getModelBuildPath().getOutput().getLocation().toFile();
 }