Package net.hydromatic.morel.ast

Class Ast.Query

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Ast.Exp

net.hydromatic.morel.ast.Ast.Query

Direct Known Subclasses:

Ast.Exists, Ast.Forall, Ast.From

Enclosing class:

Ast

public abstract static class Ast.Query
extends Ast.Exp

Base class for "from", "exists" or "forall" expression.

Field Summary

Fields

Modifier and Type	Field	Description
final com.google.common.collect.ImmutableList<Ast.FromStep>	steps

Fields inherited from class net.hydromatic.morel.ast.AstNode

op, pos

Constructor Summary

Constructors

Constructor	Description
Query(Pos pos, Op op, com.google.common.collect.ImmutableList<Ast.FromStep> steps)

Method Summary

Modifier and Type	Method	Description
abstract Ast.Query	copy(List<Ast.FromStep> steps)	Creates a copy of this From or Exists with given contents, or this if the contents are the same.
boolean	isCompute()	Returns whether this from expression ends with a compute step.
boolean	isInto()	Returns whether this from expression ends with as into step.
(package private) AstWriter	unparse(AstWriter w, int left, int right)

Methods inherited from class net.hydromatic.morel.ast.Ast.Exp

accept, args, forEachArg

Methods inherited from class net.hydromatic.morel.ast.AstNode

accept, toString, unparse

Methods inherited from class java.lang.Object

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

Field Details

steps

public final com.google.common.collect.ImmutableList<Ast.FromStep> steps

Constructor Details

Query

Query(Pos pos,
 Op op,
 com.google.common.collect.ImmutableList<Ast.FromStep> steps)

Method Details

unparse

AstWriter unparse(AstWriter w,
 int left,
 int right)

Specified by:

unparse in class AstNode

copy

public abstract Ast.Query copy(List<Ast.FromStep> steps)

Creates a copy of this From or Exists with given contents, or this if the contents are the same.

isCompute

public boolean isCompute()

Returns whether this from expression ends with a compute step. If so, it is a monoid comprehension, not a monad comprehension, and its type is a scalar value (or record), not a list.

isInto

public boolean isInto()

Returns whether this from expression ends with as into step. If so, its type is a scalar value (or record), not a list.