com.io7m.kstructural.frontend

Class KSExporter

java.lang.Object

com.io7m.kstructural.frontend.KSExporter

All Implemented Interfaces:

KSExporterType

public final class KSExporter
extends Object
implements KSExporterType

The default implementation of the KSExporterType interface.

Method Summary

Modifier and Type	Method and Description
Set<Path>	export(Path base_directory, KSElement.KSBlock.KSBlockDocument<KSEvaluation> in_document, Path out_directory, boolean reconstruct_imports) Export a document.
static KSExporterType	newExporter(KSInputFormat in_format, int in_indent, int in_width) Construct a new importer

Methods inherited from class java.lang.Object

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

Method Detail

newExporter

public static KSExporterType newExporter(KSInputFormat in_format,
                                         int in_indent,
                                         int in_width)

Construct a new importer

Parameters:

in_format - The format of the exported document

in_indent - The indent width

in_width - The maximum page width

Returns:

A new exporter

export

public Set<Path> export(Path base_directory,
                        KSElement.KSBlock.KSBlockDocument<KSEvaluation> in_document,
                        Path out_directory,
                        boolean reconstruct_imports)
                 throws IOException

Description copied from interface: KSExporterType

Export a document.

Specified by:

export in interface KSExporterType

Parameters:

base_directory - The base directory of the original document

in_document - The original document

out_directory - The output directory

reconstruct_imports - true if imports should be reconstructed

Returns:

The set of filenames produced by the export

Throws:

IOException - On I/O errors