Changes
Summary
- Pass 'this' to field initialisers (commit: 52ae1b8) (details)
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java (diff) |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java (diff) |