Searched refs:nameSpaceChecker (Results 1 – 1 of 1) sorted by relevance
471 public NameSpaceChecker nameSpaceChecker = new NameSpaceChecker(this); field in Grammar804 nameSpaceChecker.checkConflicts(); in checkNameSpaceAndActions()1800 boolean err = nameSpaceChecker.checkForLabelTypeMismatch(r, label, type); in defineLabel()