+
Point of view
All features
class TAGGED_ERROR
Summary
Just a memo class used by the ERROR_HANDLER to save error data (mainly warnings, to be emitted later)
Direct parents
Insert list: RECYCLABLE
Class invariant
Overview
Creation features
{ERROR_HANDLER}
Features
{ERROR_HANDLER}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
explanation: STRING
writable attribute
positions: FAST_ARRAY[POSITION]
writable attribute
is_emitted: BOOLEAN
writable attribute
set_emitted
effective procedure
require ensure
make (exp: STRING, pos: FAST_ARRAY[POSITION])
effective procedure
require
  • exp /= Void
  • pos /= Void
ensure
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one