Class ConstantFoldingRewriter

java.lang.Object

com.ibm.wala.cast.tree.rewrite.CAstRewriter<CAstBasicRewriter.NonCopyingContext,CAstBasicRewriter.NoKey>

com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>

com.ibm.wala.cast.ir.translator.ConstantFoldingRewriter

Direct Known Subclasses:

JSConstantFoldingRewriter

public abstract class ConstantFoldingRewriter
extends CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter

CAstBasicRewriter.NoKey, CAstBasicRewriter.NonCopyingContext

Nested classes/interfaces inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

CAstRewriter.CopyKey<Self extends CAstRewriter.CopyKey<Self>>, CAstRewriter.Rewrite, CAstRewriter.RewriteContext<K extends CAstRewriter.CopyKey<K>>

Field Summary

Fields inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

Ast, DEBUG, recursive, rootContext

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConstantFoldingRewriter(CAst Ast)

Method Summary

Modifier and Type	Method	Description
protected CAstNode	copyNodes(CAstNode root, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext context, Map<Pair<CAstNode,CAstBasicRewriter.NoKey>,CAstNode> nodeMap)	rewrite the CAst rooted at root under some context, returning the node at the root of the rewritten tree.
protected abstract Object	eval(CAstOperator op, Object lhs, Object rhs)

Methods inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

copyChildren, copyChildrenArray, copyChildrenArrayAndTargets, copyFlow, copySource, copySubtreesIntoNewNode, copySubtreesIntoNewNode, copyTypes, flowOutTo, rewrite, rewrite

Methods inherited from class java.lang.Object

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

Constructor Details

ConstantFoldingRewriter

protected ConstantFoldingRewriter(CAst Ast)

Method Details

eval

protected abstract Object eval(CAstOperator op,
 Object lhs,
 Object rhs)

copyNodes

protected CAstNode copyNodes(CAstNode root,
 CAstControlFlowMap cfg,
 CAstBasicRewriter.NonCopyingContext context,
 Map<Pair<CAstNode,CAstBasicRewriter.NoKey>,CAstNode> nodeMap)

Description copied from class: CAstRewriter

rewrite the CAst rooted at root under some context, returning the node at the root of the rewritten tree. mutate nodeMap in the process, indicating how (original node, copy key) pairs are mapped to nodes in the rewritten tree.

Specified by:

copyNodes in class CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>