edu.toronto.cs.yasm.pgenerator
Class ChainPredicateGenerator

java.lang.Object
  extended by edu.toronto.cs.yasm.pgenerator.ChainPredicateGenerator
All Implemented Interfaces:
PredicateGenerator

public class ChainPredicateGenerator
extends java.lang.Object
implements PredicateGenerator

A predicate generator that chains other predicate generators

Version:
1.0
Author:
Xin Ma

Constructor Summary
ChainPredicateGenerator()
           
 
Method Summary
 ChainPredicateGenerator add(PredicateGenerator p)
           
 boolean find()
          runs the predicate generator and returns true if anything has changed like new predicates are added or the abstraction of the program has changed
 java.util.List getNewPreds()
          returns a list of new predicates found
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ChainPredicateGenerator

public ChainPredicateGenerator()
Method Detail

add

public ChainPredicateGenerator add(PredicateGenerator p)

find

public boolean find()
Description copied from interface: PredicateGenerator
runs the predicate generator and returns true if anything has changed like new predicates are added or the abstraction of the program has changed

Specified by:
find in interface PredicateGenerator
Returns:
a boolean value

getNewPreds

public java.util.List getNewPreds()
Description copied from interface: PredicateGenerator
returns a list of new predicates found

Specified by:
getNewPreds in interface PredicateGenerator
Returns:
a List value