GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
TAGGED_ERROR
+
Point of view
All features
ANY
RECYCLING_POOL
ERROR_HANDLER
All features
class TAGGED_ERROR
Summary
top
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
top
explanation
/= Void
positions
/= Void
Overview
top
Creation features
{
ERROR_HANDLER
}
make
(exp:
STRING
, pos:
FAST_ARRAY
[
POSITION
])
Features
{
ERROR_HANDLER
}
explanation
:
STRING
positions
:
FAST_ARRAY
[
POSITION
]
is_emitted
:
BOOLEAN
set_emitted
make
(exp:
STRING
, pos:
FAST_ARRAY
[
POSITION
])
{
RECYCLING_POOL
}
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
explanation
:
STRING
writable attribute
{
ERROR_HANDLER
}
top
positions
:
FAST_ARRAY
[
POSITION
]
writable attribute
{
ERROR_HANDLER
}
top
is_emitted
:
BOOLEAN
writable attribute
{
ERROR_HANDLER
}
top
set_emitted
effective procedure
{
ERROR_HANDLER
}
top
require
not
is_emitted
ensure
is_emitted
make
(exp:
STRING
, pos:
FAST_ARRAY
[
POSITION
])
effective procedure
{
ERROR_HANDLER
}
top
require
exp /= Void
pos /= Void
ensure
explanation
/= exp
explanation
.is_equal(exp)
positions
/= pos
positions
.is_equal(pos)
not
is_emitted
recycle
effective procedure
{
RECYCLING_POOL
}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one