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, POTENTIALLY_COMPATIBLE, relation, right, SAME, SUBTYPE, SUPERTYPE, TRUE, TYPE_ARGUMENT_CONTAINED

Constructor Summary

Constructors

Constructor	Description
ConstraintExceptionFormula(FunctionalExpression left, TypeBinding type)

Method Summary

Modifier and Type	Method	Description
protected void	appendTypeName(StringBuilder buf, TypeBinding type)
boolean	applySubstitution(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet, InferenceVariable[] variables)
Object	reduce(InferenceContext18 inferenceContext)
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 Details

ConstraintExceptionFormula

public ConstraintExceptionFormula(FunctionalExpression left,
 TypeBinding type)

Method Details

reduce

public Object reduce(InferenceContext18 inferenceContext)

toString

public String toString()

Overrides:

toString in class Object

applySubstitution

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

appendTypeName

protected void appendTypeName(StringBuilder buf,
 TypeBinding type)