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