|
1 package antlr.debug;
2
3 import antlr.InputBuffer;
4 import antlr.CharStreamException;
5 import java.util.Vector  ;
6 import java.io.IOException ;
7
8 public class DebuggingInputBuffer extends InputBuffer {
9 private InputBuffer buffer;
10 private InputBufferEventSupport inputBufferEventSupport;
11 private boolean debugMode = true;
12
13
14 public DebuggingInputBuffer(InputBuffer buffer) {
15 this.buffer = buffer;
16 inputBufferEventSupport = new InputBufferEventSupport(this);
17 }
18 public void addInputBufferListener(InputBufferListener l) {
19 inputBufferEventSupport.addInputBufferListener(l);
20 }
21 public void consume() {
22 char la = ' ';
23 try {la = buffer.LA(1);}
24 catch (CharStreamException e) {} buffer.consume();
26 if (debugMode)
27 inputBufferEventSupport.fireConsume(la);
28 }
29 public void fill(int a) throws CharStreamException {
30 buffer.fill(a);
31 }
32 public Vector getInputBufferListeners() {
33 return inputBufferEventSupport.getInputBufferListeners();
34 }
35 public boolean isDebugMode() {
36 return debugMode;
37 }
38 public boolean isMarked() {
39 return buffer.isMarked();
40 }
41 public char LA(int i) throws CharStreamException {
42 char la = buffer.LA(i);
43 if (debugMode)
44 inputBufferEventSupport.fireLA(la,i);
45 return la;
46 }
47 public int mark() {
48 int m = buffer.mark();
49 inputBufferEventSupport.fireMark(m);
50 return m;
51 }
52 public void removeInputBufferListener(InputBufferListener l) {
53 if (inputBufferEventSupport != null)
54 inputBufferEventSupport.removeInputBufferListener(l);
55 }
56 public void rewind(int mark) {
57 buffer.rewind(mark);
58 inputBufferEventSupport.fireRewind(mark);
59 }
60 public void setDebugMode(boolean value) {
61 debugMode = value;
62 }
63 } |
Popular Tags |
Java API By Example, From Geeks To Geeks.