StateMethodInfopostConditionsMethod 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 StateMethodInfoPostConditionsMethod postConditionsMethod

Field Value

StateMethodInfoPostConditionsMethod

See Also