CreateMarkerWithType.java 文件源码

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

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


问题


面经


文章

微信
公众号

扫码关注公众号