|
TPTP 4.4.0 Monitoring Tools Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.tptp.wsdm.tooling.validation.builders.internal.WsdmMrtMarkerFactory
Factory to create resource markers.
| Field Summary | |
|---|---|
static java.lang.String |
MARKER_ID
|
| Constructor Summary | |
|---|---|
WsdmMrtMarkerFactory()
|
|
| Method Summary | |
|---|---|
org.eclipse.core.resources.IMarker |
createMarker(org.eclipse.core.resources.IFile file)
Creates a marker on given file. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final java.lang.String MARKER_ID
| Constructor Detail |
public WsdmMrtMarkerFactory()
| Method Detail |
public org.eclipse.core.resources.IMarker createMarker(org.eclipse.core.resources.IFile file)
throws org.eclipse.core.runtime.CoreException
createMarker in interface IMarkerFactoryorg.eclipse.core.runtime.CoreException
|
TPTP 4.4.0 Monitoring Tools Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||