public final IndexedVector optionSpec(Grammar paramGrammar)
throws RecognitionException, TokenStreamException
{
Token localToken1 = null;
Token localToken2 = null;
IndexedVector localIndexedVector = new IndexedVector();
try
{
match(13);
while (LA(1) == 9)
{
localToken1 = LT(1);
match(9);
localToken2 = LT(1);
match(14);
Option localOption = new Option(localToken1.getText(), localToken2.getText(), paramGrammar);
localIndexedVector.appendElement(localOption.getName(), localOption);
if ((paramGrammar != null) && (localToken1.getText().equals("importVocab")))
{
paramGrammar.specifiedVocabulary = true;
paramGrammar.importVocab = localToken2.getText();
continue;