Stub methods for Chord

[fengy...@gmail.com]

Hi Mayur,

In order to run stub methods in Chord, I was wondering instead of constructing its CFG directly, just as what you did for "ArrayCopy":

https://code.google.com/p/jchord/source/browse/trunk/main/src/chord/program/stubs/SystemArraycopyCFGBuilder.java,

If there is a way to feed a human friendly stub methods to Chord such as: 

 public  java.util.Iterator<E> iterator()
{
    return new ArrayListIterator();
}

Thanks,
Yu