de.cau.cs.kieler.synccharts.sim.ptolemy.oaw
Class XtendJava

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.sim.ptolemy.oaw.XtendJava

public class XtendJava
extends Object

The class XtendJava implements some Java escape code used in the model2model Xtend transformation.

Rating red

Field Summary
static EList<String> movedSignalNames
           
 
Constructor Summary
XtendJava()
           
 
Method Summary
static String buildEffect(EList<Effect> myEffectList, String terminatedURIHash)
           
static String buildExpression(Expression expression)
           
static String buildTrigger(Expression expression, String terminatedURIHash)
           
static void dump(String aString)
          Dump a String to the system console for debugging purposes.
static EList<String> getMovedSignalNames()
           
static int getPortType(Signal signal, Region region)
          Builds the trigger of a Transition.
static String getStateId(State myState)
          Returns a hash value of a Transition.
static String getURIFragment(State myState)
          Gets the URIFragment of a Node.
static String getURIFragment(Transition myTransition)
          Gets the URIFragment of a Transition.
static String hash(String string)
          Returns a hash value of a String..
static boolean isInputPort(Signal signal, Region region)
           
static boolean isLocal(Signal signal)
           
static boolean isOutputPort(Signal signal, Region region)
           
static void moveToSignalList(EList<Signal> newList, EList<Signal> signalList)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

movedSignalNames

public static EList<String> movedSignalNames
Constructor Detail

XtendJava

public XtendJava()
Method Detail

dump

public static final void dump(String aString)
Dump a String to the system console for debugging purposes.

Parameters:
aString - the a string

getURIFragment

public static final String getURIFragment(State myState)
Gets the URIFragment of a Node.

Parameters:
myNode - the Node
Returns:
the URIFragment

getURIFragment

public static final String getURIFragment(Transition myTransition)
Gets the URIFragment of a Transition.

Parameters:
myNode - the Node
Returns:
the URIFragment

getStateId

public static final String getStateId(State myState)
Returns a hash value of a Transition.

Parameters:
myTransition - the Transition
Returns:
the hash value as a String

hash

public static final String hash(String string)
Returns a hash value of a String..

Parameters:
string - the String
Returns:
the hash value as a String

getPortType

public static final int getPortType(Signal signal,
                                    Region region)
Builds the trigger of a Transition.

Parameters:
myTransition - the Transition
Returns:
the trigger as a String

isOutputPort

public static final boolean isOutputPort(Signal signal,
                                         Region region)

getMovedSignalNames

public static final EList<String> getMovedSignalNames()

moveToSignalList

public static final void moveToSignalList(EList<Signal> newList,
                                          EList<Signal> signalList)

isInputPort

public static final boolean isInputPort(Signal signal,
                                        Region region)

buildTrigger

public static final String buildTrigger(Expression expression,
                                        String terminatedURIHash)

isLocal

public static boolean isLocal(Signal signal)

buildEffect

public static final String buildEffect(EList<Effect> myEffectList,
                                       String terminatedURIHash)

buildExpression

public static final String buildExpression(Expression expression)