Class TextModuleWriter

java.lang.Object

de.inetsoftware.jwebassembly.module.ModuleWriter

de.inetsoftware.jwebassembly.text.TextModuleWriter

All Implemented Interfaces:

Closeable, AutoCloseable

public class TextModuleWriter
extends ModuleWriter

Module Writer for text format with S-expressions.

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<String,Function>	abstracts
private boolean	callIndirect
private final Set<String>	functionNames
private final Map<String,Function>	functions
private final HashMap<String,AnyType>	globals
private final StringBuilder	imports
private int	inset
private boolean	isImport
private StringBuilder	methodOutput
private final ArrayList<String>	methodParamNames
private final StringBuilder	output
private final WasmTarget	target
private final StringBuilder	typeOutput
private final ArrayList<String>	types
private boolean	useExceptions
private boolean	useTypeClass
private boolean	useTypeString

Fields inherited from class ModuleWriter

dataStream, options

Constructor Summary

Constructors

Constructor	Description
TextModuleWriter(WasmTarget target, WasmOptions options)	Create a new instance.

Method Summary

Modifier and Type	Method	Description
private CharSequence	blockWithResult(String blockName, AnyType result)	Create a the result type for a block instruction
void	close()
private Function	getFunction(FunctionName name)
protected void	markSourceLine(int javaSourceLine)	Mark the current output position with Java code position for crating of a source map.
private void	newline(Appendable output)	Add a newline with the insets.
private String	normalizeName(FunctionName name)	Normalize the function name for the text format
private String	normalizeName(String name)	Normalize the function name for the text format of IDs.
protected void	prepareFinish()	Finish the prepare after all classes/methods are prepare.
protected void	prepareImport(FunctionName name, String importModule, String importName)	Prepare a imported single function in the prepare phase.
protected void	writeArrayOperator(ArrayOperator op, ArrayType type)	Write an array operation.
protected void	writeBlockCode(WasmBlockOperator op, Object data)	Write a block/branch code
protected int	writeBlockType(TypeManager.BlockType type)	Write a block type.
protected void	writeCast(ValueTypeConvertion cast)	Cast a value from one type to another
protected void	writeConst(Number value, ValueType valueType)	Write a constant number value
protected void	writeDefaultValue(AnyType type)	Write the default/initial value for a type.
private void	writeDefaultValue(Appendable output, AnyType type)	Write the default/initial value for type.
protected void	writeException()	Mark to write exceptions
protected void	writeExport(FunctionName name, String exportName)	Write an export directive
protected void	writeFunctionCall(FunctionName name, String comment)	Write a call to a function.
protected void	writeGlobalAccess(boolean load, FunctionName name, AnyType type)	Write a global variable operation
protected void	writeLocal(VariableOperator op, int idx)	Write a local variable operation.
protected void	writeMemoryOperator(MemoryOperator memOp, ValueType valueType, int offset, int alignment)	Write a memory operation for the linear memory.
protected void	writeMethodFinish()	Complete the method
protected void	writeMethodParam(String kind, AnyType valueType, String name)	Write a method parameter.
protected void	writeMethodParamFinish(FunctionName name)	Finish the function parameter.
protected void	writeMethodParamStart(FunctionName name, FunctionType funcType)	Write the method header.
protected void	writeMethodStart(FunctionName name, String sourceFile)	Start the writing of method/function code.
protected void	writeNumericOperator(NumericOperator numOp, ValueType valueType)	Write a add operator
private void	writeParam(StringBuilder output, String kind, AnyType valueType, String name)	Write a parameter to the given output
protected void	writeStructOperator(StructOperator op, AnyType type, NamedStorageType fieldName, int idx)	Write a struct operation
protected int	writeStructType(TypeManager.StructType type)	Write a type/struct.
protected void	writeTable(boolean load, int idx)	Write a table operation.
private void	writeTypeName(Appendable output, AnyType type)	Write the name of a type.
protected void	writeVirtualFunctionCall(FunctionName name, AnyType type)	Write a function call to an instance function.

Methods inherited from class Object

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

Field Details

target

private final WasmTarget target

output

private final StringBuilder output

methodParamNames

private final ArrayList<String> methodParamNames

typeOutput

private final StringBuilder typeOutput

types

private final ArrayList<String> types

methodOutput

private StringBuilder methodOutput

imports

private final StringBuilder imports

functions

private final Map<String,Function> functions

abstracts

private final Map<String,Function> abstracts

functionNames

private final Set<String> functionNames

inset

private int inset

isImport

private boolean isImport

globals

private final HashMap<String,AnyType> globals

useExceptions

private boolean useExceptions

callIndirect

private boolean callIndirect

useTypeString

private boolean useTypeString

useTypeClass

private boolean useTypeClass

Constructor Details

TextModuleWriter

public TextModuleWriter(WasmTarget target,
 WasmOptions options)
                 throws IOException

Create a new instance.

Parameters:

target - target for the result

options - compiler properties

Throws:

IOException - if any I/O error occur

Method Details

close

public void close()
           throws IOException

Throws:

IOException

writeStructType

protected int writeStructType(TypeManager.StructType type)
                       throws IOException

Write a type/struct.

Specified by:

writeStructType in class ModuleWriter

Parameters:

type - the type to declare/write

Returns:

type ID

Throws:

IOException - if any I/O error occur

writeBlockType

protected int writeBlockType(TypeManager.BlockType type)
                      throws IOException

Write a block type.

Specified by:

writeBlockType in class ModuleWriter

Parameters:

type - the type

Returns:

type ID

Throws:

IOException - if any I/O error occur

writeException

protected void writeException()
                       throws IOException

Mark to write exceptions

Specified by:

writeException in class ModuleWriter

Throws:

IOException - if any I/O error occur

prepareFinish

protected void prepareFinish()

Finish the prepare after all classes/methods are prepare. This must be call before we can start with write the first method.

Specified by:

prepareFinish in class ModuleWriter

prepareImport

protected void prepareImport(FunctionName name,
 String importModule,
 String importName)
                      throws IOException

Prepare a imported single function in the prepare phase.

Specified by:

prepareImport in class ModuleWriter

Parameters:

name - the function name

importModule - the import module name if it is a import function

importName - the import name if it is a import function

Throws:

IOException - if any I/O error occur

normalizeName

@Nonnull
private String normalizeName(FunctionName name)

Normalize the function name for the text format

Parameters:

name - the name

Returns:

the normalized name

normalizeName

@Nonnull
private String normalizeName(String name)

Normalize the function name for the text format of IDs. https://webassembly.github.io/spec/core/text/values.html#text-id

Parameters:

name - the name

Returns:

the normalized name

writeExport

protected void writeExport(FunctionName name,
 String exportName)
                    throws IOException

Write an export directive

Specified by:

writeExport in class ModuleWriter

Parameters:

name - the function name

exportName - the export name, if null then the same like the method name

Throws:

IOException - if any I/O error occur

writeTypeName

private void writeTypeName(Appendable output,
 AnyType type)
                    throws IOException

Write the name of a type.

Parameters:

output - the target

type - the type

Throws:

IOException - if any I/O error occur

writeMethodParamStart

protected void writeMethodParamStart(@Nonnull
 FunctionName name,
 FunctionType funcType)
                              throws IOException

Write the method header.

Specified by:

writeMethodParamStart in class ModuleWriter

Parameters:

name - the function name

funcType - the type of function

Throws:

IOException - if any I/O error occur

writeMethodParam

protected void writeMethodParam(String kind,
 AnyType valueType,
 @Nullable
 String name)
                         throws IOException

Write a method parameter.

Specified by:

writeMethodParam in class ModuleWriter

Parameters:

kind - "param", "result" or "local"

valueType - the data type of the parameter

name - optional name of the parameter

Throws:

IOException - if any I/O error occur

writeParam

private void writeParam(StringBuilder output,
 String kind,
 AnyType valueType,
 @Nullable
 String name)
                 throws IOException

Write a parameter to the given output

Parameters:

output - the traget

kind - "param", "result" or "local"

valueType - the data type of the parameter

name - optional name of the parameter

Throws:

IOException - if any I/O error occur

writeMethodParamFinish

protected void writeMethodParamFinish(@Nonnull
 FunctionName name)
                               throws IOException

Finish the function parameter.

Specified by:

writeMethodParamFinish in class ModuleWriter

Parameters:

name - the function name

Throws:

IOException - if any I/O error occur

getFunction

private Function getFunction(FunctionName name)

writeMethodStart

protected void writeMethodStart(FunctionName name,
 String sourceFile)
                         throws IOException

Start the writing of method/function code.

Specified by:

writeMethodStart in class ModuleWriter

Parameters:

name - the function name

sourceFile - the name of the source file

Throws:

IOException - if any I/O error occur

markSourceLine

protected void markSourceLine(int javaSourceLine)

Mark the current output position with Java code position for crating of a source map.

Specified by:

markSourceLine in class ModuleWriter

Parameters:

javaSourceLine - the line number in the Java code

writeMethodFinish

protected void writeMethodFinish()
                          throws IOException

Complete the method

Specified by:

writeMethodFinish in class ModuleWriter

Throws:

IOException - if any I/O error occur

writeConst

protected void writeConst(Number value,
 ValueType valueType)
                   throws IOException

Write a constant number value

Specified by:

writeConst in class ModuleWriter

Parameters:

value - the value

valueType - the data type of the number

Throws:

IOException - if any I/O error occur

writeLocal

protected void writeLocal(VariableOperator op,
 int idx)
                   throws IOException

Write a local variable operation.

Specified by:

writeLocal in class ModuleWriter

Parameters:

op - the operation

idx - the index of the parameter variable

Throws:

IOException - if any I/O error occur

writeGlobalAccess

protected void writeGlobalAccess(boolean load,
 FunctionName name,
 AnyType type)
                          throws IOException

Write a global variable operation

Specified by:

writeGlobalAccess in class ModuleWriter

Parameters:

load - true: if load or GET

name - the variable name

type - the type of the variable

Throws:

IOException - if any I/O error occur

writeTable

protected void writeTable(boolean load,
 @Nonnegative
 int idx)
                   throws IOException

Write a table operation.

Specified by:

writeTable in class ModuleWriter

Parameters:

load - true: if "get" else "set"

idx - the index of the table

Throws:

IOException - if any I/O error occur

writeDefaultValue

protected void writeDefaultValue(AnyType type)
                          throws IOException

Write the default/initial value for a type.

Specified by:

writeDefaultValue in class ModuleWriter

Parameters:

type - the type

Throws:

IOException - if an I/O error occurs.

writeDefaultValue

private void writeDefaultValue(Appendable output,
 AnyType type)
                        throws IOException

Write the default/initial value for type.

Parameters:

output - the target

type - the type

Throws:

IOException - if an I/O error occurs.

writeNumericOperator

protected void writeNumericOperator(NumericOperator numOp,
 @Nullable
 ValueType valueType)
                             throws IOException

Write a add operator

Specified by:

writeNumericOperator in class ModuleWriter

Parameters:

numOp - the numeric operation

valueType - the type of the parameters

Throws:

IOException - if any I/O error occur

writeCast

protected void writeCast(ValueTypeConvertion cast)
                  throws IOException

Cast a value from one type to another

Specified by:

writeCast in class ModuleWriter

Parameters:

cast - the operator

Throws:

IOException - if any I/O error occur

newline

private void newline(Appendable output)
              throws IOException

Add a newline with the insets.

Parameters:

output - the target

Throws:

IOException - if any I/O error occur

writeFunctionCall

protected void writeFunctionCall(FunctionName name,
 String comment)
                          throws IOException

Write a call to a function.

Specified by:

writeFunctionCall in class ModuleWriter

Parameters:

name - the function name

comment - optional comment for the text format

Throws:

IOException - if any I/O error occur

writeVirtualFunctionCall

protected void writeVirtualFunctionCall(FunctionName name,
 AnyType type)
                                 throws IOException

Write a function call to an instance function. On the stack there must be the object.

Specified by:

writeVirtualFunctionCall in class ModuleWriter

Parameters:

name - the function name

type - the base type that should be called

Throws:

IOException - if any I/O error occur

writeBlockCode

protected void writeBlockCode(@Nonnull
 WasmBlockOperator op,
 @Nullable
 Object data)
                       throws IOException

Write a block/branch code

Specified by:

writeBlockCode in class ModuleWriter

Parameters:

op - the operation

data - extra data depending of the operator

Throws:

IOException - if any I/O error occur

blockWithResult

@Nonnull
private CharSequence blockWithResult(String blockName,
 AnyType result)
                              throws IOException

Create a the result type for a block instruction

Parameters:

blockName - the name of the block for example "if" or "block"

result - the result type of the block

Returns:

the block with result type

Throws:

IOException - if any I/O error occur

writeArrayOperator

protected void writeArrayOperator(@Nonnull
 ArrayOperator op,
 ArrayType type)
                           throws IOException

Write an array operation.

Specified by:

writeArrayOperator in class ModuleWriter

Parameters:

op - the operation

type - the type of the array

Throws:

IOException - if any I/O error occur

writeStructOperator

protected void writeStructOperator(StructOperator op,
 AnyType type,
 NamedStorageType fieldName,
 int idx)
                            throws IOException

Write a struct operation

Specified by:

writeStructOperator in class ModuleWriter

Parameters:

op - the operation

type - the type of the struct

fieldName - the fieldName if the operation is per field

idx - the index of the field if the operation is per field

Throws:

IOException - if any I/O error occur

writeMemoryOperator

protected void writeMemoryOperator(MemoryOperator memOp,
 ValueType valueType,
 int offset,
 int alignment)
                            throws IOException

Write a memory operation for the linear memory.

Specified by:

writeMemoryOperator in class ModuleWriter

Parameters:

memOp - the memory operation

valueType - the value type of the stack value

offset - the offset into the memory. Should be ideally a factor of 4.

alignment - the alignment of the value on the linear memory (0: 8 Bit; 1: 16 Bit; 2: 32 Bit)

Throws:

IOException - if any I/O error occur