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