hu.soft4d.minerva.wsdl.ssm
Class SSMHandler

java.lang.Object
  extended by hu.soft4d.minerva.wsdl.ssm.SSMHandler

Deprecated. Use WSDLSSMFactory instead!

public class SSMHandler
extends java.lang.Object

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.

Author:
Zsolt Kiss Gere, 4D Soft Ltd.

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

SSMHandler

public SSMHandler(java.net.URL wsdlURL,
                  java.net.URL schemaInstanceURL,
                  java.lang.String serviceName,
                  java.lang.String portName)
           throws java.lang.Exception
Deprecated. 
Throws:
java.lang.Exception
Method Detail

dumpSSMContainers

public void dumpSSMContainers(java.io.PrintStream out)
Deprecated. 

generateSSM

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
Deprecated. 
Throws:
java.lang.Exception

getSSM

public stsimulator.sts.SymbolicTransitionSystem getSSM()
                                                throws java.lang.Exception
Deprecated. 
Throws:
java.lang.Exception