GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_TABLE
+
Point of view
All features
ANY
EDC_ANY_FIELD
All features
class EDC_TABLE [R_ ->
EDC_RECORD
]
Summary
top
Direct parents
Inherit list:
EDC_ANY_TABLE
Class invariant
top
not name.is_empty
fields /= Void
pk /= Void
Overview
top
Creation features
{
EDC_DESCRIPTOR
}
make
(a_name:
ABSTRACT_STRING
)
Features
{}
make
(a_name:
ABSTRACT_STRING
)
{
ANY
}
name
:
FIXED_STRING
fields
:
TRAVERSABLE
[
EDC_ANY_FIELD
]
pk
:
TRAVERSABLE
[
EDC_ANY_FIELD
]
{
EDC_ANY_FIELD
}
add_field
(a_field:
EDC_ANY_FIELD
)
{}
fields_
:
FAST_ARRAY
[
EDC_ANY_FIELD
]
pk_
:
FAST_ARRAY
[
EDC_ANY_FIELD
]
Query options
{}
Edc_default
:
EDC_QUERY_OPTION
Edc_for_update
:
EDC_QUERY_OPTION
Field options
{}
Edc_primary_key
:
EDC_FIELD_OPTION
Edc_mandatory
:
EDC_FIELD_OPTION
make
(a_name:
ABSTRACT_STRING
)
effective procedure
{}
top
require
not a_name.is_empty
ensure
name
= a_name.intern
name
:
FIXED_STRING
writable attribute
{
ANY
}
top
fields
:
TRAVERSABLE
[
EDC_ANY_FIELD
]
effective function
{
ANY
}
top
pk
:
TRAVERSABLE
[
EDC_ANY_FIELD
]
effective function
{
ANY
}
top
add_field
(a_field:
EDC_ANY_FIELD
)
effective procedure
{
EDC_ANY_FIELD
}
top
require
a_field.table = Current
ensure
fields
.count = old
fields
.count + 1 and then
fields
.last = a_field
a_field.options =
Edc_primary_key
implies
pk
.count = old
pk
.count + 1 and then
pk
.last = a_field
fields_
:
FAST_ARRAY
[
EDC_ANY_FIELD
]
writable attribute
{}
top
pk_
:
FAST_ARRAY
[
EDC_ANY_FIELD
]
writable attribute
{}
top
Edc_default
:
EDC_QUERY_OPTION
once function
{}
top
Edc_for_update
:
EDC_QUERY_OPTION
once function
{}
top
Edc_primary_key
:
EDC_FIELD_OPTION
once function
{}
top
Edc_mandatory
:
EDC_FIELD_OPTION
once function
{}
top