StateMethodInfoPostConditionsMethod Delegate
State preconditions evaluation method delegate declaration. See the actual methods for information on the parameters.
Namespace: MFiles.VAFAssembly: MFiles.VAF (in MFiles.VAF.dll) Version: 24.1.706.1
public delegate bool PostConditionsMethod(
StateEnvironment environment,
out string message
)
- environment StateEnvironment
-
- message String
-
Boolean