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

    • relation

      protected int relation

  • Constructor Details

    • ReductionResult

      public ReductionResult()

  • Method Details

    • relationToString

      protected static String relationToString​(int relation)