codeql/java/ql/lib/ext/java.time.chrono.model.yml

extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.time.chrono", "ChronoZonedDateTime", "toInstant", "()", "summary", "manual"]

      # The below were bulk-converted from df-generated taint models
      - ["java.time.chrono", "ChronoLocalDate", "atTime", "(LocalTime)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "atTime", "(LocalTime)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "format", "(DateTimeFormatter)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "format", "(DateTimeFormatter)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "getChronology", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "getEra", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDate", "until", "(ChronoLocalDate)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDateTime", "format", "(DateTimeFormatter)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDateTime", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "ChronoLocalDateTime", "getChronology", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoPeriod", "between", "(ChronoLocalDate,ChronoLocalDate)", "summary", "manual"]
      - ["java.time.chrono", "ChronoPeriod", "getChronology", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoPeriod", "minus", "(TemporalAmount)", "summary", "manual"]
      - ["java.time.chrono", "ChronoPeriod", "negated", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoPeriod", "plus", "(TemporalAmount)", "summary", "manual"]
      - ["java.time.chrono", "ChronoZonedDateTime", "format", "(DateTimeFormatter)", "summary", "manual"]
      - ["java.time.chrono", "ChronoZonedDateTime", "format", "(DateTimeFormatter)", "summary", "manual"]
      - ["java.time.chrono", "ChronoZonedDateTime", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "ChronoZonedDateTime", "toLocalDate", "()", "summary", "manual"]
      - ["java.time.chrono", "ChronoZonedDateTime", "toLocalTime", "()", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "date", "(Era,int,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "date", "(Era,int,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "date", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "date", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "date", "(int,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateEpochDay", "(long)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateNow", "()", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateNow", "(Clock)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateNow", "(ZoneId)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateYearDay", "(Era,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateYearDay", "(Era,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "dateYearDay", "(int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "getCalendarType", "()", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "getDisplayName", "(TextStyle,Locale)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "getId", "()", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "localDateTime", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "localDateTime", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "period", "(int,int,int)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "resolveDate", "(Map,ResolverStyle)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "zonedDateTime", "(Instant,ZoneId)", "summary", "manual"]
      - ["java.time.chrono", "Chronology", "zonedDateTime", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "Era", "getDisplayName", "(TextStyle,Locale)", "summary", "manual"]
      - ["java.time.chrono", "HijrahDate", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "JapaneseDate", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "JapaneseDate", "of", "(JapaneseEra,int,int,int)", "summary", "manual"]
      - ["java.time.chrono", "MinguoDate", "from", "(TemporalAccessor)", "summary", "manual"]
      - ["java.time.chrono", "ThaiBuddhistDate", "from", "(TemporalAccessor)", "summary", "manual"]