+
Point of view
All features
deferred class EDC_FIELD [E_]
Summary
Direct parents
Inherit list: EDC_ANY_FIELD
Known children
Inherit list: EDC_TYPED_FIELD
Class invariant
Overview
Features
{ANY}
  • default: E_
    Default value of the field
  • 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_]
  • 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}
{EDC_ANY_TABLE}
default: E_
effective function
{ANY}
Default value of the field
is_null: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
require ensure
  • Result /= Void
is_not_null: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
require ensure
  • Result /= Void
ge: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
ensure
  • Result /= Void
gt: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
ensure
  • Result /= Void
le: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
ensure
  • Result /= Void
lt: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
ensure
  • Result /= Void
eq: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
ensure
  • Result /= Void
ne: EDC_FIELD_CRITERION[E_]
deferred function
{ANY}
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
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}
deferred function
{ANY}
is_pk_compatible: BOOLEAN
deferred function