public class Location
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<Access> |
accesses
The
Access path. |
Constructor and Description |
---|
Location(Access... accesses)
Constructor.
|
Location(ImmutableList<Access> accesses)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Location |
append(Access sub)
Creates a new
Location in which the sub is appended. |
Location |
append(Location sub)
Creates a new
Location in which the sub is appended. |
boolean |
equals(java.lang.Object obj) |
ImmutableList<Access> |
getAccesses()
Returns the
Access path. |
int |
getDepth()
Returns the access depth.
|
int |
hashCode() |
java.lang.String |
toString() |
Term |
toTerm(Services services)
|
private final ImmutableList<Access> accesses
Access
path.public Location(ImmutableList<Access> accesses)
accesses
- The Access
path.public ImmutableList<Access> getAccesses()
Access
path.Access
path.public int getDepth()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object