- AbstractFactory - Class in uk.ac.sheffield.vtts.ground
-
AbstractFactory is the common ancestor of ModelFactory and JavaFactory.
- AbstractFactory() - Constructor for class uk.ac.sheffield.vtts.ground.AbstractFactory
-
- AbstractGrounding - Class in uk.ac.sheffield.vtts.ground
-
AbstractGrounding is the common ancestor of JUnit-based code generators.
- AbstractGrounding(PrintWriter) - Constructor for class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Creates an AbstractGrounding writing to a stream.
- accept(Event) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Reports whether this Machine accepts an Event in its current State.
- accept(Event) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Reports whether this Operation accepts an Event in the current Memory
state.
- accept(Event) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Reports whether this Protocol accepts an Event in its current Memory
state.
- accepts(Predicate) - Method in class uk.ac.sheffield.vtts.model.Condition
-
Determines whether this Condition would be satisfied by some actual
constraint.
- Account - Class in uk.ac.sheffield.vtts.client.pojo
-
Account is a correct POJO implementation of the Account.xml
specification.
- Account() - Constructor for class uk.ac.sheffield.vtts.client.pojo.Account
-
Creates this Account.
- addAssignment(Assignment) - Method in class uk.ac.sheffield.vtts.model.Binding
-
Adds an Assignment to this Binding.
- addAssignment(Assignment) - Method in class uk.ac.sheffield.vtts.model.Effect
-
Adds an Assignment to this Effect.
- addBinding(Binding) - Method in class uk.ac.sheffield.vtts.model.Memory
-
Adds a Binding of initial Constants to Variables to this Memory scope.
- addBinding(Binding) - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Adds a Binding of initial Expressions to Variables to this Scenario.
- addCondition(Condition) - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Adds the guard Condition for this Scenario.
- addEffect(Effect) - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Adds the Effect,the updated binding of Expressions to Parameters.
- addElement(Element) - Method in class uk.ac.sheffield.vtts.model.Notice
-
Adds a model Element to the list described by this Notice.
- addEntry(String, String) - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Attempts to add a new entry to this ContactList.
- addEvent(Event) - Method in class uk.ac.sheffield.vtts.model.Alphabet
-
Adds an event to this alphabet.
- addEvent(Event) - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Adds an event to the end of this sequence.
- addExpression(Expression) - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Adds an expression as an operand to this Assignment expression.
- addExpression(Expression) - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Adds an expression as an operand to this Assignment expression.
- addExpression(Expression) - Method in class uk.ac.sheffield.vtts.model.Function
-
Adds an expression as an operand to this functional expression.
- addItem(Dvd) - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Shopping state, adds one Dvd purchase to the cart, if enough
stock exists.
- addItem(Dvd) - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Adds a DVD to the shopping cart.
- addLanguage(Language) - Method in class uk.ac.sheffield.vtts.model.Language
-
Includes the set of sequences from another language in the set of
sequences in this language.
- addMachine(Machine) - Method in class uk.ac.sheffield.vtts.model.Service
-
Adds the finite state Machine of this Service.
- addMemory(Memory) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Adds the Memory to this Protocol.
- addNotice(Notice) - Method in class uk.ac.sheffield.vtts.model.Annotated
-
Attaches the Notice to this Annotated element.
- addNotice(Notice) - Method in class uk.ac.sheffield.vtts.model.Notice
-
Adds a subsidiary Notice to this Notice node.
- addOperation(Operation) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Adds an Operation to this Protocol's set of Operations.
- addOperation(Operation) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Adds the Operation exercised by this TestStep.
- addParameter(Parameter) - Method in class uk.ac.sheffield.vtts.model.Scope
-
Adds a Parameter to this Scope.
- addPredicate(Predicate) - Method in class uk.ac.sheffield.vtts.model.Condition
-
Adds the guard Predicate to this Condition.
- addProtocol(Protocol) - Method in class uk.ac.sheffield.vtts.model.Service
-
Adds the Protocol to this service.
- addScenario(Scenario) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Adds a Scenario to this Operation.
- addScope(Scope) - Method in class uk.ac.sheffield.vtts.model.Scope
-
Adds the contents of another Scope to this Scope.
- addSequence(Sequence) - Method in class uk.ac.sheffield.vtts.model.Language
-
Adds a sequence to the set of sequences in this language.
- addSequence(Sequence) - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Concatenates another sequence onto the end of this sequence.
- addState(State) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Adds a named State to the Machine.
- addTestSequence(TestSequence) - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Adds a sequence to the set of TestSequences in this TestSuite.
- addTransition(Transition) - Method in class uk.ac.sheffield.vtts.model.State
-
Adds a named exit Transition to this State.
- allConjunctsSubsume(Predicate) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Tests whether all of this AND-Proposition's conjuncts subsume the
other Predicate.
- Alphabet - Class in uk.ac.sheffield.vtts.model
-
Alphabet represents the complete set of events recognised by a machine.
- Alphabet() - Constructor for class uk.ac.sheffield.vtts.model.Alphabet
-
Creates an empty Alphabet.
- analyse(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Analyses the TestSuite looking for complex types in the inputs and
outputs of each tested Operation.
- analyseCoverage(Notice) - Method in class uk.ac.sheffield.vtts.model.Service
-
Checks whether all the States and Transitions were covered by the
generated TestSuite and adds suitable Warning nodes if any States, or
Transitions, were not covered by the TestSuite.
- analyseInput(Input) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Analyses one Input parameter to determine whether it is of a complex
generic, or factory-created type.
- analyseOutput(Output) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Analyses one Output parameter to determine whether it is of a complex
generic, or factory-created type.
- Analysis - Class in uk.ac.sheffield.vtts.model
-
Analysis is a kind of Notice analysing a property of the associated model.
- Analysis() - Constructor for class uk.ac.sheffield.vtts.model.Analysis
-
Creates an empty Analysis.
- Analysis(String) - Constructor for class uk.ac.sheffield.vtts.model.Analysis
-
Creates an Analysis with the given text message.
- Annotated - Class in uk.ac.sheffield.vtts.model
-
Annotated is the ancestor of all annotated elements in the metamodel.
- Annotated() - Constructor for class uk.ac.sheffield.vtts.model.Annotated
-
Creates a default Annotated element.
- Annotated(String) - Constructor for class uk.ac.sheffield.vtts.model.Annotated
-
Creates a named Annotated element.
- Arithmetic - Class in uk.ac.sheffield.vtts.model
-
Arithmetic represents a numerical function with an arithmetic operator
root node.
- Arithmetic() - Constructor for class uk.ac.sheffield.vtts.model.Arithmetic
-
Creates a default Arithmetic expression.
- Arithmetic(String) - Constructor for class uk.ac.sheffield.vtts.model.Arithmetic
-
Creates a named Arithmetic expression.
- Arithmetic(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Arithmetic
-
Creates a named and typed Arithmetic expression.
- assign(Object) - Method in class uk.ac.sheffield.vtts.model.Constant
-
Reports an attempt to assign to this Constant as an error.
- assign(Object) - Method in class uk.ac.sheffield.vtts.model.Expression
-
Assigns a value to this Expression.
- assign(Object) - Method in class uk.ac.sheffield.vtts.model.Function
-
Reports an attempt to assign to this Function as an error.
- assign(Object) - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Assigns a new bound value to this Parameter.
- Assignment - Class in uk.ac.sheffield.vtts.model
-
Assignment represents a single variable-binding expression.
- Assignment() - Constructor for class uk.ac.sheffield.vtts.model.Assignment
-
Creates a default Assignment.
- Assignment(String) - Constructor for class uk.ac.sheffield.vtts.model.Assignment
-
Creates a named Assignment.
- Assignment(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Assignment
-
Creates a named and typed Assignment.
- assignments - Variable in class uk.ac.sheffield.vtts.model.Binding
-
The set of Assignments in this Binding.
- Atomic - Class in uk.ac.sheffield.vtts.model
-
Atomic is a degenerate predicate representing an atomic Boolean value.
- Atomic() - Constructor for class uk.ac.sheffield.vtts.model.Atomic
-
Creates a default Atomic predicate.
- Atomic(Parameter) - Constructor for class uk.ac.sheffield.vtts.model.Atomic
-
Creates an Atomic predicate by wrapping a Parameter.
- Atomic(boolean) - Constructor for class uk.ac.sheffield.vtts.model.Atomic
-
Creates an Atomic predicate standing for a boolean constant value.