- includes(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the collection includes the value in its elements.
- includesAll(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the first collection includes all of the second one.
- includesKey(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the collection includes the key in its search keys.
- initialName - Static variable in class uk.ac.sheffield.vtts.model.TestStep
-
The standard name of the initial transition.
- Input - Class in uk.ac.sheffield.vtts.model
-
Input is an input parameter associated with an operation.
- Input() - Constructor for class uk.ac.sheffield.vtts.model.Input
-
Creates a default input parameter.
- Input(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Input
-
Creates an input parameter with the given name and type.
- insert(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection in which the value has been inserted.
- insertAll(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection containing all of the first and second
collections.
- insertAt(Object, Object, Object) - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns a new collection, in which a value is inserted opposite a key
or index.
- isAssignable() - Method in class uk.ac.sheffield.vtts.model.Constant
-
Reports whether this Constant is assignable.
- isAssignable() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Reports whether this Expression is re-assignable.
- isAssignable() - Method in class uk.ac.sheffield.vtts.model.Function
-
Reports whether this Function is re-assignable.
- isAssignable() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Reports whether this Parameter is re-assignable.
- isBottom() - Method in class uk.ac.sheffield.vtts.model.Constant
-
Reports whether this Constant is the bottom element of its type.
- isBottom() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Reports whether this Expression is the bottom element of its type.
- isBound() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Reports whether this Expression is bound.
- isBound() - Method in class uk.ac.sheffield.vtts.model.Function
-
Reports whether this Function expression is bound.
- isBound() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Reports whether this Parameter is bound.
- isConsistent() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether this Comparison is consistent.
- isConsistent() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether this Membership predicate is consistent.
- isConsistent() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Reports whether this Predicate is consistent.
- isConsistent() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Reports whether this Proposition is consistent.
- isCovered() - Method in class uk.ac.sheffield.vtts.model.Coverable
-
Reports whether this Coverable has been covered, after simulating a
Machine with a given Language.
- isCreation() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Reports whether this Operation is the initial service creation step.
- isEmpty() - Method in class uk.ac.sheffield.vtts.model.Alphabet
-
Reports whether this Alphabet is empty.
- isEmpty(Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the collection is empty.
- isEmpty() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Reports whether this is the empty Sequence.
- isEnabled() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Reports whether this Scenario is enabled in the current Memory state.
- isFailure() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Reports whether this Operation represents an exceptional failure step.
- isFailure() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Reports whether this TestStep represents an expected failure case.
- isFalseConstant() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Returns true if this Atomic predicate wraps the boolean Constant false.
- isFalseConstant() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Reports whether this Predicate is the boolean constant false.
- isGeneric(String) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Tests whether the supplied model type is a generic type.
- isInitial() - Method in class uk.ac.sheffield.vtts.model.State
-
Reports whether this is the initial State.
- isInitial() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Reports whether this TestStep is the initial (empty) TestStep.
- isMetaCheck() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Reports whether meta-checks of full state and transition behaviour
are to be performed.
- isMultiTest() - Method in class uk.ac.sheffield.vtts.model.Specification
-
Reports whether multiple test objectives are verified per test
sequence.
- isOrdered() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Reports whether this Expression has a strictly ordered type.
- isRefused() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Report whether this TestStep was refused.
- isTrueConstant() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Returns true if this Atomic predicate wraps the boolean Constant true.
- isVerify() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Reports whether this TestStep step is verified.