SuccessChanges

Summary

  1. -  Constructing a correct reference to the "self" object. -  Addresses (commit: 9b33765) (details)
  2. Implementation of newMapVarToGrow() to support map comprehensions. (commit: 2df0af9) (details)
  3. Implementation of vdmMapGrow() to support map comprehensions. (commit: 024428e) (details)
  4. Comments. (commit: 1fb9f99) (details)
  5. Formatting. (commit: 8fc91cd) (details)
  6. Minor optimization in terms of calling newMapVarToGrow with no key-value (commit: d72e400) (details)
  7. Addition of constructors to the virtual function table. (commit: 6f7c670) (details)
  8. Fix so that self expression does not output VDM_RECORD instead of (commit: 1e392e0) (details)
  9. Tests for nested constructor calls, no inheritance. (commit: 5d8fd46) (details)
  10. Remove garbage file (commit: 0643bf1) (details)
  11. Clean up imports (commit: 177b3ac) (details)
  12. Add support for "let be st" constructs (commit: 54eaad6) (details)
  13. Test that "let be st" constructs code generate correctly (commit: c5392d6) (details)
Commit 9b337654931f940dbb1c0db37db3b9acc863ae23 by Victor Bandur
-  Constructing a correct reference to the "self" object. -  Addresses
issue #2.
(commit: 9b33765)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASelfExpIR.vm (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionSelf.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/self/ExpressionsSelf_Tests.cpp
Commit 2df0af919377d56ed323fe7af581bed4c600d2d9 by Victor Bandur
Implementation of newMapVarToGrow() to support map comprehensions.
(commit: 2df0af9)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit 024428eeb12106caae9f8f72b1cb7b658d7af392 by Victor Bandur
Implementation of vdmMapGrow() to support map comprehensions.
(commit: 024428e)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit d72e4007c4a37f7c564f761a2ff212948fac5117 by Victor Bandur
Minor optimization in terms of calling newMapVarToGrow with no key-value
pairs.
(commit: d72e400)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
Commit 6f7c67062d29ac52ef570f75d3de1c3e5bc9a5e3 by Victor Bandur
Addition of constructors to the virtual function table.
(commit: 6f7c670)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java (diff)
Commit 1e392e0c2c218b78735d8a41b304bf3e0b83f5eb by Victor Bandur
Fix so that self expression does not output VDM_RECORD instead of
VDM_CLASS.
(commit: 1e392e0)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ASelfExpIR.vm (diff)
Commit 5d8fd465329abe4b8959eaa6d9d448a6408cd12c by Victor Bandur
Tests for nested constructor calls, no inheritance.
(commit: 5d8fd46)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassConstructors.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassConstructors_Tests.cpp
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was removedcore/vdm2c/src/main/resources/test.vdmpp
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
Commit 54eaad6fed2b80aec2464f2a7a3d48a24ce8feef by Peter W. V. Tran-Jørgensen
Add support for "let be st" constructs
Addresses issue #45
(commit: 54eaad6)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/ARaiseErrorStmIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ALetBeStNoBindingRuntimeErrorExpIR.vm (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CLetBeStStmTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CLetBeStStrategy.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CForIterator.java (diff)
Commit c5392d6790a89f818face94a83f8e563e6bbaf04 by Peter W. V. Tran-Jørgensen
Test that "let be st" constructs code generate correctly
Closes #45
(commit: c5392d6)
The file was addedcore/vdm2c/src/test/resources/native/let/ExpressionsLetBeSt_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionLetBeSt.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)