PLCCException.java 344 B

123456789101112131415161718
  1. public class PLCCException extends RuntimeException {
  2. String msg;
  3. public PLCCException(String pfx, String msg) {
  4. super(msg = "%%% " + pfx + ": " + msg);
  5. this.msg = msg;
  6. }
  7. public PLCCException(String msg) {
  8. this("Runtime error", msg);
  9. }
  10. public String toString() {
  11. return msg;
  12. }
  13. }