- Effect - Class in uk.ac.sheffield.vtts.model
-
Effect represents a particular set of value-modifications to parameters.
- Effect() - Constructor for class uk.ac.sheffield.vtts.model.Effect
-
Creates a default Effect.
- Element - Class in uk.ac.sheffield.vtts.model
-
Element is the root Element of the metamodel.
- Element() - Constructor for class uk.ac.sheffield.vtts.model.Element
-
- elements - Variable in class uk.ac.sheffield.vtts.model.Notice
-
A list of arbitrary Elements described by this Notice.
- enterShop() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Enters the Shopping state from either the Ready state (to start
shopping) or from the Checkout state (to return to shopping for extra
items before finally making payment).
- enterShop() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Enters the shop, to start adding items to the cart.
- Entity - Class in uk.ac.sheffield.vtts.model
-
Entity is the model entity used to simulate all uninterpreted basic types.
- Entity() - Constructor for class uk.ac.sheffield.vtts.model.Entity
-
Creates an unnamed Entity.
- Entity(String) - Constructor for class uk.ac.sheffield.vtts.model.Entity
-
Creates an Entity with the given name.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.pojo.Document
-
Tests whether this Document and another object are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.pojo.Dvd
-
Tests whether this Dvd and another object are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.rs.Document
-
Tests whether this Document and another object are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.rs.Dvd
-
Tests whether this Dvd and another object are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.ws.Document
-
Tests whether this Document and another object are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.client.ws.Dvd
-
Tests whether this Dvd and another object are equal.
- equals(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether two values are equal.
- equals(Object) - Method in class uk.ac.sheffield.vtts.model.Expression
-
Reports whether this Expression is equal to another object.
- equals(Object) - Method in class uk.ac.sheffield.vtts.model.Function
-
Reports whether this function is equal to another object.
- equals(Object) - Method in class uk.ac.sheffield.vtts.model.Named
-
Reports whether this Named element is equal to another object.
- equals(Object) - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Reports whether this sequence is equal to another object.
- equals(Object) - Method in class uk.ac.sheffield.vtts.model.Transition
-
Reports whether this Transition is equal to another object.
- error(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Reports an IllegalArgumentException during object creation.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Executes this Arithmetic on its operands.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Executes this Assignment on its operands.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Evaluates this Atomic predicate.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Executes this Comparison predicate on its operands.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Condition
-
Evaluates this guard Condition, returning true or false.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Evaluates this Expression.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Executes this Manipulation on its operands.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Executes this Membership predicate on its operands.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Evaluates this Parameter expression.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Predicate
-
Evaluates this Predicate.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Projection
-
Evaluates this Projection expression.
- evaluate() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Executes this Proposition on its operands.
- Event - Class in uk.ac.sheffield.vtts.model
-
Event represents a unique named event recognised by a finite state machine.
- Event() - Constructor for class uk.ac.sheffield.vtts.model.Event
-
Creates default Event.
- Event(String) - Constructor for class uk.ac.sheffield.vtts.model.Event
-
Creates a named Event.
- events - Variable in class uk.ac.sheffield.vtts.model.Sequence
-
The sequence of events.
- excludes(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the collection excludes the value from its elements.
- excludesAll(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the first collection excludes all of the second one.
- excludesKey(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Membership
-
Reports whether the map excludes the key from its search keys.
- execute() - Method in class uk.ac.sheffield.vtts.model.Binding
-
Executes all of the Assignments associated with this Binding.
- execute() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Conditionally executes this Scenario.
- exitShop() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Exits the shop from every state, cancelling every action made so far.
- exitShop() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Exits the shop, discarding all items chosen so far.
- Expression - Class in uk.ac.sheffield.vtts.model
-
Expression represents a computable expression, with a name and a type.
- Expression() - Constructor for class uk.ac.sheffield.vtts.model.Expression
-
Creates a default Expression.
- Expression(String) - Constructor for class uk.ac.sheffield.vtts.model.Expression
-
Creates an Expression with a name.
- Expression(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Expression
-
Creates an Expression with a name and a type.
- expressions - Variable in class uk.ac.sheffield.vtts.model.Function
-
The operands of this function.