edu.cmu.cs.crystal.cfg.eclipse
Class For
java.lang.Object
edu.cmu.cs.crystal.cfg.eclipse.For
public class For
- extends Object
Constructor Summary |
For()
|
For
public For()
setup
public static void setup()
throws CoreException
- Throws:
CoreException
simpleTest
public void simpleTest()
throws Exception
- Throws:
Exception
simple
public void simple(int[] array,
boolean cond)
breakingTest
public void breakingTest()
throws Exception
- Throws:
Exception
breaking
public void breaking(int[] array,
boolean cond)
continuingTest
public void continuingTest()
throws Exception
- Throws:
Exception
continuing
public void continuing(int[] array,
boolean cond)
emptyCondTest
public void emptyCondTest()
throws Exception
- Throws:
Exception
emptyCond
public void emptyCond(boolean cond)
emptyInitsTest
public void emptyInitsTest()
throws Exception
- Throws:
Exception
emptyInits
public void emptyInits(int ndx,
boolean cond)
emptyUpdatesTest
public void emptyUpdatesTest()
throws Exception
- Throws:
Exception
emptyUpdates
public void emptyUpdates(boolean cond)
blankTest
public void blankTest()
throws Exception
- Throws:
Exception
blank
public void blank(boolean cond)
infiniteTest
public void infiniteTest()
throws Exception
- Throws:
Exception
infinite
public void infinite(boolean cond)