codeql/java/ql/lib/ext/generated/java.time.chrono.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.chrono", "ChronoPeriod", True, "multipliedBy", "(int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.chrono", "ChronoPeriod", True, "normalized", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["java.time.chrono", "HijrahDate", False, "withVariant", "(HijrahChronology)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.time.chrono", "ChronoLocalDate", "isAfter", "(ChronoLocalDate)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "isBefore", "(ChronoLocalDate)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "isEqual", "(ChronoLocalDate)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "isLeapYear", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "isSupported", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "isSupported", "(TemporalUnit)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "lengthOfYear", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "timeLineOrder", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDate", "toEpochDay", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "isAfter", "(ChronoLocalDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "isBefore", "(ChronoLocalDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "isEqual", "(ChronoLocalDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "isSupported", "(TemporalUnit)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "timeLineOrder", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "toEpochSecond", "(ZoneOffset)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoLocalDateTime", "toInstant", "(ZoneOffset)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoPeriod", "isNegative", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoPeriod", "isZero", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "get", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "getChronology", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "isAfter", "(ChronoZonedDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "isBefore", "(ChronoZonedDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "isEqual", "(ChronoZonedDateTime)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "isSupported", "(TemporalUnit)", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "timeLineOrder", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ChronoZonedDateTime", "toEpochSecond", "()", "summary", "df-generated"]
      - ["java.time.chrono", "Chronology", "epochSecond", "(Era,int,int,int,int,int,int,ZoneOffset)", "summary", "df-generated"]
      - ["java.time.chrono", "Chronology", "epochSecond", "(int,int,int,int,int,int,ZoneOffset)", "summary", "df-generated"]
      - ["java.time.chrono", "Chronology", "getAvailableChronologies", "()", "summary", "df-generated"]
      - ["java.time.chrono", "Chronology", "of", "(String)", "summary", "df-generated"]
      - ["java.time.chrono", "Chronology", "ofLocale", "(Locale)", "summary", "df-generated"]
      - ["java.time.chrono", "Era", "get", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "Era", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "Era", "isSupported", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahChronology", "eraOf", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahChronology", "eras", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahChronology", "isLeapYear", "(long)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahChronology", "prolepticYear", "(Era,int)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahChronology", "range", "(ChronoField)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "isLeapYear", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "lengthOfMonth", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "lengthOfYear", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "now", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "now", "(Clock)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "now", "(ZoneId)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "of", "(int,int,int)", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahDate", "toEpochDay", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahEra", "getValue", "()", "summary", "df-generated"]
      - ["java.time.chrono", "HijrahEra", "of", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "epochSecond", "(int,int,int,int,int,int,ZoneOffset)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "eraOf", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "eras", "()", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "isLeapYear", "(long)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "prolepticYear", "(Era,int)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoChronology", "range", "(ChronoField)", "summary", "df-generated"]
      - ["java.time.chrono", "IsoEra", "getValue", "()", "summary", "df-generated"]
      - ["java.time.chrono", "IsoEra", "of", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseChronology", "eraOf", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseChronology", "eras", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseChronology", "isLeapYear", "(long)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseChronology", "prolepticYear", "(Era,int)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseChronology", "range", "(ChronoField)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "isSupported", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "lengthOfMonth", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "lengthOfYear", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "now", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "now", "(Clock)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "now", "(ZoneId)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "of", "(int,int,int)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseDate", "toEpochDay", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseEra", "getValue", "()", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseEra", "of", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseEra", "valueOf", "(String)", "summary", "df-generated"]
      - ["java.time.chrono", "JapaneseEra", "values", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoChronology", "eraOf", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoChronology", "eras", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoChronology", "isLeapYear", "(long)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoChronology", "prolepticYear", "(Era,int)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoChronology", "range", "(ChronoField)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "lengthOfMonth", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "now", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "now", "(Clock)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "now", "(ZoneId)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "of", "(int,int,int)", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoDate", "toEpochDay", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoEra", "getValue", "()", "summary", "df-generated"]
      - ["java.time.chrono", "MinguoEra", "of", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistChronology", "eraOf", "(int)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistChronology", "eras", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistChronology", "isLeapYear", "(long)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistChronology", "prolepticYear", "(Era,int)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistChronology", "range", "(ChronoField)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "getLong", "(TemporalField)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "lengthOfMonth", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "now", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "now", "(Clock)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "now", "(ZoneId)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "of", "(int,int,int)", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistDate", "toEpochDay", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistEra", "getValue", "()", "summary", "df-generated"]
      - ["java.time.chrono", "ThaiBuddhistEra", "of", "(int)", "summary", "df-generated"]