GemocSequentialPropertyTester.java 文件源码

java
阅读 23 收藏 0 点赞 0 评论 0

项目:gemoc-studio-modeldebugging 作者:
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;
}
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号