- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Rebinds the unbound operands of this Arithmetic expression, so that it
yields the given expected result.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Rebinds the unbound operands of this Assignment.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Rebinds the unbound operands of this Assignment, so that it yields the
given (null) result.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Constant
-
Degenerate method to rebind this Constant to a new value.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Rebinds this Expression.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Expression
-
Rebinds this unbound Expression to the given result.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Function
-
Rebinds the unbound operands of this Function.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Rebinds the unbound operands of this Manipulation expression, so that it
yields the given expected result.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Memory
-
Rebinds this Memory.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Rebinds this Parameter to its default value.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Rebinds this Parameter to the given value.
- rebind() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Rebinds this Predicate, so that it may be tested for satisfaction.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Rebinds the unbound operands of this Predicate, so that it yields the
expected true or false result.
- rebind(Object) - Method in class uk.ac.sheffield.vtts.model.Projection
-
Rebinds the unbound parameters in this Projection expression, so that
it yields the given expected result.
- rebindFalse() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Rebinds this Atomic predicate so that it yields false.
- rebindFalse() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Rebinds the unbound operands of this Comparison, so that it yields
false.
- rebindFalse() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Rebinds the unbound operands of this Membership predicate, so that it
yields false.
- rebindFalse() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Rebinds the unbound operands of this Predicate, so that it yields false.
- rebindFalse() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Rebinds the unbound operands of this Proposition, so that it yields
false.
- rebindTrue() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Rebinds this Atomic predicate so that it yields true.
- rebindTrue() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Rebinds the unbound operands of this Comparison, so that it yields
true.
- rebindTrue() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Rebinds the unbound operands of this Membership predicate, so that it
yields true.
- rebindTrue() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Rebinds the unbound operands of this Predicate, so that it yields true.
- rebindTrue() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Rebinds the unbound operands of this Proposition, so that it yields
true.
- receive(Grounding) - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Receive a Grounding generator for grounding this TestSequence.
- receive(Grounding) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Receive a Grounding generator for grounding this TestStep.
- receive(Grounding) - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Receive a Grounding generator for grounding this TestSuite.
- recordInputs(Operation) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Records a snapshot of the Input bindings of an Operation.
- recordRefusal() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Rename this TestStep to indicate that it was refused.
- recordResults(Operation) - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Records a snapshot of the Output or Failure bindings of an Operation.
- refine() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Returns a list of refinements of this Comparison.
- refine() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Returns a list of refinements of this Predicate.
- refine() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Returns a list of refinements of this Proposition.
- remove(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection in which the value has been removed.
- removeAll(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection containing those elements from the first,
which were not present in the second collection.
- removeAt(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection, in which a value is removed opposite a key
or index.
- removeEntry() - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Attempts to remove an entry from this ContactList.
- removeItem(Dvd) - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Shopping state, removes one Dvd purchase from the cart, if a
copy exists in the cart.
- removeItem(Dvd) - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Removes a DVD from the shopping cart.
- replaceAt(Object, Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection, in which a value is replaced opposite a key
or index.
- requestName() - Method in class uk.ac.sheffield.vtts.model.Event
-
The request-name part of this Event's name.
- reset() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Resets the service to its clean initial state.
- reset() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Resets the service to its clean initial state.
- reset() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Resets this Machine to its initial State.
- reset() - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Resets this Protocol to its initial state.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Binding
-
Causes this Binding to resolve its global/local Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Condition
-
Causes this Condition to resolve its global/local Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Expression
-
Causes this Expression to resolve its embedded global and local
Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Function
-
Causes this Function to resolve its global/local Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Memory
-
Cause this Memory to resolve its global Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Cause this Operation to resolve its global/local Parameter references.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Degenerate method to resolve Parameter references in this Parameter.
- resolve(Scope) - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Causes this Scenario to resolve its global/local Parameter references.
- responseName() - Method in class uk.ac.sheffield.vtts.model.Event
-
The response-name part of this Event's name.
- reverse() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Returns the symmetric reversal of this Comparison.