Skip to content

Commit 8e73876

Browse files
idhugoididhugoid
committed
Changes the template to generate VDMRecord
1 parent b5af1c9 commit 8e73876

File tree

90 files changed

+131
-131
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

90 files changed

+131
-131
lines changed

‎core/codegen/javagen/src/main/resources/JavaTemplates/org/overture/codegen/ir/declarations/ARecordDeclIR.vm

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
static class $node.getName() implements Record
1+
static class $node.getName() implements VDMRecord
22
{
33
#foreach( $field in $node.getFields() )
44
$JavaFormat.format($field)

‎core/codegen/javagen/src/test/resources/bind_specs/LetBeStStmWithRecPattern.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ public class Entry {
4343
return "Entry{}";
4444
}
4545

46-
public static class Vec implements Record {
46+
public static class Vec implements VDMRecord {
4747
public Number x;
4848
public Number y;
4949

‎core/codegen/javagen/src/test/resources/classic_specs/CashDispenserPP.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,7 @@ public class Account {
219219
+ "}";
220220
}
221221

222-
public static class Transaction implements Record {
222+
public static class Transaction implements VDMRecord {
223223
public VDMSeq date;
224224
public Number cardId;
225225
public Number amount;

‎core/codegen/javagen/src/test/resources/cloning_specs/CashDispenserPP.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ public class Account {
214214
+ "}";
215215
}
216216

217-
public static class Transaction implements Record {
217+
public static class Transaction implements VDMRecord {
218218
public VDMSeq date;
219219
public Number cardId;
220220
public Number amount;

‎core/codegen/javagen/src/test/resources/complex_expressions/ApplyObjectDesignatorWithRecFieldObj1.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ public class Entry {
2727
return "Entry{}";
2828
}
2929

30-
public static class A implements Record {
30+
public static class A implements VDMRecord {
3131
public VDMSeq es;
3232

3333
public A(final VDMSeq _es) {

‎core/codegen/javagen/src/test/resources/complex_expressions/ApplyObjectDesignatorWithRecFieldObj2.vdmpp.result

+3-3
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ public class Entry {
2727
return "Entry{}";
2828
}
2929

30-
public static class A implements Record {
30+
public static class A implements VDMRecord {
3131
public VDMSeq bs;
3232

3333
public A(final VDMSeq _bs) {
@@ -62,7 +62,7 @@ public class Entry {
6262
}
6363
}
6464

65-
public static class B implements Record {
65+
public static class B implements VDMRecord {
6666
public C c;
6767

6868
public B(final C _c) {
@@ -97,7 +97,7 @@ public class Entry {
9797
}
9898
}
9999

100-
public static class C implements Record {
100+
public static class C implements VDMRecord {
101101
public Entry e;
102102

103103
public C(final Entry _e) {

‎core/codegen/javagen/src/test/resources/complex_expressions/BracketTypeUnionArgInExtendedExplicitOp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ public class Entry {
2828
return "Entry{}";
2929
}
3030

31-
private static class R implements Record {
31+
private static class R implements VDMRecord {
3232
public Number x;
3333

3434
public R(final Number _x) {

‎core/codegen/javagen/src/test/resources/complex_expressions/EmptyRecords.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ public class Entry {
1919
return "Entry{}";
2020
}
2121

22-
public static class M implements Record {
22+
public static class M implements VDMRecord {
2323

2424
public M() {}
2525

‎core/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObj.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ public class Entry {
2626
return "Entry{}";
2727
}
2828

29-
public static class R implements Record {
29+
public static class R implements VDMRecord {
3030
public Entry e;
3131

3232
public R(final Entry _e) {

‎core/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObjChainOfThree.vdmpp.result

+3-3
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ public class Entry {
2626
return "Entry{}";
2727
}
2828

29-
public static class R1 implements Record {
29+
public static class R1 implements VDMRecord {
3030
public R2 r2;
3131

3232
public R1(final R2 _r2) {
@@ -61,7 +61,7 @@ public class Entry {
6161
}
6262
}
6363

64-
public static class R2 implements Record {
64+
public static class R2 implements VDMRecord {
6565
public R3 r3;
6666

6767
public R2(final R3 _r3) {
@@ -96,7 +96,7 @@ public class Entry {
9696
}
9797
}
9898

99-
public static class R3 implements Record {
99+
public static class R3 implements VDMRecord {
100100
public Entry e;
101101

102102
public R3(final Entry _e) {

‎core/codegen/javagen/src/test/resources/complex_expressions/FieldDesignatorOfRecObjChainOfTwo.vdmpp.result

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ public class Entry {
2626
return "Entry{}";
2727
}
2828

29-
public static class R1 implements Record {
29+
public static class R1 implements VDMRecord {
3030
public R2 r2;
3131

3232
public R1(final R2 _r2) {
@@ -61,7 +61,7 @@ public class Entry {
6161
}
6262
}
6363

64-
public static class R2 implements Record {
64+
public static class R2 implements VDMRecord {
6565
public Entry e;
6666

6767
public R2(final Entry _e) {

‎core/codegen/javagen/src/test/resources/complex_expressions/MapSeqStateDesignatorChangeRecField.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ public class Entry {
3232
return "Entry{" + "m := " + Utils.toString(m) + "}";
3333
}
3434

35-
private static class Rec implements Record {
35+
private static class Rec implements VDMRecord {
3636
public Number field;
3737

3838
public Rec(final Number _field) {

‎core/codegen/javagen/src/test/resources/complex_expressions/MapSeqStateDesignatorNesting.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ public class Entry {
1818
return "Entry{}";
1919
}
2020

21-
public static class A implements Record {
21+
public static class A implements VDMRecord {
2222
public VDMMap x;
2323

2424
public A(final VDMMap _x) {

‎core/codegen/javagen/src/test/resources/complex_expressions/NarrowRecordFieldAccess.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ public class Entry {
1717
return "Entry{}";
1818
}
1919

20-
private static class R implements Record {
20+
private static class R implements VDMRecord {
2121
public Number x;
2222

2323
public R(final Number _x) {

‎core/codegen/javagen/src/test/resources/complex_expressions/OptionallyTypedRecordFieldComparison.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ public class Entry {
3636
return "Entry{}";
3737
}
3838

39-
private static class NatList implements Record {
39+
private static class NatList implements VDMRecord {
4040
public Number e;
4141
public NatList t;
4242

‎core/codegen/javagen/src/test/resources/complex_expressions/RecModExpArgToApplyExp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ public class Entry {
3131
return "Entry{}";
3232
}
3333

34-
public static class Rec implements Record {
34+
public static class Rec implements VDMRecord {
3535
public Number a;
3636
public Boolean b;
3737

‎core/codegen/javagen/src/test/resources/complex_expressions/RecModExpForAllExp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ public class Entry {
3535
return "Entry{}";
3636
}
3737

38-
public static class Rec implements Record {
38+
public static class Rec implements VDMRecord {
3939
public Number x;
4040
public Boolean b;
4141

‎core/codegen/javagen/src/test/resources/complex_expressions/RecModExpInRecModExp.vdmpp.result

+2-2
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ public class Entry {
3030
return "Entry{}";
3131
}
3232

33-
public static class Rec1 implements Record {
33+
public static class Rec1 implements VDMRecord {
3434
public Number a;
3535
public Rec2 b;
3636

@@ -67,7 +67,7 @@ public class Entry {
6767
}
6868
}
6969

70-
public static class Rec2 implements Record {
70+
public static class Rec2 implements VDMRecord {
7171
public Number c;
7272
public Rec1 d;
7373

‎core/codegen/javagen/src/test/resources/complex_expressions/RecModExpSimple1.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ public class Entry {
2323
return "Entry{}";
2424
}
2525

26-
public static class Rec implements Record {
26+
public static class Rec implements VDMRecord {
2727
public Number x;
2828
public Boolean b;
2929

‎core/codegen/javagen/src/test/resources/complex_expressions/RecModExpVarExp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ public class Entry {
2525
return "Entry{}";
2626
}
2727

28-
public static class Rec implements Record {
28+
public static class Rec implements VDMRecord {
2929
public Number x;
3030
public Boolean b;
3131

‎core/codegen/javagen/src/test/resources/complex_expressions/RecNoFieldNames.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ public class Entry {
2828
return "Entry{}";
2929
}
3030

31-
public static class A implements Record {
31+
public static class A implements VDMRecord {
3232
public Number _X_;
3333
public Number _X__1;
3434

‎core/codegen/javagen/src/test/resources/complex_expressions/RecordComp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ public class A {
1919
return "A{}";
2020
}
2121

22-
public static class Vector2D implements Record {
22+
public static class Vector2D implements VDMRecord {
2323
public Number x;
2424
public Number y;
2525

‎core/codegen/javagen/src/test/resources/complex_expressions/RecordUsageAcrossClass.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ public class A {
1111
return "A{}";
1212
}
1313

14-
public static class Rec implements Record {
14+
public static class Rec implements VDMRecord {
1515

1616
public Rec() {}
1717

‎core/codegen/javagen/src/test/resources/complex_expressions/RecordValue.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ public class A {
1616
return "A{}";
1717
}
1818

19-
public static class Node implements Record {
19+
public static class Node implements VDMRecord {
2020
public Number e;
2121
public Node r;
2222

‎core/codegen/javagen/src/test/resources/complex_expressions/UnknownTypeArgInNewExp.vdmpp.result

+1-1
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ public class Entry {
2323
return "Entry{}";
2424
}
2525

26-
private static class R implements Record {
26+
private static class R implements VDMRecord {
2727
public Number x;
2828

2929
public R(final Number _x) {

0 commit comments

Comments
 (0)