-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Expand file tree
/
Copy pathjava.time.chrono.model.yml
More file actions
118 lines (118 loc) · 10.7 KB
/
java.time.chrono.model.yml
File metadata and controls
118 lines (118 loc) · 10.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
# 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"]