Class ErrorHandler
java.lang.Object
liquidjava.diagnostics.ErrorHandler
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic voidprintCustomError(spoon.reflect.declaration.CtElement element, String msg, ErrorEmitter ee) static <T> voidprintError(spoon.reflect.declaration.CtElement var, String moreInfo, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidprintError(spoon.reflect.declaration.CtElement var, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) Prints the error messagestatic <T> voidprintErrorArgs(spoon.reflect.declaration.CtElement var, Predicate expectedType, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidprintErrorConstructorFromState(spoon.reflect.declaration.CtElement element, spoon.reflect.code.CtLiteral<String> from, ErrorEmitter ee) static voidprintErrorTypeMismatch(spoon.reflect.declaration.CtElement element, Predicate expectedType, String message, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidprintErrorUnknownVariable(spoon.reflect.declaration.CtElement var, String et, String correctRefinement, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static <T> voidprintNotFound(spoon.reflect.declaration.CtElement var, Predicate constraint, Predicate constraint2, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidprintSameStateSetError(spoon.reflect.declaration.CtElement element, Predicate p, String name, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidprintStateMismatch(spoon.reflect.declaration.CtElement element, String method, VCImplication constraintForErrorMsg, String states, HashMap<String, PlacementInCode> map, ErrorEmitter ee) static voidprintSyntaxError(String msg, String ref, ErrorEmitter ee) static voidprintSyntaxError(String msg, String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter ee)
-
Constructor Details
-
ErrorHandler
public ErrorHandler()
-
-
Method Details
-
printError
public static <T> void printError(spoon.reflect.declaration.CtElement var, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) Prints the error message- Type Parameters:
T-- Parameters:
var-expectedType-cSMT-s-
-
printError
public static <T> void printError(spoon.reflect.declaration.CtElement var, String moreInfo, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printStateMismatch
public static void printStateMismatch(spoon.reflect.declaration.CtElement element, String method, VCImplication constraintForErrorMsg, String states, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printErrorUnknownVariable
public static <T> void printErrorUnknownVariable(spoon.reflect.declaration.CtElement var, String et, String correctRefinement, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printNotFound
public static <T> void printNotFound(spoon.reflect.declaration.CtElement var, Predicate constraint, Predicate constraint2, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printErrorArgs
public static <T> void printErrorArgs(spoon.reflect.declaration.CtElement var, Predicate expectedType, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printErrorTypeMismatch
public static void printErrorTypeMismatch(spoon.reflect.declaration.CtElement element, Predicate expectedType, String message, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printSameStateSetError
public static void printSameStateSetError(spoon.reflect.declaration.CtElement element, Predicate p, String name, HashMap<String, PlacementInCode> map, ErrorEmitter ee) -
printErrorConstructorFromState
public static void printErrorConstructorFromState(spoon.reflect.declaration.CtElement element, spoon.reflect.code.CtLiteral<String> from, ErrorEmitter ee) -
printCustomError
public static void printCustomError(spoon.reflect.declaration.CtElement element, String msg, ErrorEmitter ee) -
printSyntaxError
public static void printSyntaxError(String msg, String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter ee) -
printSyntaxError
-