io.github.libtmux.query.FilterExpr.FilterExpr

interface io.github.libtmux.query.FilterExpr.FilterExpr

interface [source] ¶

interface [source] ¶

interface io.github.libtmux.query.FilterExpr.FilterExpr

A filter that is both runnable and readable.

<p>It extends Predicate , so stream().filter(expr) works with no adapter, and it is a sealed tree of records, so the same value can be printed, serialized, or later compiled into a tmux -f filter. A lambda can do the first of those and none of the rest, which is why named expressions are built from these nodes instead.

<p>Evaluation is a total function over the tree: every consumer switches exhaustively, so adding a node breaks compilation at each site that has to learn about it rather than at runtime.

Members

• Quantifier enum
• and method
• describe method Renders the expression as inspectable text. Deliberately not toString on records.
• negate method Negation, narrowed to an expression.
• or method
• And struct Conjunction. An empty conjunction is true, which is what makes it a safe identity.
• Compare struct One scalar field compared to one operand.
• Not struct
• Or struct Disjunction. An empty disjunction is false.
• ToMany struct A quantified filter over a to-many relation.
• ToOne struct A to-one relation. An absent target does not satisfy the filter.