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

Packages that use Named

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 Named in uk.ac.sheffield.vtts.model

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

Modifier and Type	Class and Description
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	Comparison Comparison represents an inequality expression, comparing two operands.
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	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	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	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	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	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.

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

Modifier and Type	Method and Description
Named	Named.setName(java.lang.String name) Sets the name of a Named element.
Named	Named.setName(java.lang.String name, boolean obligatory) Sets the name of a Named element to an obligatory name.