01: /*
02: * Created on 12.07.2004
03: */
04: package net.sourceforge.pmd.dfa;
05:
06: /**
07: * @author raik
08: */
09: public class SequenceException extends Exception {
10:
11: public SequenceException() {
12: super ("Sequence error."); //TODO redefinition
13: }
14:
15: public SequenceException(String message) {
16: super(message);
17: }
18: }
|