/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
*
* ludovic.apvrille AT enst.fr
*
* This software is a computer program whose purpose is to allow the
* edition of TURTLE analysis, design and deployment diagrams, to
* allow the generation of RT-LOTOS or Java code from this diagram,
* and at last to allow the analysis of formal validation traces
* obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
* from INRIA Rhone-Alpes.
*
* This software is governed by the CeCILL license under French law and
* abiding by the rules of distribution of free software. You can use,
* modify and/ or redistribute the software under the terms of the CeCILL
* license as circulated by CEA, CNRS and INRIA at the following URL
* "http://www.cecill.info".
*
* As a counterpart to the access to the source code and rights to copy,
* modify and redistribute granted by the license, users are provided only
* with a limited warranty and the software's author, the holder of the
* economic rights, and the successive licensors have only limited
* liability.
*
* In this respect, the user's attention is drawn to the risks associated
* with loading, using, modifying and/or developing or reproducing the
* software by the user in light of its specific status of free software,
* that may mean that it is complicated to manipulate, and that also
* therefore means that it is reserved for developers and experienced
* professionals having in-depth computer knowledge. Users are therefore
* encouraged to load and test the software's suitability as regards their
* requirements in conditions enabling the security of their systems and/or
* data to be ensured and, more generally, to use and operate it in the
* same conditions as regards security.
*
* The fact that you are presently reading this means that you have had
* knowledge of the CeCILL license and that you accept its terms.
*/
package ui;
import myutil.Conversion;
import myutil.TraceManager;
import translator.*;
import ui.ad.*;
import ui.cd.*;
import ui.osad.*;
import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;
import java.util.Vector;
/**
* Class DesignPanelTranslator
* Creation: 17/08/2006
* @author Ludovic APVRILLE
*/
public class DesignPanelTranslator {
protected TURTLEDesignPanelInterface dp;
protected List<CheckingError> checkingErrors, warnings;
protected CorrespondanceTGElement listE; // usual list
protected CorrespondanceTGElement listB; // list for particular element -> first element of group of blocks
protected List <TDiagramPanel> panels;
protected List <ActivityDiagram> activities;
public DesignPanelTranslator(TURTLEDesignPanelInterface _dp) {
dp = _dp;
reinit();
}
public void reinit() {
checkingErrors = new LinkedList<CheckingError> ();
warnings = new LinkedList<CheckingError> ();
listE = new CorrespondanceTGElement();
listB = new CorrespondanceTGElement();
panels = new LinkedList <TDiagramPanel>();
activities = new LinkedList <ActivityDiagram>();
}
public List<CheckingError> getErrors() {
return checkingErrors;
}
public List<CheckingError> getWarnings() {
return warnings;
}
public CorrespondanceTGElement getCorrespondanceTGElement() {
return listE;
}
public TURTLEModeling generateTURTLEModeling() {
List<TClassInterface> tclasses = new LinkedList<TClassInterface>();
for (Object tgc: dp.getStructurePanel ().getComponentList ())
if (tgc instanceof TClassInterface)
tclasses.add((TClassInterface) tgc);
return generateTURTLEModeling(tclasses, "");
}
public TURTLEModeling generateTURTLEModeling(List<TClassInterface> tclasses, String preName) {
TURTLEModeling tmodel = new TURTLEModeling();
addTClasses(dp, tclasses, preName, tmodel);
addRelations(dp, tmodel);
return tmodel;
}
private void addCheckingError(CheckingError ce) {
if (checkingErrors == null) {
checkingErrors = new LinkedList<CheckingError> ();
}
checkingErrors.add (ce);
}
private void addWarning(CheckingError ce) {
if (warnings == null) {
warnings = new LinkedList<CheckingError> ();
}
warnings.add (ce);
}
public void addTClasses(TURTLEDesignPanelInterface dp, List<TClassInterface> tclasses, String preName, TURTLEModeling tm) {
TDiagramPanel tdp;
// search for class diagram panels
tdp = dp.panelAt(0);
/*if (tdp instanceof TClassDiagramPanel) {
addTClassesFromPanel((TClassDiagramPanel)tdp, tclasses, preName, tm);
}*/
if (tdp instanceof ClassDiagramPanelInterface)
addTClassesFromPanel(tdp, (ClassDiagramPanelInterface)tdp, tclasses, preName, tm);
}
private void addTClassesFromPanel(TDiagramPanel diag, ClassDiagramPanelInterface tdp, List<TClassInterface> tclasses, String preName, TURTLEModeling tm) {
// List list = tdp.getComponentList();
// search for tclasses
for (Object tgc: tdp.getComponentList ())
if ((tgc instanceof TClassInterface) && (tclasses.contains(tgc)))
addTClassFromTClassInterface((TClassInterface)tgc, diag, tdp, preName, tm);
}
private void addTClassFromTClassInterface(TClassInterface tgc, TDiagramPanel diag, ClassDiagramPanelInterface tdp, String preName, TURTLEModeling tm) {
//TraceManager.addDev("Adding TClass: " + tgc.getClassName());
TClass t = new TClass(preName + tgc.getClassName(), tgc.isStart());
int j;
Param p;
Gate g; boolean internal; int type;
int value;
// Attributes
for (TAttribute a: tgc.getAttributes()) {
if (a.getType() == TAttribute.NATURAL) {
p = new Param(a.getId(), Param.NAT, a.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
}
if (a.getType() == TAttribute.BOOLEAN) {
p = new Param(a.getId(), Param.BOOL, a.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
}
if (a.getType() == TAttribute.QUEUE_NAT) {
p = new Param(a.getId(), Param.QUEUE_NAT, a.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
//TraceManager.addDev("Adding queuenat parameter");
}
if (a.getType() == TAttribute.ARRAY_NAT) {
try {
value = Integer.decode(a.getInitialValue()).intValue();
} catch (Exception e) {
UICheckingError ce = new UICheckingError(CheckingError.STRUCTURE_ERROR, "Error on the size of array " + a.getId());
ce.setTClass(t);
ce.setTDiagramPanel(diag);
addCheckingError(ce);
return;
}
for(j=0; j<value; j++) {
p = new Param(a.getId() + "__" + j, Param.NAT, "0");
p.setAccess(a.getAccessString());
t.addParameter(p);
}
p = new Param(a.getId() + "__size", Param.NAT, a.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
//TraceManager.addDev("Adding queuenat parameter");
}
if (a.getType() == TAttribute.OTHER) {
addTDataAttributes(a, t, tdp, tm);
}
}
// Gates
for (TAttribute a: tgc.getGates()) {
internal = (a.getAccess() == TAttribute.PRIVATE);
switch(a.getType()) {
case TAttribute.GATE:
type = Gate.GATE;
break;
case TAttribute.OUTGATE:
type = Gate.OUTGATE;
break;
case
TAttribute.INGATE:
type = Gate.INGATE;
break;
default:
type = -1;
}
if (type > -1) {
internal = false; // We consider all gates as public gates -> private is given for documentation purpose only
g = new Gate(a.getId(), type, internal);
t.addGate(g);
}
}
tm.addTClass(t);
listE.addCor(t, (TGComponent)tgc, preName);
// Activity Diagram
buildActivityDiagram(t);
}
private void addTDataAttributes(TAttribute a, TClass t, ClassDiagramPanelInterface tdp, TURTLEModeling tm) {
//TraceManager.addDev("Find data: " + a.getId() + " getTypeOther=" + a.getTypeOther());
if (tdp instanceof TClassDiagramPanel) {
TCDTData tdata = ((TClassDiagramPanel)tdp).findTData(a.getTypeOther());
if (tdata == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Unknown type: " + a.getTypeOther());
ce.setTClass(t);
ce.setTDiagramPanel((TDiagramPanel)tdp);
addCheckingError(ce);
return ;
}
Param p;
for (TAttribute b: tdata.getAttributes()) {
if (b.getType() == TAttribute.NATURAL) {
p = new Param(a.getId() + "__" + b.getId(), Param.NAT, b.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
}
if (b.getType() == TAttribute.BOOLEAN) {
p = new Param(a.getId() + "__" + b.getId(), Param.BOOL, b.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
}
if (b.getType() == TAttribute.QUEUE_NAT) {
p = new Param(a.getId() + "__" + b.getId(), Param.QUEUE_NAT, b.getInitialValue());
p.setAccess(a.getAccessString());
t.addParameter(p);
}
}
}
}
private void buildActivityDiagram(TClass t) {
int j;
//TActivityDiagramPanel tadp;
ActivityDiagramPanelInterface adpi;
TDiagramPanel tdp;
//t.printParams();
// find the panel of this TClass
TClassInterface tci = (TClassInterface)(listE.getTG(t));
String name = tci.getClassName();
int index_name = name.indexOf(':');
// instance
if (index_name != -1) {
name = name.substring(index_name+2, name.length());
}
adpi = tci.getBehaviourDiagramPanel();
if (adpi == null) {
return;
}
tdp = (TDiagramPanel)adpi;
int indexTdp = panels.indexOf(tdp);
if (indexTdp > -1) {
TraceManager.addDev("Found similar activity diagram for " + t.getName());
t.setActivityDiagram(activities.get(indexTdp).duplicate(t));
//TraceManager.addDev("AD of " + t.getName() + "=");
//t.getActivityDiagram().print();
// Must fill correspondances!
ADComponent ad0, ad1;
TGComponent tgcad;
for(int adi=0; adi<t.getActivityDiagram().size(); adi++) {
ad0 = t.getActivityDiagram().get(adi);
ad1 = activities.get(indexTdp).get(adi);
tgcad = listE.getTG(ad1);
if (tgcad != null ){
//TraceManager.addDev("Adding correspondance for " + ad0);
listE.addCor(ad0, tgcad);
}
}
return;
}
// search for start state
List<TGComponent> list = adpi.getComponentList();
Iterator<TGComponent> iterator = list.listIterator();
TGComponent tgc;
TGComponent tss = null;
int cptStart = 0;
while(iterator.hasNext()) {
tgc = iterator.next();
if (tgc instanceof TADStartState){
tss = tgc;
cptStart ++;
} else if (tgc instanceof TOSADStartState) {
tss = tgc;
cptStart ++;
}
}
if (tss == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "No start state in the activity diagram of " + name);
ce.setTClass(t);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
return;
}
if (cptStart > 1) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "More than one start state in the activity diagram of " + name);
ce.setTClass(t);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
return;
}
TADActionState tadas;
ADStart ads;
//ADActionState ada;
ADActionStateWithGate adag;
ADActionStateWithParam adap;
//ADActionStateWithMultipleParam adamp;
ADChoice adch;
ADDelay add;
ADJunction adj;
ADLatency adl;
ADParallel adp;
ADSequence adseq;
ADPreempt adpre;
ADStop adst;
ADTimeInterval adti;
ADTLO adtlo;
ADTimeCapture adtc;
String s, s1;
Gate g;
Param p;
int nbActions;
String sTmp;
// int startIndex = listE.getSize();
// Creation of the activity diagram
ads = new ADStart();
listE.addCor(ads, tss);
ActivityDiagram ad = new ActivityDiagram(ads);
t.setActivityDiagram(ad);
panels.add(tdp);
activities.add(ad);
//TraceManager.addDev("Making activity diagram of " + t.getName());
// Creation of other elements
iterator = list.listIterator();
while(iterator.hasNext()) {
tgc = iterator.next();
if (tgc instanceof TADActionState) {
tadas = (TADActionState)tgc;
s = ((TADActionState)tgc).getAction();
s = s.trim();
//remove ';' if last character
if (s.substring(s.length()-1, s.length()).compareTo(";") == 0) {
s = s.substring(0, s.length()-1);
}
nbActions = Conversion.nbChar(s, ';') + 1;
//TraceManager.addDev("Nb Actions in state: " + nbActions);
s = TURTLEModeling.manageDataStructures(t, s);
g = t.getGateFromActionState(s);
p = t.getParamFromActionState(s);
if ((g != null) && (nbActions == 1)){
//TraceManager.addDev("Action state with gate found " + g.getName() + " value:" + t.getActionValueFromActionState(s));
adag = new ADActionStateWithGate(g);
ad.addElement(adag);
s1 = t.getActionValueFromActionState(s);
//TraceManager.addDev("s1=" + s1);
/*if (s1 == null) {
TraceManager.addDev("oh ho !");
}*/
//TraceManager.addDev("Adding type");
s1 = TURTLEModeling.manageGateDataStructures(t, s1);
//TraceManager.addDev("hi");
if (s1 == null) {
//TraceManager.addDev("ho");
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Invalid expression: " + t.getActionValueFromActionState(s));
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
//return;
} else {
tadas.setStateAction(ErrorHighlight.GATE);
s1 = TURTLEModeling.addTypeToDataReceiving(t, s1);
adag.setActionValue(s1);
//TraceManager.addDev("Adding correspondance tgc=" + tgc + "adag=" + adag);
listE.addCor(adag, tgc);
listB.addCor(adag, tgc);
}
} else if ((p != null) && (nbActions == 1)){
//TraceManager.addDev("Action state with param found " + p.getName() + " value:" + t.getExprValueFromActionState(s));
if (t.getExprValueFromActionState(s).trim().startsWith("=")) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, s + " should not start with a '=='");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
}
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, t.getExprValueFromActionState(s)));
listE.addCor(adap, tgc);
listB.addCor(adap, tgc);
tadas.setStateAction(ErrorHighlight.ATTRIBUTE);
} else if ((p != null) && (nbActions > 1)){
//TraceManager.addDev("Action state with multi param found " + p.getName() + " value:" + t.getExprValueFromActionState(s));
// Checking params
UICheckingError ce;
// Vector v;
for(j=0; j<nbActions; j++) {
sTmp = TURTLEModeling.manageDataStructures(t,((TADActionState)(tgc)).getAction(j));
if (sTmp == null) {
ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Action state (0) (" + s + "): \"" + s + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
}
p = t.getParamFromActionState(sTmp);
if (p == null) {
ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Action state (1) (" + s + "): \"" + sTmp + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
}
}
/*tadas.setStateAction(ErrorHighlight.ATTRIBUTE);
adamp = new ADActionStateWithMultipleParam();
ad.addElement(adamp);
adamp.setActionValue(TURTLEModeling.manageDataStructures(t, s));*/
tadas.setStateAction(ErrorHighlight.ATTRIBUTE);
ADComponent adtmp = null;
for(j=0; j<nbActions; j++) {
sTmp = TURTLEModeling.manageDataStructures(t,((TADActionState)(tgc)).getAction(j));
p = t.getParamFromActionState(sTmp);
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
if (adtmp != null) {
adtmp.addNext(adap);
} else {
listB.addCor(adap, tgc);
}
adtmp = adap;
adap.setActionValue(t.getExprValueFromActionState(sTmp));
}
listE.addCor(adtmp, tgc);
} else {
// Is it of kind: tdata = tdata'?
int index = s.indexOf("=");
if (index > -1) {
String name0 = s.substring(0,index).trim();
String name1 = s.substring(index+1,s.length()).trim();
TAttribute ta0 = null, ta1 = null;
for (TAttribute ta: tci.getAttributes()) {
if (ta.getId().compareTo(name0) == 0)
ta0 = ta;
if (ta.getId().compareTo(name1) == 0)
ta1 = ta;
}
if (ta0 != null && ta1 != null && ta0.getTypeOther().compareTo(ta1.getTypeOther()) == 0) {
// Expand the equality!
tadas.setStateAction(ErrorHighlight.ATTRIBUTE);
String nameTmp;
Vector<Param> v0 = t.getParamStartingWith(ta0.getId()+ "__");
ADComponent adtmp = null;
for(j=0; j<v0.size(); j++) {
p = v0.get(j);
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
if (adtmp != null) {
adtmp.addNext(adap);
} else {
listB.addCor(adap, tgc);
}
adtmp = adap;
nameTmp = p.getName();
nameTmp = nameTmp.substring(nameTmp.indexOf("__"), nameTmp.length());
adap.setActionValue(name1 + nameTmp);
}
listE.addCor(adtmp, tgc);
} else {
//TraceManager.addDev("Unknown param 0 or 1");
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Action state (2) (" + s + "): \"" + s + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
}
} else {
//TraceManager.addDev("Unknown param");
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Action state (2) (" + s + "): \"" + s + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
tadas.setStateAction(ErrorHighlight.UNKNOWN_AS);
}
//TraceManager.addDev("Bad action state found " + s);
}
} else if (tgc instanceof TADTimeCapture) {
p = t.getParamByName(tgc.getValue().trim());
if (p != null){
TraceManager.addDev("Time capture with param " + p.getName());
adtc = new ADTimeCapture(p);
ad.addElement(adtc);
((TADTimeCapture)tgc).setStateAction(ErrorHighlight.ATTRIBUTE);
} else {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Unknown variable: " + tgc.getValue());
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
((TADTimeCapture)tgc).setStateAction(ErrorHighlight.UNKNOWN_AS);
}
// Get element from Array
} else if (tgc instanceof TADArrayGetState) {
TADArrayGetState ags = (TADArrayGetState)tgc;
sTmp = ags.getIndex();
try {
nbActions = Integer.decode(sTmp).intValue();
p = t.getParamByName(ags.getVariable());
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ags.getVariable() + ": unknown variable");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ags.setStateAction(ErrorHighlight.UNKNOWN);
} else {
adap = new ADActionStateWithParam(p);
p = t.getParamByName(ags.getArray() + "__" + nbActions);
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ags.getArray() + "[" + ags.getIndex() + "]: unknown array or wrong index");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ags.setStateAction(ErrorHighlight.UNKNOWN);
} else {
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, ags.getArray() + "__" + nbActions));
listE.addCor(adap, tgc);
listB.addCor(adap, tgc);
ags.setStateAction(ErrorHighlight.OK);
}
}
} catch (Exception e) {
// Index is not an absolute value
TraceManager.addDev("Index is not an absolute value");
Gate error = t.addNewGateIfApplicable("arrayOverflow");
ADChoice choice1 = new ADChoice();
ADJunction junc = new ADJunction();
ADStop stop1 = new ADStop();
ADActionStateWithGate adag1 = new ADActionStateWithGate(error);
ad.addElement(choice1);
ad.addElement(junc);
ad.addElement(stop1);
ad.addElement(adag1);
String basicGuard = "(" + ags.getIndex() + ")";
p = t.getParamByName(ags.getArray() + "__size");
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ags.getArray() + "[" + ags.getIndex() + "]: unknown array or wrong index");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ags.setStateAction(ErrorHighlight.UNKNOWN);
} else {
int size = 2;
try {
size = Integer.decode(p.getValue()).intValue();
} catch (Exception e0) {
}
p = t.getParamByName(ags.getVariable());
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ags.getVariable() + ": unknown variable");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ags.setStateAction(ErrorHighlight.UNKNOWN);
} else {
for(int i=0; i<size; i++) {
//TraceManager.addDev("Adding guard: [" + basicGuard + "== " + i + "]");
choice1.addGuard("[" + basicGuard + " == " + i + "]");
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, ags.getArray() + "__" + i));
choice1.addNext(adap);
adap.addNext(junc);
ags.setStateAction(ErrorHighlight.OK);
}
choice1.addGuard("[" + basicGuard + "> (" + ags.getArray() + "__size - 1)]");
choice1.addNext(adag1);
adag1.addNext(stop1);
listE.addCor(junc, tgc);
listB.addCor(choice1, tgc);
}
}
}
} else if (tgc instanceof TADArraySetState) {
TADArraySetState ass = (TADArraySetState)tgc;
sTmp = ass.getIndex();
try {
nbActions = Integer.decode(sTmp).intValue();
p = t.getParamByName(ass.getArray() + "__" + nbActions);
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ass.getArray() + "[" + ass.getIndex() + "]: unknown array or wrong index");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ass.setStateAction(ErrorHighlight.UNKNOWN);
} else {
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, ass.getExpr()));
listE.addCor(adap, tgc);
listB.addCor(adap, tgc);
ass.setStateAction(ErrorHighlight.OK);
}
} catch (Exception e) {
// Index is not an absolute value
//TraceManager.addDev("Set: Index is not an absolute value");
Gate error = t.addNewGateIfApplicable("arrayOverflow");
ADChoice choice1 = new ADChoice();
ADJunction junc = new ADJunction();
ADStop stop1 = new ADStop();
ADActionStateWithGate adag1 = new ADActionStateWithGate(error);
ad.addElement(choice1);
ad.addElement(junc);
ad.addElement(stop1);
ad.addElement(adag1);
String basicGuard = "(" + ass.getIndex() + ")";
p = t.getParamByName(ass.getArray() + "__size");
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ass.getArray() + "[" + ass.getIndex() + "]: unknown array or wrong index");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ass.setStateAction(ErrorHighlight.UNKNOWN);
} else {
int size = 2;
try {
size = Integer.decode(p.getValue()).intValue();
} catch (Exception e0) {
}
for(int i=0; i<size; i++) {
//TraceManager.addDev("Adding guard: [" + basicGuard + "== " + i + "]");
p = t.getParamByName(ass.getArray() + "__" + i);
adap = null;
if (p == null) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Array setting: " + ass.getArray() + "[" + ass.getIndex() + "]: unknown array or wrong index");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
ass.setStateAction(ErrorHighlight.UNKNOWN);
} else {
choice1.addGuard("[" + basicGuard + " == " + i + "]");
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, ass.getExpr()));
choice1.addNext(adap);
adap.addNext(junc);
ass.setStateAction(ErrorHighlight.OK);
}
choice1.addGuard("[" + basicGuard + "> (" + ass.getArray() + "__size - 1)]");
choice1.addNext(adag1);
adag1.addNext(stop1);
listE.addCor(junc, tgc);
listE.addCor(choice1, tgc);
if (adap != null) {
listE.addCor(adap, tgc);
}
listE.addCor(stop1, tgc);
listE.addCor(adag1, tgc);
listB.addCor(choice1, tgc);
}
}
}
} else if (tgc instanceof TADChoice) {
adch = new ADChoice();
ad.addElement(adch);
listE.addCor(adch, tgc);
} else if (tgc instanceof TADDeterministicDelay) {
add = new ADDelay();
ad.addElement(add);
add.setValue(TURTLEModeling.manageGateDataStructures(t, ((TADDeterministicDelay)tgc).getDelayValue()));
listE.addCor(add, tgc);
} else if (tgc instanceof TADJunction) {
adj = new ADJunction();
ad.addElement(adj);
listE.addCor(adj, tgc);
} else if (tgc instanceof TADNonDeterministicDelay) {
adl = new ADLatency();
ad.addElement(adl);
adl.setValue(TURTLEModeling.manageGateDataStructures(t, ((TADNonDeterministicDelay)tgc).getLatencyValue()));
listE.addCor(adl, tgc);
} else if (tgc instanceof TADParallel) {
adp = new ADParallel();
ad.addElement(adp);
adp.setValueGate(((TADParallel)tgc).getValueGate());
listE.addCor(adp, tgc);
} else if (tgc instanceof TADSequence) {
adseq = new ADSequence();
ad.addElement(adseq);
listE.addCor(adseq, tgc);
} else if (tgc instanceof TADPreemption) {
adpre = new ADPreempt();
ad.addElement(adpre);
listE.addCor(adpre, tgc);
} else if (tgc instanceof TADStopState) {
adst = new ADStop();
ad.addElement(adst);
listE.addCor(adst, tgc);
} else if (tgc instanceof TADTimeInterval) {
adti = new ADTimeInterval();
ad.addElement(adti);
adti.setValue(TURTLEModeling.manageGateDataStructures(t, ((TADTimeInterval)tgc).getMinDelayValue()), TURTLEModeling.manageGateDataStructures(t, ((TADTimeInterval)tgc).getMaxDelayValue()));
listE.addCor(adti, tgc);
} else if (tgc instanceof TADTimeLimitedOffer) {
s = ((TADTimeLimitedOffer)tgc).getAction();
g = t.getGateFromActionState(s);
if (g != null) {
adtlo = new ADTLO(g);
ad.addElement(adtlo);
adtlo.setLatency("0");
s1 = t.getActionValueFromActionState(s);
//TraceManager.addDev("Adding type");
s1 = TURTLEModeling.manageGateDataStructures(t, s1);
s1 = TURTLEModeling.addTypeToDataReceiving(t, s1);
//TraceManager.addDev("Adding type done");
adtlo.setAction(s1);
adtlo.setDelay(TURTLEModeling.manageGateDataStructures(t, ((TADTimeLimitedOffer)tgc).getDelay()));
listE.addCor(adtlo, tgc);
((TADTimeLimitedOffer)tgc).setStateAction(ErrorHighlight.GATE);
} else {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Time-limited offer (" + s + ", " + ((TADTimeLimitedOffer)tgc).getDelay() + "): \"" + s + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
((TADTimeLimitedOffer)tgc).setStateAction(ErrorHighlight.UNKNOWN_AS);
//TraceManager.addDev("Bad time limited offer found " + s);
}
} else if (tgc instanceof TADTimeLimitedOfferWithLatency) {
s = ((TADTimeLimitedOfferWithLatency)tgc).getAction();
g = t.getGateFromActionState(s);
if (g != null) {
adtlo = new ADTLO(g);
ad.addElement(adtlo);
adtlo.setLatency(TURTLEModeling.manageGateDataStructures(t, ((TADTimeLimitedOfferWithLatency)tgc).getLatency()));
s1 = t.getActionValueFromActionState(s);
//TraceManager.addDev("Adding type");
s1 = TURTLEModeling.manageGateDataStructures(t, s1);
s1 = TURTLEModeling.addTypeToDataReceiving(t, s1);
//TraceManager.addDev("Adding type done");
adtlo.setAction(s1);
adtlo.setDelay(TURTLEModeling.manageGateDataStructures(t, ((TADTimeLimitedOfferWithLatency)tgc).getDelay()));
listE.addCor(adtlo, tgc);
((TADTimeLimitedOfferWithLatency)tgc).setStateAction(ErrorHighlight.GATE);
} else {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Time-limited offer (" + s + ", " + ((TADTimeLimitedOfferWithLatency)tgc).getLatency() + ", " + ((TADTimeLimitedOfferWithLatency)tgc).getDelay() + "): \"" + s + "\" is not a correct expression");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
((TADTimeLimitedOfferWithLatency)tgc).setStateAction(ErrorHighlight.UNKNOWN_AS);
//TraceManager.addDev("Bad time limited offer found " + s);
}
// TURTLE-OS AD
} else if (tgc instanceof TOSADTimeInterval) {
adti = new ADTimeInterval();
ad.addElement(adti);
adti.setValue(TURTLEModeling.manageGateDataStructures(t, ((TOSADTimeInterval)tgc).getMinDelayValue()), TURTLEModeling.manageGateDataStructures(t, ((TOSADTimeInterval)tgc).getMaxDelayValue()));
listE.addCor(adti, tgc);
} else if (tgc instanceof TOSADIntTimeInterval) {
adti = new ADTimeInterval();
ad.addElement(adti);
adti.setValue(TURTLEModeling.manageGateDataStructures(t, ((TOSADIntTimeInterval)tgc).getMinDelayValue()), TURTLEModeling.manageGateDataStructures(t, ((TOSADIntTimeInterval)tgc).getMaxDelayValue()));
listE.addCor(adti, tgc);
} else if (tgc instanceof TOSADStopState) {
adst = new ADStop();
ad.addElement(adst);
listE.addCor(adst, tgc);
} else if (tgc instanceof TOSADJunction) {
adj = new ADJunction();
ad.addElement(adj);
listE.addCor(adj, tgc);
} else if (tgc instanceof TOSADChoice) {
adch = new ADChoice();
ad.addElement(adch);
listE.addCor(adch, tgc);
} if (tgc instanceof TOSADActionState) {
s = ((TOSADActionState)tgc).getAction();
s = s.trim();
//remove ';' if last character
if (s.substring(s.length()-1, s.length()).compareTo(";") == 0) {
s = s.substring(0, s.length()-1);
}
nbActions = Conversion.nbChar(s, ';') + 1;
if (nbActions>1) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, s + " should not start with a '=='");
ce.setTClass(t);
ce.setTGComponent(tgc);
ce.setTDiagramPanel(tdp);
addCheckingError(ce);
} else {
//s = TURTLEModeling.manageDataStructures(t, s);
g = t.getGateFromActionState(s);
p = t.getParamFromActionState(s);
if (p != null) {
adap = new ADActionStateWithParam(p);
ad.addElement(adap);
adap.setActionValue(TURTLEModeling.manageDataStructures(t, t.getExprValueFromActionState(s)));
listE.addCor(adap, tgc);
} else {
adag = new ADActionStateWithGate(g);
ad.addElement(adag);
listE.addCor(adag, tgc);
adag.setActionValue(s);
}
}
//TraceManager.addDev("Nb Actions in state: " + nbActions);
}
}
TGConnectingPoint p1, p2;
//TGConnectorFullArrow tgco;
TGComponent tgc1, tgc2, tgc3;
ADComponent ad1, ad2;
// Managing Java code
iterator = list.listIterator();
while(iterator.hasNext()) {
tgc = iterator.next();
if (tgc instanceof PreJavaCode) {
ad1 = listE.getADComponentByIndex(tgc, tdp.count);
if (ad1 != null) {
ad1.setPreJavaCode(tgc.getPreJavaCode());
}
}
if (tgc instanceof PostJavaCode) {
ad1 = listE.getADComponentByIndex(tgc, tdp.count);
if (ad1 != null) {
ad1.setPostJavaCode(tgc.getPostJavaCode());
}
}
}
// Connecting elements
TGConnectorBetweenElementsInterface tgcbei;
iterator = list.listIterator();
while(iterator.hasNext()) {
tgc = iterator.next();
if (tgc instanceof TGConnectorBetweenElementsInterface) {
tgcbei = (TGConnectorBetweenElementsInterface)tgc;
p1 = tgcbei.getTGConnectingPointP1();
p2 = tgcbei.getTGConnectingPointP2();
// identification of connected components
tgc1 = null; tgc2 = null;
for(j=0; j<list.size(); j++) {
tgc3 = list.get(j);
if (tgc3.belongsToMe(p1)) {
tgc1 = tgc3;
}
if (tgc3.belongsToMe(p2)) {
tgc2 = tgc3;
}
}
// connecting turtle modeling components
if ((tgc1 != null) && (tgc2 != null)) {
//ADComponent ad1, ad2;
//TraceManager.addDev("tgc1 = " + tgc1.getValue() + " tgc2= "+ tgc2.getValue());
ad1 = listE.getADComponentByIndex(tgc1, tdp.count);
if ((tgc2 instanceof TADArrayGetState) || (tgc2 instanceof TADArraySetState) || (tgc2 instanceof TADActionState)) {
ad2 = listB.getADComponent(tgc2);
} else {
ad2 = listE.getADComponentByIndex(tgc2, tdp.count);
}
//TraceManager.addDev("ad1 = " + ad1 + " ad2= "+ ad2);
if ((ad1 == null) || (ad2 == null)) {
//TraceManager.addDev("Correspondance issue");
}
int index = 0;
if ((ad1 != null ) && (ad2 != null)) {
if ((tgc1 instanceof TADTimeLimitedOffer) || (tgc1 instanceof TADTimeLimitedOfferWithLatency)) {
index = tgc1.indexOf(p1) - 1;
ad1.addNextAtIndex(ad2, index);
} else if (tgc1 instanceof TADChoice) {
TADChoice tadch = (TADChoice)tgc1;
index = tgc1.indexOf(p1) - 1;
String myguard = TURTLEModeling.manageGateDataStructures(t, tadch.getGuard(index));
String tmp = Conversion.replaceAllChar(myguard, '[', "");
tmp = Conversion.replaceAllChar(tmp, ']', "").trim();
if (tmp.compareTo("else") == 0) {
// Must calculate guard
String realGuard = "";
int cpt = 0;
for(int k=0; k<tadch.getNbInternalTGComponent(); k++) {
if (k != index) {
if (cpt == 0) {
tmp = TURTLEModeling.manageGateDataStructures(t, tadch.getGuard(k));
tmp = Conversion.replaceAllChar(tmp, '[', "");
tmp = Conversion.replaceAllChar(tmp, ']', "").trim();
if (tmp.length() > 0) {
realGuard = tmp;
cpt ++;
}
} else {
tmp = TURTLEModeling.manageGateDataStructures(t, tadch.getGuard(k));
tmp = Conversion.replaceAllChar(tmp, '[', "");
tmp = Conversion.replaceAllChar(tmp, ']', "").trim();
if (tmp.length() > 0) {
realGuard = "(" + realGuard + ") and (" + tmp + ")";
cpt ++;
}
}
}
//TraceManager.addDev("Real guard=" + realGuard + "k=" + k + " index=" + index);
}
if (realGuard.length() == 0) {
myguard = "[ ]";
} else {
myguard = "[not(" + realGuard + ")]";
}
TraceManager.addDev("My guard=" + myguard);
}
((ADChoice)ad1).addGuard(myguard);
ad1.addNext(ad2);
} else if ((tgc1 instanceof TADSequence) ||(tgc1 instanceof TADPreemption)){
index = tgc1.indexOf(p1) - 1;
ad1.addNextAtIndex(ad2, index);
} else if (tgc1 instanceof TOSADChoice) {
TOSADChoice tadch = (TOSADChoice)tgc1;
index = tgc1.indexOf(p1) - 1;
((ADChoice)ad1).addGuard(TURTLEModeling.manageGateDataStructures(t, tadch.getGuard(index)));
ad1.addNext(ad2);
} else {
ad1.addNextAtIndex(ad2, index);
//TraceManager.addDev("Adding connector from " + ad1 + " to " + ad2);
}
}
}
}
}
// Increasing count of this panel
tdp.count ++;
// Remove all elements not reachable from start state
int sizeb = ad.size();
TraceManager.addDev("Removing non reachable elements in t:" + t.getName());
ad.removeAllNonReferencedElts();
int sizea = ad.size();
if (sizeb > sizea) {
UICheckingError ce = new UICheckingError(CheckingError.BEHAVIOR_ERROR, "Non reachable elements have been removed in " + t.getName());
ce.setTClass(t);
ce.setTGComponent(null);
ce.setTDiagramPanel(tdp);
addWarning(ce);
//TraceManager.addDev("Non reachable elements have been removed in " + t.getName());
}
//ad.replaceAllADActionStatewithMultipleParam(listE);
}
public void addRelations(TURTLEDesignPanelInterface dp, String prename, TURTLEModeling tm) {
addRelationFromPanel(dp.getStructurePanel(), prename, tm);
}
public void addRelations(TURTLEDesignPanelInterface dp, TURTLEModeling tm) {
addRelationFromPanel(dp.getStructurePanel(), "", tm);
}
private void addRelationFromPanel(ClassDiagramPanelInterface tdp, String prename, TURTLEModeling tm) {
List<TGComponent> list = tdp.getComponentList();
Iterator<TGComponent> iterator = list.listIterator();
// search for Composition Operator
TGComponent tgc;
while(iterator.hasNext()) {
tgc = iterator.next();
if (tgc instanceof CompositionOperatorInterface) {
addRelationFromCompositionOperator((CompositionOperatorInterface)tgc, tdp, prename, tm);
}
}
}
private void addRelationFromCompositionOperator(CompositionOperatorInterface tco, ClassDiagramPanelInterface tdp, String prename, TURTLEModeling tm) {
TClassInterface t1 = tdp.getTClass1ToWhichIamConnected(tco);
TClassInterface t2 = tdp.getTClass2ToWhichIamConnected(tco);
TGConnector tgco = tdp.getTGConnectorAssociationOf(tco);
if ((t1 != null) && (t2 != null) && (tgco != null)) {
TClass tc1 = tm.getTClassWithName(prename + t1.getValue());
TClass tc2 = tm.getTClassWithName(prename + t2.getValue());
if ((tc1 != null) && (tc2 != null)) {
int type = typeOf(tco);
if (type == -1) {
return;
}
Relation r;
if (tgco instanceof TGConnectorAssociationWithNavigation) {
r = new Relation(type, tc1, tc2, true);
} else {
r = new Relation(type, tc1, tc2, false);
}
tm.addRelation(r);
//TraceManager.addDev("Adding " + Relation.translation(type) + " relation between " + tc1.getName() + " and " + tc2.getName());
// if tgco is a synchro operator -> synchronizations gates
if (tco instanceof TCDSynchroOperator)
setGatesOf(r, ((TCDSynchroOperator)tco).getGates(), tc1, tc2);
if (tco instanceof TCDInvocationOperator)
setGatesOf(r, ((TCDInvocationOperator)tco).getGates(), tc1, tc2);
/* COMMENTED on 04.25.2016
* Seems like we can't instantiate TCDWatchdogOperator
* and the setWatchdogGatesOf function is buggy: it uses
* TTwoAttributes as if they were TAttribute.
// if tgco watcdog -> list of gates
if (tco instanceof TCDWatchdogOperator)
setWatchdogGatesOf(r, ((TCDWatchdogOperator)tco).getGates(), tc1, tc2);
*/
}
}
}
private int typeOf(CompositionOperatorInterface tco) {
if (tco instanceof TCDParallelOperator) {
return Relation.PAR;
} else if (tco instanceof TCDPreemptionOperator) {
return Relation.PRE;
} else if (tco instanceof TCDSequenceOperator) {
return Relation.SEQ;
} else if (tco instanceof TCDSynchroOperator) {
return Relation.SYN;
} else if (tco instanceof TCDInvocationOperator) {
return Relation.INV;
} else if (tco instanceof TCDWatchdogOperator) {
return Relation.WAT;
}
return -1;
}
private void setGatesOf(Relation r, List<TTwoAttributes> gates, TClass tc1, TClass tc2) {
Gate g1, g2;
for (TTwoAttributes tt: gates) {
g1 = tc1.getGateByName(tt.ta1.getId());
g2 = tc2.getGateByName(tt.ta2.getId());
if ((g1 != null) && (g2 != null)) {
r.addGates(g1, g2);
//TraceManager.addDev("Adding gates " + g1.getName() + " = " + g2.getName());
}
}
}
/* COMMENTED on 04.25.2016
* Seems like we can't instantiate TCDWatchdogOperator
* and the setWatchdogGatesOf function is buggy: it uses
* TTwoAttributes as if they were TAttribute.
private void setWatchdogGatesOf(Relation r, List<TTwoAttributes> gates, TClass tc1, TClass tc2) {
for (TTwoAttributes t: gates) {
Gate g1 = tc1.getGateByName(((TAttribute) t).getId());
if (g1 != null)
r.addGates(g1, g1);
}
}
*/
}