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

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

public class Label
extends Object

Author:
Ciera Jaspan

Constructor Summary
Label()
           
 
Method Summary
 void blockbreak(boolean cond, int a, int b)
           
 void blockbreak2(boolean cond)
           
 void blockbreak2Test()
           
 void blockbreak3(boolean cond)
           
 void blockbreak3Test()
           
 void blockbreak4(boolean cond)
           
 void blockbreak4Test()
           
 void blockbreak5(boolean cond)
           
 void blockbreak5Test()
           
 void blockbreak6(boolean cond)
           
 void blockbreak6Test()
           
 void blockbreakTest()
           
static void labelInLoop(boolean cond)
           
 void labelInLoopTest()
           
 void loopBreak(boolean cond)
           
 void loopBreak2(boolean cond)
           
 void loopBreak2Test()
           
 void loopBreakTest()
           
 void loopContinue1(boolean cond)
           
 void loopContinue1Test()
           
 void loopContinue2(boolean cond)
           
 void loopContinue2Test()
           
 void nested(boolean cond, int a, int b)
           
 void nestedLoopBreak(boolean cond)
           
 void nestedLoopBreak2(boolean cond)
           
 void nestedLoopBreak2Test()
           
 void nestedLoopBreakTest()
           
 void nestedLoopContinue(boolean cond)
           
 void nestedLoopContinue2(boolean cond)
           
 void nestedLoopContinue2Test()
           
 void nestedLoopContinueTest()
           
 int nestedSwitch1(boolean cond, int val)
           
 void nestedSwitch1Test()
           
 int nestedSwitch2(boolean cond, int val)
           
 void nestedSwitch2Test()
           
 int nestedSwitch3(boolean cond, int val)
           
 void nestedSwitch3Test()
           
 void nestedTest()
           
static void setup()
           
 void simple(boolean cond, int a, int b)
           
 void simpleTest()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Label

public Label()
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,
                   int b)

nestedTest

public void nestedTest()
                throws Exception
Throws:
Exception

nested

public void nested(boolean cond,
                   int a,
                   int b)

blockbreakTest

public void blockbreakTest()
                    throws Exception
Throws:
Exception

blockbreak

public void blockbreak(boolean cond,
                       int a,
                       int b)

blockbreak2Test

public void blockbreak2Test()
                     throws Exception
Throws:
Exception

blockbreak2

public void blockbreak2(boolean cond)

blockbreak3Test

public void blockbreak3Test()
                     throws Exception
Throws:
Exception

blockbreak3

public void blockbreak3(boolean cond)

blockbreak4Test

public void blockbreak4Test()
                     throws Exception
Throws:
Exception

blockbreak4

public void blockbreak4(boolean cond)

blockbreak5Test

public void blockbreak5Test()
                     throws Exception
Throws:
Exception

blockbreak5

public void blockbreak5(boolean cond)

blockbreak6Test

public void blockbreak6Test()
                     throws Exception
Throws:
Exception

blockbreak6

public void blockbreak6(boolean cond)

loopBreakTest

public void loopBreakTest()
                   throws Exception
Throws:
Exception

loopBreak

public void loopBreak(boolean cond)

loopBreak2Test

public void loopBreak2Test()
                    throws Exception
Throws:
Exception

loopBreak2

public void loopBreak2(boolean cond)

nestedLoopBreakTest

public void nestedLoopBreakTest()
                         throws Exception
Throws:
Exception

nestedLoopBreak

public void nestedLoopBreak(boolean cond)

nestedLoopBreak2Test

public void nestedLoopBreak2Test()
                          throws Exception
Throws:
Exception

nestedLoopBreak2

public void nestedLoopBreak2(boolean cond)

loopContinue1Test

public void loopContinue1Test()
                       throws Exception
Throws:
Exception

loopContinue1

public void loopContinue1(boolean cond)

loopContinue2Test

public void loopContinue2Test()
                       throws Exception
Throws:
Exception

loopContinue2

public void loopContinue2(boolean cond)

nestedLoopContinueTest

public void nestedLoopContinueTest()
                            throws Exception
Throws:
Exception

nestedLoopContinue

public void nestedLoopContinue(boolean cond)

nestedLoopContinue2Test

public void nestedLoopContinue2Test()
                             throws Exception
Throws:
Exception

nestedLoopContinue2

public void nestedLoopContinue2(boolean cond)

labelInLoopTest

public void labelInLoopTest()
                     throws Exception
Throws:
Exception

labelInLoop

public static void labelInLoop(boolean cond)

nestedSwitch1Test

public void nestedSwitch1Test()
                       throws Exception
Throws:
Exception

nestedSwitch1

public int nestedSwitch1(boolean cond,
                         int val)

nestedSwitch2Test

public void nestedSwitch2Test()
                       throws Exception
Throws:
Exception

nestedSwitch2

public int nestedSwitch2(boolean cond,
                         int val)

nestedSwitch3Test

public void nestedSwitch3Test()
                       throws Exception
Throws:
Exception

nestedSwitch3

public int nestedSwitch3(boolean cond,
                         int val)