public class SyntacticPredicateAdapter extends java.lang.Object implements SyntacticPredicateListener
| Constructor and Description |
|---|
SyntacticPredicateAdapter() |
| Modifier and Type | Method and Description |
|---|---|
void |
doneParsing(TraceEvent e) |
void |
refresh() |
void |
syntacticPredicateFailed(SyntacticPredicateEvent e) |
void |
syntacticPredicateStarted(SyntacticPredicateEvent e) |
void |
syntacticPredicateSucceeded(SyntacticPredicateEvent e) |
public void doneParsing(TraceEvent e)
doneParsing in interface ListenerBasepublic void refresh()
refresh in interface ListenerBasepublic void syntacticPredicateFailed(SyntacticPredicateEvent e)
syntacticPredicateFailed in interface SyntacticPredicateListenerpublic void syntacticPredicateStarted(SyntacticPredicateEvent e)
syntacticPredicateStarted in interface SyntacticPredicateListenerpublic void syntacticPredicateSucceeded(SyntacticPredicateEvent e)
syntacticPredicateSucceeded in interface SyntacticPredicateListener