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

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

public class ConstraintExceptionFormula
extends ReductionResult

Constraint formula expressing that a given expression must have an exception type.

• Expression contains_throws T

Field Summary

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReductionResult

CAPTURE, COMPATIBLE, FALSE, relation, right, SAME, SUBTYPE, SUPERTYPE, TRUE, TYPE_ARGUMENT_CONTAINED

Constructor Summary

ConstraintExceptionFormula(FunctionalExpression left, TypeBinding type)

Method Summary

protected void	appendTypeName(java.lang.StringBuffer buf, TypeBinding type)
boolean	applySubstitution(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet, InferenceVariable[] variables)
protected boolean	isCompatibleWithInLooseInvocationContext(TypeBinding one, TypeBinding two, InferenceContext18 context) 5.3: compatibility check which includes the option of boxing/unboxing.
java.lang.Object	reduce(InferenceContext18 inferenceContext)
java.lang.String	toString()

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReductionResult

relationToString

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintExceptionFormula

public ConstraintExceptionFormula(FunctionalExpression left,
                                  TypeBinding type)

Method Detail

reduce

public java.lang.Object reduce(InferenceContext18 inferenceContext)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isCompatibleWithInLooseInvocationContext

protected boolean isCompatibleWithInLooseInvocationContext(TypeBinding one,
                                                           TypeBinding two,
                                                           InferenceContext18 context)

5.3: compatibility check which includes the option of boxing/unboxing.

applySubstitution

public boolean applySubstitution(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet,
                                 InferenceVariable[] variables)

appendTypeName

protected void appendTypeName(java.lang.StringBuffer buf,
                              TypeBinding type)