ExpectedPreConstraint Members
Describes a preconstraint of a transition. This structure supports the generated test cases and is not intended to be used directly from your code.
The following tables list the members exposed by the ExpectedPreConstraint type.
Public Constructors
| Name | Description | |
|---|---|---|
| ExpectedPreConstraint | Initializes a new instance of the ExpectedPreConstraint structure. |
Top
Public Properties
| Name | Description | |
|---|---|---|
.gif "public property") |
Checker | Gets the method that the test manager calls to check the preconstraint. |
Top
Public Methods
(see also Protected Methods)
| Name | Description | |
|---|---|---|
.gif "public method") |
Equals | Overridden. (Inherited from Object) |
|
GetHashCode | Overridden. (Inherited from Object) |
|
GetType | (Inherited from Object) |
|
ToString | Overridden. (Inherited from Object) |
Top
Protected Methods
| Name | Description | |
|---|---|---|
.gif "protected method") |
Finalize | (Inherited from Object) |
|
MemberwiseClone | (Inherited from Object) |
Top
See Also
Reference
ExpectedPreConstraint Structure
Microsoft.SpecExplorer.Runtime.Testing Namespace