Skip to content

Commit

Permalink
Make the event for dispatch() optional, nice to trigger eventless tra…
Browse files Browse the repository at this point in the history
…nsitions. See also jp-embedded#40 (comment)
  • Loading branch information
sstiller committed Nov 2, 2018
1 parent 34cd785 commit c2c5d09
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/cpp_output.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -920,7 +920,7 @@ void cpp_output::gen_sc()
out << tab << '}' << endl;
}
out << endl;
out << tab << "public: void dispatch(event e)" << endl;
out << tab << "public: void dispatch(event e = &state::unconditional)" << endl;
out << tab << "{" << endl;
out << tab << tab << "bool cont = dispatch_event(e);" << endl;
out << tab << tab << "while (cont) {" << endl;
Expand Down

0 comments on commit c2c5d09

Please sign in to comment.