Package 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 Object

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

Field Summary

Fields

Modifier and Type	Field	Description
protected static final int	CAPTURE
protected static final int	COMPATIBLE
protected static final org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula	FALSE
protected static final int	POTENTIALLY_COMPATIBLE
protected int	relation
protected TypeBinding	right
protected static final int	SAME
protected static final int	SUBTYPE
protected static final int	SUPERTYPE
protected static final org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula	TRUE
protected static final int	TYPE_ARGUMENT_CONTAINED

Constructor Summary

Constructors

Constructor	Description
ReductionResult()

Method Summary

Modifier and Type	Method	Description
protected static String	relationToString(int relation)

Methods inherited from class java.lang.Object

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

Field Details

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 Details

ReductionResult

public ReductionResult()

Method Details

relationToString

protected static String relationToString(int relation)