edu.cmu.cs.crystal.cfg.eclipse
Class For

java.lang.Object
  extended by edu.cmu.cs.crystal.cfg.eclipse.For

public class For
extends Object


Constructor Summary
For()
           
 
Method Summary
 void blank(boolean cond)
           
 void blankTest()
           
 void breaking(int[] array, boolean cond)
           
 void breakingTest()
           
 void continuing(int[] array, boolean cond)
           
 void continuingTest()
           
 void emptyCond(boolean cond)
           
 void emptyCondTest()
           
 void emptyInits(int ndx, boolean cond)
           
 void emptyInitsTest()
           
 void emptyUpdates(boolean cond)
           
 void emptyUpdatesTest()
           
 void infinite(boolean cond)
           
 void infiniteTest()
           
static void setup()
           
 void simple(int[] array, boolean cond)
           
 void simpleTest()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

For

public For()
Method Detail

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)