Searched refs:setTreeGrammarName (Results 1 – 2 of 2) sorted by relevance
56 public void setTreeGrammarName(String treeGrammarName) { in setTreeGrammarName() method in GrammarInfo
55 grammarInfo.setTreeGrammarName($g1.text);