Package org.elasticsearch.xpack.esql.optimizer.rules.logical.promql

Class PromqlAttributesTranslationContext.SynthesizedAttributes

java.lang.Object

org.elasticsearch.xpack.esql.optimizer.rules.logical.promql.PromqlAttributesTranslationContext.SynthesizedAttributes

Enclosing class:

PromqlAttributesTranslationContext

public static final class PromqlAttributesTranslationContext.SynthesizedAttributes
extends Object

The synthesized attribute: the labels a subtree exposes, folded up the aggregate chain. A SynthesizedAttributes is seeded at the leaf (PromqlAttributesTranslationContext.InheritedAttributes.reflect(), of(java.util.List<org.elasticsearch.xpack.esql.core.expression.Attribute>), none()) and folded by each aggregate (foldIncluding(java.util.List<org.elasticsearch.xpack.esql.core.expression.Attribute>, org.elasticsearch.xpack.esql.optimizer.rules.logical.promql.PromqlAttributesTranslationContext.SynthesizedAttributes)/foldExcluding(java.util.List<org.elasticsearch.xpack.esql.core.expression.Attribute>, org.elasticsearch.xpack.esql.optimizer.rules.logical.promql.PromqlAttributesTranslationContext.SynthesizedAttributes)) until it is translated into a physical PromqlAttributesTranslationContext.ResolvedAttributes.

Method Summary

Modifier and Type	Method	Description
List<Attribute>	declared()	The concrete labels this shape exposes - used to resolve an aggregate stacked directly on top of it.
static PromqlAttributesTranslationContext.SynthesizedAttributes	foldExcluding(List<Attribute> removed, PromqlAttributesTranslationContext.SynthesizedAttributes child)	Fold WITHOUT(E) over the child shape: drop the excluded labels (child.G \ E) and accumulate the exclusions (child.X | E).
static PromqlAttributesTranslationContext.SynthesizedAttributes	foldIncluding(List<Attribute> promised, PromqlAttributesTranslationContext.SynthesizedAttributes child)	Fold BY(W) over the child shape: keep the BY keys the child actually exposes (child.G & W), but remember the full W so translate(java.util.List<org.elasticsearch.xpack.esql.core.expression.Attribute>) can null-fill any that are missing.
boolean	hasDeclared()	Whether this shape exposes any concrete label that an outer binary operator could match on.
boolean	hasExclusions()	Whether this subtree contains a WITHOUT, i.e.
static PromqlAttributesTranslationContext.SynthesizedAttributes	none()	The shape of a subtree that exposes no specific grouping (a literal selector, a scalar, a bare NONE aggregate).
static PromqlAttributesTranslationContext.SynthesizedAttributes	of(List<Attribute> labels)	A shape built directly from a known label set, e.g., a bare selector's output.
PromqlAttributesTranslationContext.ResolvedAttributes	translate(List<Attribute> childColumns)	Translate an aggregate stacked on top of another aggregate, binding it to the child plan's resolved childColumns (runtime data, available only once the child has been translated).
PromqlAttributesTranslationContext.ResolvedAttributes	translateLeaf(List<Attribute> pathExclusions)	Translate the innermost aggregate, whose child is the raw selector and which therefore owns the single physical _timeseries grouping.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

none

public static PromqlAttributesTranslationContext.SynthesizedAttributes none()

The shape of a subtree that exposes no specific grouping (a literal selector, a scalar, a bare NONE aggregate). It carries the SCALAR sentinel: top-like for set operations (so a BY stacked directly on top keeps its declared keys) but, unlike T, it does not materialise a _timeseries grouping.

of

public static PromqlAttributesTranslationContext.SynthesizedAttributes of(List<Attribute> labels)

A shape built directly from a known label set, e.g., a bare selector's output.

foldIncluding

public static PromqlAttributesTranslationContext.SynthesizedAttributes foldIncluding(List<Attribute> promised,
 PromqlAttributesTranslationContext.SynthesizedAttributes child)

Fold BY(W) over the child shape: keep the BY keys the child actually exposes (child.G & W), but remember the full W so translate(java.util.List<org.elasticsearch.xpack.esql.core.expression.Attribute>) can null-fill any that are missing. A BY clears exclusions because it groups by concrete labels.

foldExcluding

public static PromqlAttributesTranslationContext.SynthesizedAttributes foldExcluding(List<Attribute> removed,
 PromqlAttributesTranslationContext.SynthesizedAttributes child)

Fold WITHOUT(E) over the child shape: drop the excluded labels (child.G \ E) and accumulate the exclusions (child.X | E).

translateLeaf

public PromqlAttributesTranslationContext.ResolvedAttributes translateLeaf(List<Attribute> pathExclusions)

Translate the innermost aggregate, whose child is the raw selector and which therefore owns the single physical _timeseries grouping. Labels resolve against this shape's own grouping; the dimensions to exclude are the full path exclusions supplied by the matching PromqlAttributesTranslationContext.InheritedAttributes.pathExclusions().

translate

public PromqlAttributesTranslationContext.ResolvedAttributes translate(List<Attribute> childColumns)

Translate an aggregate stacked on top of another aggregate, binding it to the child plan's resolved childColumns (runtime data, available only once the child has been translated). Labels resolve against those columns; an empty list means "trust this shape as-is".

declared

public List<Attribute> declared()

The concrete labels this shape exposes - used to resolve an aggregate stacked directly on top of it.

hasDeclared

public boolean hasDeclared()

Whether this shape exposes any concrete label that an outer binary operator could match on.

hasExclusions

public boolean hasExclusions()

Whether this subtree contains a WITHOUT, i.e. its _timeseries hides dimensions to pack around.