cz.cuni.mff.ksi.jinfer.basicxsd.preprocessing
Class Preprocessor

java.lang.Object
  cz.cuni.mff.ksi.jinfer.basicxsd.preprocessing.Preprocessor

public final class Preprocessor
extends Object

Provides preprocessing of IG grammar.

Constructor Summary

Preprocessor(List<Element> elements)
Constructs an instance and performs preprocessing without determination of global element types.

Preprocessor(List<Element> elements, int numberToGlobal)
Constructs an instance and performs preprocessing with determination of global element types.

Method Summary

PreprocessingResult

getResult() Retrieves result of performed preprocessing.

Methods inherited from class java.lang.Object

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

Constructor Detail

Preprocessor

public Preprocessor(List<Element> elements)
             throws InterruptedException

Constructs an instance and performs preprocessing without determination of global element types. Results can be retrieved by public methods.

Parameters:

elements - A non empty list of elements.

Throws:

InterruptedException

Preprocessor

public Preprocessor(List<Element> elements,
                    int numberToGlobal)
             throws InterruptedException

Constructs an instance and performs preprocessing with determination of global element types. Result can be retrieved by a public method.

Parameters:

elements - Input grammar - a non empty list of elements.

numberToGlobal - Number of occurrences of an element to consider its type as a global type. Passing of a non positive integer means no generation of global types.

Throws:

InterruptedException

Method Detail

getResult

public PreprocessingResult getResult()

Retrieves result of performed preprocessing.

Returns:

Result of preprocessing.