A B C D E F G H I J L M N O P R S T U V W 

F

Factory - Interface in uk.ac.sheffield.vtts.ground
Factory is the abstract interface satisfied by concrete object factories.
factory - Static variable in class uk.ac.sheffield.vtts.model.Expression
The singleton ModelFactory for creating objects of different model types.
factoryLocation - Static variable in class uk.ac.sheffield.vtts.ground.JavaDependency
The assumed package location of the JavaFactory factory, which is used to create instances of complex (generic) types, or user-defined types.
Failure - Class in uk.ac.sheffield.vtts.model
Failure is an exception or error parameter associated with an operation.
Failure() - Constructor for class uk.ac.sheffield.vtts.model.Failure
Creates a default failure parameter.
Failure(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Failure
Creates an output parameter with the given name and type.
findClassDefinition(String) - Method in class uk.ac.sheffield.vtts.ground.JavaFactory
Finds the Java class definition for an external user-defined type.
fireEvent(Event) - Method in class uk.ac.sheffield.vtts.model.Machine
Fires an event on this Machine.
fireEvent(Event) - Method in class uk.ac.sheffield.vtts.model.Operation
Fires an event on this Operation.
fireEvent(Event) - Method in class uk.ac.sheffield.vtts.model.Protocol
Fires an event on this Protocol.
first(Object) - Method in class uk.ac.sheffield.vtts.model.Projection
Returns the first projection from an ordered pair.
Function - Class in uk.ac.sheffield.vtts.model
Function represents a functional expression with a function root node.
Function() - Constructor for class uk.ac.sheffield.vtts.model.Function
Creates a default functional expression.
Function(String) - Constructor for class uk.ac.sheffield.vtts.model.Function
Creates a named functional expression.
Function(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Function
Creates a named and typed functional expression.
A B C D E F G H I J L M N O P R S T U V W