Package org.checkerframework.afu.scenelib.el

Class BoundLocation

java.lang.Object

org.checkerframework.afu.scenelib.el.BoundLocation

public final class BoundLocation
extends Object

A BoundLocation holds location information for a bound of a type parameter of a class or method: parameter index and bound index. It also handles type parameters themselves (not just the bound part). It would be better named "TypeParameterLocation", or the two uses could be separated out.

Field Summary

Fields

Modifier and Type	Field	Description
final int	boundIndex	The index of the bound among all bounds on the type parameter.
final int	paramIndex	The index of the parameter to which the bound applies among all type parameters of the class or method.

Constructor Summary

Constructors

Constructor	Description
BoundLocation(int paramIndex, int boundIndex)	Constructs a new BoundLocation; the arguments are assigned to the fields of the same names.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)	This BoundLocation equals o if and only if o is another nonnull BoundLocation and this and o have equal paramIndex and boundIndex.
boolean	equals(BoundLocation l)	Returns true if this BoundLocation equals o; a slightly faster variant of equals(Object) for when the argument is statically known to be another nonnull BoundLocation.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

paramIndex

public final int paramIndex

The index of the parameter to which the bound applies among all type parameters of the class or method.

boundIndex

public final int boundIndex

The index of the bound among all bounds on the type parameter. -1 if for the type parameter itself.

Constructor Details

BoundLocation

public BoundLocation(int paramIndex,
 int boundIndex)

Constructs a new BoundLocation; the arguments are assigned to the fields of the same names.

Method Details

equals

public boolean equals(BoundLocation l)

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

equals

public boolean equals(Object o)

This BoundLocation equals o if and only if o is another nonnull BoundLocation and this and o have equal paramIndex and boundIndex.

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object