edu.cmu.cs.crystal.cfg.eclipse
Class While
java.lang.Object
edu.cmu.cs.crystal.cfg.eclipse.While
public class While
- extends Object
- Author:
- Ciera Jaspan
Constructor Summary |
While()
|
While
public While()
setup
public static void setup()
throws CoreException
- Throws:
CoreException
simpleTest
public void simpleTest()
throws Exception
- Throws:
Exception
simple
public void simple(boolean cond,
int a)
breakingTest
public void breakingTest()
throws Exception
- Throws:
Exception
breaking
public void breaking(boolean cond,
int a)
continuingTest
public void continuingTest()
throws Exception
- Throws:
Exception
continuing
public void continuing(boolean cond,
int a)
returningTest
public void returningTest()
throws Exception
- Throws:
Exception
returning
public void returning(boolean cond,
int a)