| D | Errors.java | 28 Error error; field in Errors.ErrorMessage
32 ErrorMessage(Error e, SourcePositionInfo p, String m) { in ErrorMessage()
33 error = e; in ErrorMessage()
51 public Error error() { in error() method in Errors.ErrorMessage
52 return error; in error()
56 public static void error(Error error, SourcePositionInfo where, String text) { in error() method in Errors
57 if (error.level == HIDDEN) { in error()
61 int level = (!warningsAreErrors && error.level == WARNING) ? WARNING : ERROR; in error()
62 String which = level == WARNING ? " warning " : " error "; in error()
63 String message = which + error.code + ": " + text; in error()
[all …]
|