protected void checkSetCollision(GrammarAST ast, IntervalSet set, int a, int b) { for (int i = a; i <= b; i++) { if (set.contains(i)) { String setText; if (ast.getChildren() == null) { setText = ast.getText(); } else { StringBuilder sb = new StringBuilder(); for (Object child : ast.getChildren()) { if (child instanceof RangeAST) { sb.append(((RangeAST) child).getChild(0).getText()); sb.append(".."); sb.append(((RangeAST) child).getChild(1).getText()); } else { sb.append(((GrammarAST)child).getText()); } sb.append(" | "); } sb.replace(sb.length() - 3, sb.length(), ""); setText = sb.toString(); } g.tool.errMgr.grammarError(ErrorType.CHARACTERS_COLLISION_IN_SET, g.fileName, ast.getToken(), CharSupport.getRangeEscapedString(a, b), setText); break; } } }
protected void checkSetCollision(GrammarAST ast, IntervalSet set, int a, int b) { for (int i = a; i <= b; i++) { if (set.contains(i)) { String setText; if (ast.getChildren() == null) { setText = ast.getText(); } else { StringBuilder sb = new StringBuilder(); for (Object child : ast.getChildren()) { if (child instanceof RangeAST) { sb.append(((RangeAST) child).getChild(0).getText()); sb.append(".."); sb.append(((RangeAST) child).getChild(1).getText()); } else { sb.append(((GrammarAST)child).getText()); } sb.append(" | "); } sb.replace(sb.length() - 3, sb.length(), ""); setText = sb.toString(); } g.tool.errMgr.grammarError(ErrorType.CHARACTERS_COLLISION_IN_SET, g.fileName, ast.getToken(), CharSupport.getRangeEscapedString(a, b), setText); break; } } }
protected void checkSetCollision(GrammarAST ast, IntervalSet set, int a, int b) { for (int i = a; i <= b; i++) { if (set.contains(i)) { String setText; if (ast.getChildren() == null) { setText = ast.getText(); } else { StringBuilder sb = new StringBuilder(); for (Object child : ast.getChildren()) { if (child instanceof RangeAST) { sb.append(((RangeAST) child).getChild(0).getText()); sb.append(".."); sb.append(((RangeAST) child).getChild(1).getText()); } else { sb.append(((GrammarAST)child).getText()); } sb.append(" | "); } sb.replace(sb.length() - 3, sb.length(), ""); setText = sb.toString(); } g.tool.errMgr.grammarError(ErrorType.CHARACTERS_COLLISION_IN_SET, g.fileName, ast.getToken(), CharSupport.getRangeEscapedString(a, b), setText); break; } } }