org.clafer.ast.analysis

Class OptimizerAnalyzer

java.lang.Object

org.clafer.ast.AstExprRewriter<Analysis>

org.clafer.ast.analysis.OptimizerAnalyzer

All Implemented Interfaces:

Analyzer, AstExprVisitor<Analysis,AstExpr>

public class OptimizerAnalyzer
extends AstExprRewriter<Analysis>
implements Analyzer

Optimizes the expressions inside the constraints. Assumes type checking has already passed.

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
OptimizerAnalyzer()

Method Summary

Methods

Modifier and Type	Method and Description
Analysis	analyze(Analysis analysis)
AstExpr	visit(AstJoin ast, Analysis a)
AstExpr	visit(AstJoinParent ast, Analysis a)

Methods inherited from class org.clafer.ast.AstExprRewriter

rewrite, rewrite, rewrite, rewrite, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

OptimizerAnalyzer

public OptimizerAnalyzer()

Method Detail

analyze

public Analysis analyze(Analysis analysis)

Specified by:

analyze in interface Analyzer

visit

public AstExpr visit(AstJoin ast,
            Analysis a)

Specified by:

visit in interface AstExprVisitor<Analysis,AstExpr>

Overrides:

visit in class AstExprRewriter<Analysis>

visit

public AstExpr visit(AstJoinParent ast,
            Analysis a)

Specified by:

visit in interface AstExprVisitor<Analysis,AstExpr>

Overrides:

visit in class AstExprRewriter<Analysis>