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