Esempi in Java per IVdmProject

Esempio n. 1

File: PluginVdm2JavaUtil.java Progetto: henriknj/overture

 public static boolean isSupportedVdmDialect(IVdmProject vdmProject) {
   return vdmProject.getDialect() == Dialect.VDM_PP || vdmProject.getDialect() == Dialect.VDM_SL;
 }

Esempio n. 2

File: PluginVdm2JavaUtil.java Progetto: henriknj/overture

 private static File getProjectDir(IVdmProject project) {
   return project.getModelBuildPath().getOutput().getLocation().toFile();
 }