Uses of Class
liquidjava.diagnostics.errors.StateRefinementError
Packages that use StateRefinementError
-
Uses of StateRefinementError in liquidjava.processor.refinement_checker
Methods in liquidjava.processor.refinement_checker that throw StateRefinementErrorModifier and TypeMethodDescriptionprotected voidVCChecker.throwStateRefinementError(spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected)