SuccessChanges

Summary

  1. Test model for scratch work. (commit: d3730a6) (details)
  2. Some intermediate work and notes. (commit: 58ffaf5) (details)
Commit d3730a6fa008aa3f792d4fb3a03a755b05ba1ab3 by Victor Bandur
Test model for scratch work.
new file:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
(commit: d3730a6)
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
(commit: 58ffaf5)
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/ClassScratchWork.vdmrt (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/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)