SuccessChanges

Summary

  1. Record type definitions are now transformed into standard classes and (commit: 9c6dac6) (details)
Commit 9c6dac6f4f8d01b7ba9bc443d21e8a898f872859 by Victor Bandur
Record type definitions are now transformed into standard classes and
emitted as such.  Nothing else is done yet with how the record types are
used.
modified:   NativeTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/NativeTests.java
modified:   src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
(commit: 9c6dac6)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedcore/vdm2c/NativeTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)