Source code: SPICE_DATA::check_extension_index

Class: SPICE_DATA

Description

Checks whether a given extension index or name is valid.

Syntax

result = spice_object->check_extension_index( extension )

Return value

This function returns either a boolean. True if input is a valid extension index or name.

Arguments

extension

The index or name of the extension.