+
Point of view
All features
deferred class REQUIRE_ASSERTION_VISITOR
Summary
top
Direct parents
Inherit list: VISITOR
Known children
Inherit list: INSTRUCTION_VISITOR, IN_OUT_VISITOR
Overview
top
visit_require_assertion (visited: REQUIRE_ASSERTION)
deferred procedure
{REQUIRE_ASSERTION}
top
require
  • visited /= Void