Commit 2638a43c authored by Vivek Nigam's avatar Vivek Nigam
Browse files

Implemented the connection from the simulator to the executable security state automaton.

TODO: Debug the execution methods.
refs 3071
parent 3a2778e6
......@@ -98,8 +98,9 @@ public class GraphicalStateSimulationView extends
ExecutableStateAutomatonSpecification exec =
currentState = exec.getCurrentState();
for(TransitionSegmentSpecification tsp : exec.getLastFiredTransitionSegments()) {
TransitionSegmentSpecification tspec;
for(TransitionSegment ts : exec.getLastFiredTransitionSegments()) {
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment