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

Class Transition

java.lang.Object

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

All Implemented Interfaces:

ITransition

public class Transition
extends java.lang.Object
implements ITransition

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
State	getFiredFrom() The IState which this transition is fired from.
java.lang.Object	getId() Every state has a unique id with regards to the state they are linked to, that was generated by an IStateCoder.
State	getResultsIn() The state which we will move to if this particular transition is fired in the state given by ITransition.getFiredFrom().
TransitionMetaData	getTransitionMetaData() Returns the TransitionMetaData of this transition, which contains data like the corresponding DSETransformationRule and the costs of the activation
int	hashCode()
boolean	isAssignedToFire()
void	setResultsIn(IState state) Setter for the target of this transition
java.lang.String	toString()
boolean	tryToLock() Called when the transition is assigned to fire by an exploration strategy.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

tryToLock

public boolean tryToLock()

Description copied from interface: ITransition

Called when the transition is assigned to fire by an exploration strategy.

Specified by:

tryToLock in interface ITransition

Returns:

True if successful. False if an other thread is already called this method.

getId

public java.lang.Object getId()

Description copied from interface: ITransition

Every state has a unique id with regards to the state they are linked to, that was generated by an IStateCoder. An attempt to add a different state to a given state with the same id will be ignored. See IDesignSpace.addState(ITransition, Object, java.util.Map) and IStateCoder.createActivationCode(IPatternMatch) for more details.

Specified by:

getId in interface ITransition

Returns:

the id of the ITransition.

getResultsIn

public State getResultsIn()

Description copied from interface: ITransition

The state which we will move to if this particular transition is fired in the state given by ITransition.getFiredFrom().

If this transition has never been fired before, then this method returns null.

Specified by:

getResultsIn in interface ITransition

Returns:

The IState instance specified above, or null.

getFiredFrom

public State getFiredFrom()

Description copied from interface: ITransition

The IState which this transition is fired from.

As opposed to ITransition.getResultsIn() this method can not return null, as any transition has a point of origin.

Specified by:

getFiredFrom in interface ITransition

Returns:

The IState instance specified above. Can not be null.

isAssignedToFire

public boolean isAssignedToFire()

Specified by:

isAssignedToFire in interface ITransition

Returns:

True if the transition is already traversed or is being traversed.

getTransitionMetaData

public TransitionMetaData getTransitionMetaData()

Description copied from interface: ITransition

Returns the TransitionMetaData of this transition, which contains data like the corresponding DSETransformationRule and the costs of the activation

Specified by:

getTransitionMetaData in interface ITransition

Returns:

the TransitionMetaData

setResultsIn

public void setResultsIn(IState state)

Description copied from interface: ITransition

Setter for the target of this transition

Specified by:

setResultsIn in interface ITransition

Parameters:

state - the IState instance this transition points to

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