Package org.teavm.backend.wasm.generate.methods

Class BaseWasmGenerationVisitor

java.lang.Object

org.teavm.backend.wasm.generate.methods.BaseWasmGenerationVisitor

All Implemented Interfaces:

ExprVisitor, StatementVisitor

Direct Known Subclasses:

WasmGCGenerationVisitor

public abstract class BaseWasmGenerationVisitor
extends Object
implements StatementVisitor, ExprVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	BaseWasmGenerationVisitor.CallSiteIdentifier

Field Summary

Fields

Modifier and Type	Field	Description
protected int	blockLevel
protected final MethodReference	currentMethod
protected final ExpressionCache	exprCache
protected final WasmFunction	function
protected WasmExpression	result
protected List<WasmExpression>	resultConsumer
protected final TemporaryVariablePool	tempVars
protected final WasmTypeInference	typeInference

Constructor Summary

Constructors

Constructor	Description
BaseWasmGenerationVisitor(BaseWasmGenerationContext context, MethodReference currentMethod, WasmFunction function, int firstVariable, boolean async)

Method Summary

Modifier and Type	Method	Description
protected void	accept(Expr expr)
protected void	accept(Expr expr, WasmType type)
protected void	accept(Statement statement)
protected void	acceptWithType(Expr expr, ValueType type)
protected abstract WasmExpression	allocateMultiArray(List<WasmExpression> target, ValueType arrayType, Supplier<List<WasmExpression>> dimensions, TextLocation location)
protected abstract void	allocateObject(String className, TextLocation location, WasmLocal local, List<WasmExpression> target)
protected void	checkExceptionType(TryCatchStatement tryCatch, WasmLocal exceptionVar, List<WasmExpression> target, WasmBlock targetBlock)
protected abstract WasmExpression	classLiteral(ValueType type)
protected WasmType	condBlockType(WasmType thenType, WasmType elseType, ConditionalExpr conditional)
protected WasmExpression	forceType(WasmExpression expression, ValueType type)
void	generate(Statement statement, List<WasmExpression> target)
protected abstract WasmExpression	generateArrayLength(WasmExpression array)
protected abstract BaseWasmGenerationVisitor.CallSiteIdentifier	generateCallSiteId(TextLocation location)
protected abstract WasmExpression	generateClassInitializer(String className, TextLocation location)
protected abstract WasmExpression	generateInstanceOf(WasmExpression expression, ValueType type)
protected WasmExpression	generateInvocation(InvocationExpr expr, BaseWasmGenerationVisitor.CallSiteIdentifier callSiteId)
protected abstract void	generateThrow(WasmExpression expression, TextLocation location, List<WasmExpression> target)
protected abstract void	generateThrowAIOOBE(TextLocation location, List<WasmExpression> target)
protected abstract void	generateThrowCCE(TextLocation location, List<WasmExpression> target)
protected abstract void	generateThrowNPE(TextLocation location, List<WasmExpression> target)
protected void	generateTry(List<TryCatchStatement> tryCatchStatements, List<Statement> protectedBody)
protected abstract WasmExpression	generateVirtualCall(WasmLocal instance, MethodReference method, List<WasmExpression> arguments)
protected abstract WasmExpression	genIsNull(WasmExpression value)
protected WasmExpression	invocation(InvocationExpr expr, List<WasmExpression> resultConsumer, boolean willDrop)
protected final boolean	isAsync()
protected boolean	isAsyncSplit(MethodReference methodRef)
protected abstract boolean	isManaged()
protected abstract boolean	isManagedCall(MethodReference method)
protected WasmLocal	localVar(int index)
protected WasmExpression	mapFirstArgumentForCall(WasmExpression argument, WasmFunction function, MethodReference method)
protected abstract WasmType	mapType(ValueType type)
protected final WasmBlockType	mapTypeToBlock(ValueType type)
void	monitorEnter(WasmExpression obj, TextLocation location, List<WasmExpression> consumer)
void	monitorExit(WasmExpression obj, TextLocation location, List<WasmExpression> consumer)
protected boolean	needsCallSiteId()
protected abstract boolean	needsClassInitializer(String className)
protected WasmExpression	nullCheck(Expr value, TextLocation location)
protected abstract WasmExpression	nullLiteral(Expr expr)
protected abstract WasmExpression	nullLiteral(WasmType type)
protected void	processCallArguments(InvocationExpr expr, List<WasmExpression> arguments)
void	setReturnBlock(WasmBlock returnBlock)
protected abstract WasmExpression	storeArrayItem(WasmExpression array, WasmExpression index, Expr value, ArrayType type)
protected abstract void	storeField(Expr qualified, FieldReference field, Expr value, TextLocation location)
protected abstract WasmExpression	stringLiteral(String s)
protected WasmExpression	unwrapArray(WasmExpression array)
void	visit(AssignmentStatement statement)
void	visit(BinaryExpr expr)
void	visit(BlockStatement statement)
void	visit(BoundCheckExpr expr)
void	visit(BreakStatement statement)
void	visit(CastExpr expr)
void	visit(ConditionalExpr expr)
void	visit(ConditionalStatement statement)
void	visit(ConstantExpr expr)
void	visit(ContinueStatement statement)
void	visit(GotoPartStatement statement)
void	visit(InitClassStatement statement)
void	visit(InstanceOfExpr expr)
void	visit(MonitorEnterStatement statement)
void	visit(MonitorExitStatement statement)
void	visit(NewExpr expr)
void	visit(NewMultiArrayExpr expr)
void	visit(PrimitiveCastExpr expr)
void	visit(ReturnStatement statement)
void	visit(SequentialStatement statement)
void	visit(SwitchStatement statement)
void	visit(ThrowStatement statement)
void	visit(TryCatchStatement statement)
void	visit(UnaryExpr expr)
void	visit(UnwrapArrayExpr expr)
void	visit(VariableExpr expr)
void	visit(WhileStatement statement)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.teavm.ast.ExprVisitor

visit, visit, visit, visit, visit

Field Details

currentMethod

protected final MethodReference currentMethod

typeInference

protected final WasmTypeInference typeInference

function

protected final WasmFunction function

tempVars

protected final TemporaryVariablePool tempVars

exprCache

protected final ExpressionCache exprCache

result

protected WasmExpression result

resultConsumer

protected List<WasmExpression> resultConsumer

blockLevel

protected int blockLevel

Constructor Details

BaseWasmGenerationVisitor

public BaseWasmGenerationVisitor(BaseWasmGenerationContext context,
 MethodReference currentMethod,
 WasmFunction function,
 int firstVariable,
 boolean async)

Method Details

setReturnBlock

public void setReturnBlock(WasmBlock returnBlock)

generate

public void generate(Statement statement,
 List<WasmExpression> target)

accept

protected void accept(Expr expr)

accept

protected void accept(Statement statement)

visit

public void visit(BinaryExpr expr)

Specified by:

visit in interface ExprVisitor

visit

public void visit(UnaryExpr expr)

Specified by:

visit in interface ExprVisitor

isManaged

protected abstract boolean isManaged()

isManagedCall

protected abstract boolean isManagedCall(MethodReference method)

nullCheck

protected WasmExpression nullCheck(Expr value,
 TextLocation location)

generateThrowNPE

protected abstract void generateThrowNPE(TextLocation location,
 List<WasmExpression> target)

generateArrayLength

protected abstract WasmExpression generateArrayLength(WasmExpression array)

visit

public void visit(AssignmentStatement statement)

Specified by:

visit in interface StatementVisitor

storeField

protected abstract void storeField(Expr qualified,
 FieldReference field,
 Expr value,
 TextLocation location)

storeArrayItem

protected abstract WasmExpression storeArrayItem(WasmExpression array,
 WasmExpression index,
 Expr value,
 ArrayType type)

visit

public void visit(ConditionalExpr expr)

Specified by:

visit in interface ExprVisitor

condBlockType

protected WasmType condBlockType(WasmType thenType,
 WasmType elseType,
 ConditionalExpr conditional)

visit

public void visit(SequentialStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(ConstantExpr expr)

Specified by:

visit in interface ExprVisitor

nullLiteral

protected abstract WasmExpression nullLiteral(Expr expr)

nullLiteral

protected abstract WasmExpression nullLiteral(WasmType type)

stringLiteral

protected abstract WasmExpression stringLiteral(String s)

classLiteral

protected abstract WasmExpression classLiteral(ValueType type)

visit

public void visit(ConditionalStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(VariableExpr expr)

Specified by:

visit in interface ExprVisitor

localVar

protected WasmLocal localVar(int index)

visit

public void visit(SwitchStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(WhileStatement statement)

Specified by:

visit in interface StatementVisitor

invocation

protected WasmExpression invocation(InvocationExpr expr,
 List<WasmExpression> resultConsumer,
 boolean willDrop)

generateCallSiteId

protected abstract BaseWasmGenerationVisitor.CallSiteIdentifier generateCallSiteId(TextLocation location)

acceptWithType

protected void acceptWithType(Expr expr,
 ValueType type)

accept

protected void accept(Expr expr,
 WasmType type)

generateInvocation

protected WasmExpression generateInvocation(InvocationExpr expr,
 BaseWasmGenerationVisitor.CallSiteIdentifier callSiteId)

processCallArguments

protected void processCallArguments(InvocationExpr expr,
 List<WasmExpression> arguments)

mapFirstArgumentForCall

protected WasmExpression mapFirstArgumentForCall(WasmExpression argument,
 WasmFunction function,
 MethodReference method)

generateVirtualCall

protected abstract WasmExpression generateVirtualCall(WasmLocal instance,
 MethodReference method,
 List<WasmExpression> arguments)

needsCallSiteId

protected boolean needsCallSiteId()

visit

public void visit(BlockStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(BreakStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(ContinueStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(NewExpr expr)

Specified by:

visit in interface ExprVisitor

allocateObject

protected abstract void allocateObject(String className,
 TextLocation location,
 WasmLocal local,
 List<WasmExpression> target)

allocateMultiArray

protected abstract WasmExpression allocateMultiArray(List<WasmExpression> target,
 ValueType arrayType,
 Supplier<List<WasmExpression>> dimensions,
 TextLocation location)

visit

public void visit(NewMultiArrayExpr expr)

Specified by:

visit in interface ExprVisitor

visit

public void visit(ReturnStatement statement)

Specified by:

visit in interface StatementVisitor

forceType

protected WasmExpression forceType(WasmExpression expression,
 ValueType type)

visit

public void visit(InstanceOfExpr expr)

Specified by:

visit in interface ExprVisitor

generateInstanceOf

protected abstract WasmExpression generateInstanceOf(WasmExpression expression,
 ValueType type)

visit

public void visit(ThrowStatement statement)

Specified by:

visit in interface StatementVisitor

generateThrow

protected abstract void generateThrow(WasmExpression expression,
 TextLocation location,
 List<WasmExpression> target)

visit

public void visit(CastExpr expr)

Specified by:

visit in interface ExprVisitor

visit

public void visit(InitClassStatement statement)

Specified by:

visit in interface StatementVisitor

needsClassInitializer

protected abstract boolean needsClassInitializer(String className)

generateClassInitializer

protected abstract WasmExpression generateClassInitializer(String className,
 TextLocation location)

visit

public void visit(PrimitiveCastExpr expr)

Specified by:

visit in interface ExprVisitor

visit

public void visit(TryCatchStatement statement)

Specified by:

visit in interface StatementVisitor

generateTry

protected void generateTry(List<TryCatchStatement> tryCatchStatements,
 List<Statement> protectedBody)

checkExceptionType

protected void checkExceptionType(TryCatchStatement tryCatch,
 WasmLocal exceptionVar,
 List<WasmExpression> target,
 WasmBlock targetBlock)

visit

public void visit(GotoPartStatement statement)

Specified by:

visit in interface StatementVisitor

visit

public void visit(MonitorEnterStatement statement)

Specified by:

visit in interface StatementVisitor

monitorEnter

public void monitorEnter(WasmExpression obj,
 TextLocation location,
 List<WasmExpression> consumer)

visit

public void visit(MonitorExitStatement statement)

Specified by:

visit in interface StatementVisitor

monitorExit

public void monitorExit(WasmExpression obj,
 TextLocation location,
 List<WasmExpression> consumer)

visit

public void visit(BoundCheckExpr expr)

Specified by:

visit in interface ExprVisitor

generateThrowAIOOBE

protected abstract void generateThrowAIOOBE(TextLocation location,
 List<WasmExpression> target)

generateThrowCCE

protected abstract void generateThrowCCE(TextLocation location,
 List<WasmExpression> target)

genIsNull

protected abstract WasmExpression genIsNull(WasmExpression value)

mapType

protected abstract WasmType mapType(ValueType type)

unwrapArray

protected WasmExpression unwrapArray(WasmExpression array)

mapTypeToBlock

protected final WasmBlockType mapTypeToBlock(ValueType type)

visit

public void visit(UnwrapArrayExpr expr)

Specified by:

visit in interface ExprVisitor

isAsyncSplit

protected boolean isAsyncSplit(MethodReference methodRef)

isAsync

protected final boolean isAsync()