SuccessChanges

Summary

  1. No longer emitting debug statement via printf. (commit: 56521a3) (details)
  2. Fixed bug in generating includes for elements which are subsequently (commit: c08a68f) (details)
Commit 56521a3ff65d2faaceb086cf04e716ba501bf191 by Victor Bandur
No longer emitting debug statement via printf.
modified: 
vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java
(commit: 56521a3)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java (diff)
Commit c08a68f4f50ed77589a9d43e06ec4643785f271a by Victor Bandur
Fixed bug in generating includes for elements which are subsequently
removed from the generated code.
modified:   vdm2c/NativeClassesTests.launch
modified:   vdm2c/NativeTests.launch
modified:   vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java
modified: 
vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
(commit: c08a68f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)