EnvelopeWriter(char sourceName[], int addressWidth, optional byte hostEndianMode, byte osType)

ImplementedObject[] prepareEnvelope(OpParseResult parseResult, DanaType types[], LiteralsTable lt)

TypeMapping[] getTypeMappings()

bool writeEnvelope(File output, OpParseResult parseResult, ImplementedObject intfs[], DanaType types[], LiteralsTable lt, TypeTable tt, int classInitOffset, bool reloc)

FunctionInfo writeFrameHeader(File output, ImplementedFunction function, DanaType types[], LiteralsTable lt, int textOffset)

void writeTextEnd(File fd)

void writeRelocations(File fd)

void writeInfoSection(File fd, char id[], char contentType[], byte content[])

void addRelocations(int list[])

int getTextOffset()

int getNNITableOffset()