+
Point of view
All features
class EDC_INTEGER_64_FIELD [R_ -> EDC_RECORD]
Summary
Direct parents
Inherit list: EDC_BASIC_FIELD
Class invariant
Overview
Creation features
{EDC_DESCRIPTOR}
Features
{EDC_RECORD}
{EDC_ANY_TABLE}
{}
{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}
{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_): INTEGER_64
effective function
require
  • added: r.session /= Void
set (r: R_, i: INTEGER_64)
effective procedure
require
  • added: r.session /= Void
ensure
  • i = Void implies item(r) = Void
  • i /= Void implies item(r).is_equal(i)
is_pk_compatible: BOOLEAN
is True
constant attribute
Do not redefine if you don't know what you are doing!
make (a_table: EDC_TABLE[EDC_RECORD], a_name: ABSTRACT_STRING)
effective procedure
{}
with_options (a_table: EDC_TABLE[EDC_RECORD], a_name: ABSTRACT_STRING, a_options: EDC_FIELD_OPTION)
effective procedure
{}
require
  • a_table /= Void
  • not a_name.is_empty
ensure
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}
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}