cosmic-internal-jdk/dist/java/time.js

KingScript: JDK1.8

export const Clock = $.type("java.time.Clock");
export const DateTimeException = $.type("java.time.DateTimeException");
export const DayOfWeek = $.java.time.DayOfWeek;
export const Duration = $.type("java.time.Duration");
export const Instant = $.type("java.time.Instant");
export const LocalDate = $.type("java.time.LocalDate");
export const LocalDateTime = $.type("java.time.LocalDateTime");
export const LocalTime = $.type("java.time.LocalTime");
export const Month = $.java.time.Month;
export const MonthDay = $.type("java.time.MonthDay");
export const OffsetDateTime = $.type("java.time.OffsetDateTime");
export const OffsetTime = $.type("java.time.OffsetTime");
export const Period = $.type("java.time.Period");
export const Year = $.type("java.time.Year");
export const YearMonth = $.type("java.time.YearMonth");
export const ZoneId = $.type("java.time.ZoneId");
export const ZoneOffset = $.type("java.time.ZoneOffset");
export const ZonedDateTime = $.type("java.time.ZonedDateTime");