com.oracle.graal.phases.verify

Class VerifyUsageWithEquals

java.lang.Object

com.oracle.graal.phases.BasePhase<C>

com.oracle.graal.phases.VerifyPhase<PhaseContext>

com.oracle.graal.phases.verify.VerifyUsageWithEquals

public class VerifyUsageWithEquals
extends VerifyPhase<PhaseContext>

For certain types, object identity should not be used for object equality check. This phase checks the correct usage of the given type. Equality checks with == or != (except null checks) results in an AssertionError. Note that only TrustedInterfaces can be verified.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.phases.VerifyPhase

VerifyPhase.VerificationError

Field Summary

Fields

Modifier and Type	Field and Description
private Class<?>	restrictedClass The type of values that must not use identity for testing object equality.

Fields inherited from class com.oracle.graal.phases.BasePhase

BEFORE_PHASE_DUMP_LEVEL, PHASE_DUMP_LEVEL

Constructor Summary

Constructors

Constructor and Description
VerifyUsageWithEquals(Class<?> restrictedClass)

Method Summary

Modifier and Type	Method and Description
private boolean	isAssignableToRestrictedType(ValueNode node, MetaAccessProvider metaAccess) Determines whether the type of node is assignable to the restrictedClass.
private static boolean	isEqualsMethod(ResolvedJavaMethod method)
private boolean	isIllegalUsage(ResolvedJavaMethod method, ValueNode x, ValueNode y, MetaAccessProvider metaAccess) Checks whether the type of x is assignable to the restricted type and that y is not a null constant.
private static boolean	isNullConstant(ValueNode node)
private static boolean	isThisParameter(ValueNode node)
protected boolean	verify(StructuredGraph graph, PhaseContext context) Performs the actual verification.

Methods inherited from class com.oracle.graal.phases.VerifyPhase

run

Methods inherited from class com.oracle.graal.phases.BasePhase

apply, apply, createName, getName

Methods inherited from class java.lang.Object

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

Field Detail

restrictedClass

private final Class<?> restrictedClass

The type of values that must not use identity for testing object equality.

Constructor Detail

VerifyUsageWithEquals

public VerifyUsageWithEquals(Class<?> restrictedClass)

Method Detail

isAssignableToRestrictedType

private boolean isAssignableToRestrictedType(ValueNode node,
                                             MetaAccessProvider metaAccess)

Determines whether the type of node is assignable to the restrictedClass.

isNullConstant

private static boolean isNullConstant(ValueNode node)

isEqualsMethod

private static boolean isEqualsMethod(ResolvedJavaMethod method)

isThisParameter

private static boolean isThisParameter(ValueNode node)

isIllegalUsage

private boolean isIllegalUsage(ResolvedJavaMethod method,
                               ValueNode x,
                               ValueNode y,
                               MetaAccessProvider metaAccess)

Checks whether the type of x is assignable to the restricted type and that y is not a null constant.

verify

protected boolean verify(StructuredGraph graph,
                         PhaseContext context)

Description copied from class: VerifyPhase

Performs the actual verification.

Specified by:

verify in class VerifyPhase<PhaseContext>