Class ErrorHandler

java.lang.Object

liquidjava.diagnostics.ErrorHandler

public class ErrorHandler
extends Object

Constructor Summary

Constructors

Constructor	Description
ErrorHandler()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

public static void printSyntaxError(String msg,
 String ref,
 ErrorEmitter ee)