SuccessChanges

Summary

  1. Infrastructure for field assignment support. (commit: 8e37649) (details)
Commit 8e3764940509e453c4e8c95c87896a43d915d4f4 by Victor Bandur
Infrastructure for field assignment support.
modified:   core/vdm2c/NativeClassesTests.launch
modified:   core/vdm2c/NativeTests.launch
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file: 
core/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt
(commit: 8e37649)
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)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassFieldAccess_Tests.cpp
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)