- safeEquals(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Element
-
Safe equality comparison that performs the null-checks.
- safeHashCode(Object) - Method in class uk.ac.sheffield.vtts.model.Element
-
Safe hash code function that performs the null-check.
- safeIndexOf(String, char, int) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Finds the first index of a separator in a String, starting from a
given index, while respecting bracketed structures.
- safeSplit(String, String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Safe search routine to split a value-string containing recursively
embedded value-strings.
- save() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Mimics clicking on the "Save" button to record the selected range
of days as holiday.
- Scenario - Class in uk.ac.sheffield.vtts.model
-
Scenario represents one branching path through a single operation.
- Scenario() - Constructor for class uk.ac.sheffield.vtts.model.Scenario
-
Creates a default Scenario.
- Scenario(String) - Constructor for class uk.ac.sheffield.vtts.model.Scenario
-
Creates a named Scenario.
- Scope - Class in uk.ac.sheffield.vtts.model
-
Scope represents a scope within which parameters may be declared.
- Scope() - Constructor for class uk.ac.sheffield.vtts.model.Scope
-
Creates an unnamed Scope.
- Scope(String) - Constructor for class uk.ac.sheffield.vtts.model.Scope
-
Creates a named Scope.
- searchAt(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Searches a collection and returns the object found opposite a given
key or index.
- second(Object) - Method in class uk.ac.sheffield.vtts.model.Projection
-
Returns the second projection from an ordered pair.
- select(int) - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Allows selection of one booked holiday period, stored in a list.
- selectRow(int) - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Attempts to select a row in this ContactList.
- semanticError(String) - Method in class uk.ac.sheffield.vtts.model.Element
-
Reports a semantic error during model construction.
- SemanticError - Error in uk.ac.sheffield.vtts.model
-
SemanticError reports semantic construction errors when building the model.
- SemanticError(String) - Constructor for error uk.ac.sheffield.vtts.model.SemanticError
-
Creates a SemanticError with the given error message.
- SemanticError(String, Element) - Constructor for error uk.ac.sheffield.vtts.model.SemanticError
-
Creates a SemanticError with the given error text and faulty Element.
- Sequence - Class in uk.ac.sheffield.vtts.model
-
Sequence represents a sequence of events to present to a finite state
machine.
- Sequence() - Constructor for class uk.ac.sheffield.vtts.model.Sequence
-
Creates an empty sequence.
- Sequence(Sequence) - Constructor for class uk.ac.sheffield.vtts.model.Sequence
-
Copies another sequence.
- Service - Class in uk.ac.sheffield.vtts.model
-
Service represents a a model or specification of a software service.
- Service() - Constructor for class uk.ac.sheffield.vtts.model.Service
-
Creates a default Service with no name.
- Service(String) - Constructor for class uk.ac.sheffield.vtts.model.Service
-
Creates a named Service.
- setBound(boolean) - Method in class uk.ac.sheffield.vtts.model.Constant
-
Degenerate method to set the bound status of this Constant.
- setBound(boolean) - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Sets whether this Parameter is bound.
- setContent(String) - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Sets the content of this Parameter.
- setCovered(boolean) - Method in class uk.ac.sheffield.vtts.model.Coverable
-
Sets whether this Coverable has been covered.
- setGrounding(String) - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Sets the grounding desired for this TestSuite, if any.
- setInitial(boolean) - Method in class uk.ac.sheffield.vtts.model.State
-
Sets whether this is a initial State.
- setMetaCheck(boolean) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Sets whether to generate full checks for service meta-data, such as
the name of the last triggered scenario, or the last reached state.
- setMetaCheck(boolean) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Selects whether to test the full state and transition behaviour (when
true), or just the return values (when false) of the tested service.
- setMetaCheck(boolean) - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Sets whether to perform meta-checks of full state and transition
behaviour.
- setMultiTest(boolean) - Method in class uk.ac.sheffield.vtts.model.Specification
-
Sets whether to verify multiple test objectives per test sequence.
- setName(String) - Method in class uk.ac.sheffield.vtts.model.Function
-
Sets the name of this Function.
- setName(String) - Method in class uk.ac.sheffield.vtts.model.Named
-
Sets the name of a Named element.
- setName(String, boolean) - Method in class uk.ac.sheffield.vtts.model.Named
-
Sets the name of a Named element to an obligatory name.
- setName(String) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Sets the name of this TestStep.
- setPath(int) - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Sets the length of the path explored from the covered State.
- setSource(String) - Method in class uk.ac.sheffield.vtts.model.Transition
-
Sets the name of the source State.
- setState(String) - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Sets the name of the state covered by this Sequence.
- setState(String) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Sets the name of the expected target State.
- setTarget(String) - Method in class uk.ac.sheffield.vtts.model.Transition
-
Sets the name of the target State.
- setTest(int) - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Sets the test index of this TestSequence.
- setTestDepth(int) - Method in class uk.ac.sheffield.vtts.model.Specification
-
Sets the maximum bounded path length of test sequences to explore from
each state.
- setText(String) - Method in class uk.ac.sheffield.vtts.model.Notice
-
Sets the text of this Notice.
- setType(String) - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Sets the type of this Assignment.
- setType(String) - Method in class uk.ac.sheffield.vtts.model.Expression
-
Sets the type of this expression.
- setType(String) - Method in class uk.ac.sheffield.vtts.model.Failure
-
Sets the type of this Failure.
- setType(String) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Sets the type of this Predicate.
- setVerify(boolean) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Sets whether this TestStep step should be verified.
- ShoppingCart - Class in uk.ac.sheffield.vtts.client.pojo
-
ShoppingCart is a correct POJO implementation of the
ShoppingCart.xml
specification.
- ShoppingCart() - Constructor for class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Creates this ShoppingCart.
- ShoppingCartInterface - Interface in uk.ac.sheffield.vtts.client.ws
-
ShoppingCartInterface is a skeleton of the JAX-WS client interface for
the JAX-WS implementation of the ShoppingCart.xml example.
- ShoppingCartService - Class in uk.ac.sheffield.vtts.client.ws
-
ShoppingCartService is a skeleton of the JAX-WS resource class needed
for the JAX-WS implementation of the ShoppingCart.xml
example.
- ShoppingCartService() - Constructor for class uk.ac.sheffield.vtts.client.ws.ShoppingCartService
-
Constructs the ShoppngCartService resource.
- SimpleEntry<K,V> - Class in uk.ac.sheffield.vtts.ground
-
SimpleEntry is a public class that models a Pair in the model language.
- SimpleEntry(K, V) - Constructor for class uk.ac.sheffield.vtts.ground.SimpleEntry
-
- SimpleEntry(Map.Entry<? extends K, ? extends V>) - Constructor for class uk.ac.sheffield.vtts.ground.SimpleEntry
-
- size() - Method in class uk.ac.sheffield.vtts.client.pojo.Document
-
Returns the size of this Document in terabytes.
- size() - Method in class uk.ac.sheffield.vtts.client.rs.Document
-
Returns the size of this Document in terabytes.
- size() - Method in class uk.ac.sheffield.vtts.client.ws.Document
-
Returns the size of this Document in terabytes.
- size() - Method in class uk.ac.sheffield.vtts.model.Alphabet
-
Returns the size of this alphabet.
- size() - Method in class uk.ac.sheffield.vtts.model.Language
-
Returns the size of this language.
- size(Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns the size or cardinality of a collection.
- size() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the size of this sequence.
- size() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Returns the size of this TestSuite.
- snapshot() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Takes a snapshot of this Parameter, fixing its current bound value.
- snapshot() - Method in class uk.ac.sheffield.vtts.model.State
-
Takes a snapshot of this State, without its dependent Transitions.
- snapshot() - Method in class uk.ac.sheffield.vtts.model.Variable
-
Takes a snapshot of this Variable.
- SOURCE_CODE_ROOT - Static variable in class uk.ac.sheffield.vtts.GroundTests
-
The root source directory in your Java IDE (Eclipse or NetBeans, etc).
- Specification - Class in uk.ac.sheffield.vtts.model
-
Specification is the abstract ancestor of different kinds of specification.
- Specification() - Constructor for class uk.ac.sheffield.vtts.model.Specification
-
Creates a default unnamed Specification.
- Specification(String) - Constructor for class uk.ac.sheffield.vtts.model.Specification
-
Creates a named Specification.
- state - Variable in class uk.ac.sheffield.vtts.model.Sequence
-
The name of the State to be covered by this Sequence.
- State - Class in uk.ac.sheffield.vtts.model
-
State represents a named state in a finite state machine.
- State() - Constructor for class uk.ac.sheffield.vtts.model.State
-
Creates a default state.
- State(String) - Constructor for class uk.ac.sheffield.vtts.model.State
-
Creates a named State.
- stepIndex - Variable in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
The counter for TestSteps.
- subsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Tests whether this Atomic predicate subsumes the other Predicate.
- subsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Tests whether this Comparison subsumes the other Predicate.
- subsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Tests whether this Membership predicate subsumes the other Predicate.
- subsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Tests whether this Predicate subsumes the other Predicate.
- subsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Tests whether this Proposition subsumes another Predicate.
- subsumesAllDisjunctsOf(Proposition) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Tests whether this Predicate subsumes all disjuncts of the other
OR-Proposition.
- subsumesAllDisjunctsOf(Proposition) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Tests whether this Proposition subsumes all disjuncts of the other
OR-Proposition.
- subsumesComparison(Predicate) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Tests whether this comparison subsumes the other comparison.
- subsumesMembership(Membership) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether this Membership predicate subsumes the other.
- subsumesOneConjunctOf(Proposition) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Tests whether this Predicate subsumes one conjunct of the other
AND-Proposition.
- subsumesOneConjunctOf(Proposition) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Tests whether this Proposition subsumes one conjunct of the other
AND-Proposition.
- subsumesProposition(Proposition) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Tests whether this Predicate subsumes the other Proposition.
- subtract(Alphabet) - Method in class uk.ac.sheffield.vtts.model.Alphabet
-
Computes the difference between this and the other Alphabet.