jdk.internal.jvmci.meta

Class LocationIdentity

java.lang.Object

jdk.internal.jvmci.meta.LocationIdentity

Direct Known Subclasses:

HotSpotResolvedJavaFieldImpl.FieldLocationIdentity, LocationIdentity.AnyLocationIdentity, NamedLocationIdentity, ObjectLocationIdentity

public abstract class LocationIdentity
extends Object

Marker interface for location identities. A different location identity of two memory accesses guarantees that the two accesses do not interfere. Clients of LocationIdentity must use Object.equals(Object), not ==, when comparing two LocationIdentity values for equality. Likewise, they must not use IdentityHashMaps with LocationIdentity values as keys.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	LocationIdentity.AnyLocationIdentity

Field Summary

Fields

Modifier and Type	Field and Description
static LocationIdentity	ANY_LOCATION

Constructor Summary

Constructors

Constructor and Description
LocationIdentity()

Method Summary

Modifier and Type	Method and Description
static LocationIdentity	any()
boolean	isAny()
abstract boolean	isImmutable() Denotes a location is unchanging in all cases.
boolean	isMutable()
boolean	isSingle()
boolean	overlaps(LocationIdentity other)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ANY_LOCATION

public static final LocationIdentity ANY_LOCATION

Constructor Detail

LocationIdentity

public LocationIdentity()

Method Detail

any

public static LocationIdentity any()

isImmutable

public abstract boolean isImmutable()

Denotes a location is unchanging in all cases. Not that this is different than the Java notion of final which only requires definite assignment.

isMutable

public final boolean isMutable()

isAny

public final boolean isAny()

isSingle

public final boolean isSingle()

overlaps

public final boolean overlaps(LocationIdentity other)