variableList = declarationInstance.
+ getVariableDeclarationInstances();
+ //reinitializes ValuesTable
+ ValuesDataProvider.removeData();
+ //sets ValuesTable with the list of variables
+ for (VariableDeclarationInstance value : variableList) {
+ ValuesData v = new ValuesData();
+ //set nomenclature value
+ v.setCurrent(getStringValue(value.getCurrentValue()));
+ v.setName(value.getVariableDeclaration().getName());
+ ValuesDataProvider.addValues(v);
+ }
+ //looks for a active ValuesView instance and call update.
+ ViewPart valuesPart = (ViewPart) wb.getActiveWorkbenchWindow().
+ getActivePage().findView("com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.valuesView");
+ if (valuesPart instanceof ValuesView) {
+ valuesView = (ValuesView) valuesPart;
+ valuesView.update();
+ }
+ }
+ }
+
+ //Jorge Gutierrez 25/08/2016
+ /**
+ * Treats variable value and returns the corresponding nomenclature value.
+ *
+ * Recursive function that returns a character String by following the next rules.
+ * @param ve the valuesExpression given by Fiacre Model.
+ * @return the character String according to the embedded type.
+ */
+ public static String getStringValue(ValueExpression ve){
+ //returns false when ValueExpression is of type FalseLiteral
+ if(ve instanceof FalseLiteral){
+ return "False";
+ }
+ //returns true when ValueExpression is of type TrueLiteral
+ else if (ve instanceof TrueLiteral) {
+ return "True";
+ //returns number when ValueExpression is of type NaturaLiteral
+ }else if (ve instanceof NaturalLiteral) {
+ return ((NaturalLiteral) ve).getValue()+"";
+ //returns the ValueExpression * contained by [*] when is of type ArrayExpresion
+ }else if (ve instanceof ArrayExpression) {
+ ArrayExpression ae = (ArrayExpression)ve;
+ String text = "[";
+ for (int i = 0; i < ae.getValues().size(); i++) {
+ Expression e = ae.getValues().get(i);
+ if (i == ae.getValues().size() - 1) {
+ text = text + getStringValue((ValueExpression)e);
+ }else {
+ text = text + getStringValue((ValueExpression)e) + ", ";
+ }
+ }
+ return text + "]";
+ //returns the ValueExpression * contained by {*} when is of type RecordExpression
+ }else if (ve instanceof RecordExpression) {
+ RecordExpression re = (RecordExpression)ve;
+ String text = "{";
+ for (int i = 0; i < re.getFields().size(); i++) {
+ FieldExpression fe = re.getFields().get(i);
+ RecordFieldDeclaration rfd = (RecordFieldDeclaration)fe.getField();
+ //if it is the last element, does not add the separator ", "
+ if (i == re.getFields().size() - 1) {
+ text = text + rfd.getName() + " = " +getStringValue((ValueExpression)fe.getValue());
+ }else {
+ text = text + rfd.getName() + " = " +getStringValue((ValueExpression)fe.getValue()) + ", ";
+ }
+ }
+ return text + "}";
+ //returns the ValueExpression * contained by {|*|} when is of type QueueExpression
+ }else if (ve instanceof QueueExpression) {
+ QueueExpression qe = (QueueExpression)ve;
+ String text = "{|";
+ for (int i = 0; i < qe.getValues().size(); i++) {
+ Expression e = qe.getValues().get(i);
+ //if it is the last element, does not add the separator ", "
+ if (i == qe.getValues().size() - 1) {
+ text = text + getStringValue((ValueExpression)e);
+ }else {
+ text = text + getStringValue((ValueExpression)e) + ", ";
+ }
+ }
+ return text + "|}";
+ }else if(ve instanceof IdentifierExpression) {
+ //returns a ValueExpression contained by TagDeclaration name (*) when is of type ConstructionExpression
+ if (ve instanceof ConstructionExpression) {
+ ConstructionExpression ce = (ConstructionExpression)ve;
+ String text = "";
+ for (int i = 0; i < ce.getParameters().size(); i++) {
+ Expression e = ce.getParameters().get(i);
+ //if it is the last element, does not add the separator ", "
+ if (i == ce.getParameters().size() - 1) {
+ text = text + ((UnionTagDeclaration)ce.getDeclaration()).getName() + "(" + getStringValue((ValueExpression)e) + ")";
+ }else {
+ text = text + ((UnionTagDeclaration)ce.getDeclaration()).getName() + "(" + getStringValue((ValueExpression)e) + "), ";
+ }
+ }
+ return text;
+ //returns the TagDeclaration name when is of type IdentifierExpression
+ } else {
+ IdentifierExpression ie = (IdentifierExpression)ve;
+ ExpressionDeclarationUse edu = ie.getDeclaration();
+ UnionTagDeclaration utd = (UnionTagDeclaration)ie.getDeclaration();
+ return utd.getName();
+ }
+ }
+ return "";
+
+ }
+
+
+ /**
+ * Cleans the Values Table.
+ *
+ * Removes data from ValuesDataProvider and looks for the ValuesView instance to
+ * call an update. Show an empty table in the updating
+ */
+ public void reinitializeValuesView() {
+ ValuesDataProvider.removeData();
+ valuesView.update();
+ }
+
+ /**
+ * Makes an update to show the currents instances on instance window (views part).
+ *
+ * Calls an update by giving the Tree head (TreeObject) which contains the instances name in the root and
+ * their children from the Fiacre Model.
+ */
+ public void updateInstanceView() {
+ //updates current model.
+ djeViews = FiacreSimulator.sendDje();
+ //call update by passing a TreeObject.
+ instancesView.update(returnInstances());
+ }
+
+ //Jorge Gutierrez 17/08/2016
+ /**
+ * Adds a delay element (ActionState) in the actionStack when the DelayAction is launched
+ * @param dl The value about the delay given by the user
+ */
+ public void addDelayToAction (String dl){
+ ActionState obj = new ActionState("DELAY: " + dl, true);
+ actionStack.add(obj);
+ }
+
+ /**
+ * Adds a fire element (ActionState) in the actionStack when the FireAction is launched
+ * @param dl The value about the delay given by the user
+ */
+ public void addFireToAction (String tr_name){
+ //Jorge Gutierrez 16/08/2016
+ ActionState actionFire = new ActionState(tr_name, false);
+ actionStack.add(actionFire);
+ }
+
+ /**
+ * executes a transition selected by the user in the Fiacre Model
+ *
+ * Adds the action to the stackAction, search in the Map the StatementBlock
+ * to get the fireable Transition in the Fiacre Model, fires the transition
+ * and updates every view.
+ * @param tr_name the transition name taken from transition table, it will
+ * be used as key in transitionExecutableMap.
+ */
+ public void fireTransition(String tr_name) {
+ try {
+
+ //stores the fire action in the stakeAction
+ addFireToAction(tr_name);
+ //Maps the StatementBlock by transition name key
+ StatementBlock transition = transitionExecutableMap.get(tr_name);
+ LibTTS libtts = FiacreSimulator.getLibTTS();
+ long tr_long = -1;
+ djeViews = FiacreSimulator.sendDje();
+ //gets simulated transition
+ for (Map.Entry tr : libtts.getTTSSimulator()
+ .getAllTransitions().entrySet()) {
+ if (tr.getValue().getName().equals(transition.getName())) {
+ tr_long = tr.getKey();
+ }
+ }
+ //fires transition
+ libtts.getTTSSimulator().fireTransition(tr_long);
+
+ updateAll();
+
+ djeViews.extractExecutedStatements(libtts.getTTSSimulator()
+ .getAllTransitions().get(tr_long).name);/////////////////////////////////////
+ //update all views to show a consistent feedback.
+ //updateAll();
+ } catch (Error e) {
+ Utils.showException("Error", e);
+ // e.printStackTrace();
+ } catch (StateNotFound e) {
+ Utils.showException("StateNotFound", e);
+ // e.printStackTrace();
+ } catch (TransitionNotFound e) {
+ Utils.showException("TransitionNotFound", e);
+ // e.printStackTrace();
+ } catch (NotFireable e) {
+ Utils.showException("NotFireable", e);
+ // e.printStackTrace();
+ } catch (TException e) {
+ Utils.showException("TException", e);
+ // e.printStackTrace();
+ } catch (NullPointerException e) {
+ Utils.showException("NullPointerException", e);
+ // e.printStackTrace();
+ }
+
+ }
+
+
+
+ // Jorge Gutierrez 05/08/2016
+ /**
+ * Returns a list of executable transitions names given by executed model
+ *
+ * Takes a list of StatementsBlocks from the model and looks for the executable
+ * StatementsBlocks to put in a transition map and to put its name in a List of String
+ * @return List of character String according to executable transition name and date.
+ */
+ private ArrayList returnTransitions() {
+ //Takes all statement blocks by the instance model
+ EList statementList = djeViews.getInstanceModel()
+ .getStatementBlocks();
+ ArrayList statementListString = new ArrayList();
+ transitionExecutableMap.clear();
+ //Puts the executable statements in a List
+ for (StatementBlock s : statementList) {
+ if (s instanceof ExecutableStatementBlock) {
+ String statementAndDate = "";
+// if (s instanceof EnabledStatementBlock) {
+ statementAndDate = s.getName() + " - " + ((ExecutableStatementBlock)s).getDate();
+// }else {
+// statementAndDate = s.getName();
+// }
+ statementListString.add(statementAndDate);
+ //Maps the statements by the String key. this key is defined by statements name and time needed to execute it
+ transitionExecutableMap.put(statementAndDate, s);
+ }
+ }
+ return statementListString;
+ }
+
+ // Jorge Gutierrez 05/08/2016
+ /**
+ * Indicates if statementBlock mapped by the given string key is Fireable
+ *
+ * Function used by TransitionViews to know if a transition is fireable or not
+ * @return true if this transition is fireable or false, is not fireable.
+ */
+ public Boolean isFireable(String s) {
+ if (transitionExecutableMap.get(s) instanceof FireableStatementBlock){
+ return true;
+ }else {
+ return false;
+ }
+ }
+
+ // Jorge Gutierrez 22072016
+ /**
+ * Returns a TreeObject that has the model Instance root and it is connected
+ * with their children
+ *
+ * A TreeObject is a Node with a Tree structure performance that contains a instance name.
+ * When a TreeObject has children it is of type TreeParent that has a Array of TreeObject instances.
+ * The function takes all instances which are on the root and makes depth iteration for each one.
+ * @return Root with all instances as children
+ */
+ public TreeObject returnInstances() {
+ //Takes a Declaration Instance list from the simulated model.
+ EList instanceListDeclaretion = djeViews
+ .getInstanceModel().getInstance();
+ int i = 0;
+ TreeParent rootParent = new TreeParent("");
+ //clears the map that store instances objects.
+ instancesMap.clear();
+ //iterate each instances content.
+ while (i < instanceListDeclaretion.size()) {
+ iterateInstances(instanceListDeclaretion.get(i), rootParent);
+ i++;
+ }
+ return rootParent;
+ }
+
+ /**
+ * Build a Tree of block Instances and maps them to instanceMap until there are not
+ * more embedded Instances
+ *
+ * Checks if Instance is a Process then adds to Parent else checks if it is Component to
+ * iterate recursively its instances and in the same way when it is a Composition.
+ * The instance is mapped by TreeObject key containing its instance name.
+ * @param blockInstance The BlockInstance given as point reference to read through its children.
+ * @param instanceTreeParent The TreeParent given as a reference point to add its children.
+ */
+ private void iterateInstances(BlockInstance blockInstance,
+ TreeParent instanceTreeParent) {
+ //Checks if instance is a Process then adds to Parent reference and instance map.
+ if (blockInstance instanceof ProcessDeclarationInstance) {
+ String nameProcess = ((ProcessDeclarationInstance)
+ blockInstance).getProcess().getName();
+ String currentStateProcess = ((ProcessDeclarationInstance)
+ blockInstance).getCurrentState().getName();
+ TreeObject processNodeObject = new TreeObject(nameProcess + " - "
+ + currentStateProcess);
+ instanceTreeParent.addChild(processNodeObject);
+ // Jorge Gutierrez 01/08/2016 //
+ instancesMap.put(processNodeObject, blockInstance);
+ //Checks if instance is a Component then adds to Parent reference and instance map, and iterate its instances contained.
+ } else if (blockInstance instanceof ComponentDeclarationInstance) {
+ ComponentDeclarationInstance component = ((ComponentDeclarationInstance)
+ blockInstance);
+ String nameComponent = component.getComponent().getName();
+ TreeParent componentNodeParent = new TreeParent(nameComponent);
+ instanceTreeParent.addChild(componentNodeParent);
+ // Jorge Gutierrez 01/08/2016
+ instancesMap.put(componentNodeParent, component);
+ for (int i = 0; i < component.getBlockInstances().size(); i++) {
+ iterateInstances(component.getBlockInstances().get(i), componentNodeParent);
+ }
+ //Checks if instance is a Composition then adds to Parent reference and instance map, and iterate its instances contained.
+ }else {
+ CompositionInstance composition = ((CompositionInstance) blockInstance);
+ String namecomposition = new String("");
+ TreeParent compositionNodeParent = new TreeParent(namecomposition);
+ instanceTreeParent.addChild(compositionNodeParent);
+ instancesMap.put(compositionNodeParent, composition);
+ for (int i = 0; i < composition.getBlockInstances().size(); i++) {
+ iterateInstances(composition.getBlockInstances().get(i), compositionNodeParent);
+ }
+ }
+ }
+
+ // Jorge Gutierrez 05/08/2016
+ /**
+ * Updates the simulated file.
+ *
+ * the function is called by FiacreSimulator class
+ * @param newFile the File selected to be executed.
+ */
+ public void setFile(IFile newFile) {
+ file = newFile;
+ }
+
+ // Jorge Gutierrez 05/08/2016
+ /**
+ * Highlights on editor part the corresponding statement block by selected Transition.
+ *
+ * Finds a Transition Statement Block from the simulated model and marks it on code editor
+ * Selects on Instance view, the instance involved in transition statements code.
+ * @param tr_name The string allocated for a transition.
+ */
+ public void showSelectedTransition(String tr_name) {
+ //takes a Statement Transition block by its name and find stamentBlock on the simulated model.
+ StatementBlock transition = transitionExecutableMap.get(tr_name);
+ InstanceModel instanceModel = djeViews.getInstanceModel();
+ StatementBlock statementblock = null;
+ for (StatementBlock stb : instanceModel.getStatementBlocks()) {
+ if (stb.getName().equals(transition.getName())) {
+ statementblock = stb;
+ }
+ }
+ //reinitializes the marking and highlights the code fragment which are attached to statement block.
+ MarkingController.deleteMarkers(file);
+ MarkingController.highlightCode(statementblock);
+ //selects on the Instance view table, the Transitions elements which has a statement transition in common.
+ instancesView.selectInstanceObject(returnInstanceContent(statementblock));
+ }
+
+ //Jorge Gutierrez 11/08/2016
+ /**
+ * Returns the instances that contains the Statement block given
+ *
+ * Browses in all Instances Statement Blocks to find the Statements Blocks which have the same reference to
+ * Statement Block given.
+ * @param statementblock The Transition Statement Block selected by user.
+ * @return a list of Instance(TreeObject) to be selected by showSelected function
+ */
+ public ArrayList returnInstanceContent(StatementBlock
+ statementblock) {
+ ArrayList instanceList = new ArrayList();
+ for (Map.Entry iterator : instancesMap
+ .entrySet()) {
+ if (iterator.getValue() instanceof ProcessDeclarationInstance ){
+ EList listISB = (
+ (ProcessDeclarationInstance)iterator.getValue())
+ .getInstanceStatementBlocks();
+ int i = 0;
+ boolean b = true;
+ do {
+ if (listISB.size() != 0) {
+ for (InstanceStatementBlock isb : listISB) {
+ if (statementblock.getInstanceStatementBlocks()
+ .get(i) == isb) {
+ if (!instanceList.contains(iterator.getKey())) {
+ instanceList.add(iterator.getKey());
+ b = false;
+ }
+ }
+ }
+ }
+ i++;
+ } while (i < statementblock.getInstanceStatementBlocks().size()
+ && b);
+
+ }
+ }
+ return instanceList;
+ }
+
+ //Jorge Gutierrez 08/08/2016
+ /**
+ * Removes highlighted text from editor part.
+ */
+ public void deleteMarkers (){
+ try {
+ MarkingController.deleteMarkers(file);
+ } catch (Exception e) {
+ // TODO: handle exception
+ }
+ }
+
+ //Jorge Gutierrez 08/08/2016
+ /**
+ * Deletes data and content from every view
+ *
+ * clearAllViews function is called by QuitSimulator class when the simulator
+ * is stopped by user.
+ */
+ public void clearAllViews (){
+ file = null;
+
+ instancesView.update(new TreeParent(""));
+
+ transitionExecutableMap.clear();
+ transitionsView.clearContent();
+
+ ValuesDataProvider.removeData();
+ valuesView.update();
+
+ actionStack.clear();
+ executedActionView.update(returnActions());
+
+ stateMap.clear();
+ activitiesStackMap.clear();
+ savedStatesView.update(returnSavedStates());
+ refresh();
+ }
+
+ //Jorge Gutierrez 12/08/2016 /////////////////TOCHANGE
+ /**
+ *
+ */
+ public void launchFeedBack() throws InvocationTargetException, InterruptedException {
+ }
+
+ //Jorge Gutierrez 16/08/2016
+ /**
+ * Makes an update to show the currents executed actions on ExecutedAction window (view part).
+ *
+ * Calls an update by giving a list of actions implemented during execution.
+ */
+ public void updateExecutedActionView() {
+ //updates current model.
+ djeViews = FiacreSimulator.sendDje();
+ //calls update by passing a list of Executed Action as parameter.
+ executedActionView.update(returnActions());
+ }
+
+ /**
+ * Creates and returns a list from the stack reserved for executed action.
+ * @return list of actions names.
+ */
+ private ArrayList returnActions() {
+ ArrayList list = new ArrayList();
+ for (ActionState t : actionStack) {
+ list.add(t.getAction());
+ }
+ Collections.reverse(list);
+ return list;
+ }
+
+ //Jorge Gutierrez 17/08/2016
+ /**
+ * Indicates if a executed action is a Delay
+ *
+ * Function used by ExecutedActionViews to know if a action searched by its name, is a delay or not
+ * @param obj the obj is the Action name given by ExecutedActionViews
+ * @return true if this action state is a delay or false, is not a delay or it does not exist.
+ */
+ public boolean isDelay (String obj){
+ for (ActionState t : actionStack ) {
+ if (t.getAction().equals(obj)) {
+ return t.getDelay();
+ }
+ }
+ return false;
+ }
+
+ //Jorge Gutierrez 17/08/2016
+ /**
+ * Undoes the last executed action
+ *
+ * Takes the last element from the actionStack and undoes the action in the simulated model,
+ * then makes a Feedback about all views (updateAll).
+ */
+ public void undoAction() {
+ try {
+ ActionState undo_action = actionStack.pop();
+ FiacreSimulator.getLibTTS().getTTSSimulator().undo();
+ updateAll();
+ if(undo_action.getAction().contains(" ")){
+ String tr_name= undo_action.getAction().substring(0, undo_action.getAction().indexOf(" "));
+ if(!tr_name.contentEquals("DELAY:")){
+ if(djeViews.gettr_gl_tr_ins().get(tr_name).size() == 1){
+ djeViews.getMSCModel().getSteps().remove(djeViews.getMSCModel().getSteps().size()-1);
+
+ }
+ else{
+ djeViews.getMSCModel().getSteps().remove(djeViews.getMSCModel().getSteps().size()-1);
+ djeViews.getMSCModel().getSteps().remove(djeViews.getMSCModel().getSteps().size()-1);
+ }
+ djeViews.saveMscResource();
+ }
+ }
+ } catch (Exception e) {
+ // TODO: handle exception
+ }
+ }
+
+ /**
+ * Refreshes every view and reinitialize selections, values and markings.
+ */
+ private void updateAll() {
+ //djeViews.extractExecutedStatements(libtts.getTTSSimulator().getAllTransitions().get(tr_long).name);
+ djeViews.extractStates();
+ djeViews.extractExecutableStatements();
+ djeViews.extractValues();
+ //updates all views
+ updateInstanceView();
+ updateTransitionView();
+ updateExecutedActionView();
+ reinitializeValuesView();
+ MarkingController.deleteMarkers(file);
+ djeViews.saveInstanceResource();
+ }
+
+ /**
+ * Refreshes Project Explorer Part to display the launched file.
+ */
+ private void refresh(){
+ for(IProject project : ResourcesPlugin.getWorkspace().getRoot().getProjects()){
+ try {
+ project.refreshLocal(IResource.DEPTH_INFINITE, new NullProgressMonitor());
+
+ } catch (CoreException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+ }
+
+ /**
+ * Selects on editor code the Instances declarations selected in the instances table by the user/
+ *
+ * Gets editor instance to use the Select Service, takes a TreeObject key to get a corresponding block Instance,
+ * then checks if the block Instance is the type of Declaration, Component or Composition, to select it in the code.
+ * @param obj the TreeObject is given by InstanceView to search the Instance form the model.
+ */
+ public void showInstanceSelected(TreeObject obj) {
+
+ IEditorPart part = page.getActiveEditor();
+ if (!(part instanceof AbstractTextEditor))
+ return;
+ ITextEditor editor = (ITextEditor)part;
+
+
+ BlockInstance bi = instancesMap.get(obj);
+ EObject element = null ;
+ if (bi instanceof DeclarationInstance){
+ if(((DeclarationInstance)bi).getInstance() != null){
+ element = ((DeclarationInstance)bi).getInstance();
+ LeafNode tr_source_cn = (LeafNode) NodeModelUtils.findNodesForFeature(element, FiacrePackage.eINSTANCE.getComponentInstance_Component()).get(0);
+ editor.selectAndReveal(tr_source_cn.getOffset(), tr_source_cn.getLength());
+ }
+ else{
+ if(bi instanceof ComponentDeclarationInstance)
+ {
+ element = ((ComponentDeclarationInstance)bi).getComponent();
+ LeafNode tr_source_cn = (LeafNode) NodeModelUtils.findNodesForFeature(element, FiacrePackage.eINSTANCE.getNamedElement_Name()).get(0);
+ editor.selectAndReveal(tr_source_cn.getOffset(), tr_source_cn.getLength());
+ }
+ else
+ element = ((ProcessDeclarationInstance)bi).getProcess();
+ LeafNode tr_source_cn = (LeafNode) NodeModelUtils.findNodesForFeature(element, FiacrePackage.eINSTANCE.getNamedElement_Name()).get(0);
+ editor.selectAndReveal(tr_source_cn.getOffset(), tr_source_cn.getLength());
+ }
+ }
+ else{
+ element = ((CompositionInstance)bi).getComposition();
+ ICompositeNode tr_source_cn = NodeModelUtils.findActualNodeFor(element);
+ for (INode i: tr_source_cn.getChildren()){
+ if(i instanceof LeafNode && i.getText().equals("par"))
+ editor.selectAndReveal(i.getOffset(), i.getLength());
+ }
+
+ }
+
+
+ }
+
+
+ /**
+ * Maps a Executed Model State with Tag key and maps its activities Stack associated with the same key
+ * @param tag The Tag is a character string given by the user.
+ */
+ public void addStateToMap(String tag) { ////////////////not enough necessary
+ stateMap.put(tag, FiacreSimulator.getLibTTS().getTTSSimulator().getState());
+ Stack tagActionStack = (Stack) actionStack.clone();
+// Stack tagActionStack=new Stack();
+// for (ActionState a : actionStack) {
+// tagActionStack.push(a);
+// }
+ StateStructure ss = new StateStructure();
+ ss.interfaceStack = tagActionStack;
+ ss.modelStack = (Stack) FiacreSimulator.getLibTTS().getTTSSimulator().getPrevious_states().clone();
+ activitiesStackMap.put(tag, ss);
+ updateSavedStatesView();
+ }
+
+ /**
+ * Makes an update to show the saved States on SavedStates window (view part).
+ *
+ * Calls an update by giving a list of saved states during execution.
+ */
+ public void updateSavedStatesView() {
+ //calls update by passing a list of SavedStates as parameter.
+ savedStatesView.update(returnSavedStates());
+ }
+
+ /**
+ * Takes each element from the state map and puts it in a list
+ * @return list of Tag character string contained by stateMap
+ */
+ private ArrayList returnSavedStates() {
+ ArrayList list = new ArrayList();
+ for (Map.Entry iterator : stateMap.entrySet()){
+ list.add(iterator.getKey());
+ }
+ return list;
+ }
+
+ /**
+ * Removes a saved state chosen by user on the SavedStateView and its activities stack associated.
+ * @param tag The state that will be removed from stateMap
+ */
+ public void deleteState(String tag) {
+ stateMap.remove(tag);
+ activitiesStackMap.remove(tag);
+ updateSavedStatesView();
+
+ }
+
+ /**
+ * Returns the simulation to saved state selected and updates all views.
+ * @param tag The state that will be updated in simulator
+ */
+ public void goToState(String tag) {
+ FiacreSimulator.getLibTTS().getTTSSimulator().setState(stateMap.get(tag));
+ actionStack = (Stack) activitiesStackMap.get(tag).interfaceStack.clone();
+ FiacreSimulator.getLibTTS().getTTSSimulator().setPrevious_states((Stack) activitiesStackMap.get(tag).modelStack.clone());
+ updateAll();
+ }
+
+ /**
+ * Display a temporary label attached to the Instance Flat name.
+ * @param obj The treeObject representative of the instance selected.
+ */
+ public String returnFlatName(TreeObject obj) {
+ BlockInstance bI = instancesMap.get(obj);
+ if (bI instanceof DeclarationInstance)
+ return ((DeclarationInstance) bI).getFlatname();
+ return "Composition";
+ }
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ActionState.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ActionState.java
new file mode 100644
index 0000000..2d21904
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ActionState.java
@@ -0,0 +1,46 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.model;
+
+public class ActionState {
+ String action;
+ Boolean delay;
+
+ public ActionState() {
+ super();
+ }
+
+ public ActionState(String action, Boolean delay) {
+ super();
+ this.action = action;
+ this.delay = delay;
+ }
+
+ public String getAction() {
+ return action;
+ }
+
+ public void setAction(String action) {
+ this.action = action;
+ }
+
+ public Boolean getDelay() {
+ return delay;
+ }
+
+ public void setDelay(Boolean delay) {
+ this.delay = delay;
+ }
+
+
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeObject.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeObject.java
new file mode 100644
index 0000000..2bd61c0
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeObject.java
@@ -0,0 +1,38 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.model;
+
+import org.eclipse.core.runtime.IAdaptable;
+
+public class TreeObject implements IAdaptable {
+ private String name;
+ private TreeParent parent;
+
+ public TreeObject(String name) {
+ this.name = name;
+ }
+ public String getName() {
+ return name;
+ }
+ public void setParent(TreeParent parent) {
+ this.parent = parent;
+ }
+ public TreeParent getParent() {
+ return parent;
+ }
+ public String toString() {
+ return getName();
+ }
+ public T getAdapter(Class key) {
+ return null;
+ }
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeParent.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeParent.java
new file mode 100644
index 0000000..d68d0ed
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/TreeParent.java
@@ -0,0 +1,36 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.model;
+
+import java.util.ArrayList;
+
+public class TreeParent extends TreeObject {
+ private ArrayList children;
+ public TreeParent(String name) {
+ super(name);
+ children = new ArrayList();
+ }
+ public void addChild(TreeObject child) {
+ children.add(child);
+ child.setParent(this);
+ }
+ public void removeChild(TreeObject child) {
+ children.remove(child);
+ child.setParent(null);
+ }
+ public TreeObject [] getChildren() {
+ return (TreeObject [])children.toArray(new TreeObject[children.size()]);
+ }
+ public boolean hasChildren() {
+ return children.size()>0;
+ }
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesData.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesData.java
new file mode 100644
index 0000000..2fa3295
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesData.java
@@ -0,0 +1,49 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.model;
+
+public class ValuesData {
+ private String name;
+ private String initial;
+ private String current;
+
+ public ValuesData(){
+ name = "";
+ initial = "";
+ current = "";
+ }
+
+ public ValuesData(String n, String i, String c){
+ name = n;
+ initial = i;
+ current = c;
+ }
+
+ public String getName() {
+ return name;
+ }
+ public void setName(String name) {
+ this.name = name;
+ }
+ public String getInitial() {
+ return initial;
+ }
+ public void setInitial(String initial) {
+ this.initial = initial;
+ }
+ public String getCurrent() {
+ return current;
+ }
+ public void setCurrent(String current) {
+ this.current = current;
+ }
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesDataProvider.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesDataProvider.java
new file mode 100644
index 0000000..8b027bb
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/model/ValuesDataProvider.java
@@ -0,0 +1,44 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.model;
+
+import java.util.ArrayList;
+import java.util.List;
+
+public enum ValuesDataProvider {
+ INSTANCE;
+
+ ///faire atention avec la privacité
+
+ private static List data = new ArrayList();
+
+ ValuesDataProvider() {
+ }
+
+ public static void addValues(ValuesData values){
+ data.add(values);
+ }
+
+ public ValuesData getValues(Integer index){
+ return data.get(index);
+ }
+
+ public List getData(){
+ return data;
+ }
+
+ public static void removeData(){
+ data.clear();
+ }
+
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ExecutedActionView.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ExecutedActionView.java
new file mode 100644
index 0000000..f131b30
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ExecutedActionView.java
@@ -0,0 +1,171 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.views;
+
+import java.util.ArrayList;
+import java.util.Vector;
+
+import org.eclipse.jface.action.Action;
+import org.eclipse.jface.action.IMenuManager;
+import org.eclipse.jface.action.IToolBarManager;
+import org.eclipse.jface.action.Separator;
+import org.eclipse.jface.dialogs.MessageDialog;
+import org.eclipse.jface.resource.ImageDescriptor;
+import org.eclipse.jface.viewers.ArrayContentProvider;
+import org.eclipse.jface.viewers.ITableLabelProvider;
+import org.eclipse.jface.viewers.LabelProvider;
+import org.eclipse.jface.viewers.TableViewer;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.graphics.Image;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.ui.IActionBars;
+import org.eclipse.ui.ISharedImages;
+import org.eclipse.ui.PlatformUI;
+import org.eclipse.ui.part.ViewPart;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+
+import com.irtsaintexupery.fiacre.simulator.perspective.ViewsController;
+
+public class ExecutedActionView extends ViewPart {
+
+ public static final String ID = "com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.executedActionView";
+
+ private TableViewer viewer;
+ private Action undo;
+
+ private Vector elementsTable = new Vector ();
+
+ class ViewLabelProvider extends LabelProvider implements ITableLabelProvider {
+ public String getColumnText(Object obj, int index) {
+ return getText(obj);
+ }
+ public Image getColumnImage(Object obj, int index) {
+ return getImage(obj);
+ }
+ public Image getImage(Object obj) {
+ if (ViewsController.INSTANCE.isDelay(getText(obj))) {
+ Image im = getImage("icons/time_add.png");
+ return im;
+ }else {
+ return PlatformUI.getWorkbench().getSharedImages()
+ .getImage(ISharedImages.IMG_OBJS_TASK_TSK);
+ }
+
+ }
+ }
+ /**
+ * The constructor.
+ */
+ public ExecutedActionView() {
+ // TODO Auto-generated constructor stub
+ }
+
+ @Override
+ public void createPartControl(Composite parent) {
+ viewer = new TableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
+
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ //TODO add elements to the table
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+
+ // Create the help context id for the viewer's control
+ PlatformUI.getWorkbench().getHelpSystem().setHelp(viewer.getControl(),
+ "ExecutedActionView.viewer");
+ getSite().setSelectionProvider(viewer);
+ makeActions();
+ contributeToActionBars();
+ undo.setEnabled(false);
+ undo.setDisabledImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
+ .getImageDescriptor(ISharedImages.IMG_TOOL_UNDO_DISABLED));
+ }
+
+ private void contributeToActionBars() {
+ IActionBars bars = getViewSite().getActionBars();
+ fillLocalPullDown(bars.getMenuManager());
+ fillLocalToolBar(bars.getToolBarManager());
+ }
+
+ private void fillLocalPullDown(IMenuManager manager) {
+ manager.add(new Separator());
+ manager.add(undo);
+ }
+
+ private void fillLocalToolBar(IToolBarManager manager) {
+ manager.add(undo);
+ }
+
+ private void makeActions() {
+
+ undo = new Action() {
+ public void run() {
+ if (!elementsTable.isEmpty()) {
+ ViewsController.INSTANCE.undoAction();
+ }
+ }
+ };
+ undo.setText("Undo");
+ undo.setToolTipText("Undo");
+// ImageDescriptor imageDescriptorUndo = AbstractUIPlugin
+// .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+// + ".simulator.perspective", "/icons/arrow_undo.png" );
+
+ undo.setImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
+ .getImageDescriptor(ISharedImages.IMG_TOOL_UNDO));
+//
+// redo = new Action() {
+// public void run() {
+// showMessage("Redo executed");
+// }
+// };
+// redo.setText("Redo");
+// redo.setToolTipText("Redo tooltip");
+// ImageDescriptor imageDescriptorRedo = AbstractUIPlugin
+// .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+// + ".simulator.perspective", "/icons/arrow_redo.png" );
+// redo.setImageDescriptor(imageDescriptorRedo);
+ }
+
+ private void showMessage(String message) {
+ MessageDialog.openInformation(
+ viewer.getControl().getShell(),
+ "Executed Action View",
+ message);
+ }
+
+ @Override
+ public void setFocus() {
+ viewer.getControl().setFocus();
+
+ }
+
+ public void update(ArrayList list) {
+ elementsTable.clear();
+ for (String s : list) {
+ elementsTable.add(s);
+ }
+ if (elementsTable.isEmpty()) {
+ undo.setEnabled(false);
+ undo.setDisabledImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
+ .getImageDescriptor(ISharedImages.IMG_TOOL_UNDO_DISABLED));
+ }else{
+ undo.setEnabled(true);
+ undo.setDisabledImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
+ .getImageDescriptor(ISharedImages.IMG_TOOL_UNDO));
+ }
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+ }
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/InstancesView.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/InstancesView.java
new file mode 100644
index 0000000..ca8e6e7
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/InstancesView.java
@@ -0,0 +1,264 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.views;
+
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.ui.part.*;
+
+import com.irtsaintexupery.fiacre.simulator.perspective.model.TreeObject;
+import com.irtsaintexupery.fiacre.simulator.perspective.model.TreeParent;
+import com.irtsaintexupery.fiacre.simulator.perspective.ViewsController;
+
+import org.eclipse.jface.viewers.*;
+import org.eclipse.swt.graphics.Image;
+
+import java.util.ArrayList;
+
+import org.eclipse.jface.action.*;
+import org.eclipse.jface.dialogs.MessageDialog;
+import org.eclipse.ui.*;
+import org.eclipse.swt.widgets.Menu;
+import org.eclipse.swt.SWT;
+
+public class InstancesView extends ViewPart {
+
+ /**
+ * The ID of the view as specified by the extension.
+ */
+ public static final String ID = "com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.instancesView";
+
+ private TreeViewer viewer;
+ private DrillDownAdapter drillDownAdapter;
+ private Action doubleClickAction;
+ private Action oneClickAction;
+ private TreeObject instanceTree;
+
+
+
+ class ViewContentProvider implements ITreeContentProvider {
+ @Override
+ public void dispose() {
+ // TODO Auto-generated method stub
+
+ }
+ @Override
+ public void inputChanged(Viewer viewer, Object oldInput, Object newInput) {
+ // TODO Auto-generated method stub
+
+ }
+
+ private TreeParent invisibleRoot;
+
+ public Object[] getElements(Object parent) {
+ if (parent.equals(getViewSite())) {
+ if (invisibleRoot==null) initialize();
+ return getChildren(invisibleRoot);
+ }
+ return getChildren(parent);
+ }
+ public Object getParent(Object child) {
+ if (child instanceof TreeObject) {
+ return ((TreeObject)child).getParent();
+ }
+ return null;
+ }
+ public Object [] getChildren(Object parent) {
+ if (parent instanceof TreeParent) {
+ return ((TreeParent)parent).getChildren();
+ }
+ return new Object[0];
+ }
+ public boolean hasChildren(Object parent) {
+ if (parent instanceof TreeParent)
+ return ((TreeParent)parent).hasChildren();
+ return false;
+ }
+
+ public void initialize() {
+ invisibleRoot = (TreeParent) instanceTree;
+ }
+
+
+ }
+
+ class ViewLabelProvider extends ColumnLabelProvider {
+ @Override
+ public String getText(Object obj) {
+ return obj.toString();
+
+ }
+ @Override
+ public Image getImage(Object obj) {
+ String imageKey = ISharedImages.IMG_OBJ_ELEMENT;
+ if (obj instanceof TreeParent)
+ if (((TreeParent) obj).getName().equals("")) {
+ imageKey = ISharedImages.IMG_TOOL_UP_DISABLED;
+ }else {
+ imageKey = ISharedImages.IMG_TOOL_UP;
+ }
+ return PlatformUI.getWorkbench().getSharedImages().getImage(imageKey);
+ }
+
+ @Override
+ public String getToolTipText(Object obj) {
+ return ViewsController.INSTANCE.returnFlatName((TreeObject) obj);
+ }
+
+ @Override
+ public int getToolTipDisplayDelayTime(Object object) {
+ return 0;
+ }
+
+ @Override
+ public int getToolTipTimeDisplayed(Object object) {
+ return 5000;
+ }
+
+
+ }
+
+/**
+ * The constructor.
+ */
+ public InstancesView() {
+ }
+
+ /**
+ * This is a callback that will allow us
+ * to create the viewer and initialize it.
+ */
+ public void createPartControl(Composite parent) {
+
+ //create the content
+ viewer = new TreeViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
+ drillDownAdapter = new DrillDownAdapter(viewer);
+
+ viewer.setContentProvider(new ViewContentProvider());
+
+ ColumnViewerToolTipSupport.enableFor(viewer);
+
+ viewer.setInput(getViewSite());
+ viewer.setLabelProvider(new ViewLabelProvider());
+
+ viewer.expandAll();
+
+ // Create the help context id for the viewer's control
+ PlatformUI.getWorkbench().getHelpSystem().setHelp(viewer.getControl(),
+ "viewDemo2.viewer");
+ getSite().setSelectionProvider(viewer);
+ makeActions();
+ hookContextMenu();
+ hookDoubleClickAction();
+ hookOneClickAction();
+ contributeToActionBars();
+ }
+
+ private void hookContextMenu() {
+ MenuManager menuMgr = new MenuManager("#PopupMenu");
+ menuMgr.setRemoveAllWhenShown(true);
+ menuMgr.addMenuListener(new IMenuListener() {
+ public void menuAboutToShow(IMenuManager manager) {
+ }
+ });
+ Menu menu = menuMgr.createContextMenu(viewer.getControl());
+ viewer.getControl().setMenu(menu);
+ getSite().registerContextMenu(menuMgr, viewer);
+ }
+
+ private void contributeToActionBars() {
+ IActionBars bars = getViewSite().getActionBars();
+ }
+
+ private void makeActions() {
+
+ doubleClickAction = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ //showMessage("Double-click detected on "+obj.toString());
+ if (!selection.isEmpty()) {
+ ViewsController.INSTANCE.showInstanceSelected((TreeObject)obj);
+ }
+ }
+ };
+
+ oneClickAction = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ if (selection != null & selection instanceof IStructuredSelection
+ && obj != null) {
+ ViewsController.INSTANCE.showValuesView((TreeObject)obj);
+ }
+ }
+ };
+ }
+
+ private void hookDoubleClickAction() {
+ viewer.addDoubleClickListener(new IDoubleClickListener() {
+ public void doubleClick(DoubleClickEvent event) {
+ doubleClickAction.run();
+ }
+ });
+ }
+
+ private void hookOneClickAction() {
+ viewer.addSelectionChangedListener(new ISelectionChangedListener() {
+
+ @Override
+ public void selectionChanged(SelectionChangedEvent event) {
+ oneClickAction.run();
+ }
+ });
+ }
+
+ private void showMessage(String message) {
+ MessageDialog.openInformation(
+ viewer.getControl().getShell(),
+ "Instances View",
+ message);
+ }
+
+ /**
+ * Passing the focus request to the viewer's control.
+ */
+ public void setFocus() {
+ viewer.getControl().setFocus();
+ }
+
+
+ public void update(TreeObject rood) {
+ instanceTree = rood;
+ viewer.setContentProvider(new ViewContentProvider());
+ viewer.setInput(getViewSite());
+ viewer.setLabelProvider(new ViewLabelProvider());
+
+ viewer.expandAll();
+ }
+
+ public void selectInstanceObject(TreeObject obj) {
+ viewer.setSelection(new StructuredSelection(obj), true);
+ }
+
+ public void selectInstanceObject(ArrayList instanceList) {
+
+ TreeObject[] array = new TreeObject[instanceList.size()];
+ for (int i = 0; i < instanceList.size(); i++) {
+ array[i] = instanceList.get(i);
+ }
+ viewer.setSelection(new StructuredSelection(array), true);
+ }
+
+
+}
+
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/SavedStatesView.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/SavedStatesView.java
new file mode 100644
index 0000000..e6eac5e
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/SavedStatesView.java
@@ -0,0 +1,286 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.views;
+
+import java.util.ArrayList;
+import java.util.Vector;
+
+import org.eclipse.jface.action.Action;
+import org.eclipse.jface.action.IMenuManager;
+import org.eclipse.jface.action.IToolBarManager;
+import org.eclipse.jface.action.Separator;
+import org.eclipse.jface.dialogs.IDialogConstants;
+import org.eclipse.jface.dialogs.IMessageProvider;
+import org.eclipse.jface.dialogs.MessageDialog;
+import org.eclipse.jface.dialogs.TitleAreaDialog;
+import org.eclipse.jface.resource.ImageDescriptor;
+import org.eclipse.jface.viewers.ArrayContentProvider;
+import org.eclipse.jface.viewers.ISelection;
+import org.eclipse.jface.viewers.IStructuredSelection;
+import org.eclipse.jface.viewers.ITableLabelProvider;
+import org.eclipse.jface.viewers.LabelProvider;
+import org.eclipse.jface.viewers.TableViewer;
+import org.eclipse.jface.window.Window;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.graphics.Image;
+import org.eclipse.swt.layout.GridData;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Button;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.swt.widgets.Dialog;
+import org.eclipse.swt.widgets.Display;
+import org.eclipse.swt.widgets.Event;
+import org.eclipse.swt.widgets.Label;
+import org.eclipse.swt.widgets.Listener;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.swt.widgets.Text;
+import org.eclipse.ui.IActionBars;
+import org.eclipse.ui.ISharedImages;
+import org.eclipse.ui.PlatformUI;
+import org.eclipse.ui.part.ViewPart;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+
+import com.irtsaintexupery.fiacre.simulator.perspective.ViewsController;
+import com.irtsaintexupery.fiacre.simulator.perspective.views.ExecutedActionView.ViewLabelProvider;
+
+public class SavedStatesView extends ViewPart {
+
+ public static final String ID = "com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.SavedStatesView";
+
+ private TableViewer viewer;
+ private Action save;
+ private Action goTo;
+ private Action delete;
+
+ private Vector elementsTable = new Vector ();
+
+ class ViewLabelProvider extends LabelProvider implements ITableLabelProvider {
+ public String getColumnText(Object obj, int index) {
+ return getText(obj);
+ }
+ public Image getColumnImage(Object obj, int index) {
+ return getImage(obj);
+ }
+ public Image getImage(Object obj) {
+ return PlatformUI.getWorkbench().getSharedImages().getImage(ISharedImages
+ .IMG_OPEN_MARKER);
+
+ }
+ }
+ /**
+ * The constructor.
+ */
+ public SavedStatesView() {
+ // TODO Auto-generated constructor stub
+ }
+
+ @Override
+ public void createPartControl(Composite parent) {
+ viewer = new TableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
+
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ //TODO add elements to the table
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+
+ // Create the help context id for the viewer's control
+ PlatformUI.getWorkbench().getHelpSystem().setHelp(viewer.getControl(),
+ "ExecutedActionView.viewer");
+ getSite().setSelectionProvider(viewer);
+ makeActions();
+ contributeToActionBars();
+ save.setEnabled(false);
+ goTo.setEnabled(false);
+ delete.setEnabled(false);
+
+ }
+
+ private void contributeToActionBars() {
+ IActionBars bars = getViewSite().getActionBars();
+ fillLocalPullDown(bars.getMenuManager());
+ fillLocalToolBar(bars.getToolBarManager());
+ }
+
+ private void fillLocalPullDown(IMenuManager manager) {
+ manager.add(new Separator());
+ manager.add(save);
+ manager.add(new Separator());
+ manager.add(goTo);
+ manager.add(new Separator());
+ manager.add(delete);
+
+ }
+
+ private void fillLocalToolBar(IToolBarManager manager) {
+ manager.add(save);
+ manager.add(goTo);
+ manager.add(delete);
+ }
+
+ private void makeActions() {
+
+ save = new Action() {
+ public void run() {
+ SaveStateDialog dialog = new SaveStateDialog(viewer.getControl().getShell());
+ dialog.create();
+ if (dialog.open() == Window.OK) {
+ elementsTable.add(dialog.getTag());
+ ViewsController.INSTANCE.addStateToMap(dialog.getTag());
+ }
+ }
+ };
+ save.setText("Save");
+ save.setToolTipText("Save");
+ ImageDescriptor imageDescriptorSave = AbstractUIPlugin
+ .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+ + ".simulator", "/icons/brick_add.png" );
+ save.setImageDescriptor(imageDescriptorSave);
+
+ goTo = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ if (!selection.isEmpty()) {
+ if (selection != null && selection instanceof IStructuredSelection) {
+ ViewsController.INSTANCE.goToState(obj.toString());
+ }
+ }
+ }
+ };
+ goTo.setText("GoTo");
+ goTo.setToolTipText("GoTo");
+ ImageDescriptor imageDescriptorGoTo = AbstractUIPlugin
+ .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+ + ".simulator", "/icons/brick_go.png" );
+ goTo.setImageDescriptor(imageDescriptorGoTo);
+
+ delete = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ if (!selection.isEmpty()) {
+ if (selection != null && selection instanceof IStructuredSelection) {
+ ViewsController.INSTANCE.deleteState(obj.toString());
+ }
+ }
+ }
+ };
+ delete.setText("Delete");
+ delete.setToolTipText("Delete");
+ ImageDescriptor imageDescriptorDelete = AbstractUIPlugin
+ .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+ + ".simulator", "/icons/brick_delete.png" );
+ delete.setImageDescriptor(imageDescriptorDelete);
+
+ }
+
+ private void showMessage(String message) {
+ MessageDialog.openInformation(
+ viewer.getControl().getShell(),
+ "Executed Action View",
+ message);
+ }
+
+ @Override
+ public void setFocus() {
+ viewer.getControl().setFocus();
+
+ }
+
+
+ public class SaveStateDialog extends TitleAreaDialog {
+ private Text tagLabel;
+ private String tag;
+
+ public SaveStateDialog(Shell parentShell) {
+ super(parentShell);
+ // TODO Auto-generated constructor stub
+ }
+
+ @Override
+ public void create() {
+ super.create();
+ setTitle("Save state");
+ setMessage("write a identifier Tag to current state", IMessageProvider.INFORMATION);
+ }
+
+ @Override
+ protected Control createDialogArea(Composite parent) {
+ Composite area = (Composite) super.createDialogArea(parent);
+ Composite container = new Composite(area, SWT.NONE);
+ container.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
+ GridLayout layout = new GridLayout(2, false);
+ container.setLayout(layout);
+
+ createTagLabel(container);
+
+ return area;
+ }
+
+ private void createTagLabel(Composite container) {
+ Label lbtFirstName = new Label(container, SWT.NONE);
+ lbtFirstName.setText("State Tag");
+
+ GridData dataFirstName = new GridData();
+ dataFirstName.grabExcessHorizontalSpace = true;
+ dataFirstName.horizontalAlignment = GridData.FILL;
+
+ tagLabel = new Text(container, SWT.BORDER);
+ tagLabel.setLayoutData(dataFirstName);
+ }
+
+
+ @Override
+ protected boolean isResizable() {
+ return true;
+ }
+
+ // save content of the Text fields because they get disposed
+ // as soon as the Dialog closes
+ private void saveInput() {
+ tag = tagLabel.getText();
+
+ }
+
+ @Override
+ protected void okPressed() {
+ saveInput();
+ super.okPressed();
+ }
+
+ public String getTag() {
+ return tag;
+ }
+ }
+
+ public void update(ArrayList list) {
+ elementsTable.clear();
+ for (String s : list) {
+ elementsTable.add(s);
+ }
+ if(ViewsController.INSTANCE.getFile() != null){
+ save.setEnabled(true);
+ goTo.setEnabled(true);
+ delete.setEnabled(true);
+ }else {
+ save.setEnabled(false);
+ goTo.setEnabled(false);
+ delete.setEnabled(false);
+ }
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+ }
+
+}
\ No newline at end of file
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/TransitionsView.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/TransitionsView.java
new file mode 100644
index 0000000..b8fc099
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/TransitionsView.java
@@ -0,0 +1,260 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.views;
+
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Menu;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.part.*;
+import org.eclipse.jface.viewers.*;
+import org.eclipse.jface.window.Window;
+import org.eclipse.swt.graphics.Image;
+
+import java.util.ArrayList;
+import java.util.Vector;
+
+import org.apache.thrift.TException;
+import org.eclipse.jface.action.*;
+import org.eclipse.jface.dialogs.MessageDialog;
+import org.eclipse.jface.resource.ImageDescriptor;
+import org.eclipse.ui.*;
+import org.eclipse.ui.handlers.HandlerUtil;
+import org.eclipse.swt.SWT;
+import org.eclipse.ui.part.ViewPart;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+
+import com.irtsaintexupery.fiacre.simulator.core.DelayEvent;
+import com.irtsaintexupery.fiacre.simulator.core.FiacreSimulator;
+import com.irtsaintexupery.fiacre.simulator.core.ReadDelay;
+import com.irtsaintexupery.fiacre.simulator.core.Utils;
+import com.irtsaintexupery.fiacre.simulator.perspective.ViewsController;
+import com.irtsaintexupery.fiacre.simulator.staticjson.extractor.DynamicJsonExtractor;
+
+import fr.laas.libtts.LibTTS;
+import tts.Error;
+import tts.InvalidDelay;
+import tts.StateNotFound;
+
+
+
+public class TransitionsView extends ViewPart {
+
+ public static final String ID = "com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.transitionsView";
+
+ private TableViewer viewer;
+ private Action doubleClickAction;
+ private Action oneClickAction;
+ private Action delay;
+
+ private Vector elementsTable = new Vector ();
+
+ class ViewLabelProvider extends LabelProvider implements ITableLabelProvider {
+ public String getColumnText(Object obj, int index) {
+ return getText(obj);
+ }
+ public Image getColumnImage(Object obj, int index) {
+ return getImage(obj);
+ }
+ public Image getImage(Object obj) {
+ if (ViewsController.INSTANCE.isFireable(getText(obj))) {
+ return PlatformUI.getWorkbench().getSharedImages()
+ .getImage(ISharedImages.IMG_OBJ_ADD);
+ }else {
+ return PlatformUI.getWorkbench().getSharedImages()
+ .getImage(ISharedImages.IMG_ELCL_STOP);
+ }
+ }
+ }
+ /**
+ * The constructor.
+ */
+ public TransitionsView() {
+ // TODO Auto-generated constructor stub
+ }
+
+ @Override
+ public void createPartControl(Composite parent) {
+ viewer = new TableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
+
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ //TODO add elements to the table
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+
+ // Create the help context id for the viewer's control
+ PlatformUI.getWorkbench().getHelpSystem().setHelp(viewer.getControl(),
+ "TransitionView.viewer");
+ getSite().setSelectionProvider(viewer);
+ makeActions();
+ hookDoubleClickAction();
+ hookOneClickAction();
+ contributeToActionBars();
+ delay.setEnabled(false);
+
+ }
+
+ private void contributeToActionBars() {
+ IActionBars bars = getViewSite().getActionBars();
+ fillLocalPullDown(bars.getMenuManager());
+ fillLocalToolBar(bars.getToolBarManager());
+ }
+
+ private void fillLocalPullDown(IMenuManager manager) {
+ manager.add(new Separator());
+ manager.add(delay);
+ }
+
+ private void fillLocalToolBar(IToolBarManager manager) {
+ manager.add(delay);
+ }
+
+
+ private void makeActions() {
+
+ doubleClickAction = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ //showMessage("Double-click fire on "+obj.toString());
+ if (!selection.isEmpty()) {
+ if (selection != null && selection instanceof IStructuredSelection
+ && ViewsController.INSTANCE.isFireable(obj.toString())
+ ) {
+ ViewsController.INSTANCE.fireTransition(obj.toString());
+ }
+ }
+ }
+ };
+
+ oneClickAction = new Action() {
+ public void run() {
+ ISelection selection = viewer.getSelection();
+ Object obj = ((IStructuredSelection)selection).getFirstElement();
+ if (selection != null & selection instanceof IStructuredSelection
+ && obj != null) {
+ ViewsController.INSTANCE.showSelectedTransition(obj
+ .toString());
+ }
+ }
+ };
+
+ delay = new Action() {
+ public void run() {
+ ///////////////DELAY
+ delay();
+ }
+ };
+ delay.setText("delay");
+ delay.setToolTipText("Delay");
+ ImageDescriptor imageDescriptordelay = AbstractUIPlugin
+ .imageDescriptorFromPlugin( "com.irtsaintexupery.fiacre"
+ + ".simulator", "/icons/time_add.png" );
+
+ delay.setImageDescriptor(imageDescriptordelay);
+ }
+
+ private void hookDoubleClickAction() {
+ viewer.addDoubleClickListener(new IDoubleClickListener() {
+ public void doubleClick(DoubleClickEvent event) {
+ doubleClickAction.run();
+ }
+ });
+ }
+
+ private void hookOneClickAction() {
+ viewer.addSelectionChangedListener(new ISelectionChangedListener() {
+ @Override
+ public void selectionChanged(SelectionChangedEvent event) {
+ oneClickAction.run();
+ }
+ });
+ }
+
+ private void showMessage(String message) {
+ MessageDialog.openInformation(
+ viewer.getControl().getShell(),
+ "Transition View",
+ message);
+ }
+
+ @Override
+ public void setFocus() {
+ viewer.getControl().setFocus();
+
+ }
+
+ public void update(ArrayList list) {
+ delay.setEnabled(true);
+ elementsTable.clear();
+ for (String s : list) {
+ elementsTable.add(s);
+ }
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+ }
+
+ public void clearContent() {
+ elementsTable.clear();
+ delay.setEnabled(false);
+ viewer.setContentProvider(ArrayContentProvider.getInstance());
+ viewer.setInput(elementsTable);
+ viewer.setLabelProvider(new ViewLabelProvider());
+ }
+
+ //Jorge Gutierrez 22/08/2016
+ public void delay(){
+ Shell shell = PlatformUI.getWorkbench().getActiveWorkbenchWindow()
+ .getActivePage().getActivePart().getSite().getShell();
+ ReadDelay dialog = new ReadDelay(shell);
+ dialog.create();
+ if (dialog.open() == Window.OK) {
+ dialog.getValue();
+ LibTTS libtts = FiacreSimulator.getLibTTS();
+ DynamicJsonExtractor dje = FiacreSimulator.sendDje();
+ try {
+ libtts.getTTSSimulator().delay(dialog.getValue());
+ dje.extractExecutableStatements();
+
+
+ //Jorge Gutierrez 03/08/2016
+ ViewsController.INSTANCE.updateTransitionView();
+ ViewsController.INSTANCE.addDelayToAction(dialog.getValue());
+ ViewsController.INSTANCE.updateExecutedActionView();
+
+ dje.saveInstanceResource();
+ } catch (Error e) {
+ // TODO Auto-generated catch block
+ Utils.showException("Error",e);
+ //e.printStackTrace();
+ } catch (StateNotFound e) {
+ // TODO Auto-generated catch block
+ Utils.showException("StateNotFound",e);
+ //e.printStackTrace();
+ } catch (InvalidDelay e) {
+ // TODO Auto-generated catch block
+ Utils.showException("InvalidDelay",e);
+ //e.printStackTrace();
+ } catch (TException e) {
+ // TODO Auto-generated catch block
+ Utils.showException("TException",e);
+ //e.printStackTrace();
+ } catch (NumberFormatException e) {
+ // TODO Auto-generated catch block
+ Utils.showException("NumberFormatException: "+dialog.getValue()+" is not numeric value",e);
+ //e.printStackTrace();
+ }
+ }
+ }
+}
+
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ValuesView.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ValuesView.java
new file mode 100644
index 0000000..6826e14
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/perspective/views/ValuesView.java
@@ -0,0 +1,139 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.perspective.views;
+
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.part.*;
+
+import com.irtsaintexupery.fiacre.simulator.perspective.model.ValuesData;
+import com.irtsaintexupery.fiacre.simulator.perspective.model.ValuesDataProvider;
+
+import org.eclipse.jface.viewers.*;
+import org.eclipse.swt.graphics.Image;
+import org.eclipse.swt.layout.GridData;
+
+import java.util.ArrayList;
+
+import org.eclipse.core.runtime.IProgressMonitor;
+import org.eclipse.jface.action.*;
+import org.eclipse.ui.*;
+import org.eclipse.swt.widgets.Table;
+import org.eclipse.swt.widgets.TableColumn;
+import org.eclipse.swt.SWT;
+
+
+public class ValuesView extends ViewPart {
+ public static final String ID = "com.irtsaintexupery.fiacre.simulator"
+ + ".perspective.valuesView";
+
+ private TableViewer viewer;
+ private Action doubleClickAction;
+
+
+
+ class ViewLabelProvider extends LabelProvider implements ITableLabelProvider {
+ public String getColumnText(Object obj, int index) {
+ return getText(obj);
+ }
+ public Image getColumnImage(Object obj, int index) {
+ return getImage(obj);
+ }
+ public Image getImage(Object obj) {
+ return PlatformUI.getWorkbench().getSharedImages()
+ .getImage(ISharedImages.IMG_OBJ_ELEMENT);
+ }
+ }
+ /**
+ * The constructor.
+ */
+ public ValuesView() {
+ // TODO Auto-generated constructor stub
+ }
+
+ @Override
+ public void createPartControl(Composite parent) {
+ viewer = new TableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL
+ | SWT.FULL_SELECTION | SWT.BORDER);
+ createTable(parent);
+ final Table table = viewer.getTable();
+ table.setHeaderVisible(true);
+ table.setLinesVisible(true);
+
+ viewer.setContentProvider(new ArrayContentProvider());
+ // get the content for the viewer, setInput will call getElements in the
+ // contentProvider
+ viewer.setInput(ValuesDataProvider.INSTANCE.getData());
+ // make the selection available to other views
+ getSite().setSelectionProvider(viewer);
+ // set the sorter for the table
+
+ // define layout for the viewer
+ GridData gridData = new GridData();
+ gridData.verticalAlignment = GridData.FILL;
+ gridData.horizontalSpan = 2;
+ gridData.grabExcessHorizontalSpace = true;
+ gridData.grabExcessVerticalSpace = true;
+ gridData.horizontalAlignment = GridData.FILL;
+ viewer.getControl().setLayoutData(gridData);
+
+ }
+
+ @Override
+ public void setFocus() {
+ viewer.getControl().setFocus();
+
+ }
+
+ private void createTable(Composite parent){
+ String[] titles = { "Name", "Current Value" };
+ int[] bounds = { 100, 100 };
+
+ // Name
+ TableViewerColumn col = createTableViewerColumn(titles[0], bounds[0], 0);
+ col.setLabelProvider(new ColumnLabelProvider() {
+ @Override
+ public String getText(Object element) {
+ ValuesData e = (ValuesData)element;
+ return e.getName();
+ }
+ });
+
+ // Current Value
+ col = createTableViewerColumn(titles[1], bounds[1], 1);
+ col.setLabelProvider(new ColumnLabelProvider() {
+ @Override
+ public String getText(Object element) {
+ ValuesData e = (ValuesData)element;
+ return ""+e.getCurrent();
+ }
+ });
+
+ }
+
+ private TableViewerColumn createTableViewerColumn(String title, int bound,
+ final int colNumber) {
+ final TableViewerColumn viewerColumn = new TableViewerColumn(viewer,
+ SWT.NONE);
+ final TableColumn column = viewerColumn.getColumn();
+ column.setText(title);
+ column.setWidth(bound);
+ column.setResizable(true);
+ column.setMoveable(true);
+ return viewerColumn;
+ }
+
+ public void update() {
+ viewer.setInput(ValuesDataProvider.INSTANCE.getData());
+ }
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/FiacreSimulationAction.java b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/FiacreSimulationAction.java
new file mode 100644
index 0000000..f3a5518
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/FiacreSimulationAction.java
@@ -0,0 +1,86 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.popup.actions;
+
+import java.lang.reflect.InvocationTargetException;
+
+import org.eclipse.core.resources.IFile;
+import org.eclipse.jface.action.IAction;
+import org.eclipse.jface.viewers.ISelection;
+import org.eclipse.jface.viewers.IStructuredSelection;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.IActionDelegate;
+import org.eclipse.ui.IObjectActionDelegate;
+import org.eclipse.ui.IWorkbenchPart;
+
+import com.irtsaintexupery.fiacre.simulator.core.FiacreSimulator;
+import com.irtsaintexupery.fiacre.simulator.perspective.ViewsController;
+
+
+public class FiacreSimulationAction implements IObjectActionDelegate {
+
+ private Shell shell;
+ // added selection attribute
+ private ISelection selection;
+
+ /**
+ * Constructor for Action1.
+ */
+ public FiacreSimulationAction() {
+ super();
+ //toto
+ }
+
+ /**
+ * @see IObjectActionDelegate#setActivePart(IAction, IWorkbenchPart)
+ */
+ public void setActivePart(IAction action, IWorkbenchPart targetPart) {
+ shell = targetPart.getSite().getShell();
+ }
+
+ /**
+ * @see IActionDelegate#run(IAction)
+ */
+ public void run(IAction action) {
+ // charger le fichier .fcr
+
+ //Jorge Gutierrez 12/08/2016
+ try {
+ ViewsController.INSTANCE.launchFeedBack();
+ } catch (InvocationTargetException | InterruptedException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+
+
+ IFile file = getFile();
+
+ FiacreSimulator simfcr = new FiacreSimulator(file);
+
+ }
+
+ // added getFile() method
+ private IFile getFile() {
+ return (IFile) ((IStructuredSelection) selection).getFirstElement();
+ }
+
+ /**
+ * @see IActionDelegate#selectionChanged(IAction, ISelection)
+ */
+ public void selectionChanged(IAction action, ISelection selection) {
+ // Don't forget this line.
+ // It is the most important line.
+ this.selection = selection;
+ }
+
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/old.txt b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/old.txt
new file mode 100644
index 0000000..01cb5ac
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/popup/actions/old.txt
@@ -0,0 +1,247 @@
+package com.irt.ingequip.fiacre.simulator.popup.actions;
+
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
+
+import org.eclipse.core.resources.IFile;
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.resource.ResourceSet;
+import org.eclipse.jface.action.IAction;
+import org.eclipse.jface.text.BadLocationException;
+import org.eclipse.jface.viewers.ISelection;
+import org.eclipse.jface.viewers.IStructuredSelection;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.IObjectActionDelegate;
+import org.eclipse.ui.IWorkbenchPart;
+import org.eclipse.xtext.nodemodel.INode;
+import org.eclipse.xtext.resource.EObjectAtOffsetHelper;
+import org.eclipse.xtext.resource.XtextResource;
+import org.eclipse.xtext.ui.editor.IURIEditorOpener;
+import org.eclipse.xtext.ui.editor.XtextEditor;
+import org.eclipse.xtext.ui.editor.model.XtextDocument;
+import org.eclipse.xtext.ui.editor.utils.EditorUtils;
+import org.eclipse.xtext.ui.resource.XtextResourceSetProvider;
+//import org.xtext.example.mydsl.ui.internal.MyDslActivator;
+import org.eclipse.xtext.util.TextRegion;
+import org.eclipse.xtext.validation.AbstractDeclarativeValidator;
+import org.eclipse.xtext.validation.AbstractDeclarativeValidator.StateAccess;
+import org.eclipse.xtext.validation.ValidationMessageAcceptor;
+
+import com.google.inject.Injector;
+
+import fr.irit.fiacre.xtext.fiacre.BlockStatement;
+import fr.irit.fiacre.xtext.fiacre.CaseStatement;
+import fr.irit.fiacre.xtext.fiacre.ConditionalStatement;
+import fr.irit.fiacre.xtext.fiacre.ExtendedConditionalStatement;
+import fr.irit.fiacre.xtext.fiacre.ForeachStatement;
+import fr.irit.fiacre.xtext.fiacre.SelectStatement;
+import fr.irit.fiacre.xtext.fiacre.Statement;
+import fr.irit.fiacre.xtext.fiacre.StatementChoice;
+import fr.irit.fiacre.xtext.fiacre.StatementSequence;
+import fr.irit.fiacre.xtext.fiacre.UnlessStatement;
+import fr.irit.fiacre.xtext.fiacre.WhileStatement;
+import fr.irit.fiacre.xtext.ui.internal.FiacreActivator;
+import fr.irit.fiacre.xtext.validation.FiacreValidator;
+
+public class Simulate implements IObjectActionDelegate {
+
+ private Shell shell;
+ // added selection attribute
+ private ISelection selection;
+
+ /**
+ * Constructor for Action1.
+ */
+ public Simulate() {
+ super();
+ }
+
+ /**
+ * @see IObjectActionDelegate#setActivePart(IAction, IWorkbenchPart)
+ */
+ public void setActivePart(IAction action, IWorkbenchPart targetPart) {
+ shell = targetPart.getSite().getShell();
+ }
+
+ /**
+ * @see IActionDelegate#run(IAction)
+ */
+ public void run(IAction action) {
+ IFile file = getFile();
+ Injector injector = FiacreActivator.getInstance().getInjector("fr.irit.fiacre.xtext.Fiacre");
+ XtextResourceSetProvider provider = injector.getInstance(XtextResourceSetProvider.class);
+ ResourceSet resourceSet = provider.get(file.getProject());
+
+ URI xtextURI = URI.createPlatformResourceURI(file.getFullPath().toString(), true);
+
+ XtextResource xtextResource = (XtextResource) resourceSet.getResource(xtextURI, true);
+
+ System.out.println("resource" + xtextResource);
+
+ IURIEditorOpener editorOpener = injector.getInstance(IURIEditorOpener.class);
+ final XtextEditor xtextEditor = (XtextEditor) editorOpener.open(xtextURI, true);
+ System.out.println("editor 2" + xtextEditor);
+ XtextDocument xtextDocument = (XtextDocument) xtextEditor.getDocument();
+ System.out.println("document " + xtextDocument);
+ for (int i = 0; i < xtextDocument.getNumberOfLines(); i++) {
+ try {
+ System.out.println("getLineLength " + i + " " + xtextDocument.getLineLength(i));
+ System.out.println("getLineOffset " + i + " " + xtextDocument.getLineOffset(i));
+ } catch (BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+ EObjectAtOffsetHelper eObjectAtOffsetHelper = injector.getInstance(EObjectAtOffsetHelper.class);
+ for (int i = 0; i < xtextDocument.getLength(); i++) {
+ try {
+ EObject object = eObjectAtOffsetHelper.resolveElementAt(xtextResource, i);
+ EObject object2 = eObjectAtOffsetHelper.resolveContainedElementAt(xtextResource, i);
+ EObject object3 = eObjectAtOffsetHelper.resolveCrossReferencedElementAt(xtextResource, i);
+ INode object4 = eObjectAtOffsetHelper.getCrossReferenceNode(xtextResource, new TextRegion(i, 1));
+
+ int line = xtextDocument.getLineOfOffset(i);
+ int column = (i - xtextDocument.getLineOffset(xtextDocument.getLineOfOffset(i)));
+
+ System.out.println("----- ");
+ System.out.print("o " + i);
+ System.out.print(" (l " + line + " ");
+ System.out.print("c " + column + ") ");
+ System.out.print("(el = " + (line + 1) + ", ");
+ System.out.print("ec = " + (column + 1) + ") ");
+ System.out.println("calculated offset " + getOffset(xtextDocument, line , column));
+ System.out.println("object " + object);
+ System.out.println("cross " + object3);
+ System.out.println("contained " + object2);
+ System.out.println("containerStatement " + getStatement(object2));
+ System.out.println("object4 " + object4);
+
+ } catch (BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+ FiacreValidator validator = injector.getInstance(FiacreValidator.class);
+ System.out.println("validator " + validator);
+ System.out.println("getmsgacceptor " + validator.getMessageAcceptor() + this);
+
+// StateAccess access = new StateAccess((AbstractDeclarativeValidator) validator.getMessageAcceptor());
+// validator.getMessageAcceptor().acceptError("Assigning any value not allowed in a function ",eObjectAtOffsetHelper.resolveElementAt(xtextResource, 14773),null,ValidationMessageAcceptor.INSIGNIFICANT_INDEX, null);
+// validator.state.get().hasErrors = true;
+ // try {
+ // BufferedReader bufferRead = new BufferedReader(new
+ // InputStreamReader(System.in));
+ // String s = bufferRead.readLine();
+ // int x = Integer.parseInt(s);
+ // String r = bufferRead.readLine();
+ // int y = Integer.parseInt(r);
+ //
+ // //EObjectAtOffsetHelper eObjectAtOffsetHelper = new
+ // EObjectAtOffsetHelper();
+ // EObject object3 =
+ // eObjectAtOffsetHelper.resolveElementAt(xtextResource,
+ // getOffset(xtextDocument, x, y));
+ // System.out.println("object3 " + object3);
+ // try {
+ // System.out.println("line of offset " +
+ // xtextDocument.getLineOfOffset(getOffset(xtextDocument, x, y)));
+ // } catch (BadLocationException e) {
+ // // TODO Auto-generated catch block
+ // e.printStackTrace();
+ // }
+ //
+ //
+ // } catch (IOException e) {
+ // e.printStackTrace();
+ // }
+ }
+
+ // added getFile() method
+ private IFile getFile() {
+ return (IFile) ((IStructuredSelection) selection).getFirstElement();
+ }
+
+ /**
+ * @see IActionDelegate#selectionChanged(IAction, ISelection)
+ */
+ public void selectionChanged(IAction action, ISelection selection) {
+ // Don't forget this line.
+ // It is the most important line.
+ this.selection = selection;
+ }
+
+ public int getOffset(XtextDocument xtextDocument, int x, int y) {
+ int offset = 0;
+
+ for (int i = 0; i < x; i++) {
+ try {
+ offset += xtextDocument.getLineLength(i);
+ } catch (BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+ offset += y;
+ System.out.println("offset" + offset);
+ return offset;
+
+ }
+
+ public EObject eContainer(EObject root, Class type) {
+ EObject current = root;
+ while (current != null) {
+ if (type.isInstance(current)) {
+ return current;
+ } else {
+ current = current.eContainer();
+ }
+ }
+ return null;
+ }
+
+ public EObject eContainerStatement(EObject root) {
+ EObject current = root;
+ while (current != null) {
+ if (StatementSequence.class.isInstance(current.eContainer())) {
+ return current;
+ } else {
+ current = current.eContainer();
+ }
+ }
+ return null;
+ }
+
+ public EObject getStatement(EObject root) {
+ EObject current = root;
+ while (current != null) {
+ if (!(isAtomicStatement(current.eContainer()))) {
+ return current;
+ } else {
+ current = current.eContainer();
+ }
+ }
+ return null;
+ }
+
+ public boolean isAtomicStatement(EObject root) {
+ if (eContainer(root, Statement.class) != null) {
+ if (UnlessStatement.class.isInstance(root) || StatementChoice.class.isInstance(root)
+ || StatementSequence.class.isInstance(root) || ConditionalStatement.class.isInstance(root)
+ || ExtendedConditionalStatement.class.isInstance(root) || SelectStatement.class.isInstance(root)
+ || WhileStatement.class.isInstance(root) || ForeachStatement.class.isInstance(root)
+ || CaseStatement.class.isInstance(root) || BlockStatement.class.isInstance(root)
+ ) {
+ return false;
+ } else {
+ return true;
+ }
+
+ } else {
+ return false;
+ }
+
+ }
+
+}
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/DynamicJsonExtractor.xtend b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/DynamicJsonExtractor.xtend
new file mode 100644
index 0000000..3080fce
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/DynamicJsonExtractor.xtend
@@ -0,0 +1,878 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.staticjson.extractor
+
+import com.google.inject.Injector
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.BlockInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.DeclarationInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.EnabledStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.ExecutableStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.ExecutedStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.FireableStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceEnabledStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceExecutableStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceExecutedStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceFireableStatementBlock
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceModel
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.ProcessDeclarationInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.VariableDeclarationInstance
+import com.irtsaintexupery.fiacre.simulator.core.Utils
+import com.irtsaintexupery.fiacre.simulator.msc.msc.EnterStateStep
+import com.irtsaintexupery.fiacre.simulator.msc.msc.MSC
+import com.irtsaintexupery.fiacre.simulator.msc.msc.SendStep
+import com.irtsaintexupery.fiacre.simulator.msc.msc.Step
+import com.irtsaintexupery.fiacre.simulator.msc.msc.SynchronisationStep
+import fr.irit.fiacre.xtext.fiacre.ArrayExpression
+import fr.irit.fiacre.xtext.fiacre.ArrayType
+import fr.irit.fiacre.xtext.fiacre.BasicType
+import fr.irit.fiacre.xtext.fiacre.BlockStatement
+import fr.irit.fiacre.xtext.fiacre.CaseStatement
+import fr.irit.fiacre.xtext.fiacre.ConditionalStatement
+import fr.irit.fiacre.xtext.fiacre.ConstructionExpression
+import fr.irit.fiacre.xtext.fiacre.Expression
+import fr.irit.fiacre.xtext.fiacre.ExtendedConditionalStatement
+import fr.irit.fiacre.xtext.fiacre.FalseLiteral
+import fr.irit.fiacre.xtext.fiacre.FieldExpression
+import fr.irit.fiacre.xtext.fiacre.ForeachStatement
+import fr.irit.fiacre.xtext.fiacre.IdentifierExpression
+import fr.irit.fiacre.xtext.fiacre.IdentifierPattern
+import fr.irit.fiacre.xtext.fiacre.Model
+import fr.irit.fiacre.xtext.fiacre.NaturalLiteral
+import fr.irit.fiacre.xtext.fiacre.PortDeclaration
+import fr.irit.fiacre.xtext.fiacre.QueueExpression
+import fr.irit.fiacre.xtext.fiacre.QueueType
+import fr.irit.fiacre.xtext.fiacre.RangeType
+import fr.irit.fiacre.xtext.fiacre.ReceiveStatement
+import fr.irit.fiacre.xtext.fiacre.RecordExpression
+import fr.irit.fiacre.xtext.fiacre.RecordType
+import fr.irit.fiacre.xtext.fiacre.ReferencedType
+import fr.irit.fiacre.xtext.fiacre.SelectStatement
+import fr.irit.fiacre.xtext.fiacre.SendStatement
+import fr.irit.fiacre.xtext.fiacre.Statement
+import fr.irit.fiacre.xtext.fiacre.StatementChoice
+import fr.irit.fiacre.xtext.fiacre.StatementSequence
+import fr.irit.fiacre.xtext.fiacre.TransitionSource
+import fr.irit.fiacre.xtext.fiacre.TrueLiteral
+import fr.irit.fiacre.xtext.fiacre.Type
+import fr.irit.fiacre.xtext.fiacre.TypeDeclaration
+import fr.irit.fiacre.xtext.fiacre.UnionTagDeclaration
+import fr.irit.fiacre.xtext.fiacre.UnionType
+import fr.irit.fiacre.xtext.fiacre.UnlessStatement
+import fr.irit.fiacre.xtext.fiacre.ValueExpression
+import fr.irit.fiacre.xtext.fiacre.VariablesDeclaration
+import fr.irit.fiacre.xtext.fiacre.WhileStatement
+import fr.irit.fiacre.xtext.ui.internal.XtextActivator
+import fr.laas.libtts.TTSSimulator
+import java.util.ArrayList
+import java.util.HashMap
+import java.util.LinkedHashMap
+import java.util.Map
+import org.eclipse.emf.ecore.EObject
+import org.eclipse.emf.ecore.resource.Resource
+import org.eclipse.jface.text.BadLocationException
+import org.eclipse.xtext.resource.EObjectAtOffsetHelper
+import org.eclipse.xtext.resource.XtextResource
+import org.eclipse.xtext.ui.editor.IURIEditorOpener
+import org.eclipse.xtext.ui.editor.XtextEditor
+import org.eclipse.xtext.ui.editor.model.XtextDocument
+import org.json.simple.JSONArray
+import org.json.simple.JSONAware
+import org.json.simple.JSONObject
+
+///Jorge Guiterrez 10/08/2016
+class DynamicJsonExtractor{
+ var XtextResource fiacreResource
+ var Resource instanceResource
+ var Resource mscResource
+ val TTSSimulator tTSSimulator
+ var HashMap mapping_blockinstance_jsonelement
+ var JSONObject fiacreStaticJson
+ val HashMap> tr_gl_tr_ins = new HashMap>();
+ val HashMap> tr_in_stmts = new HashMap>();
+
+ new(XtextResource _fiacreResource, Resource _instanceResource, TTSSimulator _TTSSimulator, JSONObject _fiacreStaticJson, HashMap _mapping, Resource _mscResource) {
+ fiacreResource = _fiacreResource
+ instanceResource = _instanceResource
+ tTSSimulator = _TTSSimulator
+ mapping_blockinstance_jsonelement = _mapping
+ fiacreStaticJson = _fiacreStaticJson
+ mscResource = _mscResource
+ extractTransitionsMappings
+ }
+ def mscFirstStepExtract(){
+ var Step step = Utils.createStep
+ MSCModel.steps.add(step)
+ for (pdi: instanceModel.eAllContents.toList.filter(ProcessDeclarationInstance)){
+ var EnterStateStep esst = Utils.createEnterStateStep
+ step.microSteps.add(esst)
+ esst.stateName = pdi.currentState.name
+ esst.site = MSCModel.sites.filter[site|site.name == pdi.flatname].get(0)
+ }
+ Utils.saveResource(mscResource)
+ }
+ def ArrayList getallInstanceTransitionsObjects() {
+ // Get all Instance transitions from the mapping between block instances and json object
+ val ArrayList allInstanceTransitions = new ArrayList()
+ for (element : ( mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].values.map[value|(value as JSONObject).get("transitions")])) {
+ for (jelement : element as JSONArray) {
+ allInstanceTransitions.add(jelement as JSONObject)
+ }
+ }
+ allInstanceTransitions
+ }
+
+ def extractTransitionsMappings() {
+ val Injector injector = XtextActivator.getInstance().getInjector("fr.irit.fiacre.xtext.Fiacre")
+ val IURIEditorOpener editorOpener = injector.getInstance(IURIEditorOpener)
+ val XtextEditor xtextEditor = editorOpener.open(fiacreResource.URI, true) as XtextEditor
+ val XtextDocument xtextDocument = xtextEditor.document as XtextDocument
+ val EObjectAtOffsetHelper eObjectAtOffsetHelper = injector.getInstance(EObjectAtOffsetHelper)
+ // The following code line is just to show what performed inside mappings
+ /*
+ * It exists two kinds of transitions
+ * Global transitions: which can be find in the json model root
+ * and Instance transitions which can be find in the process instances
+ * So from global transitions, we must find the instance transitions
+ * to obtain, after, the locations for each transition
+ */
+ // Get global transitions from the json model
+ val JSONArray global_transitions = fiacreStaticJson.get("gtransitions") as JSONArray
+
+// // Get all Instance transitions from the mapping between block instances and json object
+// val ArrayList allInstanceTransitions = new ArrayList()
+// for (element : ( mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].values.map[value|(value as JSONObject).get("transitions")])) {
+// for (jelement : element as JSONArray) {
+// allInstanceTransitions.add(jelement as JSONObject)
+// }
+// }
+ // for each global transition name (a_global_tr_name)
+ for (a_global_tr_name : global_transitions.map[agtr|(agtr as JSONObject).get("name")]) {
+
+ // Get the corresponding json object (a_g_tr_jobject) from the global transitions array list
+ val JSONObject a_g_tr_jobject = global_transitions.filter[gtr|(gtr as JSONObject).get("name") == a_global_tr_name].get(0) as JSONObject
+ // create an array list of instance transition of the current global transition
+ val ArrayList in_trs_of_gl = new ArrayList()
+
+ // for each instance transition name, found in the transitions array of the global transition object
+ for (a_i_tr_name : a_g_tr_jobject.get("transitions") as JSONArray) {
+ // add the instance name in the array list
+ in_trs_of_gl.add(a_i_tr_name as String)
+ // Get the instance transition object (a_i_tr_jobject)
+ val JSONObject a_i_tr_jobject = getallInstanceTransitionsObjects.filter[aatr|(aatr as JSONObject).get("name") == a_i_tr_name].get(0)
+
+ // Get the Process Declaration Instance that contains the instance transition object (a_i_tr_jobject)
+ // just to print it and verify
+ // val c_pdi = mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter[p1, p2|((p2 as JSONObject).get("transitions") as JSONArray).contains(a_i_tr_jobject)].keySet.get(0);
+ // Get locations of each instance transition
+ // statements_ins_tr allows to save an eobject (an atomic statement or a transition source)
+ // with its first position
+ // for example fr.irit.fiacre.xtext.fiacre.impl.TransitionSourceImpl@53c7c937 = 325 3
+ val LinkedHashMap statements_ins_tr = new LinkedHashMap()
+
+ // for each identified location in the locations table of an instance transition
+ for (a_location_jsonobject : (a_i_tr_jobject as JSONObject).get("locations") as JSONArray) {
+ // we find the from location
+ val JSONObject from_location = (a_location_jsonobject as JSONObject).get("from") as JSONObject
+ val long line_from = from_location.get("line") as Long
+ val long char_from = from_location.get("char") as Long
+ // we calculate the from offset
+ val int offset_from = xtextDocument.getOffset(line_from.intValue, char_from.intValue)
+
+ // we find the to location
+ val JSONObject to_location = (a_location_jsonobject as JSONObject).get("to") as JSONObject
+ val long line_to = to_location.get("line") as Long
+ val long char_to = to_location.get("char") as Long
+ // we calculate the to offset
+ val int offset_to = xtextDocument.getOffset(line_to.intValue, char_to.intValue)
+ // from to from offset to the to offset
+ for (var int i = offset_from; i <= offset_to; i++) {
+ // we calculate the line column position from the offset
+ val int line = xtextDocument.getLineOfOffset(i)
+ val int column = (i - xtextDocument.getLineOffset(xtextDocument.getLineOfOffset(i)))
+
+ // we find the corresponding statement
+ val statement = eObjectAtOffsetHelper.resolveContainedElementAt(fiacreResource, i).getStatement
+ // We insert the statements in the list with its line column location
+ /*
+ * We insert only transition source (from)
+ * or atomic statement
+ * In addition
+ */
+ if((statement instanceof TransitionSource)
+ //&& ! statements_ins_tr.keySet.contains(statement)
+ && statements_ins_tr.keySet.filter(TransitionSource).size == 0
+ )
+ statements_ins_tr.put(statement, (line + 1) + " " + (column + 1))
+
+ if(statement.isAtomicStatement)
+ // TODO Ă voir l'histoire des to statement et les loop
+// if(statement instanceof ToStatement){
+// if(statements_ins_tr.keySet.filter(ToStatement).size == 0)
+// statements_ins_tr.put(statement, (line + 1) + " " + (column + 1))
+// }
+// else
+ // if(! statements_ins_tr.keySet.contains(statement))
+ statements_ins_tr.put(statement, (line + 1) + " " + (column + 1))
+ }
+ }
+ tr_in_stmts.put(a_i_tr_name as String, statements_ins_tr)
+ }
+ // mapping global transition = instance transitions. en gros, c'est gtransitions de json dynamique
+ tr_gl_tr_ins.put(a_global_tr_name as String, in_trs_of_gl)
+ }
+ }
+
+ def extractValues() {
+ val HashMap variablesMappings = getVariablesMappings
+ for (element : Utils.getJsonObject(tTSSimulator.state.getValues).keySet) {
+ if(variablesMappings.filter[p1, p2|(p1 as JSONObject).get("flatname") == element].size > 0) {
+ val JSONObject jo = variablesMappings.filter[p1, p2|(p1 as JSONObject).get("flatname") == element].keySet.get(0)
+ val DeclarationInstance decl = variablesMappings.filter[p1, p2|(p1 as JSONObject).get("flatname") == element].values.get(0)
+ val Object value = Utils.getJsonObject(tTSSimulator.state.getValues).get(element)
+ val VariableDeclarationInstance vd_i = decl.variableDeclarationInstances.filter[vdi|vdi.variableDeclaration.name == jo.get("sourcename")].get(0)
+ val HashMap mapping_jsonType_fiacreType = getJSONTypeFiacreTypeMapping(jo.get("vartype"), (vd_i.variableDeclaration.eContainer as VariablesDeclaration).type)
+ val HashMap mapping_value_type = getValueTypeMapping(value, jo.get("vartype"))
+ vd_i.currentValue = (getFiacreValue(value, mapping_value_type, mapping_jsonType_fiacreType) as ValueExpression)
+ }
+ }
+ }
+ /*
+ * This method allows to obtain a mapping between jsontype (from "vartype" of a json variable)
+ * and the fiacre type of this variable.
+ * It consists to do the optimization on fiacre types, in the ecore side, as done in the json side
+ * It can contain something like this
+ * bool = fr.irit.fiacre.xtext.fiacre.impl.BooleanTypeImpl@19569e44
+ * {"interval":{"high":3,"low":0}} = fr.irit.fiacre.xtext.fiacre.impl.RangeTypeImpl@3138f7b9
+ * {"record":{"val":"bool","active_probes":{"interval":{"high":3,"low":0}}}} = fr.irit.fiacre.xtext.fiacre.impl.RecordTypeImpl@1f72ed22
+ */
+ def HashMap getJSONTypeFiacreTypeMapping(Object json_type, Type fiacre_type) {
+ var HashMap mapping_jsonType_fiacreType = new HashMap()
+ if(fiacre_type instanceof ReferencedType) {
+ // If it is a referenced type, we get the the type of the referenced type
+ val referenced_fiacre_type = ((fiacre_type as ReferencedType).type as TypeDeclaration).value
+ mapping_jsonType_fiacreType.putAll(getJSONTypeFiacreTypeMapping(json_type, referenced_fiacre_type))
+ } else {
+ if(fiacre_type instanceof BasicType) {
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ } else {
+ if(fiacre_type instanceof RangeType) {
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ } else {
+ if(fiacre_type instanceof QueueType) {
+ // get the element type of the queue type, both in json and ecore
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ val queue_json_element_type = ((json_type as JSONObject).get("queue") as JSONObject).get("elemtype")
+ val queue_fiacre_element_type = (fiacre_type as QueueType).type
+ mapping_jsonType_fiacreType.putAll(getJSONTypeFiacreTypeMapping(queue_json_element_type, queue_fiacre_element_type))
+ } else {
+ if(fiacre_type instanceof ArrayType) {
+ // get the element type of the queue type, both in json and ecore
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ val array_json_element_type = ((json_type as JSONObject).get("array") as JSONObject).get("elemtype")
+ val array_fiacre_element_type = (fiacre_type as ArrayType).type
+ mapping_jsonType_fiacreType.putAll(getJSONTypeFiacreTypeMapping(array_json_element_type, array_fiacre_element_type))
+ } else {
+ if(fiacre_type instanceof UnionType) {
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ // get only typed union tags exemple: type xx is union toto | titi of int end
+ // So we get only titi type which is int
+ for (json_tag : ((json_type as JSONObject).get("union") as JSONObject).entrySet) {
+ if((json_tag.value as JSONArray).size > 0) {
+ val tag_fiacre_type = (fiacre_type as UnionType).tags.filter[fs|fs.tags.map[f|f.name].exists[an|an == json_tag.key]].get(0).type
+ val tag_json_type = (json_tag.value as JSONArray).get(0)
+ mapping_jsonType_fiacreType.putAll(getJSONTypeFiacreTypeMapping(tag_json_type, tag_fiacre_type))
+ }
+ }
+ } else {
+ if(fiacre_type instanceof RecordType) {
+ mapping_jsonType_fiacreType.put(json_type, fiacre_type)
+ // get all fields types
+ for (json_field : ((json_type as JSONObject).get("record") as JSONObject).entrySet) {
+ val field_json_type = json_field.value
+ val field_fiacre_type = (fiacre_type as RecordType).fields.filter[fs|fs.fields.map[f|f.name].exists[an|an == json_field.key]].get(0).type
+ mapping_jsonType_fiacreType.putAll(getJSONTypeFiacreTypeMapping(field_json_type, field_fiacre_type))
+ }
+ }
+ }
+ }
+
+ }
+ }
+ }
+ }
+ mapping_jsonType_fiacreType
+ }
+
+ def Expression getFiacreValue(Object value, HashMap mapping_value_type, HashMap mapping_jsonType_fiacreType) {
+ if(value instanceof Long) {
+ val NaturalLiteral nl = Utils.createNaturalLiteral
+ nl.value = (value as Long).intValue
+ nl
+ } else {
+ if(value instanceof String) {
+ if((value as String) == "false" || (value as String) == "true") {
+ // Fiacre boolean type
+ if((value as String) == "false") {
+ val FalseLiteral fl = Utils.createFalseLiteral
+ fl
+ } else {
+ val TrueLiteral tl = Utils.createTrueLiteral
+ tl
+ }
+ } else {
+ val UnionType union_type = mapping_jsonType_fiacreType.get(mapping_value_type.get(value)) as UnionType
+ // val TypeDeclaration typ_dec = model.declarations.filter(TypeDeclaration).filter[td|td.name == type_name].get(0)
+ val UnionTagDeclaration tag = union_type.tags.map[tgs|tgs.tags].flatten.filter[atag|atag.name == value].get(0)
+ val IdentifierExpression ide = Utils.createIdentifierExpression
+ ide.declaration = tag
+ ide
+ }
+ } else {
+ if(value instanceof JSONArray) {
+ if((mapping_value_type.get(value) as JSONObject).get("array") != null) {
+ val ArrayExpression eae = Utils.createArrayExpression
+ for (element : ( value as JSONArray)) {
+ eae.values.add(getFiacreValue(element, mapping_value_type, mapping_jsonType_fiacreType))
+ }
+ eae
+ } else {
+ if((mapping_value_type.get(value) as JSONObject).get("queue") != null) {
+ val QueueExpression qe = Utils.createQueueExpression
+ for (element : ( value as JSONArray)) {
+ qe.values.add(getFiacreValue(element, mapping_value_type, mapping_jsonType_fiacreType))
+ }
+ qe
+ }
+ }
+ } else {
+ // otherwise JSON Object
+ if((mapping_value_type.get(value) as JSONObject).get("record") != null) {
+ val RecordExpression re = Utils.createRecordExpression
+ // val String type_name = (getFiacreType(mapping_value_type.get(value) as JSONObject) as JSONObject).get("name") as String
+ val RecordType record_type = mapping_jsonType_fiacreType.get(mapping_value_type.get(value)) as RecordType //getFiacreType(mapping_value_type.get(value) as JSONObject) as RecordType
+ // val TypeDeclaration typ_dec = model.declarations.filter(TypeDeclaration).filter[td|td.name == type_name].get(0)
+ for (element : (value as JSONObject).keySet) {
+ val FieldExpression fie = Utils.createFieldExpression
+ re.fields.add(fie)
+ fie.field = record_type.fields.map[fis|fis.fields].flatten.filter[atag|atag.name == element].get(0)
+ fie.value = getFiacreValue((value as JSONObject).get(element), mapping_value_type, mapping_jsonType_fiacreType)
+ }
+ re
+ } else {
+ // an union element with constructor
+ if((mapping_value_type.get(value) as JSONObject).get("union") != null) {
+ val ConstructionExpression cstre = Utils.createConstructionExpression
+ val UnionType union_type = mapping_jsonType_fiacreType.get(mapping_value_type.get(value)) as UnionType // model.declarations.filter(TypeDeclaration).filter[td|td.name == type_name].get(0)
+ val UnionTagDeclaration tag = union_type.tags.map[tgs|tgs.tags].flatten.filter[atag|atag.name == (value as JSONObject).keySet.get(0)].get(0)
+ cstre.declaration = tag
+ cstre.parameters.add(getFiacreValue((value as JSONObject).values.get(0), mapping_value_type, mapping_jsonType_fiacreType))
+ cstre
+ }
+
+ }
+ }
+ }
+ }
+ }
+
+// def Type getFiacreType(JSONObject type) {
+// println("types " + (fiacreStaticJson.get("deftyp") as JSONArray).filter[t|(t as JSONObject).get("tdef").equals(type)])
+// if((fiacreStaticJson.get("deftyp") as JSONArray).filter[t|(t as JSONObject).get("tdef").equals(type)].size == 1) {
+// val String type_name = ((fiacreStaticJson.get("deftyp") as JSONArray).filter[t|(t as JSONObject).get("tdef").equals(type)].get(0) as JSONObject).get("name") as String
+// val TypeDeclaration typ_dec = model.declarations.filter(TypeDeclaration).filter[td|td.name == type_name].get(0)
+// typ_dec.value
+// }
+// }
+
+ def HashMap getValueTypeMapping(Object value, Object type) {
+ var HashMap mapping_value_type = new HashMap()
+ if(value instanceof Long) {
+ mapping_value_type.put(value as Object, type)
+ } else {
+ if(value instanceof String) {
+ mapping_value_type.put(value as Object, type)
+ } else {
+ if(value instanceof JSONArray) {
+ if((type as JSONObject).get("array") != null) {
+ mapping_value_type.put(value, type)
+ val length = (value as JSONArray).size
+ for (var i = 0; i < length; i++) {
+ // mapping_value_type.put((value as JSONArray).get(i), ((type as JSONObject).get("array") as JSONObject).get("elemtype"))
+ mapping_value_type.putAll(getValueTypeMapping((value as JSONArray).get(i), ((type as JSONObject).get("array") as JSONObject).get("elemtype")))
+ }
+ } else {
+ if((type as JSONObject).get("queue") != null) {
+ mapping_value_type.put(value, type)
+ val length = (value as JSONArray).size
+ for (var i = 0; i < length; i++) {
+ // mapping_value_type.put((value as JSONArray).get(i), ((type as JSONObject).get("queue") as JSONObject).get("elemtype"))
+ mapping_value_type.putAll(getValueTypeMapping((value as JSONArray).get(i), ((type as JSONObject).get("queue") as JSONObject).get("elemtype")))
+ }
+ }
+ }
+ } else {
+ // It is a JSONObject so It can be record value or union value
+ if((type as JSONObject).get("record") != null) {
+ mapping_value_type.put(value, type)
+ for (ite : (value as JSONObject).keySet) {
+ // mapping_value_type.put((value as JSONObject).get(ite), ((type as JSONObject).get("record") as JSONObject).get(ite))
+ mapping_value_type.putAll(getValueTypeMapping((value as JSONObject).get(ite), ((type as JSONObject).get("record") as JSONObject).get(ite)))
+ }
+ } else {
+ mapping_value_type.put(value, type)
+ // mapping_value_type.put((value as JSONObject).values.get(0), ((type as JSONObject).get("union") as JSONObject).get((value as JSONObject).keySet.get(0)))
+ mapping_value_type.putAll(getValueTypeMapping((value as JSONObject).values.get(0), (((type as JSONObject).get("union") as JSONObject).get((value as JSONObject).keySet.get(0)) as JSONArray).get(0)))
+
+ }
+ }
+ }
+ }
+ mapping_value_type
+ }
+
+// def getType(JSONObject vartype) {
+// (fiacreStaticJson.get("deftyp") as JSONArray).filter[atype|((atype as JSONObject).get("tdef") as JSONObject).equals(vartype) == true]
+// }
+
+ def HashMap getVariablesMappings() {
+ /*
+ * Ce mapping permet d'identifier le couple suivant:
+ * - une variable sous forme d'un object json
+ * - La DeclarationInstance correspondante
+ * Il y a deux sources de redondance à résoudre
+ * D'abord une variable est instancié dans chacune des instances
+ * Ceci est resolu à travers la flatname qui contient le numéro d'instance
+ * Le deuxième niveau de redondance est les paramètres qui portent les mêmes noms
+ * des variables. Ceci est résolu par le fait de vérifier s'il y a une variable instance qui
+ * a le mĂŞme nom dans la declaration instance
+ */
+ var HashMap map_var_job_cdi = new HashMap()
+ val ArrayList fiacreVariablesAsJsonObjects = new ArrayList
+ // Get all json objects of vars from the mappings
+ // TODO why just flatten doesn't work
+ for (element : ( mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof DeclarationInstance].values.map[value|(value as JSONObject).get("vars")])) {
+ for (jelement : element as JSONArray) {
+ fiacreVariablesAsJsonObjects.add(jelement as JSONObject)
+ }
+ }
+ for (json_object_var : fiacreVariablesAsJsonObjects) {
+ var ArrayList decls = new ArrayList
+ for (decl : mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof DeclarationInstance].filter[p1, p2|((p2 as JSONObject).get("vars") as JSONArray).contains(json_object_var)].
+ keySet) {
+ decls.add(decl as DeclarationInstance)
+ }
+ if(decls.filter[decl|decl.variableDeclarationInstances.map[vdi|vdi.variableDeclaration].exists[v|v.name == json_object_var.get("sourcename")]].size > 0) {
+ map_var_job_cdi.put(json_object_var, decls.filter[decl|decl.variableDeclarationInstances.map[vdi|vdi.variableDeclaration].exists[v|v.name == json_object_var.get("sourcename")]].get(0))
+ }
+ }
+ map_var_job_cdi
+ }
+
+ def extractStates() {
+ val ArrayList allJsonStates = new ArrayList
+
+ // Get all json variables objects from the mappings
+ // TODO why just flatten doesn't work
+ for (element : ( mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].values.map[value|(value as JSONObject).get("states")])) {
+ for (jelement : element as JSONArray) {
+ allJsonStates.add(jelement as JSONObject)
+ }
+ }
+ //msc
+
+
+ for (place : tTSSimulator.currentPlaces) {
+ // cette condition permet d'éliminer les états qui ne sont pas dans le modèle Fiacre
+ // et qui sont ajoutés par le compilateur
+ if(allJsonStates.filter[a|a.get("flatname") == place].size > 0) {
+ // json_object_state is the concerned json object corresponding
+ // to the "place" name
+ val JSONObject json_object_state = allJsonStates.filter[a|a.get("flatname") == place].get(0)
+ // we find the c_pdi key whose the "states" json array of the corresponding value element
+ // contains the json_object_state
+ val c_pdi = mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter [ p1, p2 |
+ ((p2 as JSONObject).get("states") as JSONArray).contains(json_object_state)
+ ].keySet.get(0);
+ // c_pdi is the concerned process declaration instance where the state must be updated.
+ // According to the c_pdi and json_object_state, we update the currentState reference of c_pdi
+ (c_pdi as ProcessDeclarationInstance).currentState = (c_pdi as ProcessDeclarationInstance).process.states.filter[state|state.name == json_object_state.get("sourcename")].get(0)
+ }
+ }
+ }
+
+ def extractExecutedStatements(String executed_tr_name) {
+ clearAllExecutedStatements
+ val ExecutedStatementBlock esb = extractExecutedStatementsBlock(executed_tr_name)
+ // frac compiler adds some intermediate transitions
+ // that don't exist in the static json description,
+ // like in mouse_property example (__presentAfter__1_1_t1 transition)
+ // Therefore for this global transition, it doesn't exist instance transitions
+ // and the mapping doesn't exist for this transition
+ // So, using this conditional statement, we eliminate this case
+ if(tr_gl_tr_ins.filter[p1, p2|p1 == executed_tr_name].values.size > 0) {
+ // for each instance transition (instance_tr) of the global transition (tr_name)
+ for (instance_tr : tr_gl_tr_ins.filter[p1, p2|p1 == executed_tr_name].values.get(0)) // add the created instance statement block in the current instanceStatementBlocks
+ {
+ esb.instanceStatementBlocks.add(extractInstanceExecutedStatements(instance_tr))
+ }
+ }
+ //msc
+ //if it is sychronisation
+ if(esb.instanceStatementBlocks.map[isb|isb.statements].flatten.exists[s|s instanceof IdentifierPattern && (s as IdentifierPattern).declaration instanceof PortDeclaration]){
+ var Step step = Utils.createStep
+ MSCModel.steps.add(step)
+ var SynchronisationStep st = Utils.createSynchronisationStep
+ step.microSteps.add(st)
+ for (pdi : esb.instanceStatementBlocks.map[isb|isb.eContainer]){
+ st.sites.add(MSCModel.sites.filter[site|site.name == (pdi as ProcessDeclarationInstance).flatname].get(0))
+ }
+ //
+ var Step step2 = Utils.createStep
+ MSCModel.steps.add(step2)
+ for (pdi : esb.instanceStatementBlocks.map[isb|isb.eContainer]){
+ var EnterStateStep esst = Utils.createEnterStateStep
+ esst.stateName= (pdi as ProcessDeclarationInstance).currentState.name
+ esst.site =MSCModel.sites.filter[site|site.name == (pdi as ProcessDeclarationInstance).flatname].get(0)
+ step2.microSteps.add(esst)
+ }
+ }
+ else{
+ if((esb.instanceStatementBlocks.map[isb|isb.statements].flatten.exists[s|s instanceof SendStatement])){
+ var Step step = Utils.createStep
+ MSCModel.steps.add(step)
+ var SendStep st = Utils.createSendStep
+ step.microSteps.add(st)
+ for (ss : esb.instanceStatementBlocks.map[isb|isb.statements].flatten.filter(SendStatement)){
+ st.senderSites.add(MSCModel.sites.filter[site|site.name == (esb.instanceStatementBlocks.filter[isb|isb.statements.contains(ss)].get(0).eContainer as ProcessDeclarationInstance).flatname].get(0))
+ }
+ for (ss : esb.instanceStatementBlocks.map[isb|isb.statements].flatten.filter(ReceiveStatement)){
+ st.receiverSites.add(MSCModel.sites.filter[site|site.name == (esb.instanceStatementBlocks.filter[isb|isb.statements.contains(ss)].get(0).eContainer as ProcessDeclarationInstance).flatname].get(0))
+ }
+ //
+ var Step step2 = Utils.createStep
+ MSCModel.steps.add(step2)
+ for (pdi : esb.instanceStatementBlocks.map[isb|isb.eContainer]){
+ var EnterStateStep esst = Utils.createEnterStateStep
+ esst.stateName= (pdi as ProcessDeclarationInstance).currentState.name
+ esst.site =MSCModel.sites.filter[site|site.name == (pdi as ProcessDeclarationInstance).flatname].get(0)
+ step2.microSteps.add(esst)
+ }
+ }
+ else{
+ var Step step = Utils.createStep
+ MSCModel.steps.add(step)
+ for (pdi : esb.instanceStatementBlocks.map[isb|isb.eContainer]){
+ var EnterStateStep esst= Utils.createEnterStateStep
+ esst.site = MSCModel.sites.filter[site|site.name == (pdi as ProcessDeclarationInstance).flatname].get(0)
+ esst.stateName = (pdi as ProcessDeclarationInstance).currentState.name
+ step.microSteps.add(esst)
+ }
+ }
+ }
+ Utils.saveResource(mscResource)
+ }
+
+ def extractInstanceExecutedStatements(String instance_tr_name) {
+ // gel the instance transition json object whose the name is equal to instance_tr_name
+ val JSONObject a_i_tr_jobject = getallInstanceTransitionsObjects.filter[aatr|(aatr as JSONObject).get("name") == instance_tr_name].get(0)
+ // Get the Process Declaration Instance that contains the instance transition object (a_i_tr_jobject)
+ val ProcessDeclarationInstance c_pdi = mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter [ p1, p2 |
+ ((p2 as JSONObject).get("transitions") as JSONArray).contains(a_i_tr_jobject)
+ ].keySet.get(0) as ProcessDeclarationInstance;
+ // the following if then else allows to forbid duplicate instance statements blocks
+ // If the process declaration instance contains a block which have the same name
+ if(c_pdi.instanceStatementBlocks.filter(InstanceExecutedStatementBlock).filter[ifst|ifst.name == instance_tr_name].size > 0) {
+ // so, return this found block (this block will not be added again because the list doesn't accept duplicates)
+ c_pdi.instanceStatementBlocks.filter(InstanceExecutedStatementBlock).filter[ifst|ifst.name == instance_tr_name].get(0)
+ } else {
+ // there is no block with this name, so create a new block
+ val InstanceExecutedStatementBlock block = Utils.createInstanceExecutedStatementBlock
+ block.name = instance_tr_name
+ // get the LinkedHashMap that contains the statements of this instance transition
+ for (element : tr_in_stmts.filter[p1, p2|p1 == instance_tr_name].values.get(0).keySet) {
+ // and for each element
+ // add it in the appropriate location
+ if(element instanceof TransitionSource) {
+ block.transitionSource = element
+ } else {
+ block.statements.add(element as Statement)
+ }
+ }
+ c_pdi.instanceStatementBlocks.add(block)
+ block
+ }
+ }
+
+ def clearAllExecutableStatements() {
+ // delete all executable block statements in the instance model
+ instanceModel.statementBlocks.removeAll(instanceModel.statementBlocks.filter(ExecutableStatementBlock))
+ // delete all instance executable block statements in different process declaration instance
+ instanceModel.eAllContents.toList.filter(ProcessDeclarationInstance).forEach[pdi|pdi.instanceStatementBlocks.removeAll(pdi.instanceStatementBlocks.filter(InstanceExecutableStatementBlock))]
+ }
+
+ def clearAllExecutedStatements() {
+ // delete all executable block statements in the instance model
+ instanceModel.statementBlocks.removeAll(instanceModel.statementBlocks.filter(ExecutedStatementBlock))
+ // delete all instance executable block statements in different process declaration instance
+ instanceModel.eAllContents.toList.filter(ProcessDeclarationInstance).forEach[pdi|pdi.instanceStatementBlocks.removeAll(pdi.instanceStatementBlocks.filter(InstanceExecutedStatementBlock))]
+ }
+
+ def ExecutedStatementBlock extractExecutedStatementsBlock(String transition_name) {
+ val ExecutedStatementBlock esb = Utils.createExecutedStatementBlock
+ esb.name = transition_name
+ instanceModel.statementBlocks.add(esb)
+ esb
+ }
+
+ def extractExecutableStatements() {
+ clearAllExecutableStatements
+ // this for statement allows to iterate in a map
+ for (Map.Entry entry : tTSSimulator.enabledTransitions.entrySet()) {
+ val String tr_name = entry.getKey()
+ val String tr_interval = entry.getValue()
+ // for each (tr_name, tr_interval), we create an EnabledStatementBlock
+ val EnabledStatementBlock esb = extractEnabledStatements(tr_name, tr_interval)
+ // frac compiler adds some intermediate transitions
+ // that don't exist in the static json description,
+ // like in mouse_property example (__presentAfter__1_1_t1 transition)
+ // Therefore for this global transition, it doesn't exist instance transitions
+ // and the mapping doesn't exist for this transition
+ // So, using this conditional statement, we eliminate this case
+ if(tr_gl_tr_ins.filter[p1, p2|p1 == tr_name].values.size > 0) {
+ // for each instance transition (instance_tr) of the global transition (tr_name)
+ for (instance_tr : tr_gl_tr_ins.filter[p1, p2|p1 == tr_name].values.get(0)) {
+ // add the created instance statement block in the current instanceStatementBlocks
+ esb.instanceStatementBlocks.add(extractInstanceEnabledStatements(instance_tr))
+ }
+ }
+ }
+ // Idem for fireable
+ for (Map.Entry entry : tTSSimulator.fireableTransitions.entrySet()) {
+ val String tr_name = entry.getKey()
+ val String tr_interval = entry.getValue()
+ val FireableStatementBlock fsb = extractFireableStatements(tr_name, tr_interval)
+ // frac compiler adds some intermediate transitions
+ // that don't exist in the static json description,
+ // like in mouse_property example (__presentAfter__1_1_t1 transition)
+ // Therefore for this global transition, it doesn't exist instance transitions
+ // and the mapping doesn't exist for this transition
+ // So, using this conditional statement, we eliminate this case
+ if(tr_gl_tr_ins.filter[p1, p2|p1 == tr_name].values.size > 0) {
+ for (instance_tr : tr_gl_tr_ins.filter[p1, p2|p1 == tr_name].values.get(0)) {
+ fsb.instanceStatementBlocks.add(extractInstanceFireableStatements(instance_tr))
+ }
+ }
+ }
+ }
+
+ def extractInstanceFireableStatements(String instance_tr_name) {
+ // gel the instance transition json object whose the name is equal to instance_tr_name
+ val JSONObject a_i_tr_jobject = getallInstanceTransitionsObjects.filter[aatr|(aatr as JSONObject).get("name") == instance_tr_name].get(0)
+ // Get the Process Declaration Instance that contains the instance transition object (a_i_tr_jobject)
+ val ProcessDeclarationInstance c_pdi = mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter [ p1, p2 |
+ ((p2 as JSONObject).get("transitions") as JSONArray).contains(a_i_tr_jobject)
+ ].keySet.get(0) as ProcessDeclarationInstance;
+ // the following if then else allows to forbid duplicate instance statements blocks
+ // If the process declaration instance contains a block which have the same name
+ if(c_pdi.instanceStatementBlocks.filter(InstanceFireableStatementBlock).filter[ifst|ifst.name == instance_tr_name].size > 0) {
+ // so, return this found block (this block will not be added again because the list doesn't accept duplicates)
+ c_pdi.instanceStatementBlocks.filter(InstanceFireableStatementBlock).filter[ifst|ifst.name == instance_tr_name].get(0)
+ } else {
+ // there is no block with this name, so create a new block
+ val InstanceFireableStatementBlock block = Utils.createInstanceFireableStatementBlock
+ block.name = instance_tr_name
+ // get the LinkedHashMap that contains the statements of this instance transition
+ for (element : tr_in_stmts.filter[p1, p2|p1 == instance_tr_name].values.get(0).keySet) {
+ // and for each element
+ // add it in the appropriate location
+ if(element instanceof TransitionSource) {
+ block.transitionSource = element
+ } else {
+ block.statements.add(element as Statement)
+ }
+ }
+ c_pdi.instanceStatementBlocks.add(block)
+ block
+ }
+ }
+
+ // Idem
+ def extractInstanceEnabledStatements(String instance_tr_name) {
+ // Get the Process Declaration Instance that contains the instance transition object (a_i_tr_jobject)
+ val JSONObject a_i_tr_jobject = getallInstanceTransitionsObjects.filter[aatr|(aatr as JSONObject).get("name") == instance_tr_name].get(0)
+ val ProcessDeclarationInstance c_pdi = mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter [ p1, p2 |
+ ((p2 as JSONObject).get("transitions") as JSONArray).contains(a_i_tr_jobject)
+ ].keySet.get(0) as ProcessDeclarationInstance;
+ if(c_pdi.instanceStatementBlocks.filter(InstanceEnabledStatementBlock).filter[ifst|ifst.name == instance_tr_name].size > 0) {
+ c_pdi.instanceStatementBlocks.filter(InstanceEnabledStatementBlock).filter[ifst|ifst.name == instance_tr_name].get(0)
+ } else {
+ val InstanceEnabledStatementBlock block = Utils.createInstanceEnabledStatementBlock
+ block.name = instance_tr_name
+ for (element : tr_in_stmts.filter[p1, p2|p1 == instance_tr_name].values.get(0).keySet) {
+ if(element instanceof TransitionSource) {
+ block.transitionSource = element
+ } else {
+ block.statements.add(element as Statement)
+ }
+ }
+ c_pdi.instanceStatementBlocks.add(block)
+ block
+
+ }
+ }
+
+ def EnabledStatementBlock extractEnabledStatements(String transition_name, String interval) {
+ val EnabledStatementBlock esb = Utils.createEnabledStatementBlock
+ esb.name = transition_name
+ esb.date = interval
+ instanceModel.statementBlocks.add(esb)
+ esb
+ }
+
+ def FireableStatementBlock extractFireableStatements(String transition_name, String interval) {
+ val FireableStatementBlock fsb = Utils.createFireableStatementBlock
+ fsb.name = transition_name
+ fsb.date = interval
+ instanceModel.statementBlocks.add(fsb)
+ fsb
+ }
+
+ def int getOffset(XtextDocument xtextDocument, int line, int character) {
+ var int offset = character
+ for (var i = 0; i < line; i++) {
+ try {
+ offset += xtextDocument.getLineLength(i)
+ } catch(BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace
+ }
+ }
+ return offset
+ }
+
+ def EObject eContainer(EObject root, Class type) {
+ var EObject current = root
+ while(current != null) {
+ if(type.isInstance(current)) {
+ return current
+ } else {
+ current = current.eContainer
+ }
+ }
+ return null
+ }
+
+// def EObject eContainerStatement(EObject root) {
+// var EObject current = root
+// while(current != null) {
+// if(StatementSequence.isInstance(current.eContainer())) {
+// return current
+// } else {
+// current = current.eContainer
+// }
+// }
+// return null;
+// }
+ def EObject getStatement(EObject root) {
+ var EObject current = root
+ while(current != null) {
+ if(!(isAtomicStatement(current.eContainer))) {
+ return current
+ } else {
+ current = current.eContainer
+ }
+ }
+ return null
+ }
+
+ def boolean isAtomicStatement(EObject root) {
+ if(eContainer(root, Statement) != null) {
+ if(UnlessStatement.isInstance(root) || StatementChoice.isInstance(root) || StatementSequence.isInstance(root) || ConditionalStatement.isInstance(root) ||
+ ExtendedConditionalStatement.isInstance(root) || SelectStatement.isInstance(root) || WhileStatement.isInstance(root) || ForeachStatement.isInstance(root) ||
+ CaseStatement.isInstance(root) || BlockStatement.isInstance(root)) {
+ return false
+ } else {
+ return true
+ }
+
+ } else {
+ return false
+ }
+ }
+
+ def InstanceModel getInstanceModel() {
+ return instanceResource.contents.get(0) as InstanceModel
+ }
+ def MSC getMSCModel() {
+ return mscResource.contents.get(0) as MSC
+ }
+
+ def Model getModel() {
+ return fiacreResource.contents.get(0) as Model
+ }
+
+ def saveInstanceResource() {
+ Utils.saveResource(instanceResource)
+ }
+ def saveMscResource() {
+ Utils.saveResource(mscResource)
+ }
+
+ def Resource getInstanceResource() {
+ instanceResource
+ }
+
+ // this method just to print to detect errors
+ def println_elements(XtextResource xtextResource, XtextDocument xtextDocument) {
+ for (var i = 0; i < xtextDocument.getNumberOfLines(); i++) {
+ try {
+ print("Line " + i + " Line length " + xtextDocument.getLineLength(i))
+ println(" Line " + i + " LineOffset " + xtextDocument.getLineOffset(i))
+ } catch(BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+
+ for (var i = 0; i < xtextDocument.getLength(); i++) {
+ val Injector injector = XtextActivator.getInstance().getInjector("fr.irit.fiacre.xtext.Fiacre")
+ val EObjectAtOffsetHelper eObjectAtOffsetHelper = injector.getInstance(EObjectAtOffsetHelper)
+ try {
+ val EObject object = eObjectAtOffsetHelper.resolveElementAt(xtextResource, i)
+ val EObject object2 = eObjectAtOffsetHelper.resolveContainedElementAt(xtextResource, i)
+ val EObject object3 = eObjectAtOffsetHelper.resolveCrossReferencedElementAt(xtextResource, i)
+ val int line = xtextDocument.getLineOfOffset(i)
+ val int column = (i - xtextDocument.getLineOffset(xtextDocument.getLineOfOffset(i)))
+ if(i != xtextDocument.getOffset(line, column)) {
+ println("error")
+ }
+ println("----- ")
+ print("o " + i + " offset " + xtextDocument.getOffset(line, column) + " line of offset " + xtextDocument.getLineOfOffset(i))
+ print(" (l " + line + " ")
+ print("c " + column + ") ")
+ print("(el = " + (line + 1) + ", ")
+ println("ec = " + (column + 1) + ") ")
+ println("object " + object)
+ println("cross " + object3)
+ println("contained " + object2)
+ println("containerStatement " + getStatement(object2))
+
+ } catch(BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+ }
+ def gettr_gl_tr_ins(){
+ tr_gl_tr_ins
+ }
+}
\ No newline at end of file
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/StaticJsonExtractor.xtend b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/StaticJsonExtractor.xtend
new file mode 100644
index 0000000..62dbab2
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/StaticJsonExtractor.xtend
@@ -0,0 +1,209 @@
+/*******************************************************************************
+ * Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry).
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the LGPL 3.0
+ * which accompanies this distribution, and is available at
+ * https://www.gnu.org/licenses/lgpl-3.0-standalone.html
+ *
+ * Contributors:
+ * Faiez Zalila - initial API and implementation and/or initial documentation
+ * Jorge Enrique Gutierrez Zuluaga
+ *******************************************************************************/
+package com.irtsaintexupery.fiacre.simulator.staticjson.extractor
+
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.BlockInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.ComponentDeclarationInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.CompositionInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.DeclarationInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.InstanceModel
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.ProcessDeclarationInstance
+import com.irtsaintexupery.fiacre.instance.fiacreinstance.VariableDeclarationInstance
+import com.irtsaintexupery.fiacre.simulator.core.Utils
+import com.irtsaintexupery.fiacre.simulator.msc.msc.MSC
+import com.irtsaintexupery.fiacre.simulator.msc.msc.Site
+import fr.irit.fiacre.xtext.fiacre.ComponentDeclaration
+import fr.irit.fiacre.xtext.fiacre.CompositeBlock
+import fr.irit.fiacre.xtext.fiacre.Composition
+import fr.irit.fiacre.xtext.fiacre.InstanceDeclaration
+import fr.irit.fiacre.xtext.fiacre.Model
+import fr.irit.fiacre.xtext.fiacre.ParameterizedDeclaration
+import fr.irit.fiacre.xtext.fiacre.ProcessDeclaration
+import java.util.HashMap
+import org.eclipse.emf.ecore.resource.Resource
+import org.eclipse.xtext.resource.XtextResource
+import org.json.simple.JSONArray
+import org.json.simple.JSONAware
+import org.json.simple.JSONObject
+
+class StaticJsonExtractor {
+ var XtextResource fiacreResource
+ var JSONObject fiacreStaticJson
+ var Resource instanceResource
+ var Resource mscResource
+ var HashMap mapping
+ // The constructor
+ new(XtextResource _fiacreResource, JSONObject _fiacreStaticJson, Resource _instanceResource, Resource _mscResource) {
+ fiacreResource = _fiacreResource
+ fiacreStaticJson = _fiacreStaticJson
+ instanceResource = _instanceResource
+ mapping = new HashMap()
+ mscResource = _mscResource
+ }
+
+ // This method extracts static information from the json model
+ // and creates the fiacre instance model
+ def extract() {
+ extractFiacreModel()
+ if (fiacreStaticJson.get("arch_var") instanceof JSONObject){
+ extractMainDeclaration(fiacreStaticJson.getJSONObject("arch_var"))
+ }
+ else{
+ for (element : fiacreStaticJson.get("arch_var") as JSONArray){
+ extractMainDeclaration(element as JSONObject)
+ }
+ }
+
+ Utils.saveResource(instanceResource)
+ Utils.saveResource(mscResource)
+ }
+
+ def extractFiacreModel() {
+ //instanceModel.name = (fiacreModel.root as Declaration).name + "Instance"
+ instanceModel.model = fiacreModel
+ }
+
+ def extractMainDeclaration(JSONObject jsonob) {
+ val String name = jsonob.getJSONString("name")
+ if(jsonob.component) {
+ val ComponentDeclarationInstance cdi = Utils.createComponentDeclarationInstance
+ instanceModel.instance.add(cdi)
+ val ComponentDeclaration fcr_component = fiacreModel.declarations.filter[decl|decl.name==jsonob.get("name")].get(0) as ComponentDeclaration
+ cdi.component = fcr_component
+ cdi.name = fiacreModel.declarations.filter(ComponentDeclaration).filter[cd|cd.name == name].get(0).name
+ jsonob.extractVariable(fcr_component, cdi)
+ jsonob.getJSONArray("body").extractBody(cdi, fcr_component.body)
+ mapping.put(cdi,jsonob)
+ cdi.flatname = jsonob.getJSONString("flatname")
+ } else {
+ val ProcessDeclarationInstance pdi = Utils.createProcessDeclarationInstance
+ instanceModel.instance.add(pdi)
+ val ProcessDeclaration fcr_process = fiacreModel.declarations.filter[decl|decl.name==jsonob.get("name")].get(0) as ProcessDeclaration
+ pdi.process = fcr_process
+ pdi.name = fiacreModel.declarations.filter(ProcessDeclaration).filter[cd|cd.name == name].get(0).name
+ jsonob.extractVariable(fcr_process, pdi)
+ mapping.put(pdi,jsonob)
+ pdi.flatname = jsonob.getJSONString("flatname")
+ //msc part
+ val Site site = Utils.createSite
+ site.name = jsonob.getJSONString("flatname")
+ MSCModel.sites.add(site)
+ }
+ }
+
+ def void extractBody(JSONArray json_composition, BlockInstance instance, Composition fiacre_composition) {
+ for (element : json_composition) {
+ if(element instanceof JSONArray) {
+ // It is a composition
+ val CompositionInstance ci = Utils.createCompositionInstance
+ instance.blockInstances.add(ci)
+ ci.composition = ((fiacre_composition.blocks.get(json_composition.indexOf(element))) as CompositeBlock).composition
+ element.extractBody(ci, ((((fiacre_composition.blocks.get(json_composition.indexOf(element))) as CompositeBlock).composition)))
+ } else {
+ if((element as JSONObject).component) {
+ // It is a component instance
+ val String name = (element as JSONObject).getJSONString("name")
+ val ComponentDeclarationInstance cdi = Utils.createComponentDeclarationInstance
+ instance.blockInstances.add(cdi)
+ cdi.instance = (((fiacre_composition.blocks.get(json_composition.indexOf(element))) as InstanceDeclaration).instance)
+ (element as JSONObject).getJSONArray("body").extractBody(cdi,
+ ((((fiacre_composition.blocks.get(json_composition.indexOf(element))) as InstanceDeclaration).instance.component) as ComponentDeclaration).body)
+ cdi.component = fiacreModel.declarations.filter(ComponentDeclaration).filter [ cd |
+ cd.name == name
+ ].get(0)
+ cdi.name = (fiacreModel.declarations.filter(ComponentDeclaration).filter [ cd |
+ cd.name == name
+ ].get(0).name)
+ (element as JSONObject).extractVariable(fiacreModel.declarations.filter(ComponentDeclaration).filter[cd|cd.name == name].get(0), cdi)
+ mapping.put(cdi,element as JSONObject)
+ cdi.flatname = (element as JSONObject).getJSONString("flatname")
+ } else {
+ // It is a process instance
+ val String name = (element as JSONObject).getJSONString("name")
+ val ProcessDeclarationInstance pdi = Utils.createProcessDeclarationInstance
+ pdi.instance = ((fiacre_composition.blocks.get(json_composition.indexOf(element))) as InstanceDeclaration).instance
+ instance.blockInstances.add(pdi)
+ pdi.process = fiacreModel.declarations.filter(ProcessDeclaration).filter [ cd |
+ cd.name == name
+ ].get(0)
+ pdi.name = (fiacreModel.declarations.filter(ProcessDeclaration).filter [ cd |
+ cd.name == name
+ ].get(0).name)
+ (element as JSONObject).extractVariable(fiacreModel.declarations.filter(ProcessDeclaration).filter[cd|cd.name == name].get(0), pdi)
+ mapping.put(pdi,element as JSONObject)
+ pdi.flatname = (element as JSONObject).getJSONString("flatname")
+ //msc part
+ val Site site = Utils.createSite
+ site.name = (element as JSONObject).getJSONString("flatname")
+ MSCModel.sites.add(site)
+ }
+ }
+ }
+ }
+
+ def boolean isComponent(JSONObject jsonob) {
+ if(jsonob.containsKey("body"))
+ return true
+ else
+ return false
+ }
+
+ def extractVariable(JSONObject jsonob, ParameterizedDeclaration comp_decl, DeclarationInstance cdi) {
+ for (jvar : jsonob.getJSONArray("vars")) {
+ val String var_name = (jvar as JSONObject).getJSONString("sourcename")
+
+ if(var_name.isVariableDeclaration(comp_decl)) {
+ val VariableDeclarationInstance vi = Utils.createVariableDeclarationInstance
+ cdi.variableDeclarationInstances.add(vi)
+ vi.variableDeclaration = comp_decl.variables.map[vars|vars.variables].flatten.filter [ avar |
+ avar.name == (jvar as JSONObject).getJSONString("sourcename")
+ ].get(0)
+ }
+ // else
+ // vi.referenceDeclaration = comp_decl.parameters.map[vars|vars.parameters].flatten.filter[avar |avar.name == (jvar as JSONObject).getJSONString("sourcename")] .get(0)
+ }
+ }
+
+ def boolean isVariableDeclaration(String name, ParameterizedDeclaration declaration) {
+ if(declaration.variables.map[vars|vars.variables].flatten.map[avar|avar.name].filter [ aname |
+ aname == name
+ ].size > 0)
+ return true
+ else
+ return false
+ }
+
+ def getJSONObject(JSONObject jsonOb, String key) {
+ jsonOb.get(key) as JSONObject
+ }
+
+ def getJSONString(JSONObject jsonOb, String key) {
+ jsonOb.get(key) as String
+ }
+
+ def getJSONArray(JSONObject jsonOb, String key) {
+ jsonOb.get(key) as JSONArray
+ }
+
+ def Model getFiacreModel() {
+ return fiacreResource.contents.get(0) as Model
+ }
+ def MSC getMSCModel() {
+ return mscResource.contents.get(0) as MSC
+ }
+ def InstanceModel getInstanceModel() {
+ return instanceResource.contents.get(0) as InstanceModel
+ }
+ def HashMap getMapping(){
+ return mapping
+ }
+}
\ No newline at end of file
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/methods.txt b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/methods.txt
new file mode 100644
index 0000000..a6a353d
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/src/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/methods.txt
@@ -0,0 +1,150 @@
+def HashMap> getVariablesMappings() {
+ var HashMap> map_var_job_cdi = new HashMap>()
+ val ArrayList fiacreVariablesAsJsonObjects = new ArrayList
+ // Get all json objects of vars from the mappings
+ // TODO why just flatten doesn't work
+ for (element : ( mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof DeclarationInstance].values.map[value|(value as JSONObject).get("vars")])) {
+ for (jelement : element as JSONArray) {
+ fiacreVariablesAsJsonObjects.add(jelement as JSONObject)
+ }
+ }
+ println("allJsonVariableValues "+fiacreVariablesAsJsonObjects)
+ // for each value element generated in the dynamic json
+ // for example "Process_1_vx" = 5
+ for (element : fiacreVariablesAsJsonObjects.map[jvv|jvv.get("flatname")].toSet) {
+
+ // this if allows to eliminate added variables by frac like Main_w1
+ if(fiacreVariablesAsJsonObjects.filter[a|a.get("flatname") == element].size > 0) {
+
+ // json_object_var is the concerned json object corresponding to the a fiacre variable
+ // It may be possible that there is many json_object_var that have the same name
+ // like the fp variable in the clock2.fcr
+ for (json_object_var : fiacreVariablesAsJsonObjects.filter[a|a.get("flatname") == element]) {
+ var ArrayList decls = new ArrayList
+ for (decl : mapping_blockinstance_jsonelement.filter[p1, p2|p1 instanceof DeclarationInstance].filter [ p1, p2 |
+ ((p2 as JSONObject).get("vars") as JSONArray).contains(json_object_var)].keySet)
+ {
+ decls.add(decl as DeclarationInstance)
+ }
+ if (decls.filter[decl|decl.variableDeclarationInstances.map[vdi|vdi.variableDeclaration].exists[v|v.name==json_object_var.get("sourcename")]].size>0){
+ var HashMap map = new HashMap()
+ println("declaration instances "+decls.filter[decl|decl.variableDeclarationInstances.map[vdi|vdi.variableDeclaration].exists[v|v.name==json_object_var.get("sourcename")]])
+ map.put(json_object_var,decls.filter[decl|decl.variableDeclarationInstances.map[vdi|vdi.variableDeclaration].exists[v|v.name==json_object_var.get("sourcename")]].get(0))
+ map_var_job_cdi.put(element as String, map)
+ }
+ }
+ }
+ }
+ map_var_job_cdi
+ }
+
+def extractdoc(XtextResource xtextResource) {
+
+ val Injector injector = FiacreActivator.getInstance().getInjector("fr.irit.fiacre.xtext.Fiacre")
+
+ System.out.println("resource" + xtextResource);
+
+ val IURIEditorOpener editorOpener = injector.getInstance(IURIEditorOpener)
+ val XtextEditor xtextEditor = editorOpener.open(xtextResource.URI, true) as XtextEditor
+ println("editor 2" + xtextEditor)
+ val XtextDocument xtextDocument = xtextEditor.document as XtextDocument
+// System.out.println("document " + xtextDocument);
+// for (var i = 0; i < xtextDocument.getNumberOfLines(); i++) {
+// try {
+// println("getLineLength " + i + " " + xtextDocument.getLineLength(i))
+// println("getLineOffset " + i + " " + xtextDocument.getLineOffset(i))
+// } catch(BadLocationException e) {
+// // TODO Auto-generated catch block
+// e.printStackTrace();
+// }
+// }
+ val EObjectAtOffsetHelper eObjectAtOffsetHelper = injector.getInstance(EObjectAtOffsetHelper)
+ for (var i = 0; i < xtextDocument.getLength(); i++) {
+ try {
+ val EObject object = eObjectAtOffsetHelper.resolveElementAt(xtextResource, i)
+ val EObject object2 = eObjectAtOffsetHelper.resolveContainedElementAt(xtextResource, i)
+ val EObject object3 = eObjectAtOffsetHelper.resolveCrossReferencedElementAt(xtextResource, i)
+ val int line = xtextDocument.getLineOfOffset(i)
+ val int column = (i - xtextDocument.getLineOffset(xtextDocument.getLineOfOffset(i)))
+
+ println("----- ")
+ print("o " + i + " offset " + xtextDocument.getOffset(line, column))
+ print(" (l " + line + " ")
+ print("c " + column + ") ")
+ print("(el = " + (line + 1) + ", ")
+ println("ec = " + (column + 1) + ") ")
+ println("object " + object)
+ println("cross " + object3)
+ println("contained " + object2)
+ println("containerStatement " + getStatement(object2))
+
+ } catch(BadLocationException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+ }
+
+ /*
+ * It exists two kinds of transitions
+ * Global transitions: which can be find in the json model root
+ * and Instance transitions which can be find in the process instances
+ * So from global transitions, we must find the instance transitions
+ * to obtain, after, the locations for each transition
+ */
+ // Get global transitions from the json model
+ val JSONArray global_transitions = fiacreStaticJson.get("gtransitions") as JSONArray
+
+ // Get all Instance transitions from the mapping
+ val ArrayList allInstanceTransitions = new ArrayList()
+ for (element : ( mapping.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].values.map[value|(value as JSONObject).get("transitions")])) {
+ for (jelement : element as JSONArray) {
+ allInstanceTransitions.add(jelement as JSONObject)
+ }
+ }
+ // for each global transition name (a_global_tr_name)
+ for (a_global_tr_name : global_transitions.map[agtr|(agtr as JSONObject).get("name")]) {
+
+ // Get the corresponding json object (a_g_tr_jobject) from the global transitions array list
+ val JSONObject a_g_tr_jobject = global_transitions.filter[gtr|(gtr as JSONObject).get("name") == a_global_tr_name].get(0) as JSONObject
+ println(a_global_tr_name + " " + a_g_tr_jobject)
+
+ // for each instance transition name find in the transitions array of the global transition object
+ for (a_i_tr_name : a_g_tr_jobject.get("transitions") as JSONArray) {
+
+ // Get the instance transition object (a_i_tr_jobject)
+ val JSONObject a_i_tr_jobject = allInstanceTransitions.filter[aatr|(aatr as JSONObject).get("name") == a_i_tr_name].get(0)
+
+ // Get the Process Declaration Instance that contains the instance transition object (a_i_tr_jobject)
+ val c_pdi = mapping.filter[p1, p2|p1 instanceof ProcessDeclarationInstance].filter[p1, p2|((p2 as JSONObject).get("transitions") as JSONArray).contains(a_i_tr_jobject)].keySet.get(0);
+ println("process instance " + c_pdi)
+ println("tr in process " + a_i_tr_jobject)
+
+ // Get locations of each instance transition
+ println("locations " + (a_i_tr_jobject as JSONObject).get("locations"))
+ //
+ for (a_location_jsonobject : (a_i_tr_jobject as JSONObject).get("locations") as JSONArray) {
+ val JSONObject from_location = (a_location_jsonobject as JSONObject).get("from") as JSONObject
+ val long line_from = from_location.get("line") as Long
+ val long char_from = from_location.get("char") as Long
+ val int offset_from = xtextDocument.getOffset(line_from.intValue, char_from.intValue)
+
+ println(line_from + " " + char_from + " " + offset_from)
+ val JSONObject to_location = (a_location_jsonobject as JSONObject).get("to") as JSONObject
+ val long line_to = to_location.get("line") as Long
+ val long char_to = to_location.get("char") as Long
+ val int offset_to = xtextDocument.getOffset(line_to.intValue, char_to.intValue)
+ println(line_to + " " + char_to + " " + offset_to)
+ for (var int i = offset_from; i <= offset_to; i++) {
+ val int line = xtextDocument.getLineOfOffset(i)
+ val int column = (i - xtextDocument.getLineOffset(xtextDocument.getLineOfOffset(i)))
+
+ val statement = eObjectAtOffsetHelper.resolveContainedElementAt(xtextResource, i).getStatement
+ if(statement instanceof TransitionSource || statement.isAtomicStatement)
+ println("(" + line + ", " + column + ") " + "(" + (line + 1) + ", " + (column + 1) + ") " + statement)
+ }
+ }
+ println(" ")
+ }
+ println("---")
+ }
+ }
\ No newline at end of file
diff --git a/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/xtend-gen/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/.gitignore b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/xtend-gen/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/.gitignore
new file mode 100644
index 0000000..7e1e07b
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupery.fiacre.simulator/xtend-gen/com/irtsaintexupery/fiacre/simulator/staticjson/extractor/.gitignore
@@ -0,0 +1,5 @@
+/.DynamicJsonExtractor.java._trace
+/.StaticJsonExtractor.java._trace
+/.*.xtendbin
+/DynamicJsonExtractor.java
+/StaticJsonExtractor.java
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.classpath b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.classpath
new file mode 100644
index 0000000..22f3064
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.classpath
@@ -0,0 +1,7 @@
+
+
+
+
+
+
+
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.gitignore b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.gitignore
new file mode 100644
index 0000000..ae3c172
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.project b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.project
new file mode 100644
index 0000000..7b36199
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/.project
@@ -0,0 +1,28 @@
+
+
+ com.irtsaintexupey.fiacre.simulator.msc.edit
+
+
+
+
+
+ org.eclipse.jdt.core.javabuilder
+
+
+
+
+ org.eclipse.pde.ManifestBuilder
+
+
+
+
+ org.eclipse.pde.SchemaBuilder
+
+
+
+
+
+ org.eclipse.jdt.core.javanature
+ org.eclipse.pde.PluginNature
+
+
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/META-INF/MANIFEST.MF b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/META-INF/MANIFEST.MF
new file mode 100644
index 0000000..72003d6
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/META-INF/MANIFEST.MF
@@ -0,0 +1,15 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: com.irtsaintexupey.fiacre.simulator.msc.edit;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-ClassPath: .
+Bundle-Activator: com.irtsaintexupery.fiacre.simulator.msc.msc.provider.MSCEditPlugin$Implementation
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Export-Package: com.irtsaintexupery.fiacre.simulator.msc.msc.provider
+Require-Bundle: org.eclipse.core.runtime,
+ com.irtsaintexupey.fiacre.simulator.msc;visibility:=reexport,
+ org.eclipse.emf.edit;visibility:=reexport
+Bundle-ActivationPolicy: lazy
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/build.properties b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/build.properties
new file mode 100644
index 0000000..6e3e902
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/build.properties
@@ -0,0 +1,10 @@
+#
+
+bin.includes = .,\
+ icons/,\
+ META-INF/,\
+ plugin.xml,\
+ plugin.properties
+jars.compile.order = .
+source.. = src/
+output.. = bin/
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_sites_Site.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_sites_Site.gif
new file mode 100644
index 0000000..0231726
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_sites_Site.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_steps_Step.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_steps_Step.gif
new file mode 100644
index 0000000..cce6183
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateMSC_steps_Step.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_EnterStateStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_EnterStateStep.gif
new file mode 100644
index 0000000..1e449c6
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_EnterStateStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_MicroStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_MicroStep.gif
new file mode 100644
index 0000000..1376267
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_MicroStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SendStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SendStep.gif
new file mode 100644
index 0000000..0be9b53
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SendStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SynchronisationStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SynchronisationStep.gif
new file mode 100644
index 0000000..fcbb640
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/ctool16/CreateStep_microSteps_SynchronisationStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/EnterStateStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/EnterStateStep.gif
new file mode 100644
index 0000000..498364f
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/EnterStateStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MSC.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MSC.gif
new file mode 100644
index 0000000..db7414e
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MSC.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MicroStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MicroStep.gif
new file mode 100644
index 0000000..e4bc22d
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/MicroStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SendStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SendStep.gif
new file mode 100644
index 0000000..83afb9b
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SendStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Site.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Site.gif
new file mode 100644
index 0000000..c00aedf
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Site.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Step.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Step.gif
new file mode 100644
index 0000000..35ef84e
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/Step.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SynchronisationStep.gif b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SynchronisationStep.gif
new file mode 100644
index 0000000..ea58a65
Binary files /dev/null and b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/icons/full/obj16/SynchronisationStep.gif differ
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.properties b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.properties
new file mode 100644
index 0000000..d392b3a
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.properties
@@ -0,0 +1,38 @@
+#
+
+pluginName = MSC Edit Support
+providerName = www.example.org
+
+_UI_CreateChild_text = {0}
+_UI_CreateChild_text2 = {1} {0}
+_UI_CreateChild_text3 = {1}
+_UI_CreateChild_tooltip = Create New {0} Under {1} Feature
+_UI_CreateChild_description = Create a new child of type {0} for the {1} feature of the selected {2}.
+_UI_CreateSibling_description = Create a new sibling of type {0} for the selected {2}, under the {1} feature of their parent.
+
+_UI_PropertyDescriptor_description = The {0} of the {1}
+
+_UI_MSC_type = MSC
+_UI_Site_type = Site
+_UI_Step_type = Step
+_UI_MicroStep_type = Micro Step
+_UI_EnterStateStep_type = Enter State Step
+_UI_SynchronisationStep_type = Synchronisation Step
+_UI_SendStep_type = Send Step
+_UI_Unknown_type = Object
+
+_UI_Unknown_datatype= Value
+
+_UI_MSC_sites_feature = Sites
+_UI_MSC_steps_feature = Steps
+_UI_Site_name_feature = Name
+_UI_Step_microSteps_feature = Micro Steps
+_UI_MicroStep_time_feature = Time
+_UI_EnterStateStep_stateName_feature = State Name
+_UI_EnterStateStep_site_feature = Site
+_UI_SynchronisationStep_sites_feature = Sites
+_UI_SendStep_senderSites_feature = Sender Sites
+_UI_SendStep_receiverSites_feature = Receiver Sites
+_UI_Unknown_feature = Unspecified
+
+_UI_Site_currentState_feature = Current State
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.xml b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.xml
new file mode 100644
index 0000000..d0ecd30
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/plugin.xml
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/src/com/irtsaintexupery/fiacre/simulator/msc/msc/provider/EnterStateStepItemProvider.java b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/src/com/irtsaintexupery/fiacre/simulator/msc/msc/provider/EnterStateStepItemProvider.java
new file mode 100644
index 0000000..7204f80
--- /dev/null
+++ b/eclipse/plugins/com.irtsaintexupey.fiacre.simulator.msc.edit/src/com/irtsaintexupery/fiacre/simulator/msc/msc/provider/EnterStateStepItemProvider.java
@@ -0,0 +1,155 @@
+/**
+ */
+package com.irtsaintexupery.fiacre.simulator.msc.msc.provider;
+
+
+import com.irtsaintexupery.fiacre.simulator.msc.msc.EnterStateStep;
+import com.irtsaintexupery.fiacre.simulator.msc.msc.MscPackage;
+
+import java.util.Collection;
+import java.util.List;
+
+import org.eclipse.emf.common.notify.AdapterFactory;
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
+import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
+import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
+import org.eclipse.emf.edit.provider.ViewerNotification;
+
+/**
+ * This is the item provider adapter for a {@link com.irtsaintexupery.fiacre.simulator.msc.msc.EnterStateStep} object.
+ *
+ *
+ * @generated
+ */
+public class EnterStateStepItemProvider extends MicroStepItemProvider {
+ /**
+ * This constructs an instance from a factory and a notifier.
+ *
+ *
+ * @generated
+ */
+ public EnterStateStepItemProvider(AdapterFactory adapterFactory) {
+ super(adapterFactory);
+ }
+
+ /**
+ * This returns the property descriptors for the adapted class.
+ *
+ *
+ * @generated
+ */
+ @Override
+ public List getPropertyDescriptors(Object object) {
+ if (itemPropertyDescriptors == null) {
+ super.getPropertyDescriptors(object);
+
+ addStateNamePropertyDescriptor(object);
+ addSitePropertyDescriptor(object);
+ }
+ return itemPropertyDescriptors;
+ }
+
+ /**
+ * This adds a property descriptor for the State Name feature.
+ *
+ *
+ * @generated
+ */
+ protected void addStateNamePropertyDescriptor(Object object) {
+ itemPropertyDescriptors.add
+ (createItemPropertyDescriptor
+ (((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
+ getResourceLocator(),
+ getString("_UI_EnterStateStep_stateName_feature"),
+ getString("_UI_PropertyDescriptor_description", "_UI_EnterStateStep_stateName_feature", "_UI_EnterStateStep_type"),
+ MscPackage.Literals.ENTER_STATE_STEP__STATE_NAME,
+ true,
+ false,
+ false,
+ ItemPropertyDescriptor.GENERIC_VALUE_IMAGE,
+ null,
+ null));
+ }
+
+ /**
+ * This adds a property descriptor for the Site feature.
+ *
+ *
+ * @generated
+ */
+ protected void addSitePropertyDescriptor(Object object) {
+ itemPropertyDescriptors.add
+ (createItemPropertyDescriptor
+ (((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
+ getResourceLocator(),
+ getString("_UI_EnterStateStep_site_feature"),
+ getString("_UI_PropertyDescriptor_description", "_UI_EnterStateStep_site_feature", "_UI_EnterStateStep_type"),
+ MscPackage.Literals.ENTER_STATE_STEP__SITE,
+ true,
+ false,
+ true,
+ null,
+ null,
+ null));
+ }
+
+ /**
+ * This returns EnterStateStep.gif.
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object getImage(Object object) {
+ return overlayImage(object, getResourceLocator().getImage("full/obj16/EnterStateStep"));
+ }
+
+ /**
+ * This returns the label text for the adapted class.
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String getText(Object object) {
+ String label = ((EnterStateStep)object).getStateName();
+ return label == null || label.length() == 0 ?
+ getString("_UI_EnterStateStep_type") :
+ getString("_UI_EnterStateStep_type") + " " + label;
+ }
+
+
+ /**
+ * This handles model notifications by calling {@link #updateChildren} to update any cached
+ * children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void notifyChanged(Notification notification) {
+ updateChildren(notification);
+
+ switch (notification.getFeatureID(EnterStateStep.class)) {
+ case MscPackage.ENTER_STATE_STEP__STATE_NAME:
+ fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
+ return;
+ }
+ super.notifyChanged(notification);
+ }
+
+ /**
+ * This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
+ * that can be created under this object.
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected void collectNewChildDescriptors(Collection