Changes
Summary
- Refactoring of field transformations. (commit: 52e7ea6) (details)
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java |