GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
TAGGED_ERRORS
+
Point of view
All features
ANY
ERROR_HANDLER
All features
class TAGGED_ERRORS
Summary
top
Direct parents
Inherit list:
TAGGED_DATA
Class invariant
top
data
/= Void
Overview
top
Creation features
{
ERROR_HANDLER
}
make
Features
{
ERROR_HANDLER
}
data
:
RING_ARRAY
[
TAGGED_ERROR
]
{}
make
data
:
RING_ARRAY
[
TAGGED_ERROR
]
writable attribute
{
ERROR_HANDLER
}
top
make
effective procedure
{}
top
ensure
data
.is_empty