SuccessChanges

Summary

  1. Clean up PolyFuncTrans (details)
  2. Ignore .factorypath files (details)
  3. Clean up .gitignore (details)
  4. Java CG: allow quotes as polymorphic types (details)
  5. Java CG: allow record types as polymorphic types (details)
  6. Java CG: generate more detailed output (Leo's changes) (details)
  7. Java CG: correct transformation message (details)
  8. Java CG: guard against pseudo record types (details)
  9. Java CG: allow polymorphic types to be passed as arguments (details)
  10. Java CG: fix sequence concatenation issue (details)
  11. Java CG: fix issue with seq-to-string conversion (details)
  12. Java CG: allow strings to be bound to polymorphic types (details)
  13. Java CG: allow union of quotes to be bound to polymorphic types (details)
  14. Java CG: fix issue with conversion between strings and sequences (details)
  15. Java CG: enable contract generation via the CLI (details)
  16. Java CG: fix issue with conversion of argument types (details)
  17. Java CG: perform topological sort of field graph (details)
  18. Java CG: mark some of the VDMUtil functions as unsupported (details)
  19. Java CG: fix access modifiers of pre- and postconditions and invariants (details)
  20. Java CG: support 'is_' expressions for types '?' and 'seq of?' (details)
  21. Java CG: warn on unsupported library features (details)
  22. Java CG: output location for transformation warnings (details)
  23. Java CG: rename modules to avoid naming conflicts (details)
  24. Java CG: fix file name of quote classes (details)
  25. Java CG: improve argument type analysis (details)
  26. Java CG: update module renamer to handle records (details)
  27. Java CG: fix for implicit operations (details)
  28. Java CG: fix issue with SL state access in implicit operations (details)
  29. Java CG: fix issue with types of 'new' expression arguments (details)
  30. Tightened narrow_ parsing and reserved name detection (details)
  31. Java CG: guard against non-existing VDM node (details)
  32. Java CG: improve logging in case of unexpected type (details)
  33. Java CG: report VDM node locations for unexpected types (details)
  34. Java CG: more work on improving logging of unexpected types (details)
  35. Absorb ContextExceptions during union type conversions (details)
  36. Warning for unused state variable, fixes #693 (details)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modified.gitignore (diff)
Commit d9c92719377baee81951fa34d9a5bacaf13e228e by Peter W. V. Tran-Jørgensen
Clean up .gitignore
JavaCodeGenMain was ignored, which clearly it should not
The file was modified.gitignore (diff)
Commit 3ddca59383cd6b78386351aac627560ec33d22fd by Peter W. V. Tran-Jørgensen
Java CG: allow quotes as polymorphic types
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
Commit a683030629851906e56441959523d135bbbbbc90 by Peter W. V. Tran-Jørgensen
Java CG: allow record types as polymorphic types
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)
Commit 817ff12e3eda63e6034aa68a6d776cf4231f1d1b by Peter W. V. Tran-Jørgensen
Java CG: generate more detailed output (Leo's changes)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGenMain.java (diff)
The file was modifiedcore/codegen/codegen-maven-plugin/src/main/java/org/overture/codegen/mojocg/Vdm2JavaMojo.java (diff)
The file was modifiedcore/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenMain.java (diff)
Commit 9f96a6b7575bca6757e5d5ecbc8dffe8b5f46ab9 by Peter W. V. Tran-Jørgensen
Java CG: correct transformation message
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
Commit 05f1e2478e7d35aa6a3930735023234aa8e24a63 by Peter W. V. Tran-Jørgensen
Java CG: guard against pseudo record types
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/assistant/TypeAssistantIR.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/Exp2StmTrans.java (diff)
Commit ba880979d5458174bf9b2a076ccd63236a1b2437 by Peter W. V. Tran-Jørgensen
Java CG: allow polymorphic types to be passed as arguments
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/MapUncurried.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/MapAccessLetDecl.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)
Commit 54e1f15771e39202f5e1149817044bb42bb87f32 by Peter W. V. Tran-Jørgensen
Java CG: fix sequence concatenation issue
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/ConcatSeqMaskedAsUnions.vdmpp.eval.result
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/ConcatSeqMaskedAsUnions.vdmpp.result
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/ConcatSeqMaskedAsUnions.vdmpp
The file was modifiedcore/codegen/javagen/src/main/resources/JavaTemplates/org/overture/codegen/ir/expressions/ASeqConcatBinaryExpIR.vm (diff)
Commit 02c887cab284aa648c4aa079d372ed149decaaba by Peter W. V. Tran-Jørgensen
Java CG: fix issue with seq-to-string conversion
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/SeqConvTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp.eval.result
The file was addedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp.result
The file was addedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp
Commit b66cc233e63950f333a4b3109a986bcc4bfb48e3 by Peter W. V. Tran-Jørgensen
Java CG: allow strings to be bound to polymorphic types
The file was addedcore/codegen/codegen-runtime/src/test/java/IsTest.java
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
Commit d7ee7b66ad9ed55dec88e11cab191751c334a690 by Peter W. V. Tran-Jørgensen
Java CG: allow union of quotes to be bound to polymorphic types
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/assistant/TypeAssistantIR.java (diff)
Commit 19a603a3994d7878c2633588eda6be18bedd42a1 by Peter W. V. Tran-Jørgensen
Java CG: fix issue with conversion between strings and sequences
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/SeqConvTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/string_specs/SeqConvertFunArg.vdmpp.eval.result (diff)
Commit 53892a43ca303ba822bbbafd4f881120ae74ef61 by Peter W. V. Tran-Jørgensen
Java CG: enable contract generation via the CLI
The file was modifiedcore/codegen/isagen/src/main/java/org/overturetool/cgisa/IsaGen.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/union_type_specs/AssignFieldOfUnionRec.vdmpp.result (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/ir/IRSettings.java (diff)
The file was modifiedcore/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenerator.java (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGenMain.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/ModuleToClassTransformation.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/DeclVisitorIR.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PrePostTrans.java (diff)
Commit b28db09d277365f6476e930e503e068906f15ad0 by Peter W. V. Tran-Jørgensen
Java CG: fix issue with conversion of argument types
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/PolymorphicTypeInUnion.vdmpp
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/PolymorphicTypeInUnion.vdmpp.eval.result
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/assistant/TypeAssistantIR.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/PolymorphicTypeInUnion.vdmpp.result
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
Commit a6a8e40c7838ca683357d26ea7c46d88cc9b522c by Peter W. V. Tran-Jørgensen
Java CG: perform topological sort of field graph
The file was modifiedcore/codegen/platform/pom.xml (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/cloning_specs/AlarmTraces.vdmpp.result (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl
The file was addedcore/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java
The file was modifiedcore/codegen/javagen/pom.xml (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl.result
The file was modifiedide/plugins/javagen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/classic_specs/AlarmTraces.vdmpp.result (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/FieldOrder.vdmsl.eval.result
The file was modifiedide/plugins/javagen/pom.xml (diff)
Commit 1c0aefaacdfbd99c89f3229448f74a8227e11738 by Peter W. V. Tran-Jørgensen
Java CG: mark some of the VDMUtil functions as unsupported
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMUtil.java (diff)
Commit cc3ca908dac10fbb5adccee72a47c3a767325553 by Peter W. V. Tran-Jørgensen
Java CG: fix access modifiers of pre- and postconditions and invariants
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
The file was addedcore/codegen/platform/src/main/java/org/overture/codegen/trans/SlAccessTrans.java
Commit f9d3ad1efd065c814df4eebbf007e5ed816c9672 by Peter W. V. Tran-Jørgensen
Java CG: support 'is_' expressions for types '?' and 'seq of?'
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp (diff)
The file was modifiedcore/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/IsExpSimplifyTrans.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExp.vdmpp.eval.result (diff)
Commit 60be3791e716a27add83e4d80806ddf5ff5030d6 by Peter W. V. Tran-Jørgensen
Java CG: warn on unsupported library features
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/ir/IRConstants.java (diff)
The file was addedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/UnsupportedLibWarningTrans.java
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
Commit 202e3f4e246a6497c860c7d6f5ee34d73a89ee6d by Peter W. V. Tran-Jørgensen
Java CG: output location for transformation warnings
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/utils/GeneralCodeGenUtils.java (diff)
Commit 85d62fa80c9faff92a5702461b2dc33285ab25ce by Peter W. V. Tran-Jørgensen
Java CG: rename modules to avoid naming conflicts
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaTransSeries.java (diff)
The file was addedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/ModuleRenamerTrans.java
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl.eval.result
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGen.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl.result
Commit baa486b076bd1724ea6c06333b716ac3b43f4faf by Peter W. V. Tran-Jørgensen
Java CG: fix file name of quote classes
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGen.java (diff)
Commit 9b948c706c464b0e391cbe6665a7717bc70e8a22 by Peter W. V. Tran-Jørgensen
Java CG: improve argument type analysis
The file was addedcore/codegen/javagen/src/test/resources/function_value_specs/FunctionArgPolymorphicType.vdmpp.eval.result
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeTrans.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/function_value_specs/FunctionArgPolymorphicType.vdmpp.result
The file was modifiedcore/codegen/javagen/src/test/resources/function_value_specs/FunctionComposeUncurried.vdmpp.eval.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/is_expressions/IsExpPolyType.vdmpp.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/concurrency_classics_specs/POP3_LogBased_Test1.vdmpp.result (diff)
The file was addedcore/codegen/javagen/src/test/resources/function_value_specs/FunctionArgPolymorphicType.vdmpp
Commit e3523c7147cd847d957d7540001d216c7ffae718 by Peter W. V. Tran-Jørgensen
Java CG: update module renamer to handle records
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/ModuleRenamerTrans.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ModuleNameSameAsStateName.vdmsl (diff)
Commit 0ee28f2881e7f60dc8881590d78a95206a5c8c40 by Peter W. V. Tran-Jørgensen
Java CG: fix for implicit operations
implicit operations may define bodies
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl.eval.result
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/DeclVisitorIR.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl.result
Commit de5212776c714bc1c3d938e797ddb7fdf0b7410a by Peter W. V. Tran-Jørgensen
Java CG: fix issue with SL state access in implicit operations
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl.result (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ImplicitOperation.vdmsl.eval.result (diff)
Commit 9557683e77eefc6cf9f3eb01bf6f53678d678cbe by Peter W. V. Tran-Jørgensen
Java CG: fix issue with types of 'new' expression arguments
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/ModuleToClassTransformation.java (diff)
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/UnknownTypeArgInNewExp.vdmpp
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/UnknownTypeArgInNewExp.vdmpp.result
The file was addedcore/codegen/javagen/src/test/resources/complex_expressions/UnknownTypeArgInNewExp.vdmpp.eval.result
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeTrans.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java (diff)
The file was modifiedcore/codegen/javagen/src/test/resources/sl_specs/ValueDef.vdmsl.result (diff)
Commit d01b6a4fef2f8dd9db4fb3a2c0e00ff066eed5ee by nick.battle
Tightened narrow_ parsing and reserved name detection
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java (diff)
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/DefinitionReader.java (diff)
Commit 9bf6efb3afb9e5daeea0a40d9de63fdf50e2235f by Peter W. V. Tran-Jørgensen
Java CG: guard against non-existing VDM node
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeTrans.java (diff)
Commit a232109c79e60d93ba4152f385cd25fdece71342 by Peter W. V. Tran-Jørgensen
Java CG: improve logging in case of unexpected type
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/assistants/TransAssistantIR.java (diff)
Commit a834f4474395662e04088b8e351315b4a5bf00f0 by Peter W. V. Tran-Jørgensen
Java CG: report VDM node locations for unexpected types
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/assistants/TransAssistantIR.java (diff)
Commit 5827e9a26269f1b5111ba82fd30b2d9119a429ae by Peter W. V. Tran-Jørgensen
Java CG: more work on improving logging of unexpected types
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaFormat.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/trans/assistants/TransAssistantIR.java (diff)
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/assistant/LocationAssistantIR.java (diff)
Commit e1988b8d5a1e6adab0270d42fd685d8bd9d405d5 by nick.battle
Absorb ContextExceptions during union type conversions
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/Value.java (diff)
Commit e8b0c5ab95dedfdc14263bd08b1a7e2c75572f9c by nick.battle
Warning for unused state variable, fixes #693
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)