StatePostConditionsAttribute Constructor

Constructor.

Definition

Namespace: MFiles.VAF.Common
Assembly: MFiles.VAF (in MFiles.VAF.dll) Version: 24.1.706.1
C#
public StatePostConditionsAttribute(
	string stateAlias
)

Parameters

stateAlias  String
Alias of the state where the post-conditions evaluation handler should be attached to.

See Also