org.eclipse.ocl.examples.emf.validation.validity.ui.markers
Class GoToConstrainingNodeMarker

java.lang.Object
  extended by org.eclipse.ocl.examples.emf.validation.validity.ui.markers.GoToConstrainingNodeMarker

public class GoToConstrainingNodeMarker
extends java.lang.Object


Constructor Summary
GoToConstrainingNodeMarker(org.eclipse.core.resources.IFile file)
          The Constructor.
 
Method Summary
 org.eclipse.core.resources.IMarker getIMarker()
          Return the {IMarker} to go to.
 org.eclipse.core.resources.IFile getResourceFile()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GoToConstrainingNodeMarker

public GoToConstrainingNodeMarker(@NonNull
                                  org.eclipse.core.resources.IFile file)
The Constructor.

Parameters:
file - the resource file
Method Detail

getResourceFile

public org.eclipse.core.resources.IFile getResourceFile()

getIMarker

public org.eclipse.core.resources.IMarker getIMarker()
Return the {IMarker} to go to.

Returns:
the IMarker