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.3.623.2
Syntax
Copy
protected delegate bool PreConditionsMethod(
	StateEnvironment environment,
	out string message
)

Parameters

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

Return Value

Type: Boolean
See Also