Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

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

Provides classes which will form the Type-state specifications for the Verifier.

See:
          Description

Interface Summary
IState  
 

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

Provides classes which will form the Type-state specifications for the Verifier. (Under Development)

Package Specification

none

Related Documentation

none

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES