+
Point of view
All features
class EDC_CRITERION_WITH_VALUE [R_ -> EDC_RECORD, E_ -> COMPARABLE]
Summary
Overview
Creation features
{EDC_FIELD}
  • make (a_comp_field: EDC_TYPED_FIELD[R_, E_])
Features
{ANY}
{}
{}
  • make (a_comp_field: EDC_TYPED_FIELD[R_, E_])
{ANY}
is_set: BOOLEAN
effective function
{ANY}
value (e: E_): EDC_CRITERION_WITH_VALUE [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
require
  • not is_set
ensure
  • is_set
  • Result = Current
field (f: EDC_FIELD[E_]): EDC_CRITERION_WITH_VALUE [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
require
  • not is_set
ensure
  • is_set
  • Result = Current
argument: EDC_CRITERION_WITH_VALUE [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
require
  • not is_set
ensure
  • is_set
  • Result = Current
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
{}
require
  • a_comp_field /= Void
ensure
infix "and" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
require
  • other /= Void
infix "or" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
require
  • other /= Void
prefix "not": EDC_CRITERION
effective function
{ANY}