public class State extends Object
| Modifier and Type | Method and Description |
|---|---|
State |
addTrans(String name_p,
State targetState_p)
adds an outgoing transition to this state.
|
Trans |
findTrans(String name_p) |
String |
getName() |
String |
getUid() |
State |
setFinalState(boolean finalState_p) |
State |
setInitialState(boolean initialState_p) |
void |
setPosition(int left_p,
int top_p,
int width_p,
int height_p)
assign state position to be used to display in TestOptimal IDE.
|
public State(String name_p)
public void setPosition(int left_p,
int top_p,
int width_p,
int height_p)
left_p - position lefttop_p - position topwidth_p - state widthheight_p - state heightpublic String getUid()
public String getName()
public State addTrans(String name_p, State targetState_p)
name_p - name of the statetargetState_p - target state objectpublic State setFinalState(boolean finalState_p)
public State setInitialState(boolean initialState_p)
Copyright © 2020. All rights reserved.