ASSERTION_RESULT (ENUM)ΒΆ

TYPE ASSERTION_RESULT :

Attributes:
qualified_only
InOut:

Name

Initial

OK

0

ASSERTION_FAILED

1