PtcRunner.Lisp.Java.Util.Date (PtcRunner v0.14.0)

Copy Markdown View Source

Native, bounded representation of legacy java.util.Date.

The payload is exactly one signed Java long count of epoch milliseconds. No seconds/milliseconds heuristic or host DateTime identity is involved. The bounded string grammar admits only dates on or after Java's Gregorian cutover, avoiding the deprecated parser's hybrid Julian/Gregorian calendar.

Summary

Types

t()

Functions

after?(list)
before?(list)
canonical(date)
construct(list)
get_time(list)
new(epoch_millis)
valid?(value)

Types

t()

@type t() :: %PtcRunner.Lisp.Java.Util.Date{epoch_millis: integer()}

Functions

after?(list)

@spec after?([t()]) :: {:ok, boolean()}

before?(list)

@spec before?([t()]) :: {:ok, boolean()}

canonical(date)

@spec canonical(t()) :: String.t()

construct(list)

@spec construct([] | [integer() | String.t() | nil]) ::
  {:ok, t()} | {:error, PtcRunner.Lisp.Java.Condition.t()}

get_time(list)

@spec get_time([t()]) :: {:ok, PtcRunner.Lisp.Java.Primitive.t()}

new(epoch_millis)

@spec new(integer()) :: {:ok, t()} | :error

valid?(value)

@spec valid?(term()) :: boolean()