codeql/java/ql/lib/ext/generated/modelgenerator/javax.lang.model.util.model.yml at ccf14ad6ce086249b75c7c24418e16781534cc5f · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: summaryModel
    data:
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", True, "visit", "(AnnotationValue)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", True, "visit", "(AnnotationValue)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", True, "visit", "(AnnotationValue,Object)", "", "Argument[0]", "Argument[1]", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", True, "visit", "(AnnotationValue,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", True, "visit", "(AnnotationValue,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", True, "visit", "(Element)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", True, "visit", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", True, "visit", "(Element)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", True, "visit", "(Element,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror,Object)", "", "Argument[0]", "Argument[1]", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", True, "visit", "(TypeMirror,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "constructorsIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "constructorsIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "exportsIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "fieldsIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "fieldsIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "methodsIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "methodsIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "modulesIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "modulesIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "opensIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "packagesIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "packagesIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "providesIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "recordComponentsIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "recordComponentsIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "requiresIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "typesIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "typesIn", "(Set)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementFilter", True, "usesIn", "(Iterable)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor14", True, "visitRecordComponent", "(RecordComponentElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor14", True, "visitTypeAsRecord", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor14", True, "visitVariableAsBindingVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitExecutable", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitExecutableAsConstructor", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitExecutableAsInstanceInit", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitExecutableAsMethod", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitExecutableAsStaticInit", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitPackage", "(PackageElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitType", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitTypeAsAnnotationType", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitTypeAsClass", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitTypeAsEnum", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitTypeAsInterface", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitTypeParameter", "(TypeParameterElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariableAsEnumConstant", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariableAsExceptionParameter", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariableAsField", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariableAsLocalVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", True, "visitVariableAsParameter", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor7", True, "visitVariableAsResourceVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor9", True, "visitModule", "(ModuleElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementScanner14", True, "visitExecutable", "(ExecutableElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner14", True, "visitRecordComponent", "(RecordComponentElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner14", True, "visitType", "(TypeElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "scan", "(Element)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "scan", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "scan", "(Element)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "scan", "(Element,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "scan", "(Iterable,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "visitExecutable", "(ExecutableElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "visitPackage", "(PackageElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "visitType", "(TypeElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "visitTypeParameter", "(TypeParameterElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner6", True, "visitVariable", "(VariableElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner7", True, "visitVariable", "(VariableElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "ElementScanner9", True, "visitModule", "(ModuleElement,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "Elements", True, "getAllAnnotationMirrors", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getAllMembers", "(TypeElement)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getAllModuleElements", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getAllPackageElements", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getAllTypeElements", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getBinaryName", "(TypeElement)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getElementValuesWithDefaults", "(AnnotationMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getModuleElement", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getModuleOf", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getName", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getPackageElement", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getPackageElement", "(ModuleElement,CharSequence)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getPackageElement", "(ModuleElement,CharSequence)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getPackageElement", "(ModuleElement,CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getPackageOf", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getTypeElement", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getTypeElement", "(ModuleElement,CharSequence)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "getTypeElement", "(ModuleElement,CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Elements", True, "recordComponentFor", "(ExecutableElement)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitAnnotation", "(AnnotationMirror,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitArray", "(List,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitBoolean", "(boolean,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitByte", "(byte,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitChar", "(char,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitDouble", "(double,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitEnumConstant", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitFloat", "(float,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitInt", "(int,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitLong", "(long,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitShort", "(short,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitString", "(String,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleAnnotationValueVisitor6", True, "visitType", "(TypeMirror,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor14", True, "visitRecordComponent", "(RecordComponentElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor6", True, "visitExecutable", "(ExecutableElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor6", True, "visitPackage", "(PackageElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor6", True, "visitType", "(TypeElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor6", True, "visitTypeParameter", "(TypeParameterElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor6", True, "visitVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor7", True, "visitVariable", "(VariableElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleElementVisitor9", True, "visitModule", "(ModuleElement,Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitArray", "(ArrayType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitArray", "(ArrayType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitArray", "(ArrayType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitArray", "(ArrayType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitDeclared", "(DeclaredType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitDeclared", "(DeclaredType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitDeclared", "(DeclaredType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitDeclared", "(DeclaredType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitError", "(ErrorType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitError", "(ErrorType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitError", "(ErrorType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitError", "(ErrorType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitExecutable", "(ExecutableType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitExecutable", "(ExecutableType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitExecutable", "(ExecutableType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitExecutable", "(ExecutableType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNull", "(NullType,Object)", "", "Argument[0].Field[com.sun.tools.javac.code.Type.tsym].Field[com.sun.tools.javac.code.Symbol.name]", "ReturnValue", "taint", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitNull", "(NullType,Object)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitPrimitive", "(PrimitiveType,Object)", "", "Argument[0].Field[com.sun.tools.javac.code.Type.tsym].Field[com.sun.tools.javac.code.Symbol.name]", "ReturnValue", "taint", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitPrimitive", "(PrimitiveType,Object)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitTypeVariable", "(TypeVariable,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitTypeVariable", "(TypeVariable,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitTypeVariable", "(TypeVariable,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitTypeVariable", "(TypeVariable,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitWildcard", "(WildcardType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitWildcard", "(WildcardType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitWildcard", "(WildcardType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor6", True, "visitWildcard", "(WildcardType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor7", True, "visitUnion", "(UnionType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor7", True, "visitUnion", "(UnionType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor7", True, "visitUnion", "(UnionType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor8", True, "visitIntersection", "(IntersectionType,Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor8", True, "visitIntersection", "(IntersectionType,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "SimpleTypeVisitor8", True, "visitIntersection", "(IntersectionType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoType", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsNone", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsNone", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsPackage", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsPackage", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsVoid", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitNoTypeAsVoid", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitive", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitive", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsBoolean", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsBoolean", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsByte", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsByte", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsChar", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsChar", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsDouble", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsDouble", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsFloat", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsFloat", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsInt", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsInt", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsLong", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsLong", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsShort", "(PrimitiveType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", True, "visitPrimitiveAsShort", "(PrimitiveType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor7", True, "visitUnion", "(UnionType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor7", True, "visitUnion", "(UnionType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor8", True, "visitIntersection", "(IntersectionType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor8", True, "visitIntersection", "(IntersectionType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor9", True, "visitNoTypeAsModule", "(NoType,Object)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor9", True, "visitNoTypeAsModule", "(NoType,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "asElement", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "asMemberOf", "(DeclaredType,Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "asMemberOf", "(DeclaredType,Element)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "capture", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "directSupertypes", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "erasure", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getArrayType", "(TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getArrayType", "(TypeMirror)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getDeclaredType", "(DeclaredType,TypeElement,TypeMirror[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getDeclaredType", "(DeclaredType,TypeElement,TypeMirror[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getDeclaredType", "(TypeElement,TypeMirror[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getNoType", "(TypeKind)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getNullType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getPrimitiveType", "(TypeKind)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getWildcardType", "(TypeMirror,TypeMirror)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getWildcardType", "(TypeMirror,TypeMirror)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.util", "Types", True, "getWildcardType", "(TypeMirror,TypeMirror)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["javax.lang.model.util", "AbstractAnnotationValueVisitor6", "visitUnknown", "(AnnotationValue,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor14", "visitRecordComponent", "(RecordComponentElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", "visitModule", "(ModuleElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", "visitRecordComponent", "(RecordComponentElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor6", "visitUnknown", "(Element,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractElementVisitor9", "visitModule", "(ModuleElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", "visitIntersection", "(IntersectionType,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", "visitUnion", "(UnionType,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor6", "visitUnknown", "(TypeMirror,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor7", "visitUnion", "(UnionType,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "AbstractTypeVisitor8", "visitIntersection", "(IntersectionType,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", "visitTypeAsRecord", "(TypeElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", "visitVariableAsBindingVariable", "(VariableElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "ElementKindVisitor6", "visitVariableAsResourceVariable", "(VariableElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements$Origin", "isDeclared", "()", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements", "getOrigin", "(AnnotatedConstruct,AnnotationMirror)", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements", "getOrigin", "(Element)", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements", "getOrigin", "(ModuleElement,ModuleElement$Directive)", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements", "isAutomaticModule", "(ModuleElement)", "summary", "df-generated"]
      - ["javax.lang.model.util", "Elements", "isBridge", "(ExecutableElement)", "summary", "df-generated"]
      - ["javax.lang.model.util", "TypeKindVisitor6", "visitNoTypeAsModule", "(NoType,Object)", "summary", "df-generated"]