public class ConcurrentDesignSpace extends java.lang.Object implements IDesignSpace
Constructor and Description |
---|
ConcurrentDesignSpace() |
Modifier and Type | Method and Description |
---|---|
void |
addDesignSpaceChangedListener(IDesignSpaceChangeHandler changeEventHandler) |
void |
addRoot(IState root)
Adds root (an
IState without initial inTransition) to the design space. |
boolean |
addState(ITransition sourceTransition,
java.lang.Object newStateId,
java.util.Map<java.lang.Object,TransitionMetaData> outgoingTransitionIds) |
long |
getNumberOfStates() |
long |
getNumberOfTransitions() |
IState[] |
getRoot()
Returns the root states (
IState without initial inTransition). |
State |
getStateById(java.lang.Object id) |
java.util.Enumeration<State> |
getStates() |
void |
removeDesignSpaceChangedListener(IDesignSpaceChangeHandler changeEventHandler) |
void |
saveDesignSpace(java.lang.String fileName)
Saves the design space into a given file.
|
public IState[] getRoot()
IDesignSpace
IState
without initial inTransition).getRoot
in interface IDesignSpace
public void addRoot(IState root)
IDesignSpace
IState
without initial inTransition) to the design space.addRoot
in interface IDesignSpace
public boolean addState(ITransition sourceTransition, java.lang.Object newStateId, java.util.Map<java.lang.Object,TransitionMetaData> outgoingTransitionIds)
addState
in interface IDesignSpace
public State getStateById(java.lang.Object id)
getStateById
in interface IDesignSpace
public void saveDesignSpace(java.lang.String fileName) throws java.io.IOException
If the fileName
ends with .dgml or .gml, it will save the design space in a correct format, otherwise it
will use a simple xml format.
saveDesignSpace
in interface IDesignSpace
java.io.IOException
public long getNumberOfStates()
getNumberOfStates
in interface IDesignSpace
public long getNumberOfTransitions()
getNumberOfTransitions
in interface IDesignSpace
public void addDesignSpaceChangedListener(IDesignSpaceChangeHandler changeEventHandler)
addDesignSpaceChangedListener
in interface IDesignSpace
public void removeDesignSpaceChangedListener(IDesignSpaceChangeHandler changeEventHandler)
removeDesignSpaceChangedListener
in interface IDesignSpace
public java.util.Enumeration<State> getStates()