|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectar.edu.unr.fceia.bottallo.Sistema
public class Sistema
Construct the system: define inclusions, set elements types and check errors
Constructor Summary | |
---|---|
Sistema()
Creates a new instance of Sistema |
Method Summary | |
---|---|
protected void |
addActiveState(State s)
Add a state to the list of active states |
protected void |
addConnector(Connector c)
Add a connector to the system |
protected void |
addRing(Ring r)
Add a ring to the system |
protected void |
addState(State s)
Add a state from the system |
protected void |
addTransition(Transition t)
Add a transition to the system |
protected void |
checkConnectors()
Check the arity of the different connectors |
protected void |
checkReferences()
Check references for validity |
java.lang.Object |
clone()
|
protected java.util.List<State> |
getActiveStates()
Return the list of active states |
protected java.util.List<java.lang.String> |
getActiveStatesIds()
Get the list of the ids of the active states |
protected java.util.List<java.lang.String> |
getActiveStatesNames()
Get the list of the names of the active states |
protected State |
getRootState()
Get the root state |
protected State |
getStateById(java.lang.String sId)
Get a state by id |
protected State |
getStateByName(java.lang.String sName,
java.util.List<State> states)
Get a state by id |
protected java.util.List<State> |
getStates()
Return the states of the system |
protected boolean |
isActiveState(State s)
Check if a state is an active state |
protected boolean |
isSubstate(State s,
State t)
Chech if a state is a direct or indirect substate of other |
protected void |
removeActiveState(State s)
Remove a state from the list of active sates |
protected void |
removeState(State s)
Remove a state from the system |
protected void |
removeTransitions(java.util.List<Transition> ts)
Remove a transition from the system |
protected void |
setConnections()
Sets the transitions between states, default transitions and connectors |
protected void |
setInclusions()
Set element inclusions in the system |
protected void |
setRootState(State s)
Set the root state |
protected void |
showActiveStates()
Show the active states |
protected void |
simplify()
Apply a serie of functions to simplify the system structure, replace connectors, parmetrized states and references |
protected void |
statesRelations()
Categorize the relations between states and check errors |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Sistema()
Method Detail |
---|
public java.lang.Object clone() throws java.lang.CloneNotSupportedException
clone
in class java.lang.Object
java.lang.CloneNotSupportedException
protected void addState(State s)
protected void removeState(State s)
protected java.util.List<State> getStates()
protected void addActiveState(State s)
protected void removeActiveState(State s)
protected boolean isActiveState(State s)
protected java.util.List<java.lang.String> getActiveStatesNames()
protected java.util.List<java.lang.String> getActiveStatesIds()
protected java.util.List<State> getActiveStates()
protected void showActiveStates()
protected void setRootState(State s)
protected State getRootState()
protected void addTransition(Transition t)
protected void removeTransitions(java.util.List<Transition> ts)
protected void addRing(Ring r)
protected State getStateByName(java.lang.String sName, java.util.List<State> states)
protected State getStateById(java.lang.String sId)
protected void addConnector(Connector c)
protected void checkReferences()
protected boolean isSubstate(State s, State t)
s
- state checked for "included in"t
- state checked for "include
protected void checkConnectors()
protected void setInclusions()
protected void setConnections()
protected void statesRelations()
protected void simplify() throws java.lang.CloneNotSupportedException
java.lang.CloneNotSupportedException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |