|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
Interface for process navigator.
メソッドの概要 | |
void |
go(InputIr ir,
Options op)
go to the process |
boolean |
isExternalCommand()
If this process calls the external command, then return true. |
java.lang.String |
name()
Return the name ot the Process. |
int |
postcondition()
The condition that this process has done. |
int |
precondition()
The condition that this process can be start. |
java.lang.String |
subject()
Return the brief description of the process. |
メソッドの詳細 |
public java.lang.String name()
public java.lang.String subject()
public int precondition()
public int postcondition()
public boolean isExternalCommand()
public void go(InputIr ir, Options op)
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |