uk.ac.sheffield.vtts.model

Class Coverable

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

Direct Known Subclasses:

State, Transition

public abstract class Coverable
extends Annotated

Coverable is the abstract ancestor of coverable parts of a specification. Coverable is the ancestor of State and Transition, both of which may be covered by generated Languages. Coverable provides methods to record when States and Transitions were covered, or not covered. After a Machine has been simulated, the covered flag will be set to true in Coverable elements that were covered. After a Machine has been cleared, all covered flags will be reset to false.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	covered Volatile flag indicating whether this Coverable has been covered by a given generated Language.

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
Coverable() Creates a default unnamed Coverable.
Coverable(java.lang.String name) Creates a named Coverable.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isCovered() Reports whether this Coverable has been covered, after simulating a Machine with a given Language.
Coverable	setCovered(boolean value) Sets whether this Coverable has been covered.

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

addNotice, getNotice

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

Field Detail

covered

protected boolean covered

Volatile flag indicating whether this Coverable has been covered by a given generated Language. This attribute is not serialised.

Constructor Detail

Coverable

public Coverable()

Creates a default unnamed Coverable.

Coverable

public Coverable(java.lang.String name)

Creates a named Coverable.

Parameters:

name - the name of this Coverable.

Method Detail

isCovered

public boolean isCovered()

Reports whether this Coverable has been covered, after simulating a Machine with a given Language.

Returns:

true, if this Coverable was covered.

setCovered

public Coverable setCovered(boolean value)

Sets whether this Coverable has been covered. When a State or a Transition has been covered, this method is used to set the covered flag to true. When the Machine is cleared of such marks, this method is used to set the flag to false.

Parameters:

value - true or false.

Returns:

this Covered.