public Warning() { msg = ""; }
public Warning(String m) { msg = m; if (in != null) line = in.getLineNumber(); }
+ public int getLine() { return line; }
+ public String getMessage() { return msg; }
public String toString() { return "WARNING Line "+line+": "+msg; }
}