ida.pelab.prt.generalfunctions
Class TraverseFunction

java.lang.Object
  extended by ida.pelab.prt.generalfunctions.TraverseFunction

public class TraverseFunction
extends java.lang.Object


Constructor Summary
TraverseFunction()
           
 
Method Summary
static java.util.ArrayList<java.lang.String> calculateMemoryAccessDomain(cetus.hir.ForLoop parentLoop, cetus.hir.ArrayAccess array)
           
static boolean compareRange(cetus.hir.Expression variable, int value)
           
static boolean ContainsEquivalentIndex(cetus.hir.ArrayAccess array, cetus.hir.Expression indexExpr)
           
static boolean ContainsSpecifiedIndex(cetus.hir.ArrayAccess array, cetus.hir.Expression indexExpr)
           
static boolean ExpressionContainsVariable(cetus.hir.Expression indexVariable, cetus.hir.Traversable exprNode)
           
static java.util.ArrayList<java.lang.Integer> findSubscriptedIndices(cetus.hir.ArrayAccess array, cetus.hir.Expression indexVariable)
           
static cetus.hir.ArrayAccess GetArray(cetus.hir.Traversable object)
           
static boolean hasChildren(cetus.hir.Traversable node)
           
static boolean hasSimpleIndices(cetus.hir.Expression indexVariable, cetus.hir.Traversable node)
           
static boolean isRead(cetus.hir.Traversable startPoint, cetus.hir.Traversable endPoint, cetus.hir.Traversable key)
           
static boolean isReadorWritten(cetus.hir.Traversable key, cetus.hir.Traversable LastNode)
          Deprecated. 
static boolean isWritten(cetus.hir.Traversable key, cetus.hir.Traversable LastNode)
          Deprecated. 
static boolean isWritten(cetus.hir.Traversable startPoint, cetus.hir.Traversable endPoint, cetus.hir.Traversable key)
           
static boolean subTreeContainsExpression(cetus.hir.Traversable searchToken, cetus.hir.Traversable subtreeRoot)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TraverseFunction

public TraverseFunction()
Method Detail

hasChildren

public static boolean hasChildren(cetus.hir.Traversable node)

GetArray

public static cetus.hir.ArrayAccess GetArray(cetus.hir.Traversable object)

hasSimpleIndices

public static boolean hasSimpleIndices(cetus.hir.Expression indexVariable,
                                       cetus.hir.Traversable node)

ExpressionContainsVariable

public static boolean ExpressionContainsVariable(cetus.hir.Expression indexVariable,
                                                 cetus.hir.Traversable exprNode)

findSubscriptedIndices

public static java.util.ArrayList<java.lang.Integer> findSubscriptedIndices(cetus.hir.ArrayAccess array,
                                                                            cetus.hir.Expression indexVariable)

ContainsSpecifiedIndex

public static boolean ContainsSpecifiedIndex(cetus.hir.ArrayAccess array,
                                             cetus.hir.Expression indexExpr)

ContainsEquivalentIndex

public static boolean ContainsEquivalentIndex(cetus.hir.ArrayAccess array,
                                              cetus.hir.Expression indexExpr)

isReadorWritten

@Deprecated
public static boolean isReadorWritten(cetus.hir.Traversable key,
                                                 cetus.hir.Traversable LastNode)
Deprecated. 


isWritten

public static boolean isWritten(cetus.hir.Traversable startPoint,
                                cetus.hir.Traversable endPoint,
                                cetus.hir.Traversable key)

isRead

public static boolean isRead(cetus.hir.Traversable startPoint,
                             cetus.hir.Traversable endPoint,
                             cetus.hir.Traversable key)

isWritten

@Deprecated
public static boolean isWritten(cetus.hir.Traversable key,
                                           cetus.hir.Traversable LastNode)
Deprecated. 


subTreeContainsExpression

public static boolean subTreeContainsExpression(cetus.hir.Traversable searchToken,
                                                cetus.hir.Traversable subtreeRoot)

calculateMemoryAccessDomain

public static java.util.ArrayList<java.lang.String> calculateMemoryAccessDomain(cetus.hir.ForLoop parentLoop,
                                                                                cetus.hir.ArrayAccess array)

compareRange

public static boolean compareRange(cetus.hir.Expression variable,
                                   int value)