org.aspectj.org.eclipse.jdt.internal.compiler.lookup
Class ReductionResult

java.lang.Object
  org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReductionResult

Direct Known Subclasses:

ConstraintExceptionFormula, TypeBound

public abstract class ReductionResult
extends java.lang.Object

Generalization over TypeBounds and ConstraintFormulas which both can be created during reduction.

Field Summary

protected static int	CAPTURE
protected static int	COMPATIBLE Used to accept unchecked conversion to make ecj conform with javac bug https://bugs.openjdk.java.net/browse/JDK-8026527
protected static org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula	FALSE
protected int	relation
protected TypeBinding	right
protected static int	SAME
protected static int	SUBTYPE
protected static int	SUPERTYPE
protected static org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula	TRUE
protected static int	TYPE_ARGUMENT_CONTAINED

Constructor Summary

ReductionResult()

Method Summary

protected static java.lang.String

relationToString(int relation)

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

protected static final org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula TRUE

FALSE

protected static final org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula FALSE

COMPATIBLE

protected static final int COMPATIBLE

Used to accept unchecked conversion to make ecj conform with javac bug https://bugs.openjdk.java.net/browse/JDK-8026527

See Also:

Constant Field Values

SUBTYPE

protected static final int SUBTYPE

See Also:

Constant Field Values

SUPERTYPE

protected static final int SUPERTYPE

See Also:

Constant Field Values

SAME

protected static final int SAME

See Also:

Constant Field Values

TYPE_ARGUMENT_CONTAINED

protected static final int TYPE_ARGUMENT_CONTAINED

See Also:

Constant Field Values

CAPTURE

protected static final int CAPTURE

See Also:

Constant Field Values

right

protected TypeBinding right

relation

protected int relation

Constructor Detail

ReductionResult

public ReductionResult()

Method Detail

relationToString

protected static java.lang.String relationToString(int relation)