hu.soft4d.minerva.wsdl.ssm
Class WSDLSSMFactory

java.lang.Object
  extended by hu.soft4d.minerva.ssm.SSMFactory
      extended by hu.soft4d.minerva.wsdl.ssm.WSDLSSMFactory

public class WSDLSSMFactory
extends SSMFactory

Factory class for generating a SymbolicTransitionSystem, if an SSM schema definition URL is given.

The generated ssm is not checked for consistency, neither it has switch parsers attached.

Author:
Zsolt Kiss Gere, 4D Soft Ltd.

Field Summary
 
Fields inherited from class hu.soft4d.minerva.ssm.SSMFactory
initialState, intvarMap, locationMap, locvarMap, messageMap, namespace, operationMap, port, portName, service, serviceName, switchList, typeMap, wsdlUri
 
Constructor Summary
WSDLSSMFactory(java.lang.String wsdlUri, java.lang.String schemaInstanceUri, java.lang.String serviceName, java.lang.String portName)
           
 
Method Summary
 
Methods inherited from class hu.soft4d.minerva.ssm.SSMFactory
createSSMMessage, createSwitch, dumpSSM, getCreateInteractionVariable, getCreateLocationVariable, getCreateSSMOperation, getCreateSSMType, getFactoryFromUML, getFactoryFromWSDL, getInitialState, getIntvarMap, getLocationMap, getLocvarMap, getMessageMap, getNamespace, getOperationMap, getPort, getPortName, getService, getServiceName, getSSM, getSwitchList, getTypeMap, getVarKey, getWsdlUri, initFromStateMachine
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WSDLSSMFactory

public WSDLSSMFactory(java.lang.String wsdlUri,
                      java.lang.String schemaInstanceUri,
                      java.lang.String serviceName,
                      java.lang.String portName)
               throws java.lang.Exception
Throws:
java.lang.Exception