jdk.internal.jvmci.meta

Class Assumptions

java.lang.Object

jdk.internal.jvmci.meta.Assumptions

All Implemented Interfaces:

Iterable<Assumptions.Assumption>

public final class Assumptions
extends Object
implements Iterable<Assumptions.Assumption>

Class for recording assumptions made during compilation.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Assumptions.Assumption Abstract base class for assumptions.
static class	Assumptions.AssumptionResult<T> A class for providing information that is only valid in association with a set of Assumptions.Assumptions.
static class	Assumptions.CallSiteTargetValue An assumption that a given call site's method handle did not change.
static class	Assumptions.ConcreteMethod An assumption that a given virtual method has a given unique implementation.
static class	Assumptions.ConcreteSubtype An assumption that a given abstract or interface type has one direct concrete subtype.
static class	Assumptions.LeafType An assumption that a given type has no subtypes.
static class	Assumptions.NoFinalizableSubclass An assumption that a given class has no subclasses implementing Object.finalize()).

Field Summary

Fields

Modifier and Type	Field and Description
private Set<Assumptions.Assumption>	assumptions

Constructor Summary

Constructors

Constructor and Description
Assumptions()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
boolean	isEmpty() Returns whether any assumptions have been registered.
Iterator<Assumptions.Assumption>	iterator()
void	record(Assumptions.Assumption assumption)
void	record(Assumptions.AssumptionResult<?> result)
void	record(Assumptions other) Copies assumptions recorded by another Assumptions object into this object.
void	recordConcreteMethod(ResolvedJavaMethod method, ResolvedJavaType context, ResolvedJavaMethod impl) Records that impl is the only possible concrete target for a virtual call to method with a receiver of type context.
void	recordConcreteSubtype(ResolvedJavaType context, ResolvedJavaType subtype) Records that subtype is the only concrete subtype in the class hierarchy below context.
void	recordNoFinalizableSubclassAssumption(ResolvedJavaType receiverType) Records an assumption that the specified type has no finalizable subclasses.
Assumptions.Assumption[]	toArray() Gets a copy of the assumptions recorded in this object as an array.
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

assumptions

private final Set<Assumptions.Assumption> assumptions

Constructor Detail

Assumptions

public Assumptions()

Method Detail

isEmpty

public boolean isEmpty()

Returns whether any assumptions have been registered.

Returns:

true if at least one assumption has been registered, false otherwise.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

iterator

public Iterator<Assumptions.Assumption> iterator()

Specified by:

iterator in interface Iterable<Assumptions.Assumption>

recordNoFinalizableSubclassAssumption

public void recordNoFinalizableSubclassAssumption(ResolvedJavaType receiverType)

Records an assumption that the specified type has no finalizable subclasses.

Parameters:

receiverType - the type that is assumed to have no finalizable subclasses

recordConcreteSubtype

public void recordConcreteSubtype(ResolvedJavaType context,
                                  ResolvedJavaType subtype)

Records that subtype is the only concrete subtype in the class hierarchy below context.

Parameters:

context - the root of the subtree of the class hierarchy that this assumptions is about

subtype - the one concrete subtype

recordConcreteMethod

public void recordConcreteMethod(ResolvedJavaMethod method,
                                 ResolvedJavaType context,
                                 ResolvedJavaMethod impl)

Records that impl is the only possible concrete target for a virtual call to method with a receiver of type context.

Parameters:

method - a method that is the target of a virtual call

context - the receiver type of a call to method

impl - the concrete method that is the only possible target for the virtual call

record

public void record(Assumptions.AssumptionResult<?> result)

record

public void record(Assumptions.Assumption assumption)

toArray

public Assumptions.Assumption[] toArray()

Gets a copy of the assumptions recorded in this object as an array.

record

public void record(Assumptions other)

Copies assumptions recorded by another Assumptions object into this object.

toString

public String toString()

Overrides:

toString in class Object