org.teavm.flavour.expr

Class Compiler

java.lang.Object

org.teavm.flavour.expr.Compiler

public class Compiler
extends Object

Compiles AST into execution plan, performing type checks.

Author:

Alexey Andreev

Constructor Summary

Constructors

Constructor and Description
Compiler(ClassDescriberRepository classRepository, ClassResolver classResolver, Scope scope)

Method Summary

Modifier and Type	Method and Description
TypedPlan	compile(Expr expr) Compiles AST of expression into execution plan.
TypedPlan	compile(Expr expr, ValueType type) Compiles AST of expression to execution plan.
TypedPlan	compileLambda(Expr expr, GenericClass cls)
List<Diagnostic>	getDiagnostics()
boolean	wasSuccessful()

Methods inherited from class java.lang.Object

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

Constructor Detail

Compiler

public Compiler(ClassDescriberRepository classRepository,
                ClassResolver classResolver,
                Scope scope)

Method Detail

compile

public TypedPlan compile(Expr expr)

Compiles AST of expression into execution plan. Equivalent to compile(expr, null).

Parameters:

expr - expression AST to compile.

Returns:

evaluation plan and its type.

compile

public TypedPlan compile(Expr expr,
                         ValueType type)

Compiles AST of expression to execution plan. If during compilation there were type errors, wasSuccessful() method will return false and getDiagnostics() will return the full list of found errors. Tries to implicitly cast expression result to the given type, if specified. If this cast is unsuccessful, compiler reports type error.

Parameters:

expr - expression AST to compile.

type - if not null, compiler will try to cast expression result to this type.

Returns:

evaluation plan and its type.

compileLambda

public TypedPlan compileLambda(Expr expr,
                               GenericClass cls)

getDiagnostics

public List<Diagnostic> getDiagnostics()

wasSuccessful

public boolean wasSuccessful()