5.9.10.15 Package Synchronize Attributes

• `Default_Switches': list, indexed, case-insensitive index

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

• `Switches': list, optional index, indexed, case-insensitive index, others allowed

  Index is a source file name. Value is the list of switches to be used when invoking gnatsync for the source.