+
Point of view
All features
class EDC_CRITERION_EQUAL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
Summary
Direct parents
Inherit list: EDC_CRITERION_WITH_VALUE
Overview
Creation features
{EDC_FIELD}
  • make (a_comp_field: EDC_TYPED_FIELD[R_, E_])
is_set: BOOLEAN
effective function
{ANY}
value (e: E_): EDC_CRITERION_EQUAL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
field (f: EDC_FIELD[E_]): EDC_CRITERION_EQUAL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
argument: EDC_CRITERION_EQUAL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
comp_field: EDC_TYPED_FIELD[R_, E_]
writable attribute
{}
crit_value: E_
writable attribute
{}
crit_field: EDC_FIELD[E_]
writable attribute
{}
crit: INTEGER_8
writable attribute
{}
Crit_is_not_set: INTEGER_8
is 0
constant attribute
{}
Crit_is_value: INTEGER_8
is 1
constant attribute
{}
Crit_is_field: INTEGER_8
is 2
constant attribute
{}
Crit_is_argument: INTEGER_8
is 3
constant attribute
{}
make (a_comp_field: EDC_TYPED_FIELD[R_, E_])
effective procedure
{}
infix "and" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
infix "or" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
prefix "not": EDC_CRITERION
effective function
{ANY}