|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sim.kiem.internal.AbstractDataComponent
de.cau.cs.kieler.sim.kiem.JSONObjectDataComponent
de.cau.cs.kieler.kies.transformation.AbstractTransformationDataComponent
de.cau.cs.kieler.kies.transformation.EsterelToSyncChartDataComponent
public class EsterelToSyncChartDataComponent
DataComponent for transforming an esterel program step-wise into a SyncCharts.
Field Summary | |
---|---|
static String |
GLOBALVAR_REC
global variable determining whether the transformation should be run recursively, hence everything is transformed within one step. |
static String |
INITIAL_TRANSFORMATION
first transformation being executed. |
Fields inherited from class de.cau.cs.kieler.kies.transformation.AbstractTransformationDataComponent |
---|
currentContext, currentDescriptor, facade, globalVars, headless, kiviMode, rootRegion, rootState |
Fields inherited from class de.cau.cs.kieler.sim.kiem.internal.AbstractDataComponent |
---|
MASTER_CMD_MACROSTEP, MASTER_CMD_PAUSE, MASTER_CMD_RUN, MASTER_CMD_STEP, MASTER_CMD_STEPBACK, MASTER_CMD_STOP |
Constructor Summary | |
---|---|
EsterelToSyncChartDataComponent()
default constructor providing one global variable. |
|
EsterelToSyncChartDataComponent(boolean kiviMode)
|
Method Summary | |
---|---|
void |
doPostTransformation()
this method is called if there are no further steps to do and the transformation will terminate. |
String[] |
getBasePackages()
|
TransformationDescriptor |
getNextTransformation()
|
State |
getRootState()
|
String |
getTransformationFile()
|
void |
initialize()
Initialize. |
KiemProperty[] |
provideProperties()
Provide properties for this component. |
void |
setRootState(State theRootState)
|
Methods inherited from class de.cau.cs.kieler.kies.transformation.AbstractTransformationDataComponent |
---|
fetchRootRegionAndState, finished, getActiveEditorEditingDomain, getCurrentContext, getCurrentDescriptor, getDomain, getEditingDomainForResourceSet, getXtendFacade, isFinished, isHistoryObserver, isObserver, isProducer, setGlobalVariable, setHeadless, step, wrapup |
Methods inherited from class de.cau.cs.kieler.sim.kiem.JSONObjectDataComponent |
---|
getInitialVariables, provideFilterKeysJSON, provideInitialVariables, setInitialVariables |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String INITIAL_TRANSFORMATION
public static final String GLOBALVAR_REC
Constructor Detail |
---|
public EsterelToSyncChartDataComponent()
public EsterelToSyncChartDataComponent(boolean kiviMode)
kiviMode
- pass true
if this data component is used in a way that does not use KIEM.Method Detail |
---|
public void initialize() throws KiemInitializationException
KiemInitializationException
.
initialize
in interface IDataComponent
initialize
in class AbstractTransformationDataComponent
KiemInitializationException
- a KiemInitializationExceptionpublic TransformationDescriptor getNextTransformation()
getNextTransformation
in class AbstractTransformationDataComponent
null
if nothing can be transformed
anymore.public String[] getBasePackages()
getBasePackages
in class AbstractTransformationDataComponent
public String getTransformationFile()
getTransformationFile
in class AbstractTransformationDataComponent
public KiemProperty[] provideProperties()
provideProperties
in class AbstractDataComponent
public void doPostTransformation()
doPostTransformation
in class AbstractTransformationDataComponent
public void setRootState(State theRootState)
setRootState
in class AbstractTransformationDataComponent
theRootState
- the rootState to setpublic State getRootState()
getRootState
in class AbstractTransformationDataComponent
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |