codeql/java/ql/lib/ext/generated/java.time.format.model.yml

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: summaryModel
    data:
      - ["java.time.format", "DateTimeFormatter", False, "getChronology", "()", "", "Argument[this].SyntheticField[java.time.format.DateTimeFormatter.chrono]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "getDecimalStyle", "()", "", "Argument[this].SyntheticField[java.time.format.DateTimeFormatter.decimalStyle]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "getLocale", "()", "", "Argument[this].SyntheticField[java.time.format.DateTimeFormatter.locale]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "getResolverFields", "()", "", "Argument[this].SyntheticField[java.time.format.DateTimeFormatter.resolverFields]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "getZone", "()", "", "Argument[this].SyntheticField[java.time.format.DateTimeFormatter.zone]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "localizedBy", "(Locale)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.locale]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "ofPattern", "(String,Locale)", "", "Argument[1]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.locale]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "parse", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "parse", "(CharSequence,ParsePosition)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "toFormat", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "toFormat", "(TemporalQuery)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "toFormat", "(TemporalQuery)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withChronology", "(Chronology)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.chrono]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withDecimalStyle", "(DecimalStyle)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.decimalStyle]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withLocale", "(Locale)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.locale]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withResolverFields", "(Set)", "", "Argument[0].Element", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.resolverFields].Element", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withResolverFields", "(Set)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.resolverFields]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withResolverFields", "(TemporalField[])", "", "Argument[0].ArrayElement", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.resolverFields].Element", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withResolverStyle", "(ResolverStyle)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", False, "withZone", "(ZoneId)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.zone]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "append", "(DateTimeFormatter)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendChronologyId", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendChronologyText", "(TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendDayPeriodText", "(TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendFraction", "(TemporalField,int,int,boolean)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendGenericZoneText", "(TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendGenericZoneText", "(TextStyle,Set)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendInstant", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendInstant", "(int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendLiteral", "(String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendLiteral", "(char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendLocalized", "(FormatStyle,FormatStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendLocalizedOffset", "(TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendOffset", "(String,String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendOffsetId", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendOptional", "(DateTimeFormatter)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendPattern", "(String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendText", "(TemporalField)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendText", "(TemporalField,Map)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendText", "(TemporalField,TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendValue", "(TemporalField)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendValue", "(TemporalField,int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendValue", "(TemporalField,int,int,SignStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendValueReduced", "(TemporalField,int,int,ChronoLocalDate)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendValueReduced", "(TemporalField,int,int,int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendZoneId", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendZoneOrOffsetId", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendZoneRegionId", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendZoneText", "(TextStyle)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "appendZoneText", "(TextStyle,Set)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "getLocalizedDateTimePattern", "(FormatStyle,FormatStyle,Chronology,Locale)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "optionalEnd", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "optionalStart", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "padNext", "(int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "padNext", "(int,char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "parseCaseInsensitive", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "parseCaseSensitive", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "parseDefaulting", "(TemporalField,long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "parseLenient", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "parseStrict", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "toFormatter", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DateTimeFormatterBuilder", False, "toFormatter", "(Locale)", "", "Argument[0]", "ReturnValue.SyntheticField[java.time.format.DateTimeFormatter.locale]", "value", "dfc-generated"]
      - ["java.time.format", "DateTimeParseException", True, "DateTimeParseException", "(String,CharSequence,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.format", "DateTimeParseException", True, "DateTimeParseException", "(String,CharSequence,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.format", "DateTimeParseException", True, "DateTimeParseException", "(String,CharSequence,int,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.format", "DateTimeParseException", True, "DateTimeParseException", "(String,CharSequence,int,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.format", "DateTimeParseException", True, "DateTimeParseException", "(String,CharSequence,int,Throwable)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.format", "DateTimeParseException", True, "getParsedString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DecimalStyle", False, "of", "(Locale)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.time.format", "DecimalStyle", False, "withDecimalSeparator", "(char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DecimalStyle", False, "withNegativeSign", "(char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DecimalStyle", False, "withPositiveSign", "(char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.format", "DecimalStyle", False, "withZeroDigit", "(char)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.time.format", "DateTimeFormatter", "formatTo", "(TemporalAccessor,Appendable)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "getResolverStyle", "()", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "ofLocalizedDate", "(FormatStyle)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "ofLocalizedDateTime", "(FormatStyle)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "ofLocalizedDateTime", "(FormatStyle,FormatStyle)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "ofLocalizedTime", "(FormatStyle)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "parse", "(CharSequence,TemporalQuery)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "parseBest", "(CharSequence,TemporalQuery[])", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "parseUnresolved", "(CharSequence,ParsePosition)", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "parsedExcessDays", "()", "summary", "df-generated"]
      - ["java.time.format", "DateTimeFormatter", "parsedLeapSecond", "()", "summary", "df-generated"]
      - ["java.time.format", "DateTimeParseException", "getErrorIndex", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "getAvailableLocales", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "getDecimalSeparator", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "getNegativeSign", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "getPositiveSign", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "getZeroDigit", "()", "summary", "df-generated"]
      - ["java.time.format", "DecimalStyle", "ofDefaultLocale", "()", "summary", "df-generated"]
      - ["java.time.format", "TextStyle", "asNormal", "()", "summary", "df-generated"]
      - ["java.time.format", "TextStyle", "asStandalone", "()", "summary", "df-generated"]
      - ["java.time.format", "TextStyle", "isStandalone", "()", "summary", "df-generated"]