IStateMethodInfoEvaluatePostConditions Method

Executes the state post-conditions.

Definition

Namespace: MFiles.VAF
Assembly: MFiles.VAF (in MFiles.VAF.dll) Version: 24.1.706.1
C#
bool EvaluatePostConditions(
	StateEnvironment environment,
	IExecutionTrace trace,
	out bool conditionsOk,
	out string message
)

Parameters

environment  StateEnvironment
The environment parameters.
trace  IExecutionTrace
The execution tracer object for recording the operation starting end ending.
conditionsOk  Boolean
Output parameter for the condition evaluation result. True if the conditions were met.
message  String
Output parameter for the error message if the conditions were not met.

Return Value

Boolean
True if the method was really executed.

See Also