SuccessChanges

Summary

  1. Fix check for exit statements, fixes #14 (commit: b6bcf40) (details)
  2. Added extra checks for exceptions, searching expressions. See #14 (commit: f11015a) (details)
Commit b6bcf403a45e55912d143655084c76c0081e98e6 by nick.battle
Fix check for exit statements, fixes #14
(commit: b6bcf40)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/CashDispenserPP.vdmpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java
The file was modifiedcore/ast/src/main/java/org/overture/ast/util/PTypeComparator.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/CashDispenserPP.vdmpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
Commit f11015a4e1516c0cff57adf2b9a7c6b2380a2fed by nick.battle
Added extra checks for exceptions, searching expressions. See #14
(commit: f11015a)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-19.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/typejudgement/typejudgement-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-16.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was addedcore/codegen/isagen/.gitignore
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/fundefpp/fundefpp.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-13.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/graphedSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/casesstmt/casesstmt-16.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/exception/exception-08.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/ifstmt/if-17.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/pptest/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/unaryexpr/setdistrunion/setdistrunion-05.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-18.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recmodify/recmodify-11.vdm.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/recordexpr/recordexpr-10.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/trapstmt/trapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/simple-blockstmt/blockstmt-07.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was addedcore/codegen/codegen-runtime/.gitignore
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/expr/setcomp/setcomp-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was addedcore/codegen/vdm2jml-runtime/.gitignore
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java
The file was addedcore/codegen/ir/.gitignore
The file was modifiedcore/codegen/javagen/src/test/resources/var_shadowing_specs/TrapStmTuplePattern.vdmpp
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/ifstmt/if-17.vdm.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java