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

W

Warning - Class in uk.ac.sheffield.vtts.model
Warning is a kind of Notice indicating a fault in the associated model.
Warning() - Constructor for class uk.ac.sheffield.vtts.model.Warning
Creates an empty Warning.
Warning(String) - Constructor for class uk.ac.sheffield.vtts.model.Warning
Creates a Warning with the given message.
WebGenerateTests - Class in uk.ac.sheffield.vtts.web
WebGenerateTests is a CGI program to generate a test suite for a cloud service specification.
WebGenerateTests() - Constructor for class uk.ac.sheffield.vtts.web.WebGenerateTests
 
WebGroundTests - Class in uk.ac.sheffield.vtts.web
WebGroundTests is a CGI program to generate a test suite for a cloud service specification.
WebGroundTests() - Constructor for class uk.ac.sheffield.vtts.web.WebGroundTests
 
WebValidateMachine - Class in uk.ac.sheffield.vtts.web
WebValidateMachine is a CGI program to validate the state machine of a cloud service specification.
WebValidateMachine() - Constructor for class uk.ac.sheffield.vtts.web.WebValidateMachine
 
WebVerifyProtocol - Class in uk.ac.sheffield.vtts.web
WebVerifyProtocol is a CGI program to verify the protocol of a cloud service specification.
WebVerifyProtocol() - Constructor for class uk.ac.sheffield.vtts.web.WebVerifyProtocol
 
withdraw(int) - Method in class uk.ac.sheffield.vtts.client.pojo.Account
Attempts to withdraw an amount from this Account.
writeCallMethod() - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out an extra secret method used by the Test Driver to build the complete URI path for the REST call, make the REST call and extract the JSON String response.
writeClassComment(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Prints out a class-level comment for the JUnit test driver class source file.
writeClassComment(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out a class-level comment for the JUnit test driver class source file.
writeClassComment(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Prints out a class-level comment for the JUnit test driver class source file.
writeDriverConstructor(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints out the test driver's constructor, with or without the Factory.
writeDriverConstructor(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out the test driver's constructor, with or without the Factory.
writeDriverFields(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Prints out the private attributes used by the JUnit Test Driver class.
writeDriverFields(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out the private attributes used by the JUnit Test Driver class.
writeDriverFields(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Prints out the private attributes used by the JUnit Test Driver class.
writeFactoryValue(Parameter) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints out a factory expression to create the value of a complex Input or Output parameter.
writeFailureTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints out a method invocation expecting to throw an exception.
writeFailureTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out a method invocation expecting to throw an exception.
writeInitialTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Optionally prints out an assertion check on the result of the set-up code that created the service.
writeInitialTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Optionally prints out an assertion check on the result of the set-up code that created the service.
writeInitialTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Optionally prints out an assertion check on the result of the set-up code that created the service.
writeInputList(Set<Input>) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the list of argument value(s) for the operation inputs.
writeInputList(Set<Input>) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints the list of argument value(s) for the operation inputs, in the format needed for building the URI path for the RESTful service.
writeJavaType(Parameter) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the type name of a Parameter as a Java type.
writeJavaValue(Parameter) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Grounds the value of an Input or Output parameter.
writeLiteralValue(Parameter) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints out the literal value of a simple Input or Output parameter.
writeMetaDataAssertions(TestStep) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the JUnit assertions checking that the system executed the expected scenario and ended in the expected state.
writeMetaDataAssertions(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints the JUnit assertions checking that the system executed the expected scenario in this TestStep and ended in the expected state.
writeMethodComment(TestSequence) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints out a method-level comment for one test-method of the JUnit driver class source file.
writeNormalTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Prints out a method invocation expecting a normal return value.
writeNormalTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out a method invocation expecting a normal return value.
writeNormalTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Prints out a method invocation expecting a normal return value.
writeOutputList(Set<Output>) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the initialisation list of literalTypes values for complex outputs.
writePackageInfo(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Prints out package information at the head of the generated JUnit test driver class source file.
writePackageInfo(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out package information at the head of the generated JUnit test driver class source file.
writePackageInfo(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Prints out package information at the head of the generated JUnit test driver class source file.
writer - Variable in class uk.ac.sheffield.vtts.ground.AbstractGrounding
The output stream to which this Grounding writes generated code.
writeResultAssertions(Set<Output>) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the JUnit assertion(s) checking that the expected and actual result(s) corresponded.
writeResultVariables(Set<Output>) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Prints the appropriate kind of receiver variable(s) for the outputs.
writeResultVariables(Set<Output>) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints the appropriate kind of receiver variable(s) for the outputs, and initialises these to the result of decoding the JSON response.
writeStatusMethods() - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out an extra couple of methods used to make status checks on the service.
writeSystemSetUp(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
Prints out the set-up method for creating the System-Under-Test.
writeSystemSetUp(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Prints out the set-up method for creating or reseting the System-Under-Test.
writeSystemSetUp(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
Prints out the set-up method for creating the System-Under-Test.
writeVoidAssertion() - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
Placeholder method for subclasses to override if they must check that the result from a call was void.
writeVoidAssertion() - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
Special assertion to check that an operation specified as returning a void result actually returned nothing useful.
A B C D E F G H I J L M N O P R S T U V W