+
Point of view
All features
class NAMED_EXCEPTION
Summary
top
Direct parents
Inherit list: EXCEPTION
Overview
top
Creation features
{EXCEPTIONS}
Features
{EXCEPTIONS}
{}
name: STRING
writable attribute
{EXCEPTIONS}
top
set_name (a_name: STRING)
effective procedure
{EXCEPTIONS}
top
ensure
make
effective procedure
{}
top