uk.ac.sheffield.vtts.model

Class Annotated

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Annotated

Direct Known Subclasses:

Coverable, Machine, Protocol, Scope, Specification

public class Annotated
extends Named

Annotated is the ancestor of all annotated elements in the metamodel. An Annotated element may have various kinds of Analysis or Warning attached to it.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields

Modifier and Type	Field and Description
protected Notice	notice The Notice attached to this Annotated object, typically a Warning or Analysis node.

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

name

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
Annotated	addNotice(Notice notice) Attaches the Notice to this Annotated element.
Notice	getNotice() Returns the Notice attached to this Annotated element.

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

notice

protected Notice notice

The Notice attached to this Annotated object, typically a Warning or Analysis node.

Constructor Detail

Annotated

public Annotated()

Creates a default Annotated element.

Annotated

public Annotated(java.lang.String name)

Creates a named Annotated element.

Parameters:

name - the name of this Annotated element.

Method Detail

addNotice

public Annotated addNotice(Notice notice)

Attaches the Notice to this Annotated element.

Parameters:

notice - the Notice to attach.

Returns:

this Annotated element.

getNotice

public Notice getNotice()

Returns the Notice attached to this Annotated element.

Returns:

the Notice, or null.