spec/command/main/gisele_no_sugar.stdout in gisele-0.2.0 vs spec/command/main/gisele_no_sugar.stdout in gisele-0.3.0

- old
+ new

@@ -1,66 +1,160 @@ [ - :unit, + :unit_def, [ :task_def, - "Simple", + "Complete", [ - :task_signature, + :trackvar, + "everyOneHappy", [ - :fluent, - "diagKnown", + :event_set, + "FirstTask:start" + ], + [ + :event_set + ], + nil + ], + [ + :fluent, + "someoneHappy", + [ + :event_set, + "DrinkBeer:start", + "DrinkBeers:start" + ], + [ + :event_set, + "DoNothingSpecial:end" + ], + false + ], + [ + :task_def, + "DrinkBeers", + [ + :while_st, [ - :event_set, - "Diagnosis:start" + :bool_expr, + [ + :bool_not, + [ + :var_ref, + "drunk" + ] + ] ], [ - :event_set, - "Treatment:end" - ], - nil + :task_call_st, + "DrinkBeer" + ] ] ], [ - :task_refinement, + :seq_st, [ - :seq_st, + :task_call_st, + "FirstTask" + ], + [ + :if_st, [ + :bool_expr, + [ + :var_ref, + "everyoneHappy" + ] + ], + [ + :par_st, + [ + :task_call_st, + "MakeJoy" + ], + [ + :task_call_st, + "DrinkBeers" + ] + ], + [ + :else_clause, + [ + :if_st, + [ + :bool_expr, + [ + :var_ref, + "someoneHappy" + ] + ], + [ + :task_call_st, + "DrinkBeer" + ], + [ + :else_clause, + [ + :task_call_st, + "DoNothingSpecial" + ] + ] + ] + ] + ], + [ + :while_st, + [ + :bool_expr, + [ + :bool_not, + [ + :var_ref, + "endOfTheDay" + ] + ] + ], + [ :case_st, [ + :var_ref, + "curState" + ], + [ :when_clause, [ :bool_expr, [ - :bool_not, - [ - :var_ref, - "diagKnown" - ] + :var_ref, + "somethingToDo" ] ], [ :task_call_st, - "Diagnosis" + "DoSomething" ] ], [ :when_clause, [ :bool_expr, [ :var_ref, - "diagKnown" + "nothingToDo" ] ], [ :task_call_st, - "NoDiag" + "DoNothing" ] + ], + [ + :else_clause, + [ + :task_call_st, + "WaitAndSee" + ] ] - ], - [ - :task_call_st, - "Treatment" ] ] ] ] ]