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)