TPTP 4.4.0 Monitoring Tools Project
Internal API Specification

org.eclipse.tptp.wsdm.tooling.validation.builders.internal
Class WsdmMrtMarkerFactory

java.lang.Object
  extended byorg.eclipse.tptp.wsdm.tooling.validation.builders.internal.WsdmMrtMarkerFactory
All Implemented Interfaces:
IMarkerFactory

public class WsdmMrtMarkerFactory
extends java.lang.Object
implements IMarkerFactory

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

MARKER_ID

public static final java.lang.String MARKER_ID
See Also:
Constant Field Values
Constructor Detail

WsdmMrtMarkerFactory

public WsdmMrtMarkerFactory()
Method Detail

createMarker

public org.eclipse.core.resources.IMarker createMarker(org.eclipse.core.resources.IFile file)
                                                throws org.eclipse.core.runtime.CoreException
Creates a marker on given file.

Specified by:
createMarker in interface IMarkerFactory
Throws:
org.eclipse.core.runtime.CoreException

TPTP 4.4.0 Monitoring Tools Project
Internal API Specification