サポート宛に頂きましたご質問の要約です。

○ご質問

「ステートマシン図からC++言語のソースコードを出力するサンプル」について、
説明のページには、制約として

子ダイアグラム(サブステートマシン図)を持つ状態にはDoアクションは定義しないでください

とありますが、これは具体的にはどのような問題が発生するのでしょうか？

○回答

ご指摘の制約事項は、最新のサンプルでは対応済でしたが、Webサイトの
内容の修正漏れがありました。説明の画像を含めて、修正いたしました。

現在のサンプルでは、子ダイアグラムを持つ場合のDoアクションに対応するコードも
出力されるようになっています。

同じサンプルにつきまして、別のご質問もいただきましたので追記します。

○ご質問

サンプルにおいて、状態lightOnに定義されているアクションlightOffおよびlightOnに
対応するメソッドが生成されないが、これは正しいのか？

○回答

lightOffやlightOnがソースコードに表示されないのは現時点での生成のルールです。
doやexitのアクションの名前(モデル上の、lightOffやturnLeft
など)は、ソースコードの生成では利用されない名前です。
lightOffであれば、このアクションの「実装」として記述されている
「SetLight(false)」の情報のみが出力されます。

(カスタマイズによって、この名前をコメントとして出力したり
関数名として使うなどの変更も可能です。)