compiler

Type Members

class AssignUniqueSymbols extends Phase

Ensure that all symbol definitions in a tree are unique.
abstract class CodeGen extends Phase

A standard skeleton for a code generator phase.
class CompilerState extends AnyRef

The current state of a compiler run, consisting of the current AST and additional immutable state of individual phases.
class CreateAggregates extends Phase

Rewrite aggregation function calls to Aggregate nodes.
class CreateResultSetMapping extends Phase

Create a ResultSetMapping root node, ensure that the top-level server-side node returns a collection, and hoist client-side type conversions into the ResultSetMapping.
class EmulateOuterJoins extends Phase

An optional phase which rewrites outer joins into more commonly supported operations for use on databases that lack outer join support.
class ExpandRecords extends Phase

Expand paths of record types to reference all fields individually and recreate the record structure at the call site.
class ExpandSums extends Phase

Expand sum types and their catamorphisms to equivalent product type operations.
class ExpandTables extends Phase

Expand table-valued expressions in the result type to their star projection and compute the missing structural expansions of table types.
class FixRowNumberOrdering extends Phase

Inject the proper orderings into the RowNumber nodes produced earlier by the resolveFixJoins phase.
class FlattenProjections extends Phase

Flatten all Pure node contents into a single StructNode.
class ForceOuterBinds extends Phase

Ensure that all collection operations are wrapped in a Bind so that we have a place for expanding references later.
class HoistClientOps extends Phase

Lift applicable operations at the top level to the client side.
class InferTypes extends Phase

Infer all missing types.
class InsertCompiler extends Phase

A custom compiler for INSERT statements.
class MergeToComprehensions extends Phase

This phase merges nested nodes of types Bind, Filter, GroupBy, SortBy, Take, Drop, CollectionCast and Distinct to Comprehension nodes.
class OptimizeScalar extends Phase

Optimize scalar expressions
trait Phase extends (CompilerState) ⇒ CompilerState with Logging

A phase of the query compiler, identified by a unique name
class PruneProjections extends Phase

Remove unreferenced fields from StructNodes.
class QueryCompiler extends Logging

An immutable, stateless query compiler consisting of a series of phases
class RelabelUnions extends Phase

Assign the AnonSymbols of fields from the left side of a Union to the right side.
class RemoveFieldNames extends Phase

Convert unreferenced StructNodes to single columns or ProductNodes (which is needed for aggregation functions and at the top level).
class RemoveMappedTypes extends Phase

Remove all mapped types from the tree and store the original top-level type as the phase state to be used later for building the ResultSetMapping.
class RemoveTakeDrop extends Phase

Replace all occurrences of Take and Drop with row number computations based on zipWithIndex operations.
class ReorderOperations extends Phase

Reorder certain stream operations for more efficient merging in mergeToComprehensions.
class ResolveZipJoins extends Phase

Rewrite zip joins into a form suitable for SQL using inner joins and RowNumber columns.
class RewriteBooleans extends Phase

For SQL back-ends which do not support real boolean types for fields and general expressions but which do have special boolean expressions and operators, this phase injects conversions between fake and real boolean values.
class RewriteDistinct extends Phase

Rewrite "distinct on" to "distinct" or "group by"
class RewriteJoins extends Phase

Rewrite monadic joins to applicative joins.
class SpecializeParameters extends Phase

Specialize the AST for edge cases of query parameters.
case class UsedFeatures(distinct: Boolean, typeMapping: Boolean, aggregate: Boolean, nonPrimitiveOption: Boolean) extends Product with Serializable
class VerifySymbols extends Phase

Verify that all monadic joins have been transformed into applicative joins and that the resulting tree does not contain references to unreachable symbols.
class VerifyTypes extends Phase

Optional phase which verifies that retyping the tree does not change any types.

Value Members

object CodeGen
object InsertCompiler
object Phase

The Phase companion objects contains ready-to-use Phase objects for the standard phases of the query compiler
object QueryCompiler
object RewriteBooleans

package compiler

Type Members

class AssignUniqueSymbols extends Phase

abstract class CodeGen extends Phase

class CompilerState extends AnyRef

class CreateAggregates extends Phase

class CreateResultSetMapping extends Phase

class EmulateOuterJoins extends Phase

class ExpandRecords extends Phase

class ExpandSums extends Phase

class ExpandTables extends Phase

class FixRowNumberOrdering extends Phase

class FlattenProjections extends Phase

class ForceOuterBinds extends Phase

class HoistClientOps extends Phase

class InferTypes extends Phase

class InsertCompiler extends Phase

class MergeToComprehensions extends Phase

class OptimizeScalar extends Phase

trait Phase extends (CompilerState) ⇒ CompilerState with Logging

class PruneProjections extends Phase

class QueryCompiler extends Logging

class RelabelUnions extends Phase

class RemoveFieldNames extends Phase

class RemoveMappedTypes extends Phase

class RemoveTakeDrop extends Phase

class ReorderOperations extends Phase

class ResolveZipJoins extends Phase

class RewriteBooleans extends Phase

class RewriteDistinct extends Phase

class RewriteJoins extends Phase

class SpecializeParameters extends Phase

case class UsedFeatures(distinct: Boolean, typeMapping: Boolean, aggregate: Boolean, nonPrimitiveOption: Boolean) extends Product with Serializable

class VerifySymbols extends Phase

class VerifyTypes extends Phase

Value Members

object CodeGen

object InsertCompiler

object Phase

object QueryCompiler

object RewriteBooleans

Inherited from AnyRef

Inherited from Any

Ungrouped