edu.rice.cs.javalanglevels
Class BodyTypeChecker.BodyTypeCheckerTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.rice.cs.javalanglevels.BodyTypeChecker.BodyTypeCheckerTest

All Implemented Interfaces:

Test

Enclosing class:

BodyTypeChecker

public static class BodyTypeChecker.BodyTypeCheckerTest
extends TestCase

Test the methods in the above class.

Constructor Summary

BodyTypeChecker.BodyTypeCheckerTest()

BodyTypeChecker.BodyTypeCheckerTest(String name)

Method Summary

void	setUp()
void	testCheckDuplicateExceptions()
void	testCompareThrownAndCaught()
void	testCreateANewInstanceOfMe()
void	testForBlock()
void	testForBracedBody()
void	testForBracedBodyOnly()
void	testForDefaultCase()
void	testForDoStatement()
void	testForDoStatementOnly()
void	testForForStatement()
void	testForForStatementOnly()
void	testForIfThenElseStatement()
void	testForIfThenElseStatementOnly()
void	testForIfThenStatement()
void	testForIfThenStatementOnly()
void	testForInitializedVariableDeclaratorOnly()
void	testForLabeledCase()
void	testForNormalTryCatchStatement()
void	testForSwitchCase()
void	testForSwitchStatement()
void	testForSwitchStatementOnly()
void	testForThrowStatement()
void	testForTryCatchFinallyStatement()
void	testForUninitializedVariableDeclaratorOnly()
void	testforValueReturnStatementOnly()
void	testForVoidReturnStatementOnly()
void	testForWhileStatement()
void	testForWhileStatementOnly()
void	testHandleMethodInvocation()
void	testHandleUncheckedException()
void	testIsCheckedException()
void	testIsUncheckedException()
void	testMakeSureCaughtStuffWasThrown()
void	testTryCatchLeastRestrictiveType()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BodyTypeChecker.BodyTypeCheckerTest

public BodyTypeChecker.BodyTypeCheckerTest()

BodyTypeChecker.BodyTypeCheckerTest

public BodyTypeChecker.BodyTypeCheckerTest(String name)

Method Detail

setUp

public void setUp()

Overrides:

setUp in class TestCase

testForUninitializedVariableDeclaratorOnly

public void testForUninitializedVariableDeclaratorOnly()

testForInitializedVariableDeclaratorOnly

public void testForInitializedVariableDeclaratorOnly()

testForBracedBodyOnly

public void testForBracedBodyOnly()

testForVoidReturnStatementOnly

public void testForVoidReturnStatementOnly()

testforValueReturnStatementOnly

public void testforValueReturnStatementOnly()

testForIfThenElseStatementOnly

public void testForIfThenElseStatementOnly()

testForBlock

public void testForBlock()

testForIfThenStatementOnly

public void testForIfThenStatementOnly()

testForIfThenStatement

public void testForIfThenStatement()

testForIfThenElseStatement

public void testForIfThenElseStatement()

testForForStatement

public void testForForStatement()

testForWhileStatement

public void testForWhileStatement()

testForWhileStatementOnly

public void testForWhileStatementOnly()

testForForStatementOnly

public void testForForStatementOnly()

testForDoStatement

public void testForDoStatement()

testForDoStatementOnly

public void testForDoStatementOnly()

testForSwitchStatementOnly

public void testForSwitchStatementOnly()

testForSwitchStatement

public void testForSwitchStatement()

testForLabeledCase

public void testForLabeledCase()

testForDefaultCase

public void testForDefaultCase()

testForSwitchCase

public void testForSwitchCase()

testCreateANewInstanceOfMe

public void testCreateANewInstanceOfMe()

testCheckDuplicateExceptions

public void testCheckDuplicateExceptions()

testTryCatchLeastRestrictiveType

public void testTryCatchLeastRestrictiveType()

testHandleMethodInvocation

public void testHandleMethodInvocation()

testForThrowStatement

public void testForThrowStatement()

testMakeSureCaughtStuffWasThrown

public void testMakeSureCaughtStuffWasThrown()

testIsCheckedException

public void testIsCheckedException()

testIsUncheckedException

public void testIsUncheckedException()

testHandleUncheckedException

public void testHandleUncheckedException()

testCompareThrownAndCaught

public void testCompareThrownAndCaught()

testForBracedBody

public void testForBracedBody()

testForTryCatchFinallyStatement

public void testForTryCatchFinallyStatement()

testForNormalTryCatchStatement

public void testForNormalTryCatchStatement()