UTJML

edu.utep.cs.utjml.compiler
Class UtJmlParserTest.Helper

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

protected static class UtJmlParserTest.Helper
extends TestMjcParser


Nested Class Summary
 
Nested classes/interfaces inherited from class org.multijava.mjc.TestMjcParser
TestMjcParser.TestCompiler
 
Field Summary
 
Fields inherited from class org.multijava.mjc.TestMjcParser
compiler, errorOut
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Constructor Summary
UtJmlParserTest.Helper(String name)
           
 
Method Summary
protected  void establishTest(String sourceCode, boolean parseJavadocs)
          Establish lexers and parsers for the given source code, parsing javadoc comments according to the given boolean.
protected  JmlAbruptSpecCase getAbruptSpecCase(String sourceCode)
           
protected  JmlGenericSpecCase getGenericSpecCase(String sourceCode)
           
protected  JmlGenericSpecCase getGenericSpecStatementCase(String sourceCode)
           
protected  JmlCompilationUnit getJmlAST(String sourceCode)
           
protected  JmlMethodSpecification getMethodSpecification(String sourceCode)
           
protected  JmlModelProgram getModelProgram(int modifiers, String sourceCode)
           
protected  JmlRequiresClause getRequiresClause(String sourceCode)
           
protected  JmlSpecBodyClause[] getSpecBody(String sourceCode)
           
protected  JmlSpecBodyClause getSpecBodyClause(String sourceCode)
           
protected  JmlSpecVarDecl[] getSpecVarDecls(String sourceCode)
           
protected  JStatement getStatement(String sourceCode)
           
 
Methods inherited from class org.multijava.mjc.TestMjcParser
establishTest, getAST, getAST, test_comment_parsing_1, test_comment_parsing_2, test_ignore_misplaced_javadoc_parsing1, test_ignore_misplaced_javadoc_parsing10, test_ignore_misplaced_javadoc_parsing11, test_ignore_misplaced_javadoc_parsing12, test_ignore_misplaced_javadoc_parsing13, test_ignore_misplaced_javadoc_parsing2, test_ignore_misplaced_javadoc_parsing3, test_ignore_misplaced_javadoc_parsing4, test_ignore_misplaced_javadoc_parsing5, test_ignore_misplaced_javadoc_parsing6, test_ignore_misplaced_javadoc_parsing7, test_ignore_misplaced_javadoc_parsing8, test_ignore_misplaced_javadoc_parsing9, test_initMods_1, test_initMods_2, test_initMods_3, test_initMods_4, testAugmentingMethodDeclJavadocParsing1, testClassDeclJavadocParsing1, testClassDeclJavadocParsing2, testClassDeclJavadocParsing3, testClassDeclJavadocParsing4, testClassDeclJavadocParsing5, testClassDeclParsing, testFieldJavadocParsing1, testInitializerJavadocParsing1, testInnerClassJavadocParsing1, testInterfaceDeclJavadocParsing1, testMethodJavadocParsing1
 
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.Helper

public UtJmlParserTest.Helper(String name)
Method Detail

establishTest

protected void establishTest(String sourceCode,
                             boolean parseJavadocs)
Establish lexers and parsers for the given source code, parsing javadoc comments according to the given boolean.

Overrides:
establishTest in class TestMjcParser

getJmlAST

protected JmlCompilationUnit getJmlAST(String sourceCode)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getMethodSpecification

protected JmlMethodSpecification getMethodSpecification(String sourceCode)
                                                 throws antlr.RecognitionException,
                                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getGenericSpecCase

protected JmlGenericSpecCase getGenericSpecCase(String sourceCode)
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getGenericSpecStatementCase

protected JmlGenericSpecCase getGenericSpecStatementCase(String sourceCode)
                                                  throws antlr.RecognitionException,
                                                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getAbruptSpecCase

protected JmlAbruptSpecCase getAbruptSpecCase(String sourceCode)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getSpecBody

protected JmlSpecBodyClause[] getSpecBody(String sourceCode)
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getRequiresClause

protected JmlRequiresClause getRequiresClause(String sourceCode)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getSpecBodyClause

protected JmlSpecBodyClause getSpecBodyClause(String sourceCode)
                                       throws antlr.RecognitionException,
                                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getModelProgram

protected JmlModelProgram getModelProgram(int modifiers,
                                          String sourceCode)
                                   throws antlr.RecognitionException,
                                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getSpecVarDecls

protected JmlSpecVarDecl[] getSpecVarDecls(String sourceCode)
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

getStatement

protected JStatement getStatement(String sourceCode)
                           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.