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

Class GoToConstrainingNodeMarker

java.lang.Object

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

public class GoToConstrainingNodeMarker
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
GoToConstrainingNodeMarker(org.eclipse.core.resources.IFile file) The Constructor.

Method Summary

Modifier and Type	Method and Description
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