Skip to content
Snippets Groups Projects
Commit 7c28de5b authored by Ludovic Apvrille's avatar Ludovic Apvrille
Browse files

AVATAR: Simulator update and AVATAR Pd: Can now be renamed

parent 9c6e26ef
No related branches found
No related tags found
No related merge requests found
......@@ -288,7 +288,9 @@ public class AvatarSimulationBlock {
ast.clockValueWhenPerformed = _clockValue;
if (_aspt != null) {
if (_aspt.hasClock) {
ast.duration = _aspt.selectedDuration;
if(lastTransaction != null) {
ast.duration = Math.min(_aspt.myMaxDuration, _aspt.selectedDuration + (_clockValue - lastTransaction.clockValueWhenPerformed));
}
}
}
ast.id = ast.setID();
......
......@@ -171,9 +171,9 @@ public class AvatarRequirementPanel extends TURTLEPanel {
return true;
}
/*if ((panels.elementAt(index) instanceof EBRDDPanel)){
if ((panels.elementAt(index) instanceof AvatarPDPanel)){
return true;
}*/
}
return false;
}
......
......@@ -175,6 +175,7 @@ public class RequirementPanel extends TURTLEPanel {
return true;
}
return false;
}
......
......@@ -522,7 +522,7 @@ public class JFrameAvatarInteractiveSimulation extends JFrame implements AvatarS
//jp01.add(animateWithInfo, c01);
animateWithInfo.addItemListener(this);
animateWithInfo.setSelected(true);
openDiagram = new JCheckBox("Automatically open active task diagram");
openDiagram = new JCheckBox("Automatically open active state machine diagram");
jp01.add(openDiagram, c01);
openDiagram.setSelected(true);
//update = new JCheckBox("Automatically update information (variables)");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment