JML

org.multijava.mjc
Class TestCContext

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.multijava.mjc.TestCContext
All Implemented Interfaces:
junit.framework.Test

public class TestCContext
extends TestCase

Unit tests for CContext


Field Summary
protected  CClass classSig
           
protected  CClassContextType clazz
           
protected  CCompilationUnitContextType compUnit
           
protected  CExpressionContextType expr
           
protected  CLoopContext loop
           
protected  CFlowControlContextType loopBody
           
protected  CMethodContextType method
           
protected  CFlowControlContextType methodBlock
           
protected  CMethod methodSig
           
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestCContext(String name)
           
 
Method Summary
 void setUp()
           
 void test_getCMethod_method1()
          Should be able to call getCMethod on any well-formed context, retreiving the correct method signature if one exists or null otherwise.
 void test_isInLoop_method1()
           
 
Methods inherited from class org.multijava.util.testing.TestCase
assertDiff, assertEquals
 
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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

classSig

protected CClass classSig

methodSig

protected CMethod methodSig

compUnit

protected CCompilationUnitContextType compUnit

clazz

protected CClassContextType clazz

method

protected CMethodContextType method

methodBlock

protected CFlowControlContextType methodBlock

loop

protected CLoopContext loop

loopBody

protected CFlowControlContextType loopBody

expr

protected CExpressionContextType expr
Constructor Detail

TestCContext

public TestCContext(String name)
Method Detail

test_isInLoop_method1

public void test_isInLoop_method1()

test_getCMethod_method1

public void test_getCMethod_method1()
Should be able to call getCMethod on any well-formed context, retreiving the correct method signature if one exists or null otherwise.


setUp

public void setUp()
Overrides:
setUp in class junit.framework.TestCase

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.