public static IMarker createMarker(IResource resource, ISelection selection, String type) {
IMarker marker = null;
if (selection instanceof ITextSelection) {
marker = MarkerFactory.createMarker(resource, (ITextSelection) selection);
} else if (selection instanceof ITreeSelection) {
marker = MarkerFactory.createMarker(resource, (ITreeSelection) selection);
}
MarkUtilities.setType(marker, type);
AlloyUtilities.addTypeToMarker(marker);
AlloyUtilities.addMarkerToRepository(marker);
return marker;
}
CreateMarkerWithType.java 文件源码
java
阅读 36
收藏 0
点赞 0
评论 0
项目:Tarski
作者:
评论列表
文章目录