de.ewand.typestate.jerify.verifier.base.typestatemodel

Interfaces  IState