FilterOperatorSpec

The single source of what a filter operator needs: its target and arity, the storage capability it requires, how its values are checked, what it costs and how normalization lowers it. Validation, entry gates, normalization and backends read this table instead of restating it.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
Link copied to clipboard

The capability the operator requires in general; requiredCapability refines it for one node.

Link copied to clipboard

The cost of the operator in general; cost refines it for one node when the value matters.

Link copied to clipboard

How normalization lowers the operator, or null when backends implement it as it is.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
Link copied to clipboard

node lowered by its Rewrite; any other node is returned as it is.

Link copied to clipboard

Whether node provably matches every record: MATCH_ALL, DELETION of every state, an AND whose operands all do, or an OR with an operand that does. Any other node is treated as restrictive.

Link copied to clipboard

The capability the field must grant for node; null when the operator names no field capability.

Link copied to clipboard
open override fun toString(): String
Link copied to clipboard

The number of literal values node carries, as Arity.values counts them.