hu.soft4d.minerva.wsdl.ssm
Class SSMHelper

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

public class SSMHelper
extends java.lang.Object

Helper class containing different static utilities for conversion, etc.

Author:
Zsolt Kiss Gere, 4D Soft Ltd.

Constructor Summary
SSMHelper()
           
 
Method Summary
static void addInteractionVariables(stsimulator.sts.SymbolicTransitionSystem ssm, java.util.Map<java.lang.String,stsimulator.sts.InteractionVariable> intvarMap)
           
static void addMessages(stsimulator.sts.SymbolicTransitionSystem ssm, java.util.Map<java.lang.String,stsimulator.sts.Message> messageMap)
           
static void addOperations(stsimulator.sts.SymbolicTransitionSystem ssm, java.util.Map<java.lang.String,stsimulator.sts.Operation> operationMap)
           
static void addTypes(stsimulator.sts.SymbolicTransitionSystem ssm, java.util.Map<javax.xml.namespace.QName,stsimulator.types.Type> types)
           
static int getDirection(java.lang.String dir)
           
static stsimulator.sts.MessageKind getMessageKind(java.lang.String dir)
           
static java.lang.String getSSMClassName(java.lang.String name)
          This is a mapping from an XML Schema simple type to an SSM type name.
static stsimulator.sts.Operation getSSMOperation(JOperation op)
           
static stsimulator.types.Type getSSMSimpleType(java.lang.String name)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SSMHelper

public SSMHelper()
Method Detail

getSSMOperation

public static stsimulator.sts.Operation getSSMOperation(JOperation op)

getDirection

public static int getDirection(java.lang.String dir)

getMessageKind

public static stsimulator.sts.MessageKind getMessageKind(java.lang.String dir)
                                                  throws java.lang.Exception
Throws:
java.lang.Exception

getSSMClassName

public static java.lang.String getSSMClassName(java.lang.String name)
                                        throws java.lang.Exception
This is a mapping from an XML Schema simple type to an SSM type name.

Parameters:
name - The local name of an XML Schema simple type. Ex: "int", "boolean", etc.
Returns:
The qualified class name of the SSM Type which corresponds to the simple type.
Throws:
java.lang.Exception

getSSMSimpleType

public static stsimulator.types.Type getSSMSimpleType(java.lang.String name)
                                               throws java.lang.Exception
Throws:
java.lang.Exception

addInteractionVariables

public static void addInteractionVariables(stsimulator.sts.SymbolicTransitionSystem ssm,
                                           java.util.Map<java.lang.String,stsimulator.sts.InteractionVariable> intvarMap)

addTypes

public static void addTypes(stsimulator.sts.SymbolicTransitionSystem ssm,
                            java.util.Map<javax.xml.namespace.QName,stsimulator.types.Type> types)

addMessages

public static void addMessages(stsimulator.sts.SymbolicTransitionSystem ssm,
                               java.util.Map<java.lang.String,stsimulator.sts.Message> messageMap)

addOperations

public static void addOperations(stsimulator.sts.SymbolicTransitionSystem ssm,
                                 java.util.Map<java.lang.String,stsimulator.sts.Operation> operationMap)