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 void dumpI(Integer anInteger)
           
static void enqueue2Delete(EntityType modalModel, String portName)
           
static boolean getInputOutputTransformation()
           
static EList<String> getMovedSignalNames()
           
static boolean getOptimizeInputSignals()
           
static boolean getOptimizeOutputSignals()
           
static int getPortType(Signal signal, Region region)
          Builds the trigger of a Transition.
static int getQueueSize2Delete()
           
static boolean getRaiseLocalSignals()
           
static String getStateId(State myState)
           
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)
           
static void P()
           
static EntityType popModalModel2Delete()
           
static String popPortName2Delete()
           
static String removeBlancs(String inText)
          Returns a hash value of a Transition.
static void resetQueue2Delete()
           
static void setInputOutputTransformation(boolean enable)
           
static void setOptimizeInputSignals(boolean enable)
           
static void setOptimizeOutputSignals(boolean enable)
           
static void setRaiseLocalSignals(boolean enable)
           
static void V()
           
 
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

setInputOutputTransformation

public static void setInputOutputTransformation(boolean enable)

getInputOutputTransformation

public static boolean getInputOutputTransformation()

setRaiseLocalSignals

public static void setRaiseLocalSignals(boolean enable)

getRaiseLocalSignals

public static boolean getRaiseLocalSignals()

setOptimizeInputSignals

public static void setOptimizeInputSignals(boolean enable)

getOptimizeInputSignals

public static boolean getOptimizeInputSignals()

setOptimizeOutputSignals

public static void setOptimizeOutputSignals(boolean enable)

getOptimizeOutputSignals

public static boolean getOptimizeOutputSignals()

resetQueue2Delete

public static final void resetQueue2Delete()

getQueueSize2Delete

public static final int getQueueSize2Delete()

enqueue2Delete

public static final void enqueue2Delete(EntityType modalModel,
                                        String portName)

popPortName2Delete

public static final String popPortName2Delete()

popModalModel2Delete

public static final EntityType popModalModel2Delete()

P

public static final void P()

V

public static final void V()

dump

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

Parameters:
aString - the a string

dumpI

public static final void dumpI(Integer anInteger)

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

removeBlancs

public static String removeBlancs(String inText)
Returns a hash value of a Transition.

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

getStateId

public static final String getStateId(State myState)

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)