Click or drag to resize

StateMethodInfoPreConditionsMethod Delegate

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

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

Parameters

environment
Type: MFiles.VAF.CommonStateEnvironment
message
Type: SystemString

Return Value

Type: Boolean
See Also