edu.utep.cs.utjml.compiler
Class UtJmlParserTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.multijava.util.testing.TestCase
              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