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

Constructors

Constructor and Description
UnitLocation(int startPosition, int endPosition, VMEvaluationEnvironment evalEnv, Element element)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object another)
Element	getElement()
int	getEndPosition()
VMEvaluationEnvironment	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
                    VMEvaluationEnvironment 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 VMEvaluationEnvironment 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