Java IVdmProject示例

示例#1

文件： PluginVdm2JavaUtil.java 项目： henriknj/overture

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

示例#2

文件： PluginVdm2JavaUtil.java 项目： henriknj/overture

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