cz.cuni.mff.ksi.jinfer.basicxsd
Class InputGrammarVerifier

java.lang.Object
  cz.cuni.mff.ksi.jinfer.basicxsd.InputGrammarVerifier

public final class InputGrammarVerifier
extends Object

Helper class to perform some checks on input grammar.

Method Summary

static boolean

verifyUniqueElementNames(List<Element> input) Input grammar must not contain more elements with the same names.

Methods inherited from class java.lang.Object

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

Method Detail

verifyUniqueElementNames

public static boolean verifyUniqueElementNames(List<Element> input)

Input grammar must not contain more elements with the same names. This is verified by this method.

Parameters:

input - Input grammar.

Returns:

On success, true is returned.