FailedChanges

Summary

  1. More transformations cleanup. (details)
  2. More cleanup. (details)
  3. Refactoring of field transformations. (details)
  4. Test model for incremental redevelopment of static field access (details)
  5. Some temporary static field tests exercising the globals scheme. (details)
  6. Reworking field access transformation. (details)
  7. Committing some intermediate stuff before moving to new branch. (details)
  8. [maven-release-plugin] prepare release Release/0.0.2 (details)
  9. [maven-release-plugin] prepare for next development iteration (details)
  10. Stabilize tests. (details)
  11. -  First part of cleaned field access transformation. -  Read of field (details)
  12. Work in progress on getting value of local field. (details)
  13. Test model for scratch work. (details)
  14. Some intermediate work and notes. (details)
  15. Work in progress on field access transformation. (details)
  16. More tests and fixes for field access transformation. (details)
  17. -  Ongoing work on field access transformations. -  Access to fields in (details)
  18. Re-enabled test. (details)
  19. Small change to test model for next field access feature, access to (details)
  20. Tests for field access on objects pass. (details)
  21. Access to values works. (details)
  22. Working on setting public fields of instances. (details)
  23. Setting of public fields on instances works. (details)
  24. Ensuring that const and static init functions have bodies. (details)
  25. Forgot to emit non-empty body for static init functions. (details)
  26. Further improvements to static field access. (details)
  27. Read of inherited instance variables. (details)
  28. Setting of public fields, static and non-static, through instance or (details)
  29. Code cleanup. (details)
  30. Clean-up. (details)
  31. Records test was in fact a test for products. (details)
  32. Intermediate work on records. (details)
  33. Emitting functions to return references to static fields for FMU export. (details)
  34. Record type definitions are now transformed into standard classes and (details)
  35. Fixed problem with tests introduced by record extraction to classes. (details)
  36. Work in progress on changing record declarations to corresponding class (details)
  37. modified: (details)
  38. -  Added constructor to the corresponding class for record type (details)
  39. Some test model elements for static field access bug. (details)
  40. Remaining math library functions, but no tests. (details)
  41. Working on making the class name available for each class to be used in (details)
  42. Each class struct now has a field named "class_name" that contains the (details)
  43. Github static modifier issue 13. (details)
  44. Github issue 11 with initialization of record fields. (details)
  45. Working on getting the right class constructor instead of mk_ for (details)
  46. Fixed error with return type of constructor for record-to-class (details)
  47. Type of the initial value of record initialization after conversion to (details)
  48. DOC: fixes in the README file (details)
  49. Work on not including unnecessary directories along with generated code. (details)
  50. Related to issue #4. (details)
  51. Related to issue #4. (details)
  52. Prepare release 0.0.4 (details)
Commit 10c07a29897b36b21a1be4da80b09edc2a92c82b by Victor Bandur
More transformations cleanup.
modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java
deleted:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldIdentifierToFieldGetApplyTrans.java
new file: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:   src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified:   src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldIdentifierToFieldGetApplyTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt (diff)
Commit 2dd83d6f565400a58092ef9394ef6fab3bfa8ede by Victor Bandur
More cleanup.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
Commit 52e7ea6c0509b32963f9376b96abbf81d94a0a19 by Victor Bandur
Refactoring of field transformations.
new file: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
Commit c882f957075290ad6f787e67f7c37f8ddcf6e4f9 by Victor Bandur
Test model for incremental redevelopment of static field access
functionality.
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
Commit a2befeee2c90cc65a4f508c6b37fa4b97018ff90 by Victor Bandur
Some temporary static field tests exercising the globals scheme.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit b234a763c2e387ca04e2bc62d692341d3b1a131b by Victor Bandur
Reworking field access transformation.
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
deleted:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was removedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
Commit d90af860c46beb1e86c90ca3313e7baa630294e2 by Victor Bandur
Committing some intermediate stuff before moving to new branch.
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 42f3dc2ab92b10db78d21434b34255eebe2ab42d by jenkins
[maven-release-plugin] prepare release Release/0.0.2
Bump ide/ to version 0.0.2
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
Commit 83d4847c0f13acc9cc0f29c536372570014b89ec by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.3-SNAPSHOT
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
Commit 2b7d1c6549155634293046b32beae3f14f7e80e5 by Victor Bandur
Stabilize tests.
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 8c2eff1233fc8b3369b3e3115dac53e9f694b052 by Victor Bandur
-  First part of cleaned field access transformation. -  Read of field
of local object. -  Does not work for local fields, because the nodes
are of a different    type, so they must be matched separately (VarExp
vs. FieldExp.)
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 6efc4d878d04eb16728874d3614d248073a3ca65 by Victor Bandur
Work in progress on getting value of local field.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit d3730a6fa008aa3f792d4fb3a03a755b05ba1ab3 by Victor Bandur
Test model for scratch work.
new file:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
Commit 58ffaf5701740ba073b8daf3563065e7dd59bc9b by Victor Bandur
Some intermediate work and notes.
new file:   NativeClassesScratchWork.launch
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt (diff)
The file was addedcore/vdm2c/NativeClassesScratchWork.launch
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit 6ce283d5320f74ab23e1455f6e1f8f082fb71892 by Victor Bandur
Work in progress on field access transformation.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
modified:   src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt
new file: 
src/test/resources/vdmrt/classes/ClassInstanceVariableTest.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
Commit 16f4943f54d857ac1782216404e2ab9c1cd7ccee by Victor Bandur
More tests and fixes for field access transformation.
modified: 
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
modified:   src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt (diff)
Commit 3325a423699021b969afacde508ee69f7ee687b7 by Victor Bandur
-  Ongoing work on field access transformations. -  Access to fields in
current class and access to static fields of other classes works.
modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
The file was modifiedcore/vdm2c/NativeClassesTests.launch (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/FieldReadToFieldGetMacroTrans.java (diff)
Commit 9dc9cbcc48775b6ed498966613a0b8772367f08a by Victor Bandur
Re-enabled test.
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit d7ffd1da922b3bdde46e5155d5e57efab6c39e16 by Victor Bandur
Small change to test model for next field access feature, access to
public fields of instances.
modified: 
src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 22e1d17a2b1d61b48eb7a92b240c53517258092e by Victor Bandur
Tests for field access on objects pass.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/ExternalTests.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ExternalTests.java (diff)
Commit de0401d75ab9e73d446168f1933ca7250d77f62d by Victor Bandur
Access to values works.
modified: 
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
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/FieldReadToFieldGetMacroTrans.java (diff)
Commit 73235136a750091f40f831fc784ca53643a04a80 by Victor Bandur
Working on setting public fields of instances.
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 15dd762a009bbaa01fcb8b71f15a29dd783478fc by Victor Bandur
Setting of public fields on instances works.
modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:   src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
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/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
Commit fad26f4d98b1a984e206307dbfbe86821cae7082 by Victor Bandur
Ensuring that const and static init functions have bodies.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified:   src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
Commit 67c12fe495bfbd5ef12fbdb2c2d1cce8a7b21874 by Victor Bandur
Forgot to emit non-empty body for static init functions.
modified: 
vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
Commit 9c66cdef69e06392693fcb6268cd7cf6d447038e by Victor Bandur
Further improvements to static field access.
modified: 
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
renamed:  
src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsTrans.java
->
src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldDeclsTrans.java
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsTrans.java
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldDeclsTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit f416017774a626c293f31ac39de5836acd494fd1 by Victor Bandur
Read of inherited instance variables.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit de0f21fed93bbed91a1485842a6a45997b93c4f7 by Victor Bandur
Setting of public fields, static and non-static, through instance or
explicit.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
Commit 58c15c65610f9316d77f4209c77153b828035ac4 by Victor Bandur
Code cleanup.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
Commit 960b6583b37f833303cab823347541798f04ad7f by Victor Bandur
Clean-up.
modified:   NativeTests.launch
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
Commit 10414f39d0a71c7ee18010dc907529ac08f2bc70 by Victor Bandur
Records test was in fact a test for products.
modified: 
src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
Commit 686e5e4634576fb48c5c5d874cb45b2e1781337d by Victor Bandur
Intermediate work on records.
modified:   NativeTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
new file: 
src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 8536610f6733d323334f074d99f21f137d2468fd by Victor Bandur
Emitting functions to return references to static fields for FMU export.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
Commit 9c6dac6f4f8d01b7ba9bc443d21e8a898f872859 by Victor Bandur
Record type definitions are now transformed into standard classes and
emitted as such.  Nothing else is done yet with how the record types are
used.
modified:   NativeTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/NativeTests.java
modified:   src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit b52a3b9e9ae5e7da364c24be8cffb1bde198e30b by Victor Bandur
Fixed problem with tests introduced by record extraction to classes.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (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/CGen.java (diff)
Commit f8831b48ae0d8ca5b7df5ea5e65dbbd9cd54b26f by Victor Bandur
Work in progress on changing record declarations to corresponding class
declarations.
new file: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
Commit ceb5cb2d30015e8f68d34417fd6982c8b98e5951 by Victor Bandur
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 94df3d21c4a2403c100ddb22efaf9d2cd4fa6a34 by Victor Bandur
-  Added constructor to the corresponding class for record type
definitions.  This can then be called whenever mk_ is encountered. -
Currently simply assigns values passed in to field names, but these  
must be changed to proper field assignments so that the  
transformations can work as expected.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
Commit c62186ffa52039f8d96051411c6601383eaa7e79 by Victor Bandur
Some test model elements for static field access bug.
modified:   ExternalTests.launch
modified:   NativeTests.launch
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
The file was modifiedcore/vdm2c/ExternalTests.launch (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
Commit 98fba363f824f78d7c156ae875f9a944e165ad6f by Victor Bandur
Remaining math library functions, but no tests.
modified:   c/vdmclib/src/MATHLib.c
The file was modifiedc/vdmclib/src/MATHLib.c (diff)
Commit 642ac41575955aedea608274562c0640b0c7fe7f by Victor Bandur
Working on making the class name available for each class to be used in
the ASN.1 work.
modified: 
src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
Commit f554aaf8dcd7a88096f53a4015ebc88d52a11919 by Victor Bandur
Each class struct now has a field named "class_name" that contains the
name of the class.
modified: 
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm
modified: 
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
Commit ffaab4fd96f6ae90b1431af079b0265f31fd526f by Victor Bandur
Github static modifier issue 13.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddThisArgToMethodsTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AMethodDeclIR.vm
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AMethodDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddThisArgToMethodsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
Commit f81e5c39f9816f92fe62b34c02f0c16cac91cdec by Victor Bandur
Github issue 11 with initialization of record fields.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
Commit 7249d0839911d682fede411fe8b8833079a3a1f8 by Victor Bandur
Working on getting the right class constructor instead of mk_ for
records.
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
Commit dfe6ebb780cd48a978586c4e86e807bcd4c9826e by Victor Bandur
Fixed error with return type of constructor for record-to-class
conversion class.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
Commit 5aad932b85bf71715fbc14be0cf0c25227f3c34f by Victor Bandur
Type of the initial value of record initialization after conversion to
classes.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java (diff)
Commit bf4fdd8699c2e22ef3836a0aee2bb6748b38fb0c by atfabbri
DOC: fixes in the README file
The file was addedREADME.md
The file was removedreadme.md
Commit f0feb2aad7ba987e9d5fc6524b41604fa94ffb47 by Victor Bandur
Work on not including unnecessary directories along with generated code.
Related to issue #4
modified:   vdmclib/src/CMakeLists.txt
copied:     vdmclib/src/CMakeLists.txt ->
vdmclib/src/main/CMakeLists.txt
renamed:    vdmclib/src/IOLib.c -> vdmclib/src/main/IOLib.c
renamed:    vdmclib/src/IOLib.h -> vdmclib/src/main/IOLib.h
renamed:    vdmclib/src/MATHLib.c -> vdmclib/src/main/MATHLib.c
renamed:    vdmclib/src/MATHLib.h -> vdmclib/src/main/MATHLib.h
renamed:    vdmclib/src/PatternBindMatch.c ->
vdmclib/src/main/PatternBindMatch.c
renamed:    vdmclib/src/PatternBindMatch.h ->
vdmclib/src/main/PatternBindMatch.h
renamed:    vdmclib/src/PrettyPrint.c -> vdmclib/src/main/PrettyPrint.c
renamed:    vdmclib/src/PrettyPrint.h -> vdmclib/src/main/PrettyPrint.h
renamed:    vdmclib/src/SampleMakefile ->
vdmclib/src/main/SampleMakefile
renamed:    vdmclib/src/TypedValue.c -> vdmclib/src/main/TypedValue.c
renamed:    vdmclib/src/TypedValue.h -> vdmclib/src/main/TypedValue.h
renamed:    vdmclib/src/Vdm.h -> vdmclib/src/main/Vdm.h
renamed:    vdmclib/src/VdmBasicTypes.c ->
vdmclib/src/main/VdmBasicTypes.c
renamed:    vdmclib/src/VdmBasicTypes.h ->
vdmclib/src/main/VdmBasicTypes.h
renamed:    vdmclib/src/VdmClass.c -> vdmclib/src/main/VdmClass.c
renamed:    vdmclib/src/VdmClass.h -> vdmclib/src/main/VdmClass.h
renamed:    vdmclib/src/VdmMap.c -> vdmclib/src/main/VdmMap.c
renamed:    vdmclib/src/VdmMap.h -> vdmclib/src/main/VdmMap.h
renamed:    vdmclib/src/VdmProduct.c -> vdmclib/src/main/VdmProduct.c
renamed:    vdmclib/src/VdmProduct.h -> vdmclib/src/main/VdmProduct.h
renamed:    vdmclib/src/VdmRecord.h -> vdmclib/src/main/VdmRecord.h
renamed:    vdmclib/src/VdmSeq.c -> vdmclib/src/main/VdmSeq.c
renamed:    vdmclib/src/VdmSeq.h -> vdmclib/src/main/VdmSeq.h
renamed:    vdmclib/src/VdmSet.c -> vdmclib/src/main/VdmSet.c
renamed:    vdmclib/src/VdmSet.h -> vdmclib/src/main/VdmSet.h
new file:   vdmclib/src/main/vdmclib
renamed:    vdmclib/src/tests/ClassATest.cpp ->
vdmclib/src/test/ClassATest.cpp
renamed:    vdmclib/src/tests/ClassBTest.cpp ->
vdmclib/src/test/ClassBTest.cpp
renamed:    vdmclib/src/tests/ClassCTest.cpp ->
vdmclib/src/test/ClassCTest.cpp
renamed:    vdmclib/src/tests/ClassIO_Tests.cpp ->
vdmclib/src/test/ClassIO_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicCallABC_Tests.cpp ->
vdmclib/src/test/ClassPublicCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionForLoop.cpp ->
vdmclib/src/test/ExpressionForLoop.cpp
renamed:    vdmclib/src/tests/ExpressionsBoolean_Tests.cpp ->
vdmclib/src/test/ExpressionsBoolean_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsMap_Tests.cpp ->
vdmclib/src/test/ExpressionsMap_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsNumeric_Tests.cpp ->
vdmclib/src/test/ExpressionsNumeric_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsProduct_Tests.cpp ->
vdmclib/src/test/ExpressionsProduct_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSeq_Tests.cpp ->
vdmclib/src/test/ExpressionsSeq_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp ->
vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSet_Tests.cpp ->
vdmclib/src/test/ExpressionsSet_Tests.cpp
renamed:    vdmclib/src/tests/Expressions_Tests.cpp ->
vdmclib/src/test/Expressions_Tests.cpp
renamed:    vdmclib/src/tests/HashTable_Tests.cpp ->
vdmclib/src/test/HashTable_Tests.cpp
renamed:    vdmclib/src/tests/PrettyPrint_Tests.cpp ->
vdmclib/src/test/PrettyPrint_Tests.cpp
renamed:    vdmclib/src/tests/Statements_Record_Tests.cpp ->
vdmclib/src/test/Statements_Record_Tests.cpp
renamed:    vdmclib/src/tests/StructOffsetTest_Tests.cpp ->
vdmclib/src/test/StructOffsetTest_Tests.cpp
renamed:    vdmclib/src/tests/TypeofTest_Tests.cpp ->
vdmclib/src/test/TypeofTest_Tests.cpp
renamed:    vdmclib/src/classes/A.c -> vdmclib/src/test/classes/A.c
renamed:    vdmclib/src/classes/A.h -> vdmclib/src/test/classes/A.h
renamed:    vdmclib/src/classes/B.c -> vdmclib/src/test/classes/B.c
renamed:    vdmclib/src/classes/B.h -> vdmclib/src/test/classes/B.h
renamed:    vdmclib/src/classes/C.c -> vdmclib/src/test/classes/C.c
renamed:    vdmclib/src/classes/C.h -> vdmclib/src/test/classes/C.h
renamed:    vdmclib/src/records/R1.c -> vdmclib/src/test/records/R1.c
renamed:    vdmclib/src/records/R1.h -> vdmclib/src/test/records/R1.h
renamed:    vdmclib/src/tests/typeoftest.c ->
vdmclib/src/test/typeoftest.c
renamed:    vdmclib/src/tests/typeoftest.h ->
vdmclib/src/test/typeoftest.h
modified: 
../ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was removedc/vdmclib/src/tests/typeoftest.c
The file was addedc/vdmclib/src/test/ClassPublicCallABC_Tests.cpp
The file was addedc/vdmclib/src/main/Vdm.h
The file was removedc/vdmclib/src/classes/C.h
The file was removedc/vdmclib/src/tests/ClassCTest.cpp
The file was addedc/vdmclib/src/test/HashTable_Tests.cpp
The file was addedc/vdmclib/src/test/classes/A.h
The file was addedc/vdmclib/src/main/IOLib.h
The file was removedc/vdmclib/src/TypedValue.c
The file was addedc/vdmclib/src/main/VdmBasicTypes.c
The file was removedc/vdmclib/src/IOLib.h
The file was removedc/vdmclib/src/VdmMap.h
The file was removedc/vdmclib/src/PatternBindMatch.c
The file was removedc/vdmclib/src/Vdm.h
The file was removedc/vdmclib/src/tests/ExpressionsNumeric_Tests.cpp
The file was addedc/vdmclib/src/main/MATHLib.h
The file was addedc/vdmclib/src/test/ClassBTest.cpp
The file was removedc/vdmclib/src/tests/typeoftest.h
The file was removedc/vdmclib/src/TypedValue.h
The file was addedc/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionForLoop.cpp
The file was removedc/vdmclib/src/tests/ExpressionsBoolean_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionsSet_Tests.cpp
The file was addedc/vdmclib/src/main/VdmProduct.h
The file was addedc/vdmclib/src/test/Expressions_Tests.cpp
The file was removedc/vdmclib/src/VdmSet.h
The file was addedc/vdmclib/src/test/typeoftest.h
The file was addedc/vdmclib/src/main/CMakeLists.txt
The file was addedc/vdmclib/src/test/typeoftest.c
The file was addedc/vdmclib/src/main/VdmSeq.c
The file was removedc/vdmclib/src/classes/A.h
The file was removedc/vdmclib/src/SampleMakefile
The file was removedc/vdmclib/src/VdmSeq.c
The file was addedc/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
The file was addedc/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdmclib/src/test/classes/C.h
The file was removedc/vdmclib/src/PrettyPrint.c
The file was removedc/vdmclib/src/tests/ClassATest.cpp
The file was removedc/vdmclib/src/tests/ClassBTest.cpp
The file was addedc/vdmclib/src/test/PrettyPrint_Tests.cpp
The file was addedc/vdmclib/src/main/PatternBindMatch.c
The file was addedc/vdmclib/src/main/VdmSeq.h
The file was addedc/vdmclib/src/main/TypedValue.c
The file was removedc/vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp
The file was addedc/vdmclib/src/main/IOLib.c
The file was addedc/vdmclib/src/main/VdmClass.c
The file was removedc/vdmclib/src/tests/ClassIO_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsProduct_Tests.cpp
The file was addedc/vdmclib/src/test/records/R1.h
The file was addedc/vdmclib/src/test/classes/A.c
The file was addedc/vdmclib/src/main/VdmSet.c
The file was addedc/vdmclib/src/test/ExpressionsBoolean_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp
The file was removedc/vdmclib/src/tests/TypeofTest_Tests.cpp
The file was removedc/vdmclib/src/VdmBasicTypes.c
The file was addedc/vdmclib/src/main/vdmclib
The file was removedc/vdmclib/src/tests/ExpressionsProduct_Tests.cpp
The file was removedc/vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp
The file was modifiedc/vdmclib/src/CMakeLists.txt (diff)
The file was removedc/vdmclib/src/VdmClass.h
The file was addedc/vdmclib/src/main/VdmRecord.h
The file was addedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp
The file was addedc/vdmclib/src/main/PatternBindMatch.h
The file was addedc/vdmclib/src/test/ClassIO_Tests.cpp
The file was removedc/vdmclib/src/VdmMap.c
The file was removedc/vdmclib/src/MATHLib.h
The file was removedc/vdmclib/src/VdmSeq.h
The file was addedc/vdmclib/src/test/classes/C.c
The file was removedc/vdmclib/src/classes/A.c
The file was addedc/vdmclib/src/test/classes/B.h
The file was removedc/vdmclib/src/classes/C.c
The file was addedc/vdmclib/src/main/PrettyPrint.h
The file was removedc/vdmclib/src/tests/Statements_Record_Tests.cpp
The file was removedc/vdmclib/src/MATHLib.c
The file was addedc/vdmclib/src/test/ExpressionsMap_Tests.cpp
The file was removedc/vdmclib/src/tests/PrettyPrint_Tests.cpp
The file was removedc/vdmclib/src/IOLib.c
The file was removedc/vdmclib/src/tests/HashTable_Tests.cpp
The file was addedc/vdmclib/src/main/VdmProduct.c
The file was addedc/vdmclib/src/test/ClassATest.cpp
The file was addedc/vdmclib/src/main/VdmSet.h
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was removedc/vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp
The file was removedc/vdmclib/src/VdmClass.c
The file was removedc/vdmclib/src/PatternBindMatch.h
The file was removedc/vdmclib/src/VdmRecord.h
The file was addedc/vdmclib/src/main/MATHLib.c
The file was removedc/vdmclib/src/VdmSet.c
The file was removedc/vdmclib/src/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/ExpressionsSeq_Tests.cpp
The file was addedc/vdmclib/src/main/VdmBasicTypes.h
The file was removedc/vdmclib/src/tests/ClassPublicCallABC_Tests.cpp
The file was removedc/vdmclib/src/tests/ExpressionForLoop.cpp
The file was removedc/vdmclib/src/tests/Expressions_Tests.cpp
The file was removedc/vdmclib/src/VdmProduct.c
The file was addedc/vdmclib/src/test/records/R1.c
The file was addedc/vdmclib/src/test/Statements_Record_Tests.cpp
The file was removedc/vdmclib/src/records/R1.c
The file was addedc/vdmclib/src/main/VdmMap.c
The file was addedc/vdmclib/src/main/PrettyPrint.c
The file was addedc/vdmclib/src/main/VdmClass.h
The file was addedc/vdmclib/src/main/VdmMap.h
The file was removedc/vdmclib/src/classes/B.h
The file was addedc/vdmclib/src/test/ClassCTest.cpp
The file was removedc/vdmclib/src/tests/StructOffsetTest_Tests.cpp
The file was addedc/vdmclib/src/test/ExpressionsSet_Tests.cpp
The file was addedc/vdmclib/src/main/SampleMakefile
The file was removedc/vdmclib/src/VdmProduct.h
The file was removedc/vdmclib/src/tests/ExpressionsMap_Tests.cpp
The file was removedc/vdmclib/src/classes/B.c
The file was addedc/vdmclib/src/test/classes/B.c
The file was removedc/vdmclib/src/records/R1.h
The file was removedc/vdmclib/src/PrettyPrint.h
The file was addedc/vdmclib/src/test/StructOffsetTest_Tests.cpp
The file was addedc/vdmclib/src/test/TypeofTest_Tests.cpp
The file was addedc/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
The file was addedc/vdmclib/src/main/TypedValue.h
Commit a53e9822542f797483b7dddebf0d0a03bb04fbb1 by Victor Bandur
Related to issue #4.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 8cfeef052b764d582a1f7840ad582caa6c4bd775 by Victor Bandur
Related to issue #4.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was modifiedoverture.release.properties (diff)
The file was modifiedpom.xml (diff)