Searched refs:setTerminalOption (Results 1 – 2 of 2) sorted by relevance
205 public String setTerminalOption(Grammar grammar, String key, Object value) { in setTerminalOption() method in GrammarAST
834 {terminalAST.setTerminalOption(grammar,Grammar.defaultTokenOption,$elementOptionId.qid);}840 {terminalAST.setTerminalOption(grammar,$id.text,$elementOptionId.qid);}842 {terminalAST.setTerminalOption(grammar,$id.text,$t.text);}