+
Point of view
All features
deferred class NO_INVARIANT_WRAPPER_VISITOR
Summary
Direct parents
Inherit list: VISITOR
Known children
Inherit list: INSTRUCTION_VISITOR
Overview
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
deferred procedure