Uses of Class
liquidjava.diagnostics.errors.RefinementError

Packages that use RefinementError

Package	Description
liquidjava.processor.refinement_checker

Uses of RefinementError in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that throw RefinementError

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