Commit
58ffaf5701740ba073b8daf3563065e7dd59bc9b
by Victor BandurSome 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)