home
classes/clusters list
class information
+
Point of view
ANY
ANY
EDC_EXPRESSION
EDC_SELECTABLE
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_LE_EXPRESSION [N_ ->
COMPARABLE
]
Summary
top
Direct parents
inherit list:
EDC_EXPRESSION
,
ESE_TYPED_VISITABLE
Overview
top
creation features
exported features
left
:
EDC_TYPED_VALUE
[N_]
right
:
EDC_TYPED_VALUE
[N_]
can_call
:
BOOLEAN
open_count
:
INTEGER_32
matches
(a_columns:
TRAVERSABLE
[
EDC_COLUMN
], a_data:
TRAVERSABLE
[
EDC_DATUM
]):
BOOLEAN
True if the expression matches for the given columns and data.
can_match
(a_column:
EDC_COLUMN
):
BOOLEAN
True if the expression
can match
for the column
a_column
(i.e. not necessarily matches, but
can
).
infix "and"
(other:
EDC_EXPRESSION
):
EDC_EXPRESSION
infix "or"
(other:
EDC_EXPRESSION
):
EDC_EXPRESSION
prefix "not"
:
EDC_EXPRESSION
accept
(visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
left
:
EDC_TYPED_VALUE
[N_]
writable attribute
top
right
:
EDC_TYPED_VALUE
[N_]
writable attribute
top
can_call
:
BOOLEAN
effective function
top
open_count
:
INTEGER_32
effective function
top
matches
(a_columns:
TRAVERSABLE
[
EDC_COLUMN
], a_data:
TRAVERSABLE
[
EDC_DATUM
]):
BOOLEAN
effective function
top
True if the expression matches for the given columns and data.
require
a_columns.count = a_data.count
can_match
(a_column:
EDC_COLUMN
):
BOOLEAN
effective function
top
True if the expression
can match
for the column
a_column
(i.e. not necessarily matches, but
can
).
infix "and"
(other:
EDC_EXPRESSION
):
EDC_EXPRESSION
effective function
top
require
other /= Void
ensure
Result /= Void
infix "or"
(other:
EDC_EXPRESSION
):
EDC_EXPRESSION
effective function
top
require
other /= Void
ensure
Result /= Void
prefix "not"
:
EDC_EXPRESSION
effective function
top
ensure
Result /= Void
accept
(visitor:
ESE_VISITOR
)
deferred procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void