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

Fields

Modifier and Type	Field and Description
protected static int	CAPTURE
protected static int	COMPATIBLE
protected static org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula	FALSE
protected static int	POTENTIALLY_COMPATIBLE
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

Constructors

Constructor and Description
ReductionResult()

Method Summary

Modifier and Type	Method and Description
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

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

POTENTIALLY_COMPATIBLE

protected static final int POTENTIALLY_COMPATIBLE

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)