public class DBPlayer extends Object
| Modifier and Type | Field and Description |
|---|---|
protected DBPlayerContextInfo |
contextInfo |
protected DebuggerTab |
debuggerTab |
protected int |
eventPlayedCount |
protected DBEventLocation |
lastLocationEvent |
protected Stack<Integer> |
markStack |
protected DBInputProcessor |
processor |
protected int |
resyncing |
| Constructor and Description |
|---|
DBPlayer(DebuggerTab debuggerTab) |
protected DebuggerTab debuggerTab
protected DBInputProcessor processor
protected DBPlayerContextInfo contextInfo
protected int resyncing
protected int eventPlayedCount
protected DBEventLocation lastLocationEvent
public DBPlayer(DebuggerTab debuggerTab)
public void close()
public void setInputBuffer(DBInputProcessor processor)
public DBPlayerContextInfo getContextInfo()
public void resetPlayEvents(boolean first)
public void playEvents(List events, int lastEventPosition, boolean reset)
public void playEvent(DBEvent event)
public void playEnterRule(DBEventEnterRule event)
public void playExitRule(DBEventExitRule event)
public void playEnterSubrule(DBEventEnterSubRule event)
public void playExitSubrule(DBEventExitSubRule event)
public void playEnterDecision(DBEventEnterDecision event)
public void playExitDecision(DBEventExitDecision event)
public void playEnterAlt(DBEventEnterAlt event)
public void playLT(DBEventLT event)
public void playConsumeToken(DBEventConsumeToken event)
public void playConsumeToken(DBEventConsumeHiddenToken event)
public void playConsumeToken(org.antlr.runtime.Token token,
boolean hidden)
public void playLocation(DBEventLocation event)
public void playLocation()
public void playMark(DBEventMark event)
public void playRewind(DBEventRewind event)
public void playBeginBacktrack(DBEventBeginBacktrack event)
public void playEndBacktrack(DBEventEndBacktrack event)
public void playRecognitionException(DBEventRecognitionException event)
public void playBeginResync()
public void playEndResync()
public void playNilNode(DBEventNilNode event)
public void playErrorNode(DBEventErrorNode event)
public void playCreateNode(DBEventCreateNode event)
public void playBecomeRoot(DBEventBecomeRoot event)
public void playAddChild(DBEventAddChild event)
public void playSetTokenBoundaries(DBEventSetTokenBoundaries event)
Copyright © 2013. All rights reserved.