StateMethodInfoPreConditionsMethod Delegate

State postconditions evaluation method delegate declaration. See the actual methods for information on the parameters.

Definition

Namespace: MFiles.VAF
Assembly: MFiles.VAF (in MFiles.VAF.dll) Version: 24.1.706.1
C#
public delegate bool PreConditionsMethod(
	StateEnvironment environment,
	out string message
)

Parameters

environment  StateEnvironment
 
message  String
 

Return Value

Boolean

See Also