SuccessChanges

Summary

  1. -  Added constructor to the corresponding class for record type (commit: 94df3d2) (details)
Commit 94df3d21c4a2403c100ddb22efaf9d2cd4fa6a34 by Victor Bandur
-  Added constructor to the corresponding class for record type
definitions.  This can then be called whenever mk_ is encountered. -
Currently simply assigns values passed in to field names, but these  
must be changed to proper field assignments so that the  
transformations can work as expected.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
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
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
(commit: 94df3d2)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)