|
||||||||||
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.sim.kiem.ui.datacomponent.JSONObjectSimulationDataComponent
de.cau.cs.kieler.uml2.sim.kiem.DataComponent
public class DataComponent
The Class DataComponent.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class de.cau.cs.kieler.sim.kiem.ui.datacomponent.JSONObjectSimulationDataComponent |
---|
JSONObjectSimulationDataComponent.M2MProgressMonitor |
Field Summary | |
---|---|
String |
blaaa
|
String |
errorMsg
|
protected static String |
MAUDEERROR
The constant MAUDEERROR indicates the error token to search for. |
protected static String |
MAUDENOACTION
The Constant MAUDENOACTION no aktion (will not be displayed). |
protected static String |
MAUDENOEVENT
The Constant MAUDENOEVENT no event (will not be displayed). |
protected static String |
MAUDEPARSESTATESTARTER
The constant MAUDEPARSESTATESTARTER indicates the start token to search for. |
Fields inherited from class de.cau.cs.kieler.sim.kiem.ui.datacomponent.JSONObjectSimulationDataComponent |
---|
activePage, activePageFlag, exception, modelEditor |
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 | |
---|---|
DataComponent()
Instantiates a new data component. |
Method Summary | |
---|---|
boolean |
checkModelValidation(EObject rootEObject)
Check the model validation. |
protected void |
clearConsole()
Clears the maude console. |
void |
doModel2ModelTransform(KielerProgressMonitor monitor)
Implementation of model 2 model transformation. |
JSONObject |
doProvideInitialVariables()
Performs the normal provide initial variables method. |
KiemProperty[] |
doProvideProperties()
|
JSONObject |
doStep(JSONObject signals)
Implements the real step method for this simulation datacomponent. |
String[] |
extractActions(String maudeResult)
Extract actions. |
List<String[]> |
extractActiveStates(String maudeResult)
Extract the active states. |
protected String[] |
getAllActions()
Gets all actions of the model (cached). |
protected String[] |
getAllEvents()
Gets all events of the model (cached). |
String |
getCurrentStateIds(String[] currentStates)
Constructs the currently active states using the original emf ids |
String |
getEMFId(String maudeStateId)
Gets the (cashed) eMF id. |
String[] |
getInitialStates()
Gets the initial states. |
protected IEditorPart |
getInputEditor()
|
protected EObject |
getInputModelEObject(IEditorPart editorPart)
|
String |
getMaudeBaseCodeLocation()
Gets the maude base code location that must be included into the generated maude file that has to access these maude base files. |
String |
getMaudeGenCodeLocation()
Gets the maude gen code location. |
protected View |
getNotationElement(IEditorPart diagramEditor)
|
protected org.eclipse.xtend.XtendFacade |
getXtendFacade()
Tries to gets the xtend facade, returns null otherwise. |
void |
initialize()
Initialize. |
static boolean |
isWindows()
Checks whether the system is based on windows. |
protected void |
printConsole(String text)
Prints to the maude console. |
void |
refreshWorkspace()
Refresh workspace so that, e.g. |
protected void |
resetAllEventsAndActions()
Reset all events and actions. |
void |
resetMappingHashmap()
Reset the hashmap. |
String[] |
selectCurrentState(List<String[]> currentStatesChoicesParam)
|
String |
transformToCygwinPath(String WindowsPath)
Transforms a normal Windows path into a cygwin path because Maude for Windows is compiled w/ cygwin. |
void |
wrapup()
Wrap-up. |
Methods inherited from class de.cau.cs.kieler.sim.kiem.ui.datacomponent.JSONObjectSimulationDataComponent |
---|
bringProblemsViewToFront, checkProperties, getActivePage, getEditor, getInputModel, getInputModelAsURI, getInputResourceSet, getInputWorkspaceModel, getModelRootElement, isObserver, isProducer, isTransformationCompleted, isTransformationError, provideFilterKeysJSON, provideInitialVariables, provideProperties, resolveBundelFile, step |
Methods inherited from class de.cau.cs.kieler.sim.kiem.JSONObjectDataComponent |
---|
getInitialVariables, setInitialVariables |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface de.cau.cs.kieler.sim.kiem.IJSONObjectDataComponent |
---|
step |
Field Detail |
---|
protected static final String MAUDEPARSESTATESTARTER
protected static final String MAUDENOEVENT
protected static final String MAUDENOACTION
protected static final String MAUDEERROR
public String errorMsg
public String blaaa
Constructor Detail |
---|
public DataComponent()
Method Detail |
---|
protected EObject getInputModelEObject(IEditorPart editorPart)
getInputModelEObject
in class JSONObjectSimulationDataComponent
public KiemProperty[] doProvideProperties()
doProvideProperties
in class JSONObjectSimulationDataComponent
public String[] getInitialStates()
public List<String[]> extractActiveStates(String maudeResult)
maudeResult
- the maude result if any, empty list if no solution found
public String[] extractActions(String maudeResult)
maudeResult
- the maude result
public String getCurrentStateIds(String[] currentStates)
public void resetMappingHashmap()
public String getEMFId(String maudeStateId)
maudeStateId
- the maude state id
public JSONObject doStep(JSONObject signals) throws KiemExecutionException
JSONObjectSimulationDataComponent
doStep
in class JSONObjectSimulationDataComponent
signals
- the j son object
KiemExecutionException
- the kiem execution exceptionpublic String[] selectCurrentState(List<String[]> currentStatesChoicesParam)
public void initialize() throws KiemInitializationException
IDataComponent
KiemInitializationException
.
initialize
in interface IDataComponent
initialize
in class JSONObjectSimulationDataComponent
KiemInitializationException
- a KiemInitializationExceptionpublic void wrapup() throws KiemInitializationException
IDataComponent
KiemInitializationException
.
wrapup
in interface IDataComponent
KiemInitializationException
- a KiemInitializationExceptionpublic void refreshWorkspace()
public String getMaudeGenCodeLocation()
public String getMaudeBaseCodeLocation()
public static boolean isWindows()
public String transformToCygwinPath(String WindowsPath)
WindowsPath
- the windows path
public void doModel2ModelTransform(KielerProgressMonitor monitor) throws Exception
JSONObjectSimulationDataComponent
doModel2ModelTransform
in class JSONObjectSimulationDataComponent
monitor
- the monitor
Exception
- the exceptionpublic boolean checkModelValidation(EObject rootEObject)
JSONObjectSimulationDataComponent
checkModelValidation
in class JSONObjectSimulationDataComponent
protected void resetAllEventsAndActions()
protected String[] getAllEvents()
protected String[] getAllActions()
protected org.eclipse.xtend.XtendFacade getXtendFacade()
public JSONObject doProvideInitialVariables() throws KiemInitializationException
JSONObjectSimulationDataComponent
doProvideInitialVariables
in class JSONObjectSimulationDataComponent
KiemInitializationException
- the kiem initialization exceptionprotected View getNotationElement(IEditorPart diagramEditor)
getNotationElement
in class JSONObjectSimulationDataComponent
protected IEditorPart getInputEditor()
getInputEditor
in class JSONObjectSimulationDataComponent
protected void clearConsole()
protected void printConsole(String text)
text
- the text
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |