Uses of Class
uk.ac.sheffield.vtts.model.Element

Packages that use Element

Package	Description
uk.ac.sheffield.vtts.model	This package contains Broker@Cloud components for modelling service specifications and test suites, and for modelling expressions in the formal expression language.

Uses of Element in uk.ac.sheffield.vtts.model

Subclasses of Element in uk.ac.sheffield.vtts.model

Modifier and Type	Class and Description
class	Alphabet Alphabet represents the complete set of events recognised by a machine.
class	Analysis Analysis is a kind of Notice analysing a property of the associated model.
class	Annotated Annotated is the ancestor of all annotated elements in the metamodel.
class	Arithmetic Arithmetic represents a numerical function with an arithmetic operator root node.
class	Assignment Assignment represents a single variable-binding expression.
class	Atomic Atomic is a degenerate predicate representing an atomic Boolean value.
class	Binding Binding represents a particular set of value-bindings to parameters.
class	Comparison Comparison represents an inequality expression, comparing two operands.
class	Condition Condition represents a logical guard, or a precondition.
class	Constant Constant is a kind of parameter standing for some fixed constant value.
class	Coverable Coverable is the abstract ancestor of coverable parts of a specification.
class	Effect Effect represents a particular set of value-modifications to parameters.
class	Entity Entity is the model entity used to simulate all uninterpreted basic types.
class	Event Event represents a unique named event recognised by a finite state machine.
class	Expression Expression represents a computable expression, with a name and a type.
class	Failure Failure is an exception or error parameter associated with an operation.
class	Function Function represents a functional expression with a function root node.
class	Input Input is an input parameter associated with an operation.
class	Language Language represents a set of sequences of various lengths.
class	Machine Machine represents a named finite state Machine.
class	Manipulation Manipulation represents an expression manipulating a collection of items.
class	Membership Membership represents a cardinality or membership predicate on a collection.
class	Memory Memory represents the collection of state variables in a software service.
class	Named Named is the ancestor of all named elements in the metamodel.
class	Notice Notice is the ancestor of different notice, analysis and warning messages.
class	Operation Operation represents an operation in the public interface of a service.
class	Output Output is an output parameter associated with an operation.
class	Parameter Parameter is a kind of expression denoting a named and typed parameter.
class	Predicate Predicate represents a boolean valued function with a predicate root node.
class	Projection Projection represents a function creating, or projecting from, a tuple.
class	Proposition Proposition represents a logical expression with a Boolean operator root node.
class	Protocol Protocol is a model of the abstract behaviour of a software service.
class	Scenario Scenario represents one branching path through a single operation.
class	Scope Scope represents a scope within which parameters may be declared.
class	Sequence Sequence represents a sequence of events to present to a finite state machine.
class	Service Service represents a a model or specification of a software service.
class	Specification Specification is the abstract ancestor of different kinds of specification.
class	State State represents a named state in a finite state machine.
class	TestSequence TestSequence represents a test whose steps are to be executed in order.
class	TestStep TestStep represents a single executable test step within a test sequence.
class	TestSuite TestSuite represents a set of generated high-level test testSequences.
class	Transition Transition represents a named transition in a finite state machine.
class	Variable Variable is a state parameter representing part of the system's memory.
class	Warning Warning is a kind of Notice indicating a fault in the associated model.

Fields in uk.ac.sheffield.vtts.model with type parameters of type Element

Modifier and Type	Field and Description
protected java.util.List<Element>	Notice.elements A list of arbitrary Elements described by this Notice.

Methods in uk.ac.sheffield.vtts.model that return Element

Modifier and Type	Method and Description
Element	SemanticError.getElement() Returns the faulty Element in which this SemanticError occurred.

Methods in uk.ac.sheffield.vtts.model that return types with arguments of type Element

Modifier and Type	Method and Description
java.util.List<Element>	Notice.getElements() Returns the list of Elements described by this Notice, if any.

Methods in uk.ac.sheffield.vtts.model with parameters of type Element

Modifier and Type	Method and Description
Notice	Notice.addElement(Element element) Adds a model Element to the list described by this Notice.

Constructors in uk.ac.sheffield.vtts.model with parameters of type Element

Constructor and Description
SemanticError(java.lang.String message, Element element) Creates a SemanticError with the given error text and faulty Element.