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"
]
]
]
]
]