@@ -884,6 +884,7 @@ Record.cs:
884884# 27| -1: [TypeMention] string
885885# 27| 1: [Parameter] LastName
886886# 27| -1: [TypeMention] string
887+ # 27| 4: [BlockStmt] {...}
887888# 27| 16: [Property] FirstName
888889# 27| 3: [Getter] get_FirstName
889890# 27| 4: [Setter] set_FirstName
@@ -913,6 +914,10 @@ Record.cs:
913914# 29| -1: [TypeMention] string
914915# 29| 2: [Parameter] Subject
915916# 29| -1: [TypeMention] string
917+ # 30| 3: [ConstructorInitializer] call to constructor Person1
918+ # 30| 0: [ParameterAccess] access to parameter FirstName
919+ # 30| 1: [ParameterAccess] access to parameter LastName
920+ # 29| 4: [BlockStmt] {...}
916921# 29| 17: [Property] Subject
917922# 29| 3: [Getter] get_Subject
918923# 29| 4: [Setter] set_Subject
@@ -937,6 +942,10 @@ Record.cs:
937942# 32| -1: [TypeMention] string
938943# 32| 2: [Parameter] Level
939944# 32| -1: [TypeMention] int
945+ # 33| 3: [ConstructorInitializer] call to constructor Person1
946+ # 33| 0: [ParameterAccess] access to parameter FirstName
947+ # 33| 1: [ParameterAccess] access to parameter LastName
948+ # 32| 4: [BlockStmt] {...}
940949# 32| 17: [Property] Level
941950# 32| 3: [Getter] get_Level
942951# 32| 4: [Setter] set_Level
@@ -957,6 +966,7 @@ Record.cs:
957966#-----| 2: (Parameters)
958967# 35| 0: [Parameter] Name
959968# 35| -1: [TypeMention] string
969+ # 35| 4: [BlockStmt] {...}
960970# 35| 16: [Property] Name
961971# 35| 3: [Getter] get_Name
962972# 35| 4: [Setter] set_Name
@@ -981,6 +991,9 @@ Record.cs:
981991#-----| 2: (Parameters)
982992# 41| 0: [Parameter] Name
983993# 41| -1: [TypeMention] string
994+ # 41| 3: [ConstructorInitializer] call to constructor Pet
995+ # 41| 0: [ParameterAccess] access to parameter Name
996+ # 41| 4: [BlockStmt] {...}
984997# 41| 15: [Property] EqualityContract
985998# 41| 3: [Getter] get_EqualityContract
986999# 43| 16: [Method] WagTail
@@ -1022,6 +1035,7 @@ Record.cs:
10221035#-----| 2: (Parameters)
10231036# 54| 0: [Parameter] A
10241037# 54| -1: [TypeMention] string
1038+ # 54| 4: [BlockStmt] {...}
10251039# 54| 16: [Property] A
10261040# 54| 3: [Getter] get_A
10271041# 54| 4: [Setter] set_A
@@ -1044,6 +1058,9 @@ Record.cs:
10441058# 56| -1: [TypeMention] string
10451059# 56| 1: [Parameter] B
10461060# 56| -1: [TypeMention] string
1061+ # 56| 3: [ConstructorInitializer] call to constructor R1
1062+ # 56| 0: [ParameterAccess] access to parameter A
1063+ # 56| 4: [BlockStmt] {...}
10471064# 56| 17: [Property] B
10481065# 56| 3: [Getter] get_B
10491066# 56| 4: [Setter] set_B
0 commit comments