Uses of Class
edu.mit.csail.sdg.alloy4.ErrorWarning

Packages that use ErrorWarning

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.

Uses of ErrorWarning in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 with parameters of type ErrorWarning

void	A4Reporter.warning(ErrorWarning msg) This method is called by the typechecker to report a nonfatal type error.

Uses of ErrorWarning in edu.mit.csail.sdg.alloy4compiler.ast

Method parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type ErrorWarning

Expr	Expr.resolve_as_formula(java.util.Collection<ErrorWarning> warnings) Converts this into a "formula" if possible, then resolves it if ambiguous.
Expr	Expr.resolve_as_int(java.util.Collection<ErrorWarning> warnings) Converts this into an "integer expression" if possible, then resolves it if ambiguous.
Expr	Expr.resolve_as_set(java.util.Collection<ErrorWarning> warnings) Converts this into a "set or relation" if possible, then resolves it if ambiguous.
Expr	Sig.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	Sig.Field.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprBadJoin.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprQt.resolve(Type unused, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprUnary.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprCustom.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprVar.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprBadCall.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprConstant.resolve(Type type, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprLet.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprITE.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprBad.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
abstract Expr	Expr.resolve(Type t, java.util.Collection<ErrorWarning> warnings) Resolves this expression if ambiguous.
Expr	ExprBinary.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprChoice.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprList.resolve(Type p, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.
Expr	ExprCall.resolve(Type t, java.util.Collection<ErrorWarning> warns) Resolves this expression if ambiguous.