Eiffeldoc: EDC_ANY_TABLE

+

Point of view

All features

deferred class EDC_ANY_TABLE

Summary

Direct parents: Insert list: EDC_CONSTANTS
Known children: Inherit list: EDC_TABLE

Class invariant

not name.is_empty
fields /= Void
pk /= Void

Overview

Features

{EDC_ANY_FIELD}

add_field (a_field: EDC_ANY_FIELD)

{}

fields_: FAST_ARRAY[EDC_ANY_FIELD]
pk_: FAST_ARRAY[EDC_ANY_FIELD]

Query options

{}

Field options

{}

name: FIXED_STRING

writable attribute

fields: TRAVERSABLE[EDC_ANY_FIELD]

effective function

pk: TRAVERSABLE[EDC_ANY_FIELD]

effective function

add_field (a_field: EDC_ANY_FIELD)

effective procedure

{EDC_ANY_FIELD}

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

{}

pk_: FAST_ARRAY[EDC_ANY_FIELD]

writable attribute

{}

Edc_default: EDC_QUERY_OPTION

once function

{}

Edc_for_update: EDC_QUERY_OPTION

once function

{}

Edc_primary_key: EDC_FIELD_OPTION

once function

{}

Edc_mandatory: EDC_FIELD_OPTION

once function

{}