public LeeDiagnosticInfo Add(ErrorCode code, Location location)
{
var info = new LeeDiagnosticInfo(code);
var diag = new LeeDiagnostic(info, location);
Add(diag);
return(info);
}
public LeeDiagnosticInfo Add(ErrorCode code, Location location, params object[] args)
{
var info = new LeeDiagnosticInfo(code, args);
var diag = new LeeDiagnostic(info, location);
Add(diag);
return(info);
}
public override Diagnostic CreateDiagnostic(int code, Location location, params object[] args)
{
var info = new LeeDiagnosticInfo((ErrorCode)code, args, new Symbol[0], new Location[0]);
return(new LeeDiagnostic(info, location));
}
