gov.nasa.jpf.symbc.veritesting.ast.visitors

Class ExprVisitorAdapter<T>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprVisitorAdapter<T>

Type Parameters:

T -

public class ExprVisitorAdapter<T>
extends java.lang.Object

An adaptor that pushes the visitor to the right visit for a Green expression.

Field Summary

Fields

Modifier and Type	Field and Description
ExprVisitor<T>	theVisitor

Constructor Summary

Constructors

Constructor and Description
ExprVisitorAdapter(gov.nasa.jpf.symbc.veritesting.RangerDiscovery.LustreTranslation.EquationExprVisitor theVisitor)
ExprVisitorAdapter(ExprVisitor<T> theVisitor)

Method Summary

Modifier and Type	Method and Description
T	accept(za.ac.sun.cs.green.expr.Expression e)

Methods inherited from class java.lang.Object

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

Field Detail

theVisitor

public ExprVisitor<T> theVisitor

Constructor Detail

ExprVisitorAdapter

public ExprVisitorAdapter(ExprVisitor<T> theVisitor)

ExprVisitorAdapter

public ExprVisitorAdapter(gov.nasa.jpf.symbc.veritesting.RangerDiscovery.LustreTranslation.EquationExprVisitor theVisitor)

Method Detail

accept

public T accept(za.ac.sun.cs.green.expr.Expression e)