Uses of Class
liquidjava.diagnostics.errors.StateRefinementError

Packages that use StateRefinementError

Package	Description
liquidjava.processor.refinement_checker

Uses of StateRefinementError in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that throw StateRefinementError

Modifier and Type	Method	Description
protected void	VCChecker.throwStateRefinementError(spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected)