CheckStatusEnum
Type used to find out the status of an expert check.
inheritancepath
ObjectType Literal Enumere CheckStatusEnum
Enumerated Values
Value | NLS Value | Comment |
---|---|---|
Red | Red | The check was solved and one object at least is False. |
Green | Green | The check was solved and all objects are True. |
Black | Black | The check was solved and the check has compilation errors or the solver does not find any objects matching the inputs of the check. |
NotSolved | NotSolved | the check could not be solved. |
InteropValidity | InteropValidity | Default value. |
Justified | Justified | The check was justified. |
Example
variables: mycheck: KWECheck
Body:
if (mycheck .Status == "Red") ThisCheck.AddTupleFailed(mycheck) Else ThisCheck.AddTupleSucceeded(mycheck)