Uses of Class
liquidjava.processor.context.PlacementInCode

Packages that use PlacementInCode

Package	Description
liquidjava.diagnostics
liquidjava.processor.context

Uses of PlacementInCode in liquidjava.diagnostics

Methods in liquidjava.diagnostics that return types with arguments of type PlacementInCode

Modifier and Type	Method	Description
HashMap<String, PlacementInCode>	LJDiagnostics.getTranslationMap()
HashMap<String, PlacementInCode>	ErrorEmitter.getVCMap()

Method parameters in liquidjava.diagnostics with type arguments of type PlacementInCode

Modifier and Type	Method	Description
void	ErrorEmitter.addError(String titleMessage, String msg, spoon.reflect.cu.SourcePosition p, int errorStatus, HashMap<String, PlacementInCode> map)
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.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)
void	LJDiagnostics.setTranslationMap(HashMap<String, PlacementInCode> map)

Uses of PlacementInCode in liquidjava.processor.context

Methods in liquidjava.processor.context that return PlacementInCode

Modifier and Type	Method	Description
static PlacementInCode	PlacementInCode.createPlacement(spoon.reflect.declaration.CtElement elem)
PlacementInCode	RefinedVariable.getPlacementInCode()

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

Modifier and Type	Method	Description
void	RefinedVariable.addPlacementInCode(PlacementInCode s)