|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecthu.soft4d.minerva.wsdl.ssm.SSMHandler
public class SSMHandler
THIS CLASS IS DEPRECATED. USE WSDLSSMFactory INSTEAD Factory class for generating a SymbolicTransitionSystem, if an SSM schema definition URL is given.
The intended usage of this class is:
SSMHandler ssmh = new SSMHandler( ssmSchemaInstanceURL ); SymbolicTransitionSystem ssm = ssmh.getSSM();The generated ssm is not checked for consistency, neither it has switch parsers attached.
Constructor Summary | |
---|---|
SSMHandler(java.net.URL wsdlURL,
java.net.URL schemaInstanceURL,
java.lang.String serviceName,
java.lang.String portName)
Deprecated. |
Method Summary | |
---|---|
void |
dumpSSMContainers(java.io.PrintStream out)
Deprecated. |
static stsimulator.sts.SymbolicTransitionSystem |
generateSSM(java.net.URL wsdlURL,
java.net.URL spssmURL,
java.lang.String serviceName,
java.lang.String portName)
Deprecated. |
stsimulator.sts.SymbolicTransitionSystem |
getSSM()
Deprecated. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SSMHandler(java.net.URL wsdlURL, java.net.URL schemaInstanceURL, java.lang.String serviceName, java.lang.String portName) throws java.lang.Exception
java.lang.Exception
Method Detail |
---|
public void dumpSSMContainers(java.io.PrintStream out)
public static stsimulator.sts.SymbolicTransitionSystem generateSSM(java.net.URL wsdlURL, java.net.URL spssmURL, java.lang.String serviceName, java.lang.String portName) throws java.lang.Exception
java.lang.Exception
public stsimulator.sts.SymbolicTransitionSystem getSSM() throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |