Uses of Class
liquidjava.diagnostics.ErrorEmitter
Packages that use ErrorEmitter
Package
Description
-
Uses of ErrorEmitter in liquidjava.api
Methods in liquidjava.api that return ErrorEmitter -
Uses of ErrorEmitter in liquidjava.diagnostics
Methods in liquidjava.diagnostics with parameters of type ErrorEmitterModifier and TypeMethodDescriptionstatic voidErrorHandler.printCustomError(spoon.reflect.declaration.CtElement element, String msg, ErrorEmitter ee) static <T> voidErrorHandler.printError(spoon.reflect.declaration.CtElement var, String moreInfo, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidErrorHandler.printError(spoon.reflect.declaration.CtElement var, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) Prints the error messagestatic <T> voidErrorHandler.printErrorArgs(spoon.reflect.declaration.CtElement var, Predicate expectedType, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidErrorHandler.printErrorConstructorFromState(spoon.reflect.declaration.CtElement element, spoon.reflect.code.CtLiteral<String> from, ErrorEmitter ee) static voidErrorHandler.printErrorTypeMismatch(spoon.reflect.declaration.CtElement element, Predicate expectedType, String message, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidErrorHandler.printErrorUnknownVariable(spoon.reflect.declaration.CtElement var, String et, String correctRefinement, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidErrorHandler.printNotFound(spoon.reflect.declaration.CtElement var, Predicate constraint, Predicate constraint2, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidErrorHandler.printSameStateSetError(spoon.reflect.declaration.CtElement element, Predicate p, String name, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidErrorHandler.printStateMismatch(spoon.reflect.declaration.CtElement element, String method, VCImplication constraintForErrorMsg, String states, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidErrorHandler.printSyntaxError(String msg, String ref, ErrorEmitter ee) static voidErrorHandler.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 ErrorEmitterModifierConstructorDescriptionRefinementProcessor(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 ErrorEmitterModifierConstructorDescriptionFieldGhostsGeneration(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 ErrorEmitterModifier and TypeMethodDescriptionAliasWrapper.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 ErrorEmitterConstructors in liquidjava.processor.refinement_checker with parameters of type ErrorEmitterModifierConstructorDescriptionExternalRefinementTypeChecker(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 ErrorEmitterModifier and TypeMethodDescriptionstatic BuiltinFunctionPredicateBuiltinFunctionPredicate.builtin_addToIndex(String array, String index, String value, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee) static BuiltinFunctionPredicateBuiltinFunctionPredicate.builtin_length(String param, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee) Predicate.changeOldMentions(String previousName, String newName, ErrorEmitter ee) Change old mentions of previous name to the new name e.g., old(previousName) -> newNamePredicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange, ErrorEmitter ee) protected ExpressionPredicate.innerParse(String ref, ErrorEmitter e, String prefix) protected ExpressionPredicate.parse(String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter e) Constructors in liquidjava.rj_language with parameters of type ErrorEmitterModifierConstructorDescriptionBuiltinFunctionPredicate(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 refinementPredicate(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