+
Point of view
All features
deferred class EDC_BASIC_FIELD [R_ -> EDC_RECORD, E_ -> COMPARABLE]
Summary
Direct parents
Inherit list: EDC_TYPED_FIELD
Known children
Inherit list: EDC_INTEGER_64_FIELD, EDC_STRING_FIELD, EDC_VARSTRING_FIELD
Class invariant
Overview
Features
{ANY}
  • is_null: EDC_FIELD_CRITERION[E_]
  • is_not_null: EDC_FIELD_CRITERION[E_]
  • ge: EDC_FIELD_CRITERION[E_]
  • gt: EDC_FIELD_CRITERION[E_]
  • le: EDC_FIELD_CRITERION[E_]
  • lt: EDC_FIELD_CRITERION[E_]
  • eq: EDC_FIELD_CRITERION[E_]
  • ne: EDC_FIELD_CRITERION[E_]
{EDC_ANY_TABLE}
{ANY}
{EDC_ANY_TABLE}
{EDC_RECORD}
  • item (r: R_): E_
  • set (r: R_, i: E_)
{ANY}
  • default: E_
    Default value of the field
  • infix "<=" (value: E_): EDC_FIELD_CRITERION[E_]
  • infix "<" (value: E_): EDC_FIELD_CRITERION[E_]
  • infix ">=" (value: E_): EDC_FIELD_CRITERION[E_]
  • infix ">" (value: E_): EDC_FIELD_CRITERION[E_]
  • infix "==" (value: E_): EDC_FIELD_CRITERION[E_]
  • infix "=/=" (value: E_): EDC_FIELD_CRITERION[E_]
{EDC_DESCRIPTOR}
{}
{ANY}
is_null: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • default = Void
ensure
  • Result /= Void
is_not_null: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • default = Void
ensure
  • Result /= Void
ge: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
gt: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
le: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
lt: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
eq: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
ne: EDC_FIELD_CRITERION[E_]
effective function
{ANY}
ensure
  • Result /= Void
pk_field (pk: TUPLE, index: INTEGER_32): E_
effective function
require
table: EDC_TABLE[R_]
writable attribute
{ANY}
is_pk_compatible: BOOLEAN
is False
constant attribute
Do not redefine if you don't know what you are doing!
item (r: R_): E_
deferred function
require
  • added: r.session /= Void
set (r: R_, i: E_)
deferred procedure
require
  • added: r.session /= Void
ensure
  • i = Void implies item(r) = Void
  • i /= Void implies item(r).is_equal(i)
default: E_
effective function
{ANY}
Default value of the field
infix "<=" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
infix "<" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
infix ">=" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
infix ">" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
infix "==" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
infix "=/=" (value: E_): EDC_FIELD_CRITERION[E_]
effective function
{ANY}
require
  • value /= Void
ensure
  • Result /= Void
add_validator (a_validator: FUNCTION[TUPLE[TUPLE 1[E_]]])
effective procedure
validators: FAST_ARRAY[FUNCTION[TUPLE[TUPLE 1[E_]]]]
writable attribute
{}
writable attribute
{ANY}
writable attribute
{ANY}