Errors.java | 28 Error error; field in class:Errors.ErrorMessage 32 ErrorMessage(Error e, SourcePositionInfo p, String m) { 33 error = e; 51 public Error error() { method in class:Errors.ErrorMessage 52 return error; 56 public static void error(Error error, SourcePositionInfo where, String text) method in class:Errors [all...] |