Uses of Class
liquidjava.diagnostics.errors.StateConflictError

Packages that use StateConflictError

Package	Description
liquidjava.processor.refinement_checker

Uses of StateConflictError in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that throw StateConflictError

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