org.clafer.ast

Class AstExprRewriter<T>

java.lang.Object

org.clafer.ast.AstExprRewriter<T>

Type Parameters:

T - the parameter type

All Implemented Interfaces:

AstExprVisitor<T,AstExpr>

Direct Known Subclasses:

OptimizerAnalyzer

public abstract class AstExprRewriter<T>
extends Object
implements AstExprVisitor<T,AstExpr>

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
AstExprRewriter()

Method Summary

Methods

Modifier and Type	Method and Description
AstBoolExpr[]	rewrite(AstBoolExpr[] exprs, T t)
AstBoolExpr	rewrite(AstBoolExpr expr, T t)
AstSetExpr[]	rewrite(AstSetExpr[] exprs, T t)
AstSetExpr	rewrite(AstSetExpr expr, T t)
AstExpr	visit(AstArithm ast, T a)
AstExpr	visit(AstBoolArithm ast, T a)
AstExpr	visit(AstCard ast, T a)
AstExpr	visit(AstCompare ast, T a)
AstExpr	visit(AstConstant ast, T a)
AstExpr	visit(AstDifference ast, T a)
AstExpr	visit(AstDowncast ast, T a)
AstExpr	visit(AstGlobal ast, T a)
AstExpr	visit(AstIfThenElse ast, T a)
AstExpr	visit(AstIntersection ast, T a)
AstExpr	visit(AstJoinParent ast, T a)
AstExpr	visit(AstJoinRef ast, T a)
AstExpr	visit(AstJoin ast, T a)
AstExpr	visit(AstLocal ast, T a)
AstExpr	visit(AstMembership ast, T a)
AstExpr	visit(AstMinus ast, T a)
AstExpr	visit(AstNot ast, T a)
AstExpr	visit(AstQuantify ast, T a)
AstExpr	visit(AstSetTest ast, T a)
AstExpr	visit(AstSum ast, T a)
AstExpr	visit(AstTernary ast, T a)
AstExpr	visit(AstThis ast, T a)
AstExpr	visit(AstUnion ast, T a)
AstExpr	visit(AstUpcast ast, T a)

Methods inherited from class java.lang.Object

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

Constructor Detail

AstExprRewriter

public AstExprRewriter()

Method Detail

rewrite

public AstBoolExpr rewrite(AstBoolExpr expr,
                  T t)

rewrite

public AstBoolExpr[] rewrite(AstBoolExpr[] exprs,
                    T t)

rewrite

public AstSetExpr rewrite(AstSetExpr expr,
                 T t)

rewrite

public AstSetExpr[] rewrite(AstSetExpr[] exprs,
                   T t)

visit

public AstExpr visit(AstThis ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstGlobal ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstConstant ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstJoin ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstJoinParent ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstJoinRef ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstNot ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstMinus ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstCard ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstSetTest ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstCompare ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstArithm ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstSum ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstBoolArithm ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstDifference ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstIntersection ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstUnion ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstMembership ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstTernary ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstIfThenElse ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstDowncast ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstUpcast ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstLocal ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>

visit

public AstExpr visit(AstQuantify ast,
            T a)

Specified by:

visit in interface AstExprVisitor<T,AstExpr>