de.uka.ilkd.key.taclettranslation

Class TacletVisitor

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.taclettranslation.TacletVisitor

All Implemented Interfaces:

Visitor

public abstract class TacletVisitor
extends DefaultVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private String	failureDescription

Constructor Summary

Constructors

Constructor and Description
TacletVisitor()

Method Summary

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)

Methods inherited from class de.uka.ilkd.key.logic.DefaultVisitor

subtreeEntered, subtreeLeft, visitSubtree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.logic.Visitor

visit

Field Detail

failureDescription

private String failureDescription

Constructor Detail

TacletVisitor

public TacletVisitor()

Method Detail

visit

private void visit(Semisequent semiseq)

visit

public void visit(Sequent seq)

visit

public String visit(Taclet taclet,
                    boolean visitAddrules)

visit

public String visit(Taclet taclet)

failureOccurred

protected final void failureOccurred(String description)

visitFindPart

protected void visitFindPart(Taclet taclet)

visitGoalTemplates

protected void visitGoalTemplates(Taclet taclet,
                                  boolean visitAddrules)