public abstract class TacletVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
failureDescription |
Constructor and Description |
---|
TacletVisitor() |
Modifier and Type | Method and Description |
---|---|
protected void |
failureOccurred(java.lang.String description) |
private void |
visit(Semisequent semiseq) |
void |
visit(Sequent seq) |
java.lang.String |
visit(Taclet taclet) |
java.lang.String |
visit(Taclet taclet,
boolean visitAddrules) |
protected void |
visitFindPart(Taclet taclet) |
protected void |
visitGoalTemplates(Taclet taclet,
boolean visitAddrules) |
subtreeEntered, subtreeLeft, visitSubtree
private void visit(Semisequent semiseq)
public void visit(Sequent seq)
public java.lang.String visit(Taclet taclet, boolean visitAddrules)
public java.lang.String visit(Taclet taclet)
protected final void failureOccurred(java.lang.String description)
protected void visitFindPart(Taclet taclet)
protected void visitGoalTemplates(Taclet taclet, boolean visitAddrules)