Listing 1 shows a marker declaration, defining an extension on the marker ID (org.eclipse.core.resources.markers).
清单1显示了一个记号声明,定义了记号ID (or g . eclipse . core . resources . markers)的一个扩展。
The user can filter messages according to a number of criteria, such as the type of problem (warning, error), the priority, and the marker ID.
用户可以根据不同的条件过滤消息,比如问题的类型(警告、错误)、优先级和记号ID。
It takes the marker ID as a parameter. The platform defines a few standard marker ids.
该方法以记号ID作为参数。
应用推荐