uk.ac.sheffield.vtts.model

Class Event

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Event

Direct Known Subclasses:

Scenario, TestStep

public class Event
extends Named

Event represents a unique named event recognised by a finite state machine. A finite state Machine recognises a set of uniquely named Events, known as the Alphabet of the Machine. Each Event is a symbolic request/response combination, denoting a distinct kind of expected behaviour in the finite state Machine. An ordered presentation of Events is known as a Sequence. An Event is deemed equal to another Event if they have the same name.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

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

name

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	requestName() The request-name part of this Event's name.
java.lang.String	responseName() The response-name part of this Event's name.
protected void	validate(java.lang.String name) Validates the name of an Event.

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

equals, getName, hashCode, 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

Event

public Event()

Creates default Event.

Event

public Event(java.lang.String name)

Creates a named Event. Validates the name, to ensure that it is of the format: "request/response".

Parameters:

name - the name of this Event.

Method Detail

validate

protected void validate(java.lang.String name)

Validates the name of an Event. The name of an Event should be in the format: "request/response".

Parameters:

name - the name of the Event.

requestName

public java.lang.String requestName()

The request-name part of this Event's name.

Returns:

the request-name.

responseName

public java.lang.String responseName()

The response-name part of this Event's name.

Returns:

the response-name.