private Attribute.Source sourceAttr(int start, int end) {
Token t1 = tokens.get(start);
Token t2 = tokens.get(end);
// FIXME: problem here with the line numbering ?
return new Attribute.Source(t1.start, t2.end(), 0);
}
private void syntaxError(String msg, SyntacticElement e) {
Attribute.Source loc = e.attribute(Attribute.Source.class);
throw new SyntaxError(msg, filename, loc.start, loc.end);