object

ccsds_ccs(CalendarVariant,FractionOctets)

  • CalendarVariant - Calendar representation. Supported values are calendar and day_of_year.

  • FractionOctets - Number of BCD fraction octets. Supported values are non-negative integers.

CCSDS calendar segmented time code parser and generator.

Availability:
logtalk_load(ccsds_time_codes(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-08
Compilation flags:
static, context_switching_calls
Implements:
Uses:
Remarks:
(none)

Public predicates

year/2

Extracts the year value from a CCS time term.

Compilation flags:
static
Template:
year(TimeCode,Year)
Mode and number of proofs:
year(+compound,-integer) - one

day_of_year/2

Extracts the day of year from an ordinal CCS time term.

Compilation flags:
static
Template:
day_of_year(TimeCode,DayOfYear)
Mode and number of proofs:
day_of_year(+compound,-integer) - zero_or_one

month/2

Extracts the month from a calendar CCS time term.

Compilation flags:
static
Template:
month(TimeCode,Month)
Mode and number of proofs:
month(+compound,-integer) - zero_or_one

day/2

Extracts the day of month from a calendar CCS time term.

Compilation flags:
static
Template:
day(TimeCode,Day)
Mode and number of proofs:
day(+compound,-integer) - zero_or_one

time_of_day/4

Extracts the hour, minute, and seconds-with-fraction from a CCS time term.

Compilation flags:
static
Template:
time_of_day(TimeCode,Hour,Minute,Seconds)
Mode and number of proofs:
time_of_day(+compound,-integer,-integer,-number) - one

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)