+
Point of view
All features
deferred class TAGGED
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: CLASS_TEXT, DYNAMIC_DISPATCH_TEMPORARY1, E_OLD, INTERNAL_LOCAL2, LIVE_TYPE
Insert list: RUN_FEATURE
Overview
top
tag (a_tag: FIXED_STRING): TAGGED_DATA
effective function
{TAGGER}
top
require
  • sensible_tag: a_tag.intern = a_tag
set_tag (a_tag: FIXED_STRING, a_data: TAGGED_DATA)
effective procedure
{TAGGER}
top
require
  • sensible_tag: a_tag.intern = a_tag
  • sensible_data: a_data /= Void
  • no_previous_data: tag(a_tag) = Void
ensure
  • tag(a_tag) = a_data
writable attribute
{}
top