object
ccsds_ccs(CalendarVariant,FractionOctets)
CalendarVariant- Calendar representation. Supported values arecalendarandday_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_callsRemarks:
(none)
Inherited public predicates:
Public predicates
year/2
Extracts the year value from a CCS time term.
Compilation flags:
staticTemplate:
year(TimeCode,Year)Mode and number of proofs:
year(+compound,-integer) - oneday_of_year/2
Extracts the day of year from an ordinal CCS time term.
Compilation flags:
staticTemplate:
day_of_year(TimeCode,DayOfYear)Mode and number of proofs:
day_of_year(+compound,-integer) - zero_or_onemonth/2
Extracts the month from a calendar CCS time term.
Compilation flags:
staticTemplate:
month(TimeCode,Month)Mode and number of proofs:
month(+compound,-integer) - zero_or_oneday/2
Extracts the day of month from a calendar CCS time term.
Compilation flags:
staticTemplate:
day(TimeCode,Day)Mode and number of proofs:
day(+compound,-integer) - zero_or_onetime_of_day/4
Extracts the hour, minute, and seconds-with-fraction from a CCS time term.
Compilation flags:
staticTemplate:
time_of_day(TimeCode,Hour,Minute,Seconds)Mode and number of proofs:
time_of_day(+compound,-integer,-integer,-number) - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)