Changes

Summary

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)

core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java

core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)