Index is a language name. Value is a list of switches to be used when invoking
gnatxref
for a source of the language, if there is no applicable
attribute Switches.
Index is a source file name. Value is the list of switches to be used when
invoking gnatxref
for the source.