SuccessChanges

Summary

  1. -  Ongoing work on field access transformations. -  Access to fields in (commit: 3325a42) (details)
  2. Re-enabled test. (commit: 9dc9cbc) (details)
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
(commit: 3325a42)
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/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
Commit 9dc9cbcc48775b6ed498966613a0b8772367f08a by Victor Bandur
Re-enabled test.
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
(commit: 9dc9cbc)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)