StateMethodInfo.postConditionsMethod Field

The postcondition evaluation method. This is used when the method type is StateAttribute.AttributeType.StatePostConditions.

Definition

Namespace: MFiles.VAF
Assembly: MFiles.VAF (in MFiles.VAF.dll) Version: 24.1.706.1
C#
protected StateMethodInfo.PostConditionsMethod postConditionsMethod

Field Value

StateMethodInfo.PostConditionsMethod

See Also