StatePostConditionsAttribute Constructor

Constructor.

Namespace: MFiles.VAF.Common
Assembly: MFiles.VAF (in MFiles.VAF.dll) Version: 2.3.623.2

Syntax

public StatePostConditionsAttribute(
	string stateAlias
)

Public Sub New ( 
	stateAlias As String
)

public:
StatePostConditionsAttribute(
	String^ stateAlias
)

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