IStateMethodInfoEvaluatePostConditions Method

Executes the state post-conditions.


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


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

True if the method was really executed.

See Also