Uses of Class
net.hydromatic.morel.compile.CompileException

Packages that use CompileException

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of CompileException in net.hydromatic.morel.compile

Subclasses of CompileException in net.hydromatic.morel.compile

Modifier and Type	Class	Description
static class	TypeResolver.TypeException	Error while deducing type.

Fields in net.hydromatic.morel.compile with type parameters of type CompileException

Modifier and Type	Field	Description
private final Consumer<CompileException>	TypeResolver.warningConsumer

Methods in net.hydromatic.morel.compile with parameters of type CompileException

Modifier and Type	Method	Description
boolean	Tracer.handleCompileException(@Nullable CompileException e)	Called with the exception thrown during validation, or null if no exception was thrown.
boolean	Tracers.DelegatingTracer.handleCompileException(@Nullable CompileException e)
boolean	Tracers.EmptyTracer.handleCompileException(@Nullable CompileException e)

Method parameters in net.hydromatic.morel.compile with type arguments of type CompileException

Modifier and Type	Method	Description
private static void	Compiles.checkPatternCoverage(TypeSystem typeSystem, Core.Case kase, Consumer<CompileException> errorConsumer, Consumer<CompileException> warningConsumer)
private static void	Compiles.checkPatternCoverage(TypeSystem typeSystem, Core.Decl decl, Consumer<CompileException> warningConsumer)	Checks for exhaustive and redundant patterns, and throws if there are errors/warnings.
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem, Consumer<CompileException> warningConsumer)	Deduces the datatype of a declaration.
private static CompiledStatement	Compiles.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	Compiles.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 TypeResolver.Resolved	Compiles.validateExpression(AstNode statement, Map<Prop,Object> propMap, Map<String,ForeignValue> valueMap, Consumer<CompileException> warningConsumer)	Validates an expression or declaration, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.
static Tracer	Tracers.withOnCompileException(Tracer tracer, Consumer<CompileException> consumer)

Constructor parameters in net.hydromatic.morel.compile with type arguments of type CompileException

Modifier	Constructor	Description
private	TypeResolver(TypeSystem typeSystem, Consumer<CompileException> warningConsumer)