codeql/java/ql/lib/ext/generated/java.time.temporal.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.temporal", "UnsupportedTemporalTypeException", True, "UnsupportedTemporalTypeException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.temporal", "UnsupportedTemporalTypeException", True, "UnsupportedTemporalTypeException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.time.temporal", "UnsupportedTemporalTypeException", True, "UnsupportedTemporalTypeException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.time.temporal", "ChronoField", "checkValidIntValue", "(long)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoField", "checkValidValue", "(long)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoField", "getFrom", "(TemporalAccessor)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoField", "isDateBased", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoField", "isSupportedBy", "(TemporalAccessor)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoField", "isTimeBased", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "between", "(Temporal,Temporal)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "getDuration", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "isDateBased", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "isDurationEstimated", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "isSupportedBy", "(Temporal)", "summary", "df-generated"]
      - ["java.time.temporal", "ChronoUnit", "isTimeBased", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAccessor", "get", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "dayOfWeekInMonth", "(int,DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "firstDayOfMonth", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "firstDayOfNextMonth", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "firstDayOfNextYear", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "firstDayOfYear", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "firstInMonth", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "lastDayOfMonth", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "lastDayOfYear", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "lastInMonth", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "next", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "nextOrSame", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "ofDateAdjuster", "(UnaryOperator)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "previous", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalAdjusters", "previousOrSame", "(DayOfWeek)", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "chronology", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "localDate", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "localTime", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "offset", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "precision", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "zone", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalQueries", "zoneId", "()", "summary", "df-generated"]
      - ["java.time.temporal", "TemporalUnit", "isSupportedBy", "(Temporal)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "checkValidIntValue", "(long,TemporalField)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "checkValidValue", "(long,TemporalField)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "getLargestMinimum", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "getMaximum", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "getMinimum", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "getSmallestMaximum", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "isFixed", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "isIntValue", "()", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "isValidIntValue", "(long)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "isValidValue", "(long)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "of", "(long,long)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "of", "(long,long,long)", "summary", "df-generated"]
      - ["java.time.temporal", "ValueRange", "of", "(long,long,long,long)", "summary", "df-generated"]
      - ["java.time.temporal", "WeekFields", "getFirstDayOfWeek", "()", "summary", "df-generated"]
      - ["java.time.temporal", "WeekFields", "getMinimalDaysInFirstWeek", "()", "summary", "df-generated"]
      - ["java.time.temporal", "WeekFields", "of", "(DayOfWeek,int)", "summary", "df-generated"]
      - ["java.time.temporal", "WeekFields", "of", "(Locale)", "summary", "df-generated"]