protected boolean isModel(IAdaptable receiver){
IFile modelFile = (IFile)(receiver).getAdapter(IFile.class);
if(modelFile !=null){
ResourceSet rs = new ResourceSetImpl();
URI modelURI = URI.createURI("platform:/resource/"+modelFile.getFullPath().toString());
try{
Resource resource = rs.getResource(modelURI, true);
if (resource != null) {
return true;
}
} catch (Exception e){
// not a valid model, simply ignore
return false;
}
}
return false;
}
GemocSequentialPropertyTester.java 文件源码
java
阅读 22
收藏 0
点赞 0
评论 0
项目:gemoc-studio-modeldebugging
作者:
评论列表
文章目录