com.io7m.kstructural.frontend

Interface KSExporterType

All Known Implementing Classes:

KSExporter

public interface KSExporterType

The type of document exporters/converts.

Method Summary

Modifier and Type	Method and Description
Set<Path>	export(Path base_directory, KSElement.KSBlock.KSBlockDocument<KSEvaluation> document, Path out_directory, boolean reconstruct_imports) Export a document.

Method Detail

export

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

Export a document.

Parameters:

base_directory - The base directory of the original document

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