jdk.internal.jvmci.meta

Class Assumptions.ConcreteSubtype

java.lang.Object

jdk.internal.jvmci.meta.Assumptions.Assumption

jdk.internal.jvmci.meta.Assumptions.ConcreteSubtype

Enclosing class:

Assumptions

public static final class Assumptions.ConcreteSubtype
extends Assumptions.Assumption

An assumption that a given abstract or interface type has one direct concrete subtype. There is no requirement that the subtype is a leaf type.

Field Summary

Fields

Modifier and Type	Field and Description
ResolvedJavaType	context Type the assumption is made about.
ResolvedJavaType	subtype Assumed concrete sub-type of the context type.

Constructor Summary

Constructors

Constructor and Description
ConcreteSubtype(ResolvedJavaType context, ResolvedJavaType subtype)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

context

public final ResolvedJavaType context

Type the assumption is made about.

subtype

public final ResolvedJavaType subtype

Assumed concrete sub-type of the context type.

Constructor Detail

ConcreteSubtype

public ConcreteSubtype(ResolvedJavaType context,
                       ResolvedJavaType subtype)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object