StatePostConditionsAttribute Constructor |
Constructor.
Namespace:
MFiles.VAF.Common
Assembly:
MFiles.VAF (in MFiles.VAF.dll) Version: 2.3.623.2
Syntaxpublic StatePostConditionsAttribute(
string stateAlias
)
Public Sub New (
stateAlias As String
)
public:
StatePostConditionsAttribute(
String^ stateAlias
)
Parameters
- stateAlias
- Type: SystemString
Alias of the state where the post-conditions evaluation handler should be attached to.
See Also