Package org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Klasse 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

Feldübersicht

Von Klasse geerbte Felder org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReductionResult

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

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ConstraintExceptionFormula(FunctionalExpression left, TypeBinding type)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
protected void	appendTypeName(StringBuffer buf, TypeBinding type)
boolean	applySubstitution(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet, InferenceVariable[] variables)
Object	reduce(InferenceContext18 inferenceContext)
String	toString()

Von Klasse geerbte Methoden org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ReductionResult

relationToString

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

ConstraintExceptionFormula

public ConstraintExceptionFormula(FunctionalExpression left,
 TypeBinding type)

Methodendetails

reduce

public Object reduce(InferenceContext18 inferenceContext)

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object

applySubstitution

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

appendTypeName

protected void appendTypeName(StringBuffer buf,
 TypeBinding type)