public interface StateChartDefinition extends Definition
| 修飾子とタイプ | フィールドと説明 |
|---|---|
static java.lang.String |
ATTR_AreaID
属性値のキー
|
ATTR_Definition, ATTR_DefinitionOwner| 修飾子とタイプ | メソッドと説明 |
|---|---|
java.lang.String[] |
getAllState()
状態遷移表におけるすべてのとりうる状態を配列で取得する。
|
java.lang.String |
getCommand(java.lang.String state,
java.lang.String event)
指定された状態でイベントを受信した際にコントローラに実行させる
命令を取得する。
|
java.lang.String[] |
getEvents(java.lang.String state)
指定された状態において受信できるイベント名を配列を取得する。
|
containsAttribute, getAttribute, getAttributestatic final java.lang.String ATTR_AreaID
java.lang.String[] getAllState()
java.lang.String[] getEvents(java.lang.String state)
state - 状態名java.lang.String getCommand(java.lang.String state, java.lang.String event)
state - 状態名event - イベント名