Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.checker
Class TestJmlParser

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.jmlspecs.checker.TestJmlParser
All Implemented Interfaces:
Constants, Constants, Constants, junit.framework.Test
public class TestJmlParser
extends TestCase
implements Constants

Unit tests for JmlParser

Nested Class Summary
protected static class TestJmlParser.Helper
           
 
Field Summary
private  TestJmlParser.Helper parserHelper
           
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Fields inherited from interface org.jmlspecs.checker.Constants
ACC2_RAC_METHOD, ACC_CODE, ACC_CODE_BIGINT_MATH, ACC_CODE_JAVA_MATH, ACC_CODE_SAFE_MATH, ACC_GHOST, ACC_HELPER, ACC_INSTANCE, ACC_MODEL, ACC_MONITORED, ACC_QUERY, ACC_SECRET, ACC_SPEC_BIGINT_MATH, ACC_SPEC_JAVA_MATH, ACC_SPEC_PROTECTED, ACC_SPEC_PUBLIC, ACC_SPEC_SAFE_MATH, ACC_UNINITIALIZED, ACCESS_FLAG_ARRAY, ACCESS_FLAG_NAMES, AMID_BIGINT_MATH, EVERYTHING, JML_JMLObjectSet, NOT_SPECIFIED, NOTHING, OPE_BACKWARD_IMPLIES, OPE_EQUIV, OPE_EXISTS, OPE_FORALL, OPE_IMPLIES, OPE_L_ARROW, OPE_MAX, OPE_MIN, OPE_NOT_EQUIV, OPE_NUM_OF, OPE_PRODUCT, OPE_R_ARROW, OPE_SUBTYPE, OPE_SUM, SAME, TID_BIGINT, TID_REAL, TID_TYPE, TN_JMLOBJECTSET, TN_JMLTYPE, TN_JMLVALUESET
 
Fields inherited from interface org.multijava.mjc.Constants
ACC_MODIFIER_FLAGS_MASK, ACC_NON_NULL, ACC_NON_NULL_BY_DEFAULT, ACC_NULLABLE, ACC_NULLABLE_BY_DEFAULT, ACC_PURE, AMID_JAVA_MATH, AMID_MAX, AMID_SAFE_MATH, CMP_VERSION, IMPLICITLY_NON_NULL, JAV_ASSERTION_ERROR, JAV_CLASS, JAV_CLASSLOADER, JAV_CLASSNOTFOUND_EXCEPTION, JAV_CLONE, JAV_CLONEABLE, JAV_CONSTRUCTOR, JAV_ERROR, JAV_EXCEPTION, JAV_INIT, JAV_LENGTH, JAV_NAME_SEPARATOR, JAV_NOCLASSDEFFOUND_ERROR, JAV_OBJECT, JAV_OUTER_THIS, JAV_RMJ_RUNTIME_EXCEPTION, JAV_RUNTIME, JAV_RUNTIME_EXCEPTION, JAV_SERIALIZABLE, JAV_STATIC_INIT, JAV_STRING, JAV_STRINGBUFFER, JAV_SUPER, JAV_THIS, JAV_THROWABLE, MJ_ANCHOR, NULLITY_MODS, OPE_BAND, OPE_BNOT, OPE_BOR, OPE_BSR, OPE_BXOR, OPE_EQ, OPE_GE, OPE_GT, OPE_LAND, OPE_LE, OPE_LNOT, OPE_LOR, OPE_LT, OPE_MINUS, OPE_NE, OPE_PERCENT, OPE_PLUS, OPE_POSTDEC, OPE_POSTINC, OPE_PREDEC, OPE_PREINC, OPE_SIMPLE, OPE_SL, OPE_SLASH, OPE_SR, OPE_STAR, TID_ARRAY, TID_BOOLEAN, TID_BYTE, TID_CHAR, TID_CLASS, TID_DOUBLE, TID_FLOAT, TID_INT, TID_LONG, TID_MAX, TID_SHORT, TID_VOID, UNIV_ARRAY_TMP, UNIV_TMP
 
Fields inherited from interface org.multijava.util.classfile.Constants
ACC_ABSTRACT, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VOLATILE, ATT_ANCHOR, ATT_BRIDGE, ATT_CODE, ATT_CONSTANTVALUE, ATT_DEPRECATED, ATT_DISPATCHER, ATT_EXCEPTIONS, ATT_GENERIC, ATT_GENERIC_FUNCTIONS, ATT_INNERCLASSES, ATT_LINENUMBERTABLE, ATT_LOCALVARIABLETABLE, ATT_MM_BODY, ATT_REDIRECTOR, ATT_RMJ_GLUE, ATT_RMJ_SIGNATURE, ATT_RUNTIME_VISIBLE_ANNOTATIONS, ATT_RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS, ATT_SIGNATURE, ATT_SOURCEFILE, ATT_SYNTHETIC, ATT_UNIVERSE_FIELD, ATT_UNIVERSE_METHOD, ATT_UNIVERSE_VERSION, CST_CLASS, CST_DOUBLE, CST_FIELD, CST_FLOAT, CST_INTEGER, CST_INTERFACEMETHOD, CST_LONG, CST_METHOD, CST_NAMEANDTYPE, CST_STRING, CST_UTF8, ENV_DEBUG_MODE, ENV_USE_CACHE, JAVA_MAGIC, JAVA_MAJOR, JAVA_MINOR, MAX_CODE_PER_METHOD, opc_aaload, opc_aastore, opc_aconst_null, opc_aload, opc_aload_0, opc_aload_1, opc_aload_2, opc_aload_3, opc_anewarray, opc_areturn, opc_arraylength, opc_astore, opc_astore_0, opc_astore_1, opc_astore_2, opc_astore_3, opc_athrow, opc_baload, opc_bastore, opc_bipush, opc_caload, opc_castore, opc_checkcast, opc_d2f, opc_d2i, opc_d2l, opc_dadd, opc_daload, opc_dastore, opc_dcmpg, opc_dcmpl, opc_dconst_0, opc_dconst_1, opc_ddiv, opc_dload, opc_dload_0, opc_dload_1, opc_dload_2, opc_dload_3, opc_dmul, opc_dneg, opc_drem, opc_dreturn, opc_dstore, opc_dstore_0, opc_dstore_1, opc_dstore_2, opc_dstore_3, opc_dsub, opc_dup, opc_dup2, opc_dup2_x1, opc_dup2_x2, opc_dup_x1, opc_dup_x2, opc_f2d, opc_f2i, opc_f2l, opc_fadd, opc_faload, opc_fastore, opc_fcmpg, opc_fcmpl, opc_fconst_0, opc_fconst_1, opc_fconst_2, opc_fdiv, opc_fload, opc_fload_0, opc_fload_1, opc_fload_2, opc_fload_3, opc_fmul, opc_fneg, opc_frem, opc_freturn, opc_fstore, opc_fstore_0, opc_fstore_1, opc_fstore_2, opc_fstore_3, opc_fsub, opc_getfield, opc_getstatic, opc_goto, opc_goto_w, opc_i2b, opc_i2c, opc_i2d, opc_i2f, opc_i2l, opc_i2s, opc_iadd, opc_iaload, opc_iand, opc_iastore, opc_iconst_0, opc_iconst_1, opc_iconst_2, opc_iconst_3, opc_iconst_4, opc_iconst_5, opc_iconst_m1, opc_idiv, opc_if_acmpeq, opc_if_acmpne, opc_if_icmpeq, opc_if_icmpge, opc_if_icmpgt, opc_if_icmple, opc_if_icmplt, opc_if_icmpne, opc_ifeq, opc_ifge, opc_ifgt, opc_ifle, opc_iflt, opc_ifne, opc_ifnonnull, opc_ifnull, opc_iinc, opc_iload, opc_iload_0, opc_iload_1, opc_iload_2, opc_iload_3, opc_imul, opc_ineg, opc_instanceof, opc_invokeinterface, opc_invokespecial, opc_invokestatic, opc_invokevirtual, opc_ior, opc_irem, opc_ireturn, opc_ishl, opc_ishr, opc_istore, opc_istore_0, opc_istore_1, opc_istore_2, opc_istore_3, opc_isub, opc_iushr, opc_ixor, opc_jsr, opc_jsr_w, opc_l2d, opc_l2f, opc_l2i, opc_ladd, opc_laload, opc_land, opc_lastore, opc_lcmp, opc_lconst_0, opc_lconst_1, opc_ldc, opc_ldc2_w, opc_ldc_w, opc_ldiv, opc_lload, opc_lload_0, opc_lload_1, opc_lload_2, opc_lload_3, opc_lmul, opc_lneg, opc_lookupswitch, opc_lor, opc_lrem, opc_lreturn, opc_lshl, opc_lshr, opc_lstore, opc_lstore_0, opc_lstore_1, opc_lstore_2, opc_lstore_3, opc_lsub, opc_lushr, opc_lxor, opc_monitorenter, opc_monitorexit, opc_multianewarray, opc_new, opc_newarray, opc_nop, opc_pop, opc_pop2, opc_putfield, opc_putstatic, opc_ret, opc_return, opc_saload, opc_sastore, opc_sipush, opc_swap, opc_tableswitch, opc_wide, opc_xxxunusedxxx, POO_ASCII_CONSTANT, POO_CLASS_CONSTANT, POO_DOUBLE_CONSTANT, POO_FLOAT_CONSTANT, POO_INTEGER_CONSTANT, POO_LONG_CONSTANT, POO_NAT_CONSTANT, POO_REF_CONSTANT, POO_STRING_CONSTANT, TYP_ADDRESS, TYP_DOUBLE, TYP_FLOAT, TYP_INT, TYP_LONG, TYP_REFERENCE, TYP_VOID
 
Constructor Summary
TestJmlParser(String name)
          The constructor called by the JUnit framework.
 
Method Summary
private  JmlAxiom[] axiomsFrom(JmlCompilationUnit unit)
           
private  JmlConstraint[] constraintsFrom(JmlCompilationUnit unit)
           
private  JExpression expressionFrom(JmlCompilationUnit unit)
           
private  JmlFieldDeclaration[] fieldsFrom(JmlCompilationUnit unit)
           
private  JmlGuardedStatement getGuardedStatementFrom(String sourceCode)
           
private  JmlModelProgStatement getModelProgStatement(String sourceCode)
           
private  JmlGeneralSpecCase getSpecCase(String sourceCode)
           
private  long getTypeModifiers(JmlCompilationUnit unit)
           
private  JmlClassBlock[] initializersFrom(JmlCompilationUnit unit)
           
private  JmlInvariant[] invariantsFrom(JmlCompilationUnit unit)
           
private  JmlLetVarDecl[] letVarDeclsFrom(JmlSpecVarDecl[] oldDecls)
           
private  JmlMethodDeclaration[] methodDeclsFrom(JmlCompilationUnit unit)
           
private  JmlMethodName[] methodNamesFrom(JmlCompilationUnit unit)
           
private  JmlMethodSpecification methodSpecificationFrom(String mspec)
           
private  JFormalParameter[] parameterDeclarationsFrom(JmlCompilationUnit unit)
           
private  JVariableDefinition[] quantifiedVarDeclsFrom(JmlCompilationUnit unit)
           
private  JmlRepresentsDecl[] representsDeclsFrom(JmlCompilationUnit unit)
           
private  JmlSpecExpression[] specExpressionListFrom(JmlCompilationUnit unit)
           
private  JmlStoreRef storeRefFrom(JmlCompilationUnit unit)
           
private  JmlStoreRef storeRefFrom(JmlSpecBodyClause bc)
           
private  JmlStoreRef storeRefFromCC(JmlSpecBodyClause bc)
           
static junit.framework.Test suite()
          The suite method called by the junit framework
 void test_abruptSpecBody_1()
           
 void test_abruptSpecBody_2()
           
 void test_abruptSpecCase_1()
           
 void test_abruptSpecCase_2()
           
 void test_abruptSpecCase_3()
           
 void test_abruptSpecCase_4()
           
 void test_accessibleClause_1()
           
 void test_accessibleClause_2()
           
 void test_accessibleClause_3()
           
 void test_accessibleClause_3b()
           
 void test_accessibleClause_3c()
           
 void test_accessibleClause_4()
           
 void test_accessibleClause_6()
           
 void test_accessibleClause_6b()
           
 void test_annotation_3()
          Should allow single-line annotation within single-line annotation.
 void test_annotation_5()
          Should allow single-line annotation within multi-line annotation.
 void test_assertRedundantlyStatement_1()
           
 void test_assertRedundantlyStatement_2()
           
 void test_assertStatement_1()
           
 void test_assertStatement_2()
           
 void test_assignableClause_1()
           
 void test_assignableClause_13()
           
 void test_assignableClause_15()
           
 void test_assignableClause_19()
           
 void test_assignableClause_21()
           
 void test_assignableClause_25()
           
 void test_assignableClause_27()
           
 void test_assignableClause_3()
           
 void test_assignableClause_31()
           
 void test_assignableClause_33()
           
 void test_assignableClause_37()
           
 void test_assignableClause_7()
           
 void test_assignableClause_9()
           
 void test_assumeStatement_1()
           
 void test_assumeStatement_2()
           
 void test_assumeStatement_3()
           
 void test_assumeStatement_4()
           
 void test_axiom_1()
           
 void test_bad_annotation_2()
          Should not allow multi-line annotation within single-line annotation.
 void test_bad_annotation_4()
          Should not allow multi-line annotation within multi-line annotation.
 void test_behavior_spec_1()
           
 void test_behavior_spec_2()
           
 void test_behavior_spec_3()
           
 void test_breaksClause_1()
           
 void test_breaksClause_10()
           
 void test_breaksClause_11()
           
 void test_breaksClause_12()
           
 void test_breaksClause_2()
           
 void test_breaksClause_3()
           
 void test_breaksClause_4()
           
 void test_breaksClause_5()
           
 void test_breaksClause_6()
           
 void test_breaksClause_7()
           
 void test_breaksClause_8()
           
 void test_breaksClause_9()
           
 void test_callableClause_1()
           
 void test_callableClause_2()
           
 void test_callableClause_3()
           
 void test_callableClause_4()
           
 void test_callableClause_5()
           
 void test_callableClause_6()
           
 void test_comment1()
           
 void test_comment2()
           
 void test_comment3()
           
 void test_comment_4()
          Should allow comments within annotation.
 void test_comment_5()
          Should allow comments within annotation.
 void test_comment_6()
          Should not allow multi-line comment within single-line annotation.
 void test_comment_7()
          Should allow empty annotations.
 void test_comment_8()
          Should allow empty annotations.
 void test_conditionalExpr_1()
           
 void test_conditionalExpr_2()
           
 void test_constraint11()
           
 void test_constraint_1()
           
 void test_constraint_2()
           
 void test_constraint_3()
           
 void test_constraint_4()
           
 void test_constraint_5()
           
 void test_constraint_6()
           
 void test_constructorDecl_1()
           
 void test_constructorDecl_2()
           
 void test_constructorDecl_3()
           
 void test_constructorDecl_4()
           
 void test_constructorDecl_5()
           
 void test_constructorDecl_6()
           
 void test_continuesClause_1()
           
 void test_continuesClause_10()
           
 void test_continuesClause_11()
           
 void test_continuesClause_12()
           
 void test_continuesClause_2()
           
 void test_continuesClause_3()
           
 void test_continuesClause_4()
           
 void test_continuesClause_5()
           
 void test_continuesClause_6()
           
 void test_continuesClause_7()
           
 void test_continuesClause_8()
           
 void test_continuesClause_9()
           
 void test_divergesClause_1()
           
 void test_divergesClause_2()
           
 void test_divergesClause_3()
           
 void test_divergesClause_4()
           
 void test_durationClause_1()
           
 void test_durationClause_2()
           
 void test_durationClause_3()
           
 void test_durationClause_4()
           
 void test_durationClause_5()
           
 void test_durationClause_6()
           
 void test_ensuresClause_1()
           
 void test_ensuresClause_2()
           
 void test_ensuresClause_3()
           
 void test_ensuresClause_4()
           
 void test_ensuresClause_5()
           
 void test_ensuresClause_6()
           
 void test_ensuresClause_7()
           
 void test_ensuresClause_8()
           
 void test_equivalenceExpr_1()
           
 void test_equivalenceExpr_2()
           
 void test_equivalenceExpr_3()
           
 void test_equivalenceExpr_4()
           
 void test_equivalenceExpr_5()
           
 void test_example_1()
           
 void test_example_10()
           
 void test_example_11()
           
 void test_example_12()
           
 void test_example_13()
           
 void test_example_14()
           
 void test_example_15()
           
 void test_example_16()
           
 void test_example_17()
           
 void test_example_2()
           
 void test_example_2_1()
           
 void test_example_3()
           
 void test_example_4()
           
 void test_example_5()
           
 void test_example_6()
           
 void test_example_6_1()
           
 void test_example_7()
           
 void test_example_8()
           
 void test_example_9()
           
 void test_example_9_1()
           
 void test_examples_1()
           
 void test_examples_2()
           
 void test_examples_3()
           
 void test_exceptional_spec_body_1()
           
 void test_exceptional_spec_body_2()
           
 void test_exceptional_spec_case_1()
           
 void test_exceptional_spec_case_2()
           
 void test_exceptional_spec_case_3()
           
 void test_exceptional_spec_case_4()
           
 void test_exceptional_spec_case_seq_1()
           
 void test_exceptional_spec_case_seq_2()
           
 void test_exceptional_spec_case_seq_3()
           
 void test_extending_specification_1()
           
 void test_field_1()
           
 void test_field_10()
           
 void test_field_11()
           
 void test_field_12()
           
 void test_field_13()
           
 void test_field_14()
           
 void test_field_15()
           
 void test_field_16()
           
 void test_field_2()
           
 void test_field_3()
           
 void test_field_4()
           
 void test_field_5()
           
 void test_field_6()
           
 void test_field_7()
           
 void test_field_8()
           
 void test_field_9()
           
 void test_forAllVarDecl_1()
           
 void test_forAllVarDecl_2()
           
 void test_genericSpecBody_1()
           
 void test_genericSpecBody_2()
           
 void test_genericSpecCase_1()
           
 void test_genericSpecCase_2()
           
 void test_genericSpecCase_3()
           
 void test_genericSpecCase_4()
           
 void test_genericSpecCase_5()
           
 void test_guardedStatement_1()
           
 void test_guardedStatement_2()
           
 void test_guardedStatement_3()
           
 void test_guardedStatement_4()
           
 void test_henceByStatement_1()
           
 void test_henceByStatement_2()
           
 void test_immplications_1()
           
 void test_immplications_2()
           
 void test_immplications_3()
           
 void test_impliesExpr_1()
           
 void test_impliesExpr_2()
           
 void test_impliesExpr_3()
           
 void test_impliesExpr_4()
           
 void test_impliesExpr_5()
           
 void test_impliesExpr_6()
           
 void test_import_1()
           
 void test_import_2()
           
 void test_import_3()
           
 void test_import_4()
           
 void test_inits_1()
           
 void test_inits_2()
           
 void test_inits_3()
           
 void test_inits_4()
           
 void test_inits_5()
           
 void test_inits_6()
           
 void test_invariant_1()
          Should find type specification annotation.
 void test_invariant_10()
          Should allow multiple type specification members in a single annotation.
 void test_invariant_11()
          Should allow a annotation across multiple single-line annotations.
 void test_invariant_2()
          Should find type specification annotation.
 void test_invariant_3()
          Should find type specification annotation spread over multiple lines.
 void test_invariant_4()
          Should find type specification annotation spread over multiple lines.
 void test_invariant_5()
          Should allow multiple '@'.
 void test_invariant_6()
          Should allow multiple '@'.
 void test_invariant_7()
          Should find type specification annotation using '+' marker.
 void test_invariant_8()
          Should find type specification annotation using '+' marker.
 void test_invariant_9()
          Should allow multiple type specification annotations.
 void test_invariantStatement_1()
           
 void test_invariantStatement_2()
           
 void test_jmlPrimary_1()
           
 void test_jmlPrimary_10()
           
 void test_jmlPrimary_11()
           
 void test_jmlPrimary_12()
           
 void test_jmlPrimary_13()
           
 void test_jmlPrimary_14()
           
 void test_jmlPrimary_15()
           
 void test_jmlPrimary_16()
           
 void test_jmlPrimary_17()
           
 void test_jmlPrimary_18()
           
 void test_jmlPrimary_19()
           
 void test_jmlPrimary_2()
           
 void test_jmlPrimary_20()
           
 void test_jmlPrimary_21()
           
 void test_jmlPrimary_22()
           
 void test_jmlPrimary_3()
           
 void test_jmlPrimary_4()
           
 void test_jmlPrimary_5()
           
 void test_jmlPrimary_6()
           
 void test_jmlPrimary_7()
           
 void test_jmlPrimary_8()
           
 void test_jmlPrimary_9()
           
 void test_loopStmt_1()
           
 void test_loopStmt_10()
           
 void test_loopStmt_11()
           
 void test_loopStmt_12()
           
 void test_loopStmt_13()
           
 void test_loopStmt_14()
           
 void test_loopStmt_15()
           
 void test_loopStmt_16()
           
 void test_loopStmt_17()
           
 void test_loopStmt_18()
           
 void test_loopStmt_19()
           
 void test_loopStmt_2()
           
 void test_loopStmt_20()
           
 void test_loopStmt_21()
           
 void test_loopStmt_22()
           
 void test_loopStmt_23()
           
 void test_loopStmt_24()
           
 void test_loopStmt_25()
           
 void test_loopStmt_26()
           
 void test_loopStmt_27()
           
 void test_loopStmt_28()
           
 void test_loopStmt_29()
           
 void test_loopStmt_3()
           
 void test_loopStmt_30()
           
 void test_loopStmt_4()
           
 void test_loopStmt_5()
           
 void test_loopStmt_6()
           
 void test_loopStmt_7()
           
 void test_loopStmt_8()
           
 void test_loopStmt_9()
           
 void test_methodDecl_1()
           
 void test_methodDecl_10()
           
 void test_methodDecl_11()
           
 void test_methodDecl_12()
           
 void test_methodDecl_2()
           
 void test_methodDecl_3()
           
 void test_methodDecl_4()
           
 void test_methodDecl_5()
           
 void test_methodDecl_6()
           
 void test_methodDecl_7()
           
 void test_methodDecl_8()
           
 void test_methodDecl_9()
           
 void test_methodNameList_1()
           
 void test_methodNameList_10()
           
 void test_methodNameList_12()
           
 void test_methodNameList_13()
           
 void test_methodNameList_14()
           
 void test_methodNameList_15()
           
 void test_methodNameList_2()
           
 void test_methodNameList_3()
           
 void test_methodNameList_4()
           
 void test_methodNameList_5()
           
 void test_methodNameList_6()
           
 void test_methodNameList_7()
           
 void test_methodNameList_8()
           
 void test_methodNameList_9()
           
 void test_methodSpecification_1()
           
 void test_methodSpecification_2()
           
 void test_modelProgram_1()
           
 void test_modelProgram_10()
           
 void test_modelProgram_11()
           
 void test_modelProgram_12()
           
 void test_modelProgram_2()
           
 void test_modelProgram_3()
           
 void test_modelProgram_4()
           
 void test_modelProgram_5()
           
 void test_modelProgram_6()
           
 void test_modelProgram_7()
           
 void test_modelProgram_8()
           
 void test_modelProgram_9()
           
 void test_modelProgStatement_1()
           
 void test_modelProgStatement_2()
           
 void test_modelProgStatement_3()
           
 void test_modifier_1()
           
 void test_modifier_2()
           
 void test_modifier_3()
           
 void test_nondetChoice_1()
           
 void test_nondetChoice_2()
           
 void test_nondetChoice_3()
           
 void test_nondetChoice_4()
           
 void test_nondetChoice_5()
           
 void test_nondetChoice_6()
           
 void test_nondetChoice_7()
           
 void test_nondetIf_1()
           
 void test_nondetIf_2()
           
 void test_nondetIf_3()
           
 void test_nondetIf_4()
           
 void test_nondetIf_5()
           
 void test_nondetIf_6()
           
 void test_normal_spec_body_1()
           
 void test_normal_spec_body_2()
           
 void test_normal_spec_case_1()
           
 void test_normal_spec_case_2()
           
 void test_normal_spec_case_3()
           
 void test_normal_spec_case_4()
           
 void test_normal_spec_case_seq_1()
           
 void test_normal_spec_case_seq_2()
           
 void test_normal_spec_case_seq_3()
           
 void test_objectRef_1()
           
 void test_objectRef_2()
           
 void test_objectRef_3()
           
 void test_parameterDeclaration_1()
           
 void test_parameterDeclaration_2()
           
 void test_parameterDeclaration_3()
           
 void test_parameterDeclaration_4()
           
 void test_parameterDeclaration_5()
           
 void test_parameterDeclaration_6()
           
 void test_parameterDeclaration_7()
           
 void test_parameterDeclaration_8()
           
 void test_parameterDeclaration_9()
           
 void test_quantifiedVarDecl_1()
           
 void test_quantifiedVarDecl_2()
           
 void test_quantifiedVarDecl_3()
           
 void test_quantifiedVarDecl_4()
           
 void test_quantifiedVarDecl_5()
           
 void test_quantifiedVarDecl_6()
           
 void test_quantifiedVarDecl_7()
           
 void test_quantifiedVarDecl_8()
           
 void test_quantifiedVarDecl_9()
           
 void test_redundant_spec_1()
           
 void test_redundant_spec_2()
           
 void test_redundant_spec_3()
           
 void test_refine_1()
           
 void test_refine_2()
           
 void test_represents_decl_1()
           
 void test_represents_decl_2()
           
 void test_represents_decl_3()
           
 void test_represents_decl_4()
           
 void test_requiresClause_1()
           
 void test_requiresClause_2()
           
 void test_requiresClause_3()
           
 void test_requiresClause_4()
           
 void test_requiresClause_5()
           
 void test_requiresClause_6()
           
 void test_requiresClause_7()
           
 void test_requiresClause_8()
           
 void test_returnsClause_1()
           
 void test_returnsClause_2()
           
 void test_returnsClause_3()
           
 void test_returnsClause_4()
           
 void test_returnsClause_5()
           
 void test_returnsClause_6()
           
 void test_setComprehension_1()
           
 void test_setComprehension_10()
           
 void test_setComprehension_11()
           
 void test_setComprehension_12()
           
 void test_setComprehension_2()
           
 void test_setComprehension_3()
           
 void test_setComprehension_4()
           
 void test_setComprehension_5()
           
 void test_setComprehension_6()
           
 void test_setComprehension_7()
           
 void test_setComprehension_8()
           
 void test_setComprehension_9()
           
 void test_setStatement_1()
           
 void test_setStatement_2()
           
 void test_signalsClause_1()
           
 void test_signalsClause_10()
           
 void test_signalsClause_11()
           
 void test_signalsClause_12()
           
 void test_signalsClause_13()
           
 void test_signalsClause_14()
           
 void test_signalsClause_15()
           
 void test_signalsClause_16()
           
 void test_signalsClause_17()
           
 void test_signalsClause_18()
           
 void test_signalsClause_19()
           
 void test_signalsClause_2()
           
 void test_signalsClause_20()
           
 void test_signalsClause_3()
           
 void test_signalsClause_4()
           
 void test_signalsClause_5()
           
 void test_signalsClause_6()
           
 void test_signalsClause_7()
           
 void test_signalsClause_8()
           
 void test_signalsClause_9()
           
 void test_specBody_1()
           
 void test_specBody_2()
           
 void test_specCase_1()
           
 void test_specCase_2()
           
 void test_specCase_3()
           
 void test_specCaseSeq_1()
           
 void test_specCaseSeq_2()
           
 void test_specCaseSeq_3()
           
 void test_specExpressionList_1()
           
 void test_specExpressionList_2()
           
 void test_specHeader_1()
           
 void test_specHeader_2()
           
 void test_specHeader_3()
           
 void test_specification_1()
           
 void test_specification_2()
           
 void test_specification_3()
           
 void test_specification_4()
           
 void test_specification_5()
           
 void test_specification_6()
           
 void test_specification_7()
           
 void test_specification_8()
           
 void test_specQuantifiedExpr_1()
           
 void test_specQuantifiedExpr_10()
           
 void test_specQuantifiedExpr_11()
           
 void test_specQuantifiedExpr_12()
           
 void test_specQuantifiedExpr_13()
           
 void test_specQuantifiedExpr_14()
           
 void test_specQuantifiedExpr_15()
           
 void test_specQuantifiedExpr_16()
           
 void test_specQuantifiedExpr_17()
           
 void test_specQuantifiedExpr_18()
           
 void test_specQuantifiedExpr_19()
           
 void test_specQuantifiedExpr_2()
           
 void test_specQuantifiedExpr_20()
           
 void test_specQuantifiedExpr_21()
           
 void test_specQuantifiedExpr_3()
           
 void test_specQuantifiedExpr_4()
           
 void test_specQuantifiedExpr_5()
           
 void test_specQuantifiedExpr_6()
           
 void test_specQuantifiedExpr_7()
           
 void test_specQuantifiedExpr_8()
           
 void test_specQuantifiedExpr_9()
           
 void test_specStatement_1()
           
 void test_specStatement_2()
           
 void test_specStatement_3()
           
 void test_specStatement_4()
           
 void test_specVarDecls_1()
           
 void test_specVarDecls_2()
           
 void test_specVarDecls_3()
           
 void test_specVarDecls_4()
           
 void test_specVarDecls_5()
           
 void test_specVarDecls_6()
           
 void test_specVarDecls_7()
           
 void test_specVarDecls_8()
           
 void test_specVarDecls_9()
           
 void test_specVariableDeclarators_1()
           
 void test_specVariableDeclarators_2()
           
 void test_specVariableDeclarators_3()
           
 void test_specVariableDeclarators_4()
           
 void test_specVariableDeclarators_5()
           
 void test_specVariableDeclarators_6()
           
 void test_specVariableDeclarators_7()
           
 void test_specVariableDeclarators_8()
           
 void test_store_ref_1()
           
 void test_store_ref_10()
           
 void test_store_ref_11()
           
 void test_store_ref_12()
           
 void test_store_ref_13()
           
 void test_store_ref_14()
           
 void test_store_ref_15()
           
 void test_store_ref_16()
           
 void test_store_ref_17()
          Make sure adding ".." to lexer didn't break detection of 1..2 error outside JML expressions.
 void test_store_ref_18()
           
 void test_store_ref_19()
           
 void test_store_ref_2()
           
 void test_store_ref_20()
           
 void test_store_ref_21()
           
 void test_store_ref_22()
           
 void test_store_ref_23()
           
 void test_store_ref_24()
           
 void test_store_ref_3()
           
 void test_store_ref_4()
           
 void test_store_ref_5()
          Informal descriptions may not include newlines in single line annotations.
 void test_store_ref_6()
          Informal descriptions may include newlines in multi-line annotations.
 void test_store_ref_7()
          Informal descriptions may include leading stars in multi-line annotations.
 void test_store_ref_8()
           
 void test_store_ref_9()
           
 void test_subclassing_contract_1()
           
 void test_subclassing_contract_2()
           
 void test_subclassing_contract_3()
           
 void test_subclassing_contract_4()
           
 void test_subclassing_contract_5()
           
 void test_type_spec_1()
           
 void test_type_spec_2()
           
 void test_unreachableStatement_1()
           
 void test_varAssertion_1()
           
 void test_varAssertion_2()
           
 void test_varAssertion_3()
           
 void test_varAssertion_4()
           
 void test_varAssertion_5()
           
 void test_varAssertion_6()
           
 void test_varAssertion_7()
           
 void test_varAssertion_8()
           
 void test_weakly_1()
           
 void test_weakly_10()
           
 void test_weakly_2()
           
 void test_weakly_3()
           
 void test_weakly_4()
           
 void test_weakly_5()
           
 void test_weakly_6()
           
 void test_weakly_7()
           
 void test_weakly_8()
           
 void test_weakly_9()
           
 void test_whenClause_1()
           
 void test_whenClause_2()
           
 void test_whenClause_3()
           
 void test_whenClause_4()
           
 void test_workingSpaceClause_1()
           
 void test_workingSpaceClause_2()
           
 void test_workingSpaceClause_3()
           
 void test_workingSpaceClause_4()
           
 void test_workingSpaceClause_5()
           
 void test_workingSpaceClause_6()
           
private  JmlVarAssertion[] varAssertionFrom(JmlCompilationUnit unit)
           
 
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
 

Field Detail

parserHelper

private TestJmlParser.Helper parserHelper
Constructor Detail

TestJmlParser

public TestJmlParser(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

test_refine_1

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

test_refine_2

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

test_import_1

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

test_import_2

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

test_import_3

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

test_import_4

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

test_modifier_1

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

test_modifier_2

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

test_modifier_3

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

test_type_spec_1

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

test_type_spec_2

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

test_weakly_1

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

test_weakly_2

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

test_weakly_3

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

test_weakly_4

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

test_weakly_5

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

test_weakly_6

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

test_weakly_7

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

test_weakly_8

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

test_weakly_9

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

test_weakly_10

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

test_methodDecl_1

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

test_methodDecl_2

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

test_methodDecl_3

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

test_methodDecl_4

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

test_methodDecl_5

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

test_methodDecl_6

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

test_methodDecl_7

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

test_methodDecl_8

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

test_methodDecl_9

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

test_methodDecl_10

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

test_methodDecl_11

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

test_methodDecl_12

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

test_constructorDecl_1

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

test_constructorDecl_2

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

test_constructorDecl_3

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

test_constructorDecl_4

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

test_constructorDecl_5

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

test_constructorDecl_6

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

test_inits_1

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

test_inits_2

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

test_inits_3

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

test_inits_4

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

test_inits_5

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

test_inits_6

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

test_field_1

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

test_field_2

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

test_field_3

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

test_field_4

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

test_field_5

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

test_field_6

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

test_field_7

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

test_field_8

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

test_field_9

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

test_field_10

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

test_field_11

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

test_field_12

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

test_field_13

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

test_field_14

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

test_field_15

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

test_field_16

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

test_axiom_1

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

test_parameterDeclaration_1

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

test_parameterDeclaration_2

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

test_parameterDeclaration_3

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

test_parameterDeclaration_4

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

test_parameterDeclaration_5

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

test_parameterDeclaration_6

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

test_parameterDeclaration_7

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

test_parameterDeclaration_8

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

test_parameterDeclaration_9

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

test_varAssertion_1

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

test_varAssertion_2

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

test_varAssertion_3

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

test_varAssertion_4

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

test_varAssertion_5

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

test_varAssertion_6

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

test_varAssertion_7

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

test_varAssertion_8

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

test_invariant_1

public void test_invariant_1()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_2

public void test_invariant_2()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_3

public void test_invariant_3()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation spread over multiple lines.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_4

public void test_invariant_4()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation spread over multiple lines.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_5

public void test_invariant_5()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should allow multiple '@'.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_6

public void test_invariant_6()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should allow multiple '@'.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_7

public void test_invariant_7()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation using '+' marker.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_8

public void test_invariant_8()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should find type specification annotation using '+' marker.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_9

public void test_invariant_9()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Should allow multiple type specification annotations.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_10

public void test_invariant_10()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException
Should allow multiple type specification members in a single annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_invariant_11

public void test_invariant_11()
                       throws antlr.TokenStreamException,
                              antlr.RecognitionException
Should allow a annotation across multiple single-line annotations.

Throws:
antlr.TokenStreamException
antlr.RecognitionException

constraintsFrom

private JmlConstraint[] constraintsFrom(JmlCompilationUnit unit)

test_constraint_1

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

test_constraint_2

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

test_constraint_3

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

test_constraint_4

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

test_constraint_5

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

test_constraint_6

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

methodNamesFrom

private JmlMethodName[] methodNamesFrom(JmlCompilationUnit unit)

test_methodNameList_1

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

test_methodNameList_2

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

test_methodNameList_3

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

test_methodNameList_4

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

test_methodNameList_5

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

test_methodNameList_6

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

test_methodNameList_7

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

test_methodNameList_8

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

test_methodNameList_9

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

test_methodNameList_10

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

test_constraint11

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

test_methodNameList_12

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

test_methodNameList_13

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

test_methodNameList_14

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

test_methodNameList_15

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

representsDeclsFrom

private JmlRepresentsDecl[] representsDeclsFrom(JmlCompilationUnit unit)

test_represents_decl_1

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

test_represents_decl_2

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

test_represents_decl_3

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

test_represents_decl_4

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

storeRefFromCC

private JmlStoreRef storeRefFromCC(JmlSpecBodyClause bc)

storeRefFrom

private JmlStoreRef storeRefFrom(JmlSpecBodyClause bc)

storeRefFrom

private JmlStoreRef storeRefFrom(JmlCompilationUnit unit)

test_store_ref_1

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

test_store_ref_2

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

test_store_ref_3

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

test_store_ref_4

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

test_store_ref_5

public void test_store_ref_5()
                      throws antlr.RecognitionException
Informal descriptions may not include newlines in single line annotations.

Throws:
antlr.RecognitionException

test_store_ref_6

public void test_store_ref_6()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Informal descriptions may include newlines in multi-line annotations.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_store_ref_7

public void test_store_ref_7()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Informal descriptions may include leading stars in multi-line annotations.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_store_ref_8

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

test_store_ref_9

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

test_store_ref_10

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

test_store_ref_11

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

test_store_ref_12

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

test_store_ref_13

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

test_store_ref_14

public void test_store_ref_14()
                       throws antlr.TokenStreamException
Throws:
antlr.TokenStreamException

test_store_ref_15

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

test_store_ref_16

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

test_store_ref_17

public void test_store_ref_17()
                       throws antlr.TokenStreamException
Make sure adding ".." to lexer didn't break detection of 1..2 error outside JML expressions.

Throws:
antlr.TokenStreamException

test_store_ref_18

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

test_store_ref_19

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

test_store_ref_20

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

test_store_ref_21

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

test_store_ref_22

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

test_store_ref_23

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

test_store_ref_24

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

methodSpecificationFrom

private JmlMethodSpecification methodSpecificationFrom(String mspec)

test_methodSpecification_1

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

test_methodSpecification_2

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

test_specification_1

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

test_specification_2

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

test_specification_3

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

test_specification_4

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

test_specification_5

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

test_specification_6

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

test_specification_7

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

test_specification_8

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

test_specCaseSeq_1

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

test_specCaseSeq_2

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

test_specCaseSeq_3

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

test_specCase_1

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

test_specCase_2

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

test_specCase_3

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

test_extending_specification_1

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

test_redundant_spec_1

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

test_redundant_spec_2

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

test_redundant_spec_3

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

test_immplications_1

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

test_immplications_2

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

test_immplications_3

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

test_examples_1

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

test_examples_2

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

test_examples_3

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

test_genericSpecCase_1

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

test_genericSpecCase_2

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

test_genericSpecCase_3

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

test_genericSpecCase_4

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

test_genericSpecCase_5

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

test_specHeader_1

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

test_specHeader_2

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

test_specHeader_3

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

test_genericSpecBody_1

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

test_genericSpecBody_2

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

test_specBody_1

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

test_specBody_2

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

test_behavior_spec_1

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

test_behavior_spec_2

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

test_behavior_spec_3

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

test_exceptional_spec_case_1

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

test_exceptional_spec_case_2

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

test_exceptional_spec_case_3

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

test_exceptional_spec_case_4

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

test_exceptional_spec_body_1

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

test_exceptional_spec_body_2

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

test_exceptional_spec_case_seq_1

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

test_exceptional_spec_case_seq_2

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

test_exceptional_spec_case_seq_3

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

test_normal_spec_case_1

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

test_normal_spec_case_2

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

test_normal_spec_case_3

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

test_normal_spec_case_4

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

test_normal_spec_body_1

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

test_normal_spec_body_2

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

test_normal_spec_case_seq_1

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

test_normal_spec_case_seq_2

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

test_normal_spec_case_seq_3

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

test_subclassing_contract_1

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

test_subclassing_contract_2

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

test_subclassing_contract_3

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

test_subclassing_contract_4

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

test_subclassing_contract_5

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

test_accessibleClause_1

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

test_accessibleClause_2

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

test_accessibleClause_3

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

test_accessibleClause_3b

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

test_accessibleClause_3c

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

test_accessibleClause_4

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

test_accessibleClause_6

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

test_accessibleClause_6b

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

test_objectRef_1

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

test_objectRef_2

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

test_objectRef_3

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

test_callableClause_1

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

test_callableClause_2

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

test_callableClause_3

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

test_callableClause_4

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

test_callableClause_5

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

test_callableClause_6

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

test_modelProgram_1

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

test_modelProgram_2

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

test_modelProgram_3

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

test_modelProgram_4

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

test_modelProgram_5

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

test_modelProgram_6

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

test_modelProgram_7

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

test_modelProgram_8

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

test_modelProgram_9

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

test_modelProgram_10

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

test_modelProgram_11

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

test_modelProgram_12

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

getModelProgStatement

private JmlModelProgStatement getModelProgStatement(String sourceCode)
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_modelProgStatement_1

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

test_modelProgStatement_2

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

test_modelProgStatement_3

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

test_invariantStatement_1

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

test_invariantStatement_2

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

test_nondetChoice_1

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

test_nondetChoice_2

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

test_nondetChoice_3

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

test_nondetChoice_4

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

test_nondetChoice_5

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

test_nondetChoice_6

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

test_nondetChoice_7

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

test_nondetIf_1

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

test_nondetIf_2

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

test_nondetIf_3

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

test_nondetIf_4

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

test_nondetIf_5

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

test_nondetIf_6

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

getGuardedStatementFrom

private JmlGuardedStatement getGuardedStatementFrom(String sourceCode)
                                             throws antlr.RecognitionException,
                                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_guardedStatement_1

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

test_guardedStatement_2

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

test_guardedStatement_3

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

test_guardedStatement_4

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

test_specStatement_1

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

test_specStatement_2

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

test_specStatement_3

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

test_specStatement_4

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

getSpecCase

private JmlGeneralSpecCase getSpecCase(String sourceCode)
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_abruptSpecCase_1

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

test_abruptSpecCase_2

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

test_abruptSpecCase_3

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

test_abruptSpecCase_4

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

test_abruptSpecBody_1

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

test_abruptSpecBody_2

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

test_continuesClause_1

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

test_continuesClause_2

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

test_continuesClause_3

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

test_continuesClause_4

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

test_continuesClause_5

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

test_continuesClause_6

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

test_continuesClause_7

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

test_continuesClause_8

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

test_continuesClause_9

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

test_continuesClause_10

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

test_continuesClause_11

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

test_continuesClause_12

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

test_breaksClause_1

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

test_breaksClause_2

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

test_breaksClause_3

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

test_breaksClause_4

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

test_breaksClause_5

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

test_breaksClause_6

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

test_breaksClause_7

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

test_breaksClause_8

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

test_breaksClause_9

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

test_breaksClause_10

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

test_breaksClause_11

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

test_breaksClause_12

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

test_returnsClause_1

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

test_returnsClause_2

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

test_returnsClause_3

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

test_returnsClause_4

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

test_returnsClause_5

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

test_returnsClause_6

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

test_example_1

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

test_example_2

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

test_example_2_1

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

test_example_3

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

test_example_4

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

test_example_5

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

test_example_6

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

test_example_6_1

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

test_example_7

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

test_example_8

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

test_example_9

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

test_example_9_1

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

test_example_10

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

test_example_11

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

test_example_12

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

test_example_13

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

test_example_14

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

test_example_15

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

test_example_16

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

test_example_17

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

test_specVarDecls_1

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

test_specVarDecls_2

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

test_specVarDecls_3

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

test_specVarDecls_4

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

test_specVarDecls_5

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

test_specVarDecls_6

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

test_specVarDecls_7

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

test_specVarDecls_8

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

test_specVarDecls_9

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

test_forAllVarDecl_1

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

test_forAllVarDecl_2

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

letVarDeclsFrom

private JmlLetVarDecl[] letVarDeclsFrom(JmlSpecVarDecl[] oldDecls)

test_requiresClause_1

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

test_requiresClause_2

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

test_requiresClause_3

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

test_requiresClause_4

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

test_requiresClause_5

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

test_requiresClause_6

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

test_requiresClause_7

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

test_requiresClause_8

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

test_whenClause_1

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

test_whenClause_2

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

test_whenClause_3

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

test_whenClause_4

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

test_workingSpaceClause_1

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

test_workingSpaceClause_2

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

test_workingSpaceClause_3

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

test_workingSpaceClause_4

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

test_workingSpaceClause_5

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

test_workingSpaceClause_6

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

test_durationClause_1

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

test_durationClause_2

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

test_durationClause_3

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

test_durationClause_4

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

test_durationClause_5

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

test_durationClause_6

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

test_assignableClause_1

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

test_assignableClause_3

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

test_assignableClause_7

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

test_assignableClause_9

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

test_assignableClause_13

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

test_assignableClause_15

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

test_assignableClause_19

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

test_assignableClause_21

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

test_assignableClause_25

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

test_assignableClause_27

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

test_assignableClause_31

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

test_assignableClause_33

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

test_assignableClause_37

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

test_ensuresClause_1

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

test_ensuresClause_2

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

test_ensuresClause_3

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

test_ensuresClause_4

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

test_ensuresClause_5

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

test_ensuresClause_6

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

test_ensuresClause_7

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

test_ensuresClause_8

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

test_signalsClause_1

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

test_signalsClause_2

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

test_signalsClause_3

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

test_signalsClause_4

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

test_signalsClause_5

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

test_signalsClause_6

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

test_signalsClause_7

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

test_signalsClause_8

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

test_signalsClause_9

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

test_signalsClause_10

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

test_signalsClause_11

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

test_signalsClause_12

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

test_signalsClause_13

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

test_signalsClause_14

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

test_signalsClause_15

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

test_signalsClause_16

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

test_signalsClause_17

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

test_signalsClause_18

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

test_signalsClause_19

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

test_signalsClause_20

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

test_divergesClause_1

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

test_divergesClause_2

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

test_divergesClause_3

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

test_divergesClause_4

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

test_specExpressionList_1

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

test_specExpressionList_2

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

test_jmlPrimary_1

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

test_jmlPrimary_2

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

test_jmlPrimary_3

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

test_jmlPrimary_4

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

test_jmlPrimary_5

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

test_jmlPrimary_6

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

test_jmlPrimary_7

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

test_jmlPrimary_8

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

test_jmlPrimary_9

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

test_jmlPrimary_10

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

test_jmlPrimary_11

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

test_jmlPrimary_12

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

test_jmlPrimary_13

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

test_jmlPrimary_14

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

test_jmlPrimary_15

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

test_jmlPrimary_16

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

test_jmlPrimary_17

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

test_jmlPrimary_18

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

test_jmlPrimary_19

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

test_jmlPrimary_20

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

test_jmlPrimary_21

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

test_jmlPrimary_22

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

test_setComprehension_1

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

test_setComprehension_2

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

test_setComprehension_3

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

test_setComprehension_4

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

test_setComprehension_5

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

test_setComprehension_6

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

test_setComprehension_7

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

test_setComprehension_8

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

test_setComprehension_9

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

test_setComprehension_10

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

test_setComprehension_11

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

test_setComprehension_12

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

test_specQuantifiedExpr_1

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

test_specQuantifiedExpr_2

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

test_specQuantifiedExpr_3

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

test_specQuantifiedExpr_4

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

test_specQuantifiedExpr_5

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

test_specQuantifiedExpr_6

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

test_specQuantifiedExpr_7

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

test_specQuantifiedExpr_8

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

test_specQuantifiedExpr_9

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

test_specQuantifiedExpr_10

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

test_specQuantifiedExpr_11

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

test_specQuantifiedExpr_12

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

test_specQuantifiedExpr_13

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

test_specQuantifiedExpr_14

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

test_specQuantifiedExpr_15

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

test_specQuantifiedExpr_16

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

test_specQuantifiedExpr_17

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

test_specQuantifiedExpr_18

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

test_specQuantifiedExpr_19

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

test_specQuantifiedExpr_20

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

test_specQuantifiedExpr_21

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

quantifiedVarDeclsFrom

private JVariableDefinition[] quantifiedVarDeclsFrom(JmlCompilationUnit unit)

test_quantifiedVarDecl_1

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

test_quantifiedVarDecl_2

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

test_quantifiedVarDecl_3

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

test_quantifiedVarDecl_4

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

test_quantifiedVarDecl_5

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

test_quantifiedVarDecl_6

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

test_quantifiedVarDecl_7

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

test_quantifiedVarDecl_8

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

test_quantifiedVarDecl_9

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

test_specVariableDeclarators_1

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

test_specVariableDeclarators_2

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

test_specVariableDeclarators_3

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

test_specVariableDeclarators_4

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

test_specVariableDeclarators_5

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

test_specVariableDeclarators_6

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

test_specVariableDeclarators_7

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

test_specVariableDeclarators_8

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

test_loopStmt_1

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

test_loopStmt_2

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

test_loopStmt_3

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

test_loopStmt_4

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

test_loopStmt_5

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

test_loopStmt_6

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

test_loopStmt_7

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

test_loopStmt_8

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

test_loopStmt_9

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

test_loopStmt_10

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

test_loopStmt_11

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

test_loopStmt_12

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

test_loopStmt_13

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

test_loopStmt_14

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

test_loopStmt_15

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

test_loopStmt_16

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

test_loopStmt_17

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

test_loopStmt_18

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

test_loopStmt_19

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

test_loopStmt_20

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

test_loopStmt_21

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

test_loopStmt_22

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

test_loopStmt_23

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

test_loopStmt_24

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

test_loopStmt_25

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

test_loopStmt_26

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

test_loopStmt_27

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

test_loopStmt_28

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

test_loopStmt_29

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

test_loopStmt_30

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

test_henceByStatement_1

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

test_henceByStatement_2

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

test_assertStatement_1

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

test_assertStatement_2

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

test_assertRedundantlyStatement_1

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

test_assertRedundantlyStatement_2

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

test_assumeStatement_1

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

test_assumeStatement_2

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

test_assumeStatement_3

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

test_assumeStatement_4

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

test_setStatement_1

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

test_setStatement_2

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

test_unreachableStatement_1

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

test_conditionalExpr_1

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

test_conditionalExpr_2

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

test_equivalenceExpr_1

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

test_equivalenceExpr_2

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

test_equivalenceExpr_3

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

test_equivalenceExpr_4

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

test_equivalenceExpr_5

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

test_impliesExpr_1

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

test_impliesExpr_2

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

test_impliesExpr_3

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

test_impliesExpr_4

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

test_impliesExpr_5

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

test_impliesExpr_6

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

test_bad_annotation_2

public void test_bad_annotation_2()
                           throws antlr.RecognitionException
Should not allow multi-line annotation within single-line annotation.

Throws:
antlr.RecognitionException

test_annotation_3

public void test_annotation_3()
                       throws antlr.RecognitionException
Should allow single-line annotation within single-line annotation.

Throws:
antlr.RecognitionException

test_bad_annotation_4

public void test_bad_annotation_4()
                           throws antlr.RecognitionException
Should not allow multi-line annotation within multi-line annotation.

Throws:
antlr.RecognitionException

test_annotation_5

public void test_annotation_5()
                       throws antlr.RecognitionException
Should allow single-line annotation within multi-line annotation.

Throws:
antlr.RecognitionException

test_comment1

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

test_comment2

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

test_comment3

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

test_comment_4

public void test_comment_4()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Should allow comments within annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_comment_5

public void test_comment_5()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Should allow comments within annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_comment_6

public void test_comment_6()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Should not allow multi-line comment within single-line annotation.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_comment_7

public void test_comment_7()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Should allow empty annotations.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

test_comment_8

public void test_comment_8()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Should allow empty annotations.

Throws:
antlr.RecognitionException
antlr.TokenStreamException

getTypeModifiers

private long getTypeModifiers(JmlCompilationUnit unit)

initializersFrom

private JmlClassBlock[] initializersFrom(JmlCompilationUnit unit)

methodDeclsFrom

private JmlMethodDeclaration[] methodDeclsFrom(JmlCompilationUnit unit)

parameterDeclarationsFrom

private JFormalParameter[] parameterDeclarationsFrom(JmlCompilationUnit unit)

fieldsFrom

private JmlFieldDeclaration[] fieldsFrom(JmlCompilationUnit unit)

axiomsFrom

private JmlAxiom[] axiomsFrom(JmlCompilationUnit unit)

invariantsFrom

private JmlInvariant[] invariantsFrom(JmlCompilationUnit unit)

varAssertionFrom

private JmlVarAssertion[] varAssertionFrom(JmlCompilationUnit unit)

specExpressionListFrom

private JmlSpecExpression[] specExpressionListFrom(JmlCompilationUnit unit)

expressionFrom

private JExpression expressionFrom(JmlCompilationUnit unit)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.