Searched refs:labelNameSpace (Results 1 – 2 of 2) sorted by relevance
51 if ( r.labelNameSpace!=null ) { in checkConflicts()52 Iterator it = r.labelNameSpace.values().iterator(); in checkConflicts()252 (Grammar.LabelElementPair)r.labelNameSpace.get(label.getText()); in checkForLabelTypeMismatch()
106 protected Map<String, Grammar.LabelElementPair> labelNameSpace = field in Rule187 labelNameSpace.put(label.getText(), pair); in defineLabel()221 return (Grammar.LabelElementPair)labelNameSpace.get(name); in getLabel()