Eiffeldoc: EDC_TABLE

+

Point of view

All features

class EDC_TABLE [R_ -> EDC_RECORD]

Summary

Direct parents: Inherit list: EDC_ANY_TABLE

Class invariant

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

Overview

Creation features

{EDC_DESCRIPTOR}

make (a_name: ABSTRACT_STRING)

Features

{}

make (a_name: ABSTRACT_STRING)

{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

{}

make (a_name: ABSTRACT_STRING)

effective procedure

{}

require

not a_name.is_empty

ensure

name = a_name.intern

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

{}