org.eclipse.ocl.examples.debug.vm
Class UnitLocation

java.lang.Object
  org.eclipse.ocl.examples.debug.vm.UnitLocation

public class UnitLocation
extends java.lang.Object

Constructor Summary

UnitLocation(int startPosition, int endPosition, IVMEvaluationEnvironment<?> evalEnv, Element element)

Method Summary

boolean	equals(java.lang.Object another)
Element	getElement()
int	getEndPosition()
IVMEvaluationEnvironment<?>	getEvalEnv()
int	getLineNum()
NamedElement	getModule()
NamedElement	getOperation()
int	getStackDepth()
int	getStartPosition()
org.eclipse.emf.common.util.URI	getURI()
int	hashCode()
boolean	isDeferredExecution()
boolean	isTheSameLine(UnitLocation location)
boolean	isTheSameLocation(UnitLocation location)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnitLocation

public UnitLocation(int startPosition,
                    int endPosition,
                    @NonNull
                    IVMEvaluationEnvironment<?> evalEnv,
                    @NonNull
                    Element element)

Method Detail

isDeferredExecution

public boolean isDeferredExecution()

getURI

public org.eclipse.emf.common.util.URI getURI()

getModule

@NonNull
public NamedElement getModule()

getOperation

public NamedElement getOperation()

getEvalEnv

@NonNull
public IVMEvaluationEnvironment<?> getEvalEnv()

getEndPosition

public int getEndPosition()

getLineNum

public int getLineNum()

getStartPosition

public int getStartPosition()

getStackDepth

public int getStackDepth()

getElement

public Element getElement()

isTheSameLine

public boolean isTheSameLine(@NonNull
                             UnitLocation location)

isTheSameLocation

public boolean isTheSameLocation(@NonNull
                                 UnitLocation location)

equals

public boolean equals(java.lang.Object another)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object