org.sosy_lab.java_smt.api.visitors

Class ExpectedFormulaVisitor<R>

java.lang.Object

org.sosy_lab.java_smt.api.visitors.DefaultFormulaVisitor<R>

org.sosy_lab.java_smt.api.visitors.ExpectedFormulaVisitor<R>

All Implemented Interfaces:

FormulaVisitor<R>

public abstract class ExpectedFormulaVisitor<R>
extends DefaultFormulaVisitor<R>

Like DefaultFormulaVisitor, but throws UnsupportedOperationException on unexpected formula types.

Constructor Summary

Constructors

Constructor and Description
ExpectedFormulaVisitor()

Method Summary

Modifier and Type	Method and Description
protected R	visitDefault(Formula f) Method for default case, is called by all methods from this class if they are not overridden.

Methods inherited from class org.sosy_lab.java_smt.api.visitors.DefaultFormulaVisitor

visitBoundVariable, visitConstant, visitFreeVariable, visitFunction, visitQuantifier

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpectedFormulaVisitor

public ExpectedFormulaVisitor()

Method Detail

visitDefault

protected final R visitDefault(Formula f)

Description copied from class: DefaultFormulaVisitor

Method for default case, is called by all methods from this class if they are not overridden.

Specified by:

visitDefault in class DefaultFormulaVisitor<R>

Parameters:

f - Formula for the currently visited node.

Returns:

An arbitrary value, will be passed through to the caller.