public TokenSourceFileLocation(SourceFile sourceFile, Token token, String name) : base(sourceFile) { this.token = token; this.name = name; }
public String name; // final public TokenSourceFileLocation(SourceFile sourceFile, String name, int offs) : base(sourceFile) { this.token = new Token(); this.token.charOffset = offs; this.name = name; }