|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Interface for process navigator.
| Method Summary | |
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. |
| Method Detail |
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)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||