UTJML

edu.utep.cs.utjml.compiler
Class UtJmlParserTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.multijava.util.testing.TestCase
              extended by edu.utep.cs.utjml.compiler.UtJmlParserTest
All Implemented Interfaces:
junit.framework.Test

public class UtJmlParserTest
extends TestCase

Unit tests for JmlParser


Nested Class Summary
protected static class UtJmlParserTest.Helper
           
 
Field Summary
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Constructor Summary
UtJmlParserTest(String name)
          The constructor called by the JUnit framework.
 
Method Summary
static junit.framework.Test suite()
          The suite method called by the junit framework
 void testCallSequence1()
           
 void testCallSequence10()
           
 void testCallSequence2()
           
 void testCallSequence3()
           
 void testCallSequence4()
           
 void testCallSequence5()
           
 void testCallSequence6()
           
 void testCallSequence7()
           
 void testCallSequence8()
           
 void testCallSequence9()
           
 
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, setUp, 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
 

Constructor Detail

UtJmlParserTest

public UtJmlParserTest(String name)
The constructor called by the JUnit framework.

Method Detail

suite

public static junit.framework.Test suite()
The suite method called by the junit framework


testCallSequence1

public void testCallSequence1()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence2

public void testCallSequence2()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence3

public void testCallSequence3()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence4

public void testCallSequence4()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence5

public void testCallSequence5()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence6

public void testCallSequence6()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence7

public void testCallSequence7()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence8

public void testCallSequence8()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence9

public void testCallSequence9()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

testCallSequence10

public void testCallSequence10()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso 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 JML project.