ida.pelab.prt.constraints
Class IFStructureCheck

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

public class IFStructureCheck
extends Constraint

Constructor Summary

IFStructureCheck()

Method Summary

void	AddtoELseStructure(java.lang.String statement)
void	AddtoThenStructure(java.lang.String statement)
boolean	check(cetus.hir.Traversable rootnode, java.util.ArrayList<MatchedInstance> nodelist)

Methods inherited from class java.lang.Object

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

Constructor Detail

IFStructureCheck

public IFStructureCheck()

Method Detail

AddtoThenStructure

public void AddtoThenStructure(java.lang.String statement)

AddtoELseStructure

public void AddtoELseStructure(java.lang.String statement)

check

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

Overrides:

check in class Constraint