Package net.hydromatic.morel.compile

Class Compiles

java.lang.Object

net.hydromatic.morel.compile.Compiles

public abstract class Compiles
extends Object

Helpers for Compiler and TypeResolver.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Compiles.PatternBinder	Visitor that adds a Binding each time it see an Core.IdPat or Core.AsPat.

Constructor Summary

Constructors

Constructor	Description
Compiles()

Method Summary

Modifier and Type	Method	Description
static void	acceptBinding(TypeSystem typeSystem, Core.Pat pat, List<Binding> bindings)	Visits a pattern, adding bindings to a list.
static void	bindDataType(TypeSystem typeSystem, List<Binding> bindings, DataType dataType)
(package private) static Compiles.PatternBinder	binding(TypeSystem typeSystem, List<Binding> bindings)
(package private) static void	bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.DatatypeDecl datatypeDecl)
(package private) static void	bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.NamedPat namedPat)
(package private) static void	bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.Pat pat)
(package private) static void	bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.ValDecl valDecl)	Richer than bindPattern(TypeSystem, List, Core.Pat) because we have the expression.
private static void	checkPatternCoverage(TypeSystem typeSystem, Core.Case kase, Consumer<CompileException> errorConsumer, Consumer<CompileException> warningConsumer)
private static void	checkPatternCoverage(TypeSystem typeSystem, Core.Decl decl, Consumer<CompileException> warningConsumer)	Checks for exhaustive and redundant patterns, and throws if there are errors/warnings.
private static @Nullable Core.NamedPat	getSkipPat(Ast.Decl decl, Core.Decl coreDecl)	Returns a pattern that should not be printed, or null.
private static CompiledStatement	prepareDecl(TypeSystem typeSystem, Session session, Environment env, @Nullable Calcite calcite, Ast.Decl decl, Consumer<CompileException> warningConsumer, Tracer tracer)	Validates and compiles a declaration, and compiles it to code that can be evaluated by the interpreter.
static CompiledStatement	prepareStatement(TypeSystem typeSystem, Session session, Environment env, AstNode statement, @Nullable Calcite calcite, Consumer<CompileException> warningConsumer, Tracer tracer)	Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.
static Ast.Decl	toDecl(AstNode statement)	Converts an expression or declaration to a declaration.
static Core.Exp	toExp(Core.NonRecValDecl decl)	Converts val = e to e; the converse of toValDecl(Ast.Exp).
static Ast.ValDecl	toValDecl(Ast.Exp statement)	Converts e to val = e.
static Ast.ValDecl	toValDecl(AstNode statement)	Converts an expression or value declaration to a value declaration.
static TypeResolver.Resolved	validateExpression(AstNode statement, Map<Prop,Object> propMap, Map<String,ForeignValue> valueMap)	Validates an expression or declaration, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.

Methods inherited from class java.lang.Object

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

Constructor Details

Compiles

public Compiles()

Method Details

validateExpression

public static TypeResolver.Resolved validateExpression(AstNode statement,
 Map<Prop,Object> propMap,
 Map<String,ForeignValue> valueMap)

Validates an expression or declaration, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.

Used for testing.

prepareStatement

public static CompiledStatement prepareStatement(TypeSystem typeSystem,
 Session session,
 Environment env,
 AstNode statement,
 @Nullable Calcite calcite,
 Consumer<CompileException> warningConsumer,
 Tracer tracer)

Validates and compiles a statement (expression or declaration), and compiles it to code that can be evaluated by the interpreter.

prepareDecl

private static CompiledStatement prepareDecl(TypeSystem typeSystem,
 Session session,
 Environment env,
 @Nullable Calcite calcite,
 Ast.Decl decl,
 Consumer<CompileException> warningConsumer,
 Tracer tracer)

Validates and compiles a declaration, and compiles it to code that can be evaluated by the interpreter.

getSkipPat

private static @Nullable Core.NamedPat getSkipPat(Ast.Decl decl,
 Core.Decl coreDecl)

Returns a pattern that should not be printed, or null.

Consider the two declarations:

   val it as (x, y) = (5, 6);
   val (x, y) = (5, 6);
 

coreDecl is the same for both. For the first, we should print

   val it = (5,6) : int * int
   val x = 5 : int
   val x = 6 : int
 

but for the second we should skip it, as follows:

   val x = 5 : int
   val x = 6 : int
 

checkPatternCoverage

private static void checkPatternCoverage(TypeSystem typeSystem,
 Core.Decl decl,
 Consumer<CompileException> warningConsumer)

Checks for exhaustive and redundant patterns, and throws if there are errors/warnings.

checkPatternCoverage

private static void checkPatternCoverage(TypeSystem typeSystem,
 Core.Case kase,
 Consumer<CompileException> errorConsumer,
 Consumer<CompileException> warningConsumer)

toValDecl

public static Ast.ValDecl toValDecl(Ast.Exp statement)

Converts e to val = e.

toValDecl

public static Ast.ValDecl toValDecl(AstNode statement)

Converts an expression or value declaration to a value declaration.

toDecl

public static Ast.Decl toDecl(AstNode statement)

Converts an expression or declaration to a declaration.

toExp

public static Core.Exp toExp(Core.NonRecValDecl decl)

Converts val = e to e; the converse of toValDecl(Ast.Exp).

bindPattern

static void bindPattern(TypeSystem typeSystem,
 List<Binding> bindings,
 Core.DatatypeDecl datatypeDecl)

bindPattern

static void bindPattern(TypeSystem typeSystem,
 List<Binding> bindings,
 Core.ValDecl valDecl)

Richer than bindPattern(TypeSystem, List, Core.Pat) because we have the expression.

bindPattern

static void bindPattern(TypeSystem typeSystem,
 List<Binding> bindings,
 Core.Pat pat)

bindPattern

static void bindPattern(TypeSystem typeSystem,
 List<Binding> bindings,
 Core.NamedPat namedPat)

bindDataType

public static void bindDataType(TypeSystem typeSystem,
 List<Binding> bindings,
 DataType dataType)

binding

static Compiles.PatternBinder binding(TypeSystem typeSystem,
 List<Binding> bindings)

acceptBinding

public static void acceptBinding(TypeSystem typeSystem,
 Core.Pat pat,
 List<Binding> bindings)

Visits a pattern, adding bindings to a list.

If the pattern is an Core.IdPat, don't use this method: just bind directly.