StateMethodInfopostConditionsMethod Field |
The postcondition evaluation method. This is used when the method type is StateAttribute.AttributeType.StatePostConditions.
Namespace:
MFiles.VAF
Assembly:
MFiles.VAF (in MFiles.VAF.dll) Version: 2.3.623.2
Syntaxprotected StateMethodInfoPostConditionsMethod postConditionsMethod
Protected postConditionsMethod As StateMethodInfoPostConditionsMethod
protected:
StateMethodInfoPostConditionsMethod^ postConditionsMethod
Field Value
Type:
StateMethodInfoPostConditionsMethod
See Also