de.cau.cs.kieler.uml2.sim
Class JavaEscape
java.lang.Object
de.cau.cs.kieler.uml2.sim.JavaEscape
public class JavaEscape
- extends Object
- Rating

Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JavaEscape
public JavaEscape()
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)