Package org.checkerframework.afu.scenelib.el

Class RelativeLocation

java.lang.Object

org.checkerframework.afu.scenelib.el.RelativeLocation

All Implemented Interfaces:

Comparable<RelativeLocation>

public final class RelativeLocation
extends Object
implements Comparable<RelativeLocation>

A RelativeLocation holds location information for a instanceof, cast, or new: either the bytecode offset or the source code index. I call instanceof, cast, or new "the construct".

Field Summary

Fields

Modifier and Type	Field	Description
final int	index	The source code index of the construct.
final int	offset	The bytecode offset of the construct.
final int	type_index	The type index used for intersection types in casts.

Method Summary

Modifier and Type	Method	Description
int	compareTo(RelativeLocation l)
static RelativeLocation	createIndex(int index, int type_index)
static RelativeLocation	createOffset(int offset, int type_index)
boolean	equals(Object o)	This RelativeLocation equals o if and only if o is another nonnull RelativeLocation and this and o have equal offset and index.
boolean	equals(RelativeLocation l)	Returns true if this RelativeLocation equals o; a slightly faster variant of equals(Object) for when the argument is statically known to be another nonnull RelativeLocation.
String	getLocationString()
int	hashCode()
boolean	isBytecodeOffset()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

offset

public final int offset

The bytecode offset of the construct.

index

public final int index

The source code index of the construct.

type_index

public final int type_index

The type index used for intersection types in casts.

Method Details

createOffset

public static RelativeLocation createOffset(int offset,
 int type_index)

createIndex

public static RelativeLocation createIndex(int index,
 int type_index)

isBytecodeOffset

public boolean isBytecodeOffset()

getLocationString

public String getLocationString()

compareTo

public int compareTo(RelativeLocation l)

Specified by:

compareTo in interface Comparable<RelativeLocation>

equals

public boolean equals(RelativeLocation l)

Returns true if this RelativeLocation equals o; a slightly faster variant of equals(Object) for when the argument is statically known to be another nonnull RelativeLocation.

equals

public boolean equals(Object o)

This RelativeLocation equals o if and only if o is another nonnull RelativeLocation and this and o have equal offset and index.

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object