mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
276 lines
23 KiB
YAML
276 lines
23 KiB
YAML
extensions:
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: neutralModel
|
|
data:
|
|
- ["java.time", "Instant", "now", "()", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "now", "()", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "now", "()", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "now", "()", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "of", "(String)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "systemDefault", "()", "summary", "manual"]
|
|
|
|
# The below APIs have numeric flow and are currently being stored as neutral models.
|
|
# These may be changed to summary models with kinds "value-numeric" and "taint-numeric" (or similar) in the future.
|
|
- ["java.time", "Duration", "ofMillis", "(long)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Duration", "ofMinutes", "(long)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Duration", "ofSeconds", "(long)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Duration", "toMillis", "()", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Instant", "ofEpochMilli", "(long)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Instant", "parse", "(CharSequence)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "Instant", "toEpochMilli", "()", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "LocalDate", "plusDays", "(long)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "LocalDate", "of", "(int,int,int)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "LocalDate", "parse", "(CharSequence)", "summary", "manual"] # taint-numeric
|
|
- ["java.time", "LocalDateTime", "of", "(int,int,int,int,int,int)", "summary", "manual"] # taint-numeric
|
|
|
|
# The below were bulk-converted from df-generated taint models
|
|
- ["java.time", "Clock", "fixed", "(Instant,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Clock", "fixed", "(Instant,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Clock", "getZone", "()", "summary", "manual"]
|
|
- ["java.time", "Clock", "offset", "(Clock,Duration)", "summary", "manual"]
|
|
- ["java.time", "Clock", "offset", "(Clock,Duration)", "summary", "manual"]
|
|
- ["java.time", "Clock", "system", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Clock", "tick", "(Clock,Duration)", "summary", "manual"]
|
|
- ["java.time", "Clock", "tickMillis", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Clock", "tickMinutes", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Clock", "tickSeconds", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "DayOfWeek", "getDisplayName", "(TextStyle,Locale)", "summary", "manual"]
|
|
- ["java.time", "Duration", "abs", "()", "summary", "manual"]
|
|
- ["java.time", "Duration", "minus", "(Duration)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minus", "(long,TemporalUnit)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusMillis", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "negated", "()", "summary", "manual"]
|
|
- ["java.time", "Duration", "plus", "(Duration)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusMillis", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "Duration", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "atOffset", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "Instant", "atZone", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "Instant", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "Instant", "minusMillis", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "now", "(Clock)", "summary", "manual"]
|
|
- ["java.time", "Instant", "plusMillis", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "Instant", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "fixed", "(Instant)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "instant", "()", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "offset", "(InstantSource,Duration)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "offset", "(InstantSource,Duration)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "tick", "(InstantSource,Duration)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "withZone", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "InstantSource", "withZone", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atStartOfDay", "()", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atStartOfDay", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atStartOfDay", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atTime", "(OffsetTime)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atTime", "(OffsetTime)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atTime", "(int,int)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atTime", "(int,int,int)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "atTime", "(int,int,int,int)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "minusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDate", "plusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "atOffset", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "atOffset", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "of", "(LocalDate,LocalTime)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "of", "(LocalDate,LocalTime)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "plusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "truncatedTo", "(TemporalUnit)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withDayOfMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withDayOfYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withHour", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withMinute", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withNano", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withSecond", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalDateTime", "withYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "atDate", "(LocalDate)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "atDate", "(LocalDate)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "atOffset", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "atOffset", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "LocalTime", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "Month", "getDisplayName", "(TextStyle,Locale)", "summary", "manual"]
|
|
- ["java.time", "MonthDay", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "MonthDay", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "MonthDay", "withMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "atZoneSameInstant", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "atZoneSameInstant", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "atZoneSimilarLocal", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "atZoneSimilarLocal", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "getOffset", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "now", "(Clock)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "now", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(LocalDate,LocalTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(LocalDate,LocalTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(LocalDate,LocalTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(LocalDateTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(LocalDateTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "of", "(int,int,int,int,int,int,int,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "ofInstant", "(Instant,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "plusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "toLocalDate", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "toLocalDateTime", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "toLocalTime", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "toOffsetTime", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "toZonedDateTime", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "truncatedTo", "(TemporalUnit)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withDayOfMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withDayOfYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withHour", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withMinute", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withNano", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withOffsetSameLocal", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withOffsetSameLocal", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withSecond", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetDateTime", "withYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "atDate", "(LocalDate)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "atDate", "(LocalDate)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "getOffset", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "now", "(Clock)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "now", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "of", "(LocalTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "of", "(LocalTime,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "of", "(int,int,int,int,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "ofInstant", "(Instant,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "plusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "plusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "toLocalTime", "()", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "truncatedTo", "(TemporalUnit)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withHour", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withMinute", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withNano", "(int)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withOffsetSameLocal", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withOffsetSameLocal", "(ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "OffsetTime", "withSecond", "(int)", "summary", "manual"]
|
|
- ["java.time", "Period", "from", "(TemporalAmount)", "summary", "manual"]
|
|
- ["java.time", "Period", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "Period", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "Period", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "Year", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "Year", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "Year", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "format", "(DateTimeFormatter)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "withMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "YearMonth", "withYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "getDisplayName", "(TextStyle,Locale)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "getId", "()", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "getRules", "()", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "of", "(String,Map)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "of", "(String,Map)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "ofOffset", "(String,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "ZoneId", "ofOffset", "(String,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "ZoneOffset", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "from", "(TemporalAccessor)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "minusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "now", "(Clock)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "now", "(ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(LocalDate,LocalTime,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(LocalDate,LocalTime,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(LocalDate,LocalTime,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(LocalDateTime,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(LocalDateTime,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "of", "(int,int,int,int,int,int,int,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofInstant", "(Instant,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofInstant", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofInstant", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofInstant", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofLocal", "(LocalDateTime,ZoneId,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofLocal", "(LocalDateTime,ZoneId,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofLocal", "(LocalDateTime,ZoneId,ZoneOffset)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofStrict", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofStrict", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "ofStrict", "(LocalDateTime,ZoneOffset,ZoneId)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusDays", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusHours", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusMinutes", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusMonths", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusNanos", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusSeconds", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusWeeks", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "plusYears", "(long)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "toOffsetDateTime", "()", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "truncatedTo", "(TemporalUnit)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withDayOfMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withDayOfYear", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withFixedOffsetZone", "()", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withHour", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withMinute", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withMonth", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withNano", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withSecond", "(int)", "summary", "manual"]
|
|
- ["java.time", "ZonedDateTime", "withYear", "(int)", "summary", "manual"]
|