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, getAttribute
static 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
- イベント名