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;
}
