Uses of Class
jml2b.exceptions.WrongLabelException

Packages that use WrongLabelException

jml2b.pog.lemma

Uses of WrongLabelException in jml2b.pog.lemma

Methods in jml2b.pog.lemma that throw WrongLabelException

void	ExsuresLemma.selectLabel(java.util.Vector labels)
abstract void	Lemma.selectLabel(java.util.Vector labels) Selects in the labelled lemmas, the cases corresponding to labels.
Proofs	Proofs.selectLabel(java.util.Vector labels) Selects in the lemmas corresponding to behaviours, the cases corresponding to labels.
void	SimpleLemma.selectLabel(java.util.Vector labels)