Uses of Class
liquidjava.diagnostics.ErrorEmitter

Packages that use ErrorEmitter

Package	Description
liquidjava.api
liquidjava.diagnostics
liquidjava.processor
liquidjava.processor.ann_generation
liquidjava.processor.context
liquidjava.processor.refinement_checker
liquidjava.rj_language

Uses of ErrorEmitter in liquidjava.api

Methods in liquidjava.api that return ErrorEmitter

Modifier and Type	Method	Description
static ErrorEmitter	CommandLineLauncher.launch(String... paths)

Uses of ErrorEmitter in liquidjava.diagnostics

Methods in liquidjava.diagnostics with parameters of type ErrorEmitter

Modifier and Type	Method	Description
static void	ErrorHandler.printCustomError(spoon.reflect.declaration.CtElement element, String msg, ErrorEmitter ee)
static <T> void	ErrorHandler.printError(spoon.reflect.declaration.CtElement var, String moreInfo, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static <T> void	ErrorHandler.printError(spoon.reflect.declaration.CtElement var, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee)	Prints the error message
static <T> void	ErrorHandler.printErrorArgs(spoon.reflect.declaration.CtElement var, Predicate expectedType, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printErrorConstructorFromState(spoon.reflect.declaration.CtElement element, spoon.reflect.code.CtLiteral<String> from, ErrorEmitter ee)
static void	ErrorHandler.printErrorTypeMismatch(spoon.reflect.declaration.CtElement element, Predicate expectedType, String message, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static <T> void	ErrorHandler.printErrorUnknownVariable(spoon.reflect.declaration.CtElement var, String et, String correctRefinement, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static <T> void	ErrorHandler.printNotFound(spoon.reflect.declaration.CtElement var, Predicate constraint, Predicate constraint2, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printSameStateSetError(spoon.reflect.declaration.CtElement element, Predicate p, String name, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printStateMismatch(spoon.reflect.declaration.CtElement element, String method, VCImplication constraintForErrorMsg, String states, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printSyntaxError(String msg, String ref, ErrorEmitter ee)
static void	ErrorHandler.printSyntaxError(String msg, String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter ee)

Uses of ErrorEmitter in liquidjava.processor

Constructors in liquidjava.processor with parameters of type ErrorEmitter

Modifier	Constructor	Description
	RefinementProcessor(spoon.reflect.factory.Factory factory, ErrorEmitter ee)

Uses of ErrorEmitter in liquidjava.processor.ann_generation

Constructors in liquidjava.processor.ann_generation with parameters of type ErrorEmitter

Modifier	Constructor	Description
	FieldGhostsGeneration(Context c, spoon.reflect.factory.Factory fac, ErrorEmitter errorEmitter)

Uses of ErrorEmitter in liquidjava.processor.context

Methods in liquidjava.processor.context with parameters of type ErrorEmitter

Modifier and Type	Method	Description
Predicate	AliasWrapper.getPremises(List<String> list, List<String> newNames, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)

Uses of ErrorEmitter in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that return ErrorEmitter

Modifier and Type	Method	Description
ErrorEmitter	TypeChecker.getErrorEmitter()

Constructors in liquidjava.processor.refinement_checker with parameters of type ErrorEmitter

Modifier	Constructor	Description
	ExternalRefinementTypeChecker(Context context, spoon.reflect.factory.Factory fac, ErrorEmitter errorEmitter)
	MethodsFirstChecker(Context c, spoon.reflect.factory.Factory fac, ErrorEmitter errorEmitter)
	RefinementTypeChecker(Context context, spoon.reflect.factory.Factory factory, ErrorEmitter errorEmitter)
	TypeChecker(Context c, spoon.reflect.factory.Factory fac, ErrorEmitter errorEmitter)
	VCChecker(ErrorEmitter errorEmitter)

Uses of ErrorEmitter in liquidjava.rj_language

Methods in liquidjava.rj_language with parameters of type ErrorEmitter

Modifier and Type	Method	Description
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.builtin_addToIndex(String array, String index, String value, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.builtin_length(String param, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
Predicate	Predicate.changeOldMentions(String previousName, String newName, ErrorEmitter ee)	Change old mentions of previous name to the new name e.g., old(previousName) -> newName
Predicate	Predicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange, ErrorEmitter ee)
protected Expression	Predicate.innerParse(String ref, ErrorEmitter e, String prefix)
protected Expression	Predicate.parse(String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter e)

Constructors in liquidjava.rj_language with parameters of type ErrorEmitter

Modifier	Constructor	Description
	BuiltinFunctionPredicate(ErrorEmitter ee, spoon.reflect.declaration.CtElement elem, String functionName, String... params)
	Predicate(String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter e)	Create a new predicate with a refinement
	Predicate(String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter e, String prefix)	Create a new predicate with a refinement and a given prefix for the class