org.eclipse.viatra.dse.designspace.impl.pojo

Class State

java.lang.Object

org.eclipse.viatra.dse.designspace.impl.pojo.State

All Implemented Interfaces:

IState

public class State
extends java.lang.Object
implements IState

The class that provides the implementation for the IState interface in the POJO based IDesignSpace implementation.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.dse.designspace.api.IState

IState.TraversalStateType

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.Object	getId() Every state has a unique id that was generated by an IStateCoder.
java.util.Collection<? extends ITransition>	getIncomingTransitions() Returns the collection of the already discovered incoming transitions through which this state can be reached.
java.util.Collection<? extends ITransition>	getOutgoingTransitions() Returns the collection of the outgoing transitions through which this state can be left.
IState.TraversalStateType	getTraversalState() Getter of traversal type.
int	hashCode()
boolean	isProcessed()
void	setProcessed() Mark the state as fully initialized.
void	setTraversalState(IState.TraversalStateType traversalState) Setter of traversal type.
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

getTraversalState

public IState.TraversalStateType getTraversalState()

Description copied from interface: IState

Getter of traversal type.

Specified by:

getTraversalState in interface IState

Returns:

the traversal type of this state.

getId

public java.lang.Object getId()

Description copied from interface: IState

Every state has a unique id that was generated by an IStateCoder. An attempt to add a different state to the design space with the same id will be ignored. See IDesignSpace.addState(ITransition, Object, java.util.Map) and IStateCoder.createStateCode() for more details.

Specified by:

getId in interface IState

Returns:

the id of the IState.

setTraversalState

public void setTraversalState(IState.TraversalStateType traversalState)

Description copied from interface: IState

Setter of traversal type.

Specified by:

setTraversalState in interface IState

Parameters:

traversalState - the new traversal type.

getIncomingTransitions

public java.util.Collection<? extends ITransition> getIncomingTransitions()

Description copied from interface: IState

Returns the collection of the already discovered incoming transitions through which this state can be reached.

Specified by:

getIncomingTransitions in interface IState

Returns:

a modifiable Collection of ITransitions.

getOutgoingTransitions

public java.util.Collection<? extends ITransition> getOutgoingTransitions()

Description copied from interface: IState

Returns the collection of the outgoing transitions through which this state can be left.

Specified by:

getOutgoingTransitions in interface IState

Returns:

a modifiable Collection of ITransitions.

isProcessed

public boolean isProcessed()

Specified by:

isProcessed in interface IState

Returns:

true if the state has been initialized already.

setProcessed

public void setProcessed()

Description copied from interface: IState

Mark the state as fully initialized.

Specified by:

setProcessed in interface IState

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object