de.cau.cs.kieler.uml2.sim
Class JavaEscape

java.lang.Object
  extended by de.cau.cs.kieler.uml2.sim.JavaEscape

public class JavaEscape
extends Object

Rating red

Constructor Summary
JavaEscape()
           
 
Method Summary
static void addComplexTransitionInformation(String item, String id)
           
static void addPseudostate(org.eclipse.uml2.uml.Pseudostate pseudostate)
           
static void clearDoneVertices()
           
 Boolean contains(String str)
           
static EList<org.eclipse.uml2.uml.Transition> convertToSet(EList<org.eclipse.uml2.uml.Transition> transitionList)
           
static String getAction(String TransitionLabel)
           
static String getAlias(org.eclipse.uml2.uml.Transition transition)
           
static String getAlias(org.eclipse.uml2.uml.Vertex vertex)
           
static String getClassIdentifier(org.eclipse.uml2.uml.Vertex vertex)
           
static EList<String> getComplexTransitionInformation(String id)
           
static String getEMFId(org.eclipse.uml2.uml.Region region)
           
static String getEMFId(org.eclipse.uml2.uml.Vertex vertex)
           
static String getFullyQualifiedId(EObject eobject)
           
static String getFullyQualifiedId(org.eclipse.uml2.uml.Region region)
           
static String getFullyQualifiedId(org.eclipse.uml2.uml.Vertex vertex)
           
static String getGuard(String TransitionLabel, org.eclipse.uml2.uml.Transition transition)
           
static int getHierarchyLevel(EObject eObject)
           
static String getId(org.eclipse.uml2.uml.Region region)
           
static String getId(org.eclipse.uml2.uml.Transition transition)
           
static String getId(org.eclipse.uml2.uml.Vertex vertex)
           
static org.eclipse.uml2.uml.Region getLastRootRegion()
           
static org.eclipse.uml2.uml.Element getParent(org.eclipse.uml2.uml.Element me)
           
static EList<org.eclipse.uml2.uml.Pseudostate> getPseudostates()
           
static EList<org.eclipse.uml2.uml.Vertex> getSourceNodes(org.eclipse.uml2.uml.Pseudostate pseudostate)
           
static String getTrigger(String TransitionLabel)
           
static String hash(String string)
           
static Boolean isChoice(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isDH(org.eclipse.uml2.uml.Vertex vertex)
           
static boolean isDone(org.eclipse.uml2.uml.Vertex vertex, String id)
           
static Boolean isFinal(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isFork(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isInitial(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isJoin(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isPseudostate(org.eclipse.uml2.uml.Vertex vertex)
           
static Boolean isSH(org.eclipse.uml2.uml.Vertex vertex)
           
static boolean markDone(org.eclipse.uml2.uml.Vertex vertex, String id)
           
static void resetComplexTransitionInformation()
           
static void resetLastRootRegion()
           
static void resetPseudostates()
           
static String resolveStateName(String stateName, TreeIterator allContents)
          Tries to resolve a simple state name and returns the Maude id
static String resolveStateNames(String inText, EObject rootElement)
           
static void setLastRootRegion(org.eclipse.uml2.uml.Region region)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaEscape

public JavaEscape()
Method Detail

addComplexTransitionInformation

public static void addComplexTransitionInformation(String item,
                                                   String id)

getComplexTransitionInformation

public static EList<String> getComplexTransitionInformation(String id)

resetComplexTransitionInformation

public static void resetComplexTransitionInformation()

getParent

public static org.eclipse.uml2.uml.Element getParent(org.eclipse.uml2.uml.Element me)

addPseudostate

public static void addPseudostate(org.eclipse.uml2.uml.Pseudostate pseudostate)

getPseudostates

public static EList<org.eclipse.uml2.uml.Pseudostate> getPseudostates()

resetPseudostates

public static void resetPseudostates()

setLastRootRegion

public static void setLastRootRegion(org.eclipse.uml2.uml.Region region)

getLastRootRegion

public static org.eclipse.uml2.uml.Region getLastRootRegion()

resetLastRootRegion

public static void resetLastRootRegion()

getHierarchyLevel

public static int getHierarchyLevel(EObject eObject)

clearDoneVertices

public static void clearDoneVertices()

markDone

public static boolean markDone(org.eclipse.uml2.uml.Vertex vertex,
                               String id)

isDone

public static boolean isDone(org.eclipse.uml2.uml.Vertex vertex,
                             String id)

getId

public static String getId(org.eclipse.uml2.uml.Vertex vertex)

getEMFId

public static String getEMFId(org.eclipse.uml2.uml.Vertex vertex)

getEMFId

public static String getEMFId(org.eclipse.uml2.uml.Region region)

getId

public static String getId(org.eclipse.uml2.uml.Region region)

getAlias

public static String getAlias(org.eclipse.uml2.uml.Vertex vertex)

getFullyQualifiedId

public static String getFullyQualifiedId(org.eclipse.uml2.uml.Vertex vertex)

getFullyQualifiedId

public static String getFullyQualifiedId(org.eclipse.uml2.uml.Region region)

getFullyQualifiedId

public static String getFullyQualifiedId(EObject eobject)

getClassIdentifier

public static String getClassIdentifier(org.eclipse.uml2.uml.Vertex vertex)

getAlias

public static String getAlias(org.eclipse.uml2.uml.Transition transition)

getId

public static String getId(org.eclipse.uml2.uml.Transition transition)

hash

public static String hash(String string)

getTrigger

public static String getTrigger(String TransitionLabel)

getAction

public static String getAction(String TransitionLabel)

getGuard

public static String getGuard(String TransitionLabel,
                              org.eclipse.uml2.uml.Transition transition)

resolveStateNames

public static String resolveStateNames(String inText,
                                       EObject rootElement)

resolveStateName

public static String resolveStateName(String stateName,
                                      TreeIterator allContents)
Tries to resolve a simple state name and returns the Maude id

Parameters:
stateName - the state name
Returns:
the string

contains

public Boolean contains(String str)

isInitial

public static Boolean isInitial(org.eclipse.uml2.uml.Vertex vertex)

isFinal

public static Boolean isFinal(org.eclipse.uml2.uml.Vertex vertex)

isDH

public static Boolean isDH(org.eclipse.uml2.uml.Vertex vertex)

isFork

public static Boolean isFork(org.eclipse.uml2.uml.Vertex vertex)

isJoin

public static Boolean isJoin(org.eclipse.uml2.uml.Vertex vertex)

isSH

public static Boolean isSH(org.eclipse.uml2.uml.Vertex vertex)

isChoice

public static Boolean isChoice(org.eclipse.uml2.uml.Vertex vertex)

isPseudostate

public static Boolean isPseudostate(org.eclipse.uml2.uml.Vertex vertex)

convertToSet

public static EList<org.eclipse.uml2.uml.Transition> convertToSet(EList<org.eclipse.uml2.uml.Transition> transitionList)

getSourceNodes

public static EList<org.eclipse.uml2.uml.Vertex> getSourceNodes(org.eclipse.uml2.uml.Pseudostate pseudostate)