deferred class RUN_FEATURE_VISITOR
Summary
Overview
visit_run_feature_1 (visited: RUN_FEATURE_1)
deferred procedure
require
  • visited /= Void
visit_run_feature_2 (visited: RUN_FEATURE_2)
deferred procedure
require
  • visited /= Void
visit_run_feature_3 (visited: RUN_FEATURE_3)
deferred procedure
require
  • visited /= Void
visit_run_feature_4 (visited: RUN_FEATURE_4)
deferred procedure
require
  • visited /= Void
visit_run_feature_5 (visited: RUN_FEATURE_5)
deferred procedure
require
  • visited /= Void
visit_run_feature_6 (visited: RUN_FEATURE_6)
deferred procedure
require
  • visited /= Void
visit_run_feature_7 (visited: RUN_FEATURE_7)
deferred procedure
require
  • visited /= Void
visit_run_feature_8 (visited: RUN_FEATURE_8)
deferred procedure
require
  • visited /= Void
visit_run_feature_9 (visited: RUN_FEATURE_9)
deferred procedure
require
  • visited /= Void