deferred class KERNEL_EXPANDED_TYPE_MARK_VISITOR
Summary
Overview
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
deferred procedure
require
  • visited /= Void