| 123456789101112131415161718 |
- public class PLCCException extends RuntimeException {
- String msg;
- public PLCCException(String pfx, String msg) {
- super(msg = "%%% " + pfx + ": " + msg);
- this.msg = msg;
- }
- public PLCCException(String msg) {
- this("Runtime error", msg);
- }
- public String toString() {
- return msg;
- }
- }
|