cz.cuni.mff.ksi.jinfer.basicxsd.elementsexporters
Class GlobalElementsExporter

java.lang.Object
  cz.cuni.mff.ksi.jinfer.basicxsd.elementsexporters.AbstractElementsExporter
      cz.cuni.mff.ksi.jinfer.basicxsd.elementsexporters.GlobalElementsExporter

public final class GlobalElementsExporter
extends AbstractElementsExporter

Exporter which retrieves global elements from a preprocessing result and performs their exportation. Global elements are exported as global types definitions.

Field Summary

Fields inherited from class cz.cuni.mff.ksi.jinfer.basicxsd.elementsexporters.AbstractElementsExporter

indentator, LOG, preprocessingResult, typenamePostfix, typenamePrefix

Constructor Summary

GlobalElementsExporter(PreprocessingResult preprocessingResult, Indentator indentator)
Constructor.

Method Summary

void	run() Performs export.

Methods inherited from class cz.cuni.mff.ksi.jinfer.basicxsd.elementsexporters.AbstractElementsExporter

processElement, processElementContent

Methods inherited from class java.lang.Object

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

Constructor Detail

GlobalElementsExporter

public GlobalElementsExporter(PreprocessingResult preprocessingResult,
                              Indentator indentator)

Constructor.

Parameters:

preprocessingResult - Result of preprocessing to retrieve global elements.

indentator - Instance of Indentator to be used to indent output.

Method Detail

run

public void run()
         throws InterruptedException

Description copied from class: AbstractElementsExporter

Performs export. Has to be implemented in derived exporters.

Specified by:

run in class AbstractElementsExporter

Throws:

InterruptedException