GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_ANY_FIELD
+
Point of view
All features
ANY
EDC_ANY_TABLE
All features
deferred class EDC_ANY_FIELD
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
EDC_FIELD
Class invariant
top
table
/= Void
not
name
.is_empty
Overview
top
Features
{
ANY
}
options
:
EDC_FIELD_OPTION
name
:
FIXED_STRING
table
:
EDC_ANY_TABLE
{
EDC_ANY_TABLE
}
is_pk_compatible
:
BOOLEAN
options
:
EDC_FIELD_OPTION
writable attribute
{
ANY
}
top
name
:
FIXED_STRING
writable attribute
{
ANY
}
top
table
:
EDC_ANY_TABLE
deferred function
{
ANY
}
top
is_pk_compatible
:
BOOLEAN
deferred function
{
EDC_ANY_TABLE
}
top