ida.pelab.prt.constraints
Class Constraint

java.lang.Object
  ida.pelab.prt.constraints.Constraint

Direct Known Subclasses:

ArrayIndexCheck, BoundaryCheck, IFStructureCheck, IndexRuleCheck, LoopCheck, MemoryAccess, NameCheck, RuleCheck, TypeCheck

public class Constraint
extends java.lang.Object

Constructor Summary

Constraint()

Method Summary

boolean

check(cetus.hir.Traversable rootNode, java.util.ArrayList<MatchedInstance> children)

Methods inherited from class java.lang.Object

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

Constructor Detail

Constraint

public Constraint()

Method Detail

check

public boolean check(cetus.hir.Traversable rootNode,
                     java.util.ArrayList<MatchedInstance> children)