uk.ac.sheffield.vtts.model

Class Transition

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Annotated

uk.ac.sheffield.vtts.model.Coverable

uk.ac.sheffield.vtts.model.Transition

public class Transition
extends Coverable

Transition represents a named transition in a finite state machine. A Transition is named using a "request/response" compound naming format, including the dividing forward-slash. The request and response parts are are given in "camelCase". A Transition is uniquely indexed by this name within its owning State, where it is one of several exit Transitions from that State. A Transition is otherwise uniquely identified by the combination of source and target State names and its given name. A Transition is associated with a triggering Event having the same name.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields inherited from class uk.ac.sheffield.vtts.model.Coverable

covered

Fields inherited from class uk.ac.sheffield.vtts.model.Annotated

notice

Fields inherited from class uk.ac.sheffield.vtts.model.Named

name

Constructor Summary

Constructors

Constructor and Description
Transition() Creates a default Transition.
Transition(java.lang.String name) Creates a named Transition.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other) Reports whether this Transition is equal to another object.
java.lang.String	getName() Returns the name of a Transition.
java.lang.String	getSource() Returns the name of the source State.
java.lang.String	getTarget() Returns the name of the target State.
int	hashCode() Returns a quasi-unique hash code for this Transition.
Transition	setSource(java.lang.String source) Sets the name of the source State.
Transition	setTarget(java.lang.String target) Sets the name of the target State.

Methods inherited from class uk.ac.sheffield.vtts.model.Coverable

isCovered, setCovered

Methods inherited from class uk.ac.sheffield.vtts.model.Annotated

addNotice, getNotice

Methods inherited from class uk.ac.sheffield.vtts.model.Named

setName, setName, toString

Methods inherited from class uk.ac.sheffield.vtts.model.Element

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Transition

public Transition()

Creates a default Transition.

Transition

public Transition(java.lang.String name)

Creates a named Transition.

Parameters:

name - the name of this Transition.

Method Detail

equals

public boolean equals(java.lang.Object other)

Reports whether this Transition is equal to another object. True, if the other object is a Transition with the same name, source and target States as this Transition.

Overrides:

equals in class Named

Parameters:

other - the other object.

Returns:

true, if both objects are Transitions with the same name, source and target.

hashCode

public int hashCode()

Returns a quasi-unique hash code for this Transition. Returns the hash code associated with this Transition's name, source and target State names.

Overrides:

hashCode in class Named

Returns:

the hash code for this Transition.

getName

public java.lang.String getName()

Returns the name of a Transition. It is an error if the name has not already been set, when this access-method is invoked.

Overrides:

getName in class Named

Returns:

the name.

setSource

public Transition setSource(java.lang.String source)

Sets the name of the source State.

Parameters:

source - the name of the source State.

Returns:

this Transition.

getSource

public java.lang.String getSource()

Returns the name of the source State.

Returns:

the name of the source State.

setTarget

public Transition setTarget(java.lang.String target)

Sets the name of the target State.

Parameters:

target - the name of the target State.

Returns:

this Transition.

getTarget

public java.lang.String getTarget()

Returns the name of the target State.

Returns:

the name of the target State.