+
Point of view
All features
deferred class ASSERTION_VISITOR
Summary
top
Direct parents
Inherit list: VISITOR
Known children
Inherit list: EXPRESSION_VISITOR, IN_OUT_VISITOR
Overview
top
Features
{ASSERTION}
visit_assertion (visited: ASSERTION)
deferred procedure
{ASSERTION}
top
require
  • visited /= Void