File-src-minisql-platform-clock-ml-2055787141.md

src/minisql/platform/clock.ml

Home · Files

Provides minisql platform clock facilities for this project.

Package: minisql.platform.clock

Reachable from entry: yes

Imports

• std/time.ml as time_api → ../MiniLangCompilerML/std/time.ml — external dependency

Declarations

componentName

function componentName()

Performs the componentName operation for the minisql platform clock module. Takes no caller-supplied inputs. Returns the produced value or propagates a structured error from validation or delegated operations.

View source

INVALID_ARGUMENT

const INVALID_ARGUMENT = 9001

Monotonic timing and bounded sleeping used by lock waits and server polling.

View source

isImplemented

function isImplemented()

Returns whether implemented satisfies the condition required by the minisql platform clock module. Takes no caller-supplied inputs. Returns a boolean result; invalid input or delegated failures are reported as structured errors.

View source

monotonicMilliseconds

function monotonicMilliseconds()

Performs the monotonic milliseconds operation for this module. Takes no caller-supplied inputs. Returns the produced value or propagates a structured error from validation or delegated operations.

View source

sleepMilliseconds

function sleepMilliseconds(milliseconds)

Performs the sleep milliseconds operation for this module. Inputs: milliseconds. Returns the produced value or propagates a structured error from validation or delegated operations.

Parameter	Type	Default	Description
milliseconds	dynamic	—	milliseconds value consumed by this operation.

View source

targetMilestone

function targetMilestone()

Performs the targetMilestone operation for the minisql platform clock module. Takes no caller-supplied inputs. Returns the produced value or propagates a structured error from validation or delegated operations.

View source