C#: Use typeparameter index to generate synthetic field names in summaries.

michaelnebel · michaelnebel · commit 372a6107d646 · 2022-09-14T11:06:23.000+02:00
diff --git a/csharp/ql/src/utils/model-generator/internal/CaptureTheoremsForFreeSummaryModels.qll b/csharp/ql/src/utils/model-generator/internal/CaptureTheoremsForFreeSummaryModels.qll
@@ -33,7 +33,7 @@ class TheoremTargetApi extends Specific::TargetApiSpecific {
     exists(string access |
       if isGenericCollectionType(this.getDeclaringType(), t)
       then access = ".Element"
-      else access = ".SyntheticField[Arg" + t.getName() + "]"
+      else access = ".SyntheticField[ArgType" + t.getIndex() + "]"
     |
       result = Specific::qualifierString() + access
     )

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ class TheoremTargetApi extends Specific::TargetApiSpecific {`
`33`	`33`	`exists(string access \|`
`34`	`34`	`if isGenericCollectionType(this.getDeclaringType(), t)`
`35`	`35`	`then access = ".Element"`
`36`		`- else access = ".SyntheticField[Arg" + t.getName() + "]"`
	`36`	`+ else access = ".SyntheticField[ArgType" + t.getIndex() + "]"`
`37`	`37`	`\|`
`38`	`38`	`result = Specific::qualifierString() + access`
`39`	`39`	`)`