Uses of Class
liquidjava.diagnostics.TranslationTable
Packages that use TranslationTable
-
Uses of TranslationTable in liquidjava.diagnostics.errors
Methods in liquidjava.diagnostics.errors that return TranslationTableConstructors in liquidjava.diagnostics.errors with parameters of type TranslationTableModifierConstructorDescriptionLJError(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 TranslationTableModifier and TypeMethodDescriptionprotected voidVCChecker.raiseError(Exception e, spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected, TranslationTable map) booleanVCChecker.smtChecks(Predicate expected, Predicate found, spoon.reflect.cu.SourcePosition position, TranslationTable map)