+
Point of view
All features
deferred class EDC_FIELD_CRITERION [E_]
Summary
top
Direct parents
Inherit list: EDC_CRITERION
Known children
Inherit list: EDC_CRITERION_IS_NULL, EDC_CRITERION_WITH_VALUE
Overview
top
Features
{ANY}
{ANY}
is_set: BOOLEAN
deferred function
{ANY}
top
value (e: E_): EDC_FIELD_CRITERION [E_]
deferred function
{ANY}
top
require ensure
field (f: EDC_FIELD[E_]): EDC_FIELD_CRITERION [E_]
deferred function
{ANY}
top
require ensure
argument: EDC_FIELD_CRITERION [E_]
deferred function
{ANY}
top
require 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