de.cau.cs.kieler.synccharts.codegen.esterel.xtend
Class Helper

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.codegen.esterel.xtend.Helper

public class Helper
extends Object

Rating red

Constructor Summary
Helper()
           
 
Method Summary
 String getParentRegionString(State state)
           
 String getStatePathAsName(State state)
           
 Boolean isRootState(State state)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Helper

public Helper()
Method Detail

isRootState

public Boolean isRootState(State state)

getParentRegionString

public String getParentRegionString(State state)

getStatePathAsName

public String getStatePathAsName(State state)