+
Point of view
All features
deferred class REQUIRE_ASSERTION_VISITOR
Summary
Direct parents
Inherit list: VISITOR
Known children
Inherit list: INSTRUCTION_VISITOR, IN_OUT_VISITOR
Overview
visit_require_assertion (visited: REQUIRE_ASSERTION)
deferred procedure