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

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

public class Do
extends Object

Author:
Ciera Jaspan

Constructor Summary
Do()
           
 
Method Summary
 void breaking(boolean cond, int a)
           
 void breakingTest()
           
 void continuing(boolean cond, int a)
           
 void continuingTest()
           
 void returning(int a)
           
 void returningTest()
           
static void setup()
           
 void simple(boolean cond, int a)
           
 void simpleTest()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Do

public Do()
Method Detail

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(int a)