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

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

public final class PreprocessingResult
extends Object

Represents a result of preprocessing.

Method Summary

Element	getElementByName(String elementName) Returns an element reference by its name.
List<Element>	getGlobalElements() Returns a list of global elements.
Element	getRootElement() Returns the root element.
boolean	isElementGlobal(String elementName) Decides whether a given element's type can be considered a global type.

Methods inherited from class java.lang.Object

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

Method Detail

getElementByName

public Element getElementByName(String elementName)

Returns an element reference by its name.

Parameters:

elementName - Name of a desired element.

Returns:

Valid reference or null if the element is not present in the grammar.

isElementGlobal

public boolean isElementGlobal(String elementName)

Decides whether a given element's type can be considered a global type.

Parameters:

elementName - Name of an element.

getGlobalElements

public List<Element> getGlobalElements()

Returns a list of global elements. Global elements are those which types have been considered global types.

Returns:

Global elements.

getRootElement

public Element getRootElement()

Returns the root element.

Returns:

Root element.