Uses of Class
liquidjava.diagnostics.TranslationTable

Packages that use TranslationTable

Package	Description
liquidjava.diagnostics.errors
liquidjava.processor.refinement_checker

Uses of TranslationTable in liquidjava.diagnostics.errors

Methods in liquidjava.diagnostics.errors that return TranslationTable

Modifier and Type	Method	Description
TranslationTable	LJError.getTranslationTable()

Constructors in liquidjava.diagnostics.errors with parameters of type TranslationTable

Modifier	Constructor	Description
	LJError(String title, String message, spoon.reflect.cu.SourcePosition pos, TranslationTable translationTable)
	NotFoundError(spoon.reflect.cu.SourcePosition position, String message, String name, String kind, TranslationTable translationTable)
	RefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, ValDerivationNode found, TranslationTable translationTable)
	StateConflictError(spoon.reflect.cu.SourcePosition position, Expression state, TranslationTable translationTable)
	StateRefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, Expression found, TranslationTable translationTable)

Uses of TranslationTable in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker with parameters of type TranslationTable

Modifier and Type	Method	Description
protected void	VCChecker.raiseError(Exception e, spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected, TranslationTable map)
boolean	VCChecker.smtChecks(Predicate expected, Predicate found, spoon.reflect.cu.SourcePosition position, TranslationTable map)