SuccessChanges

Summary

  1. Work in progress on changing record declarations to corresponding class (commit: f8831b4) (details)
Commit f8831b48ae0d8ca5b7df5ea5e65dbbd9cd54b26f by Victor Bandur
Work in progress on changing record declarations to corresponding class
declarations.
new file: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
(commit: f8831b4)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)