void pckfrm_c ( ConstSpiceChar * pck,
SpiceCell * ids )
Find the set of reference frame class ID codes of all frames
in a specified binary PCK file.
Variable I/O Description
-------- --- --------------------------------------------------
pck I Name of PCK file.
ids I/O Set of frame class ID codes of frames in PCK file.
pck is the name of a binary PCK file.
ids is an initialized CSPICE set data structure. `ids'
optionally may contain a set of ID codes on input; on
output, the data already present in `ids' will be
combined with ID code set found for the file PCK.
If `ids' contains no data on input, its size and
cardinality still must be initialized.
ids is a CSPICE set data structure which contains the
union of its contents upon input with the set of
reference frame class ID codes of each frame for
which data are present in the indicated PCK file. The
elements of CSPICE sets are unique; hence each ID
code in `ids' appears only once, even if the PCK file
contains multiple segments for that ID code.
See the Examples section below for a complete example
program showing how to retrieve the ID codes from
1) If the input file has transfer format, the error
SPICE(INVALIDFORMAT) is signaled.
2) If the input file is not a transfer file but has architecture
other than DAF, the error SPICE(BADARCHTYPE) is signaled.
3) If the input file is a binary DAF file of type other than
PCK, the error SPICE(BADFILETYPE) is signaled.
4) If the PCK file cannot be opened or read, the error will
be diagnosed by routines called by this routine.
5) If the size of the output set argument `ids' is insufficient to
contain the actual number of ID codes of frames covered by
the indicated PCK file, the error will be diagnosed by
routines called by this routine.
6) The error SPICE(EMPTYSTRING) is signaled if the input string
`pck' does not contain at least one character, since the input
string cannot be converted to a Fortran-style string in this
7) The error SPICE(NULLPOINTER) is signaled if the input string
pointer `pck' is null.
This routine provides an API via which applications can determine
the set of reference frames for which there are data in a
specified PCK file.
1) Display the coverage for each frame in a specified PCK file.
Find the set of frames in the file. Loop over the contents
of the ID code set: find the coverage for each item in the
set and display the coverage.
#define FILSIZ 256
#define MAXIV 1000
#define WINSIZ ( 2 * MAXIV )
#define TIMLEN 51
#define MAXOBJ 1000
SPICEDOUBLE_CELL ( cover, WINSIZ );
SPICEINT_CELL ( ids, MAXOBJ );
SpiceChar lsk [ FILSIZ ];
SpiceChar pck [ FILSIZ ];
SpiceChar timstr [ TIMLEN ];
Load a leapseconds kernel for output time conversion.
PCKCOV itself does not require a leapseconds kernel.
prompt_c ( "Name of leapseconds kernel > ", FILSIZ, lsk );
furnsh_c ( lsk );
Get name of PCK file.
prompt_c ( "Name of PCK file > ", FILSIZ, pck );
Find the set of frames in the PCK file.
pckfrm_c ( pck, &ids );
We want to display the coverage for each frame. Loop over
the contents of the ID code set, find the coverage for
each item in the set, and display the coverage.
for ( i = 0; i < card_c( &ids ); i++ )
Find the coverage window for the current frame.
Empty the coverage window each time so we don't
include data for the previous frame.
obj = SPICE_CELL_ELEM_I( &ids, i );
scard_c ( 0, &cover );
pckcov_c ( pck, obj, &cover );
Get the number of intervals in the coverage window.
niv = wncard_c ( &cover );
Display a simple banner.
printf ( "%s\n", "========================================" );
printf ( "Coverage for frame %d\n", (int)obj );
Convert the coverage interval start and stop times to TDB
for ( j = 0; j < niv; j++ )
Get the endpoints of the jth interval.
wnfetd_c ( &cover, j, &b, &e );
Convert the endpoints to TDB calendar
format time strings and display them.
timout_c ( b,
"YYYY MON DD HR:MN:SC.### (TDB) ::TDB",
printf ( "\n"
timout_c ( e,
"YYYY MON DD HR:MN:SC.### (TDB) ::TDB",
printf ( "Stop: %s\n", timstr );
return ( 0 );
1) If an error occurs while this routine is updating the set
`ids', the set may be corrupted.
N.J. Bachman (JPL)
-CSPICE Version 1.0.1, 12-JUL-2016 (EDW)
Edit to example program to use "%d" with explicit casts
to int for printing SpiceInts with printf.
-CSPICE Version 1.0.0, 01-DEC-2007 (NJB)
find frame class id codes of frames in binary pck file