DefaultTestManager Members
Supervises the process in which the test cases run and also provides logging and checking functions for test cases. The test manager supports the test case code generated by Spec Explorer.
The following tables list the members exposed by the DefaultTestManager type.
Public Constructors
(see also Protected Constructors)
Name | Description | |
---|---|---|
DefaultTestManager | Overloaded. Initializes a new instance of the DefaultTestManager class. |
Top
Protected Constructors
Name | Description | |
---|---|---|
DefaultTestManager | Overloaded. Initializes a new instance of the DefaultTestManager class. |
Top
Public Properties
Name | Description | |
---|---|---|
RandomSeed | Gets or sets a seed for value generation. Supports the Cord RandomSeed switch and is not intended to be used directly from your code. | |
ThrowTestFailureException | Gets or sets a value that indicates whether the test manager raises a test failure exception when it encounters a conformance error. |
Top
Public Methods
(see also Protected Methods)
Name | Description | |
---|---|---|
AddEvent | Adds an event to the observed event queue. This method supports the generated test cases and is not intended to be used directly from your code. | |
AddReturn | Adds a method return to the observed method return queue. This method supports the generated test cases and is not intended to be used directly from your code. | |
Assert | This method supports assertion handling in the generated test cases and is not intended to be used directly from your code. | |
Assume | The generated test code does not call this method. You can call this method from your implementation of the IGeneratedTestClass.InitializeTestManager method to check any initialization requirements that the test class might have. | |
BeginTest | Indicates to the test manager that a test case is starting. This method supports the generated test cases and is not intended to be used directly from your code. | |
BeginTransaction | Begins a transaction. This method supports the generated test cases and is not intended to be used directly from your code. | |
CheckObservationTimeout | This method supports the generated test cases and is not intended to be used directly from your code. | |
Checkpoint | This method supports the capturing of requirements in the generated test cases and is not intended to be used directly from your code. | |
Comment | Generates a comment about test execution. This method supports the generated test cases and is not intended to be used directly from your code. | |
CreateVariable | The generated test initialization code calls this method to initialize an object that references a variable in the system under test. This method supports the generated test cases and is not intended to be used directly from your code. | |
EndTest | Indicates to the test manager that a test case is finishing. This method supports the generated test cases and is not intended to be used directly from your code. | |
EndTransaction | Ends a transaction, either committing variables that have been bound or rolling them back. This method supports the generated test cases and is not intended to be used directly from your code. | |
Equals | (Inherited from Object) | |
ExpectEvent | A generated test case calls this method to wait for an event that is expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code. | |
ExpectReturn | A generated test case calls this method to wait for a method return that is expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code. | |
GenerateValue | A generated test case calls this method as needed based on the test oracle to create an object of a specified type. This method supports the generated test cases and is not intended to be used directly from your code. | |
GetAdapter | Retrieves a singleton instance of an adapter of the given type; throws an exception on failure. This method supports the generated test cases and is not intended to be used directly from your code. | |
GetHashCode | (Inherited from Object) | |
GetType | (Inherited from Object) | |
SelectSatisfiedPreConstraint | A generated test case calls this method to check for one or more preconstraints that are expected by the associated behavior. This method supports the generated test cases and is not intended to be used directly from your code. | |
Subscribe | Subscribes to a given event such that events raised are propagated to the event queue. This method supports the generated test cases and is not intended to be used directly from your code. | |
ToString | (Inherited from Object) | |
TryGetNextEvent | A generated test case calls this method to get an event from the event queue. This method supports the generated test cases and is not intended to be used directly from your code. | |
TryGetNextReturn | A generated test case calls this method to get a method return from the method return queue. This method supports the generated test cases and is not intended to be used directly from your code. | |
Unsubscribe | Unsubscribes from a given event. This method supports the generated test cases and is not intended to be used directly from your code. |
Top
Protected Methods
Name | Description | |
---|---|---|
Finalize | (Inherited from Object) | |
MemberwiseClone | (Inherited from Object) |
Top
See Also
Reference
DefaultTestManager Class
Microsoft.SpecExplorer.Runtime.Testing Namespace
GeneratedTestClassBase
VsTestClassBase
IBasicTestSite