# 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.element", "AnnotationMirror", True, "getAnnotationType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationMirror", True, "getElementValues", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationValue", True, "accept", "(AnnotationValueVisitor,Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationValue", True, "accept", "(AnnotationValueVisitor,Object)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationValue", True, "accept", "(AnnotationValueVisitor,Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationValue", True, "getValue", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "AnnotationValueVisitor", True, "visit", "(AnnotationValue)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "AnnotationValueVisitor", True, "visit", "(AnnotationValue)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "Element", True, "accept", "(ElementVisitor,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "Element", True, "asType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "Element", True, "getEnclosedElements", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "Element", True, "getEnclosingElement", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "Element", True, "getSimpleName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ElementVisitor", True, "visit", "(Element)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.lang.model.element", "ElementVisitor", True, "visit", "(Element)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ElementVisitor", True, "visit", "(Element)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ExecutableElement", True, "getDefaultValue", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ExecutableElement", True, "getParameters", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ExecutableElement", True, "getReceiverType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ExecutableElement", True, "getReturnType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ExecutableElement", True, "getThrownTypes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$ExportsDirective", True, "getPackage", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$ExportsDirective", True, "getTargetModules", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$OpensDirective", True, "getPackage", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$OpensDirective", True, "getTargetModules", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$ProvidesDirective", True, "getImplementations", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$ProvidesDirective", True, "getService", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$RequiresDirective", True, "getDependency", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$UsesDirective", True, "getService", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement", True, "getDirectives", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "QualifiedNameable", True, "getQualifiedName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "RecordComponentElement", True, "getAccessor", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeElement", True, "getInterfaces", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeElement", True, "getPermittedSubclasses", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeElement", True, "getRecordComponents", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeElement", True, "getSuperclass", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeParameterElement", True, "getBounds", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "TypeParameterElement", True, "getGenericElement", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.lang.model.element", "UnknownAnnotationValueException", True, "UnknownAnnotationValueException", "(AnnotationValue,Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownAnnotationValueException.av]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownAnnotationValueException", True, "UnknownAnnotationValueException", "(AnnotationValue,Object)", "", "Argument[1]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownAnnotationValueException.parameter]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownAnnotationValueException", True, "getArgument", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownAnnotationValueException.parameter]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownAnnotationValueException", True, "getUnknownAnnotationValue", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownAnnotationValueException.av]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownDirectiveException", True, "UnknownDirectiveException", "(ModuleElement$Directive,Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownDirectiveException.directive]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownDirectiveException", True, "UnknownDirectiveException", "(ModuleElement$Directive,Object)", "", "Argument[1]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownDirectiveException.parameter]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownDirectiveException", True, "getArgument", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownDirectiveException.parameter]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownDirectiveException", True, "getUnknownDirective", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownDirectiveException.directive]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownElementException", True, "UnknownElementException", "(Element,Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownElementException.element]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownElementException", True, "UnknownElementException", "(Element,Object)", "", "Argument[1]", "Argument[this].SyntheticField[javax.lang.model.element.UnknownElementException.parameter]", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownElementException", True, "getArgument", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownElementException.parameter]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "UnknownElementException", True, "getUnknownElement", "()", "", "Argument[this].SyntheticField[javax.lang.model.element.UnknownElementException.element]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.lang.model.element", "VariableElement", True, "getConstantValue", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["javax.lang.model.element", "ElementKind", "isClass", "()", "summary", "df-generated"]
      - ["javax.lang.model.element", "ElementKind", "isField", "()", "summary", "df-generated"]
      - ["javax.lang.model.element", "ElementKind", "isInterface", "()", "summary", "df-generated"]
      - ["javax.lang.model.element", "ElementVisitor", "visitModule", "(ModuleElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.element", "ElementVisitor", "visitRecordComponent", "(RecordComponentElement,Object)", "summary", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$DirectiveVisitor", "visit", "(ModuleElement$Directive)", "summary", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$DirectiveVisitor", "visit", "(ModuleElement$Directive,Object)", "summary", "df-generated"]
      - ["javax.lang.model.element", "ModuleElement$DirectiveVisitor", "visitUnknown", "(ModuleElement$Directive,Object)", "summary", "df-generated"]
      - ["javax.lang.model.element", "NestingKind", "isNested", "()", "summary", "df-generated"]