+
Point of view
All features
class EDC_CRITERION_IS_NULL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
Summary
top
Direct parents
Inherit list: EDC_FIELD_CRITERION
Overview
top
Creation features
{EDC_FIELD}
  • make (a_comp_field: EDC_TYPED_FIELD[R_, E_], a_yes: BOOLEAN)
Features
{ANY}
{}
{ANY}
is_set: BOOLEAN
is True
constant attribute
{ANY}
top
value (e: E_): EDC_CRITERION_IS_NULL [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_IS_NULL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
top
require
  • not is_set
ensure
  • is_set
  • Result = Current
argument: EDC_CRITERION_IS_NULL [R_ -> EDC_RECORD, E_ -> COMPARABLE]
effective function
{ANY}
top
require
  • not is_set
ensure
  • is_set
  • Result = Current
make (a_comp_field: EDC_TYPED_FIELD[R_, E_], a_yes: BOOLEAN)
effective procedure
{}
top
require
  • a_comp_field /= Void
ensure
comp_field: EDC_TYPED_FIELD[R_, E_]
writable attribute
{}
top
yes: BOOLEAN
writable attribute
{}
top
True for IS_NULL, False for IS_NOT_NULL
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