Package hu.soft4d.minerva.wsdl.ssm

Class Summary
LocationVarEntry Entity class representing a location variable entry in an SSM Schema definition XML stream.
SSMHandler Deprecated. Use WSDLSSMFactory instead!
SSMHelper Helper class containing different static utilities for conversion, etc.
SSMSchemaModel This class takes an SSM schema definition URL, parses the stream and builds a memory object model of the data found in the schema instance.
SwitchEntry Entity class representing a switch entry in an SSM Schema definition XML stream.
WSDLSSMFactory Factory class for generating a SymbolicTransitionSystem, if an SSM schema definition URL is given.