public class InputBufferEventSupport
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static int |
CONSUME |
protected static int |
LA |
protected static int |
MARK |
protected static int |
REWIND |
Constructor and Description |
---|
InputBufferEventSupport(java.lang.Object source) |
Modifier and Type | Method and Description |
---|---|
void |
addInputBufferListener(InputBufferListener l) |
void |
fireConsume(char c) |
void |
fireEvent(int type,
ListenerBase l) |
void |
fireEvents(int type,
java.util.Vector listeners) |
void |
fireLA(char c,
int la) |
void |
fireMark(int pos) |
void |
fireRewind(int pos) |
java.util.Vector |
getInputBufferListeners() |
protected void |
refresh(java.util.Vector listeners) |
void |
refreshListeners() |
void |
removeInputBufferListener(InputBufferListener l) |
protected static final int CONSUME
protected static final int LA
protected static final int MARK
protected static final int REWIND
public void addInputBufferListener(InputBufferListener l)
public void fireConsume(char c)
public void fireEvent(int type, ListenerBase l)
public void fireEvents(int type, java.util.Vector listeners)
public void fireLA(char c, int la)
public void fireMark(int pos)
public void fireRewind(int pos)
public java.util.Vector getInputBufferListeners()
protected void refresh(java.util.Vector listeners)
public void refreshListeners()
public void removeInputBufferListener(InputBufferListener l)