There are 10 other file types using
the ALI file extension!

ali file icon.ali - SAP document file

ali file icon.ali - DESQview file

ali file icon.ali - OM2 OMALI native document file

ali file icon.ali - Inspect3D aligned image stack file

ali file icon.ali - Blackberry Application Loader file

ali file icon.ali - Alice plugin file

ali file icon.ali - BeOS ALI file

ali file icon.ali - MODELLER alignment or sequences file

ali file icon.ali - Microsoft Dynamics AX label index file

ali file icon.ali - Adobe RoboHelp alias file

Bookmark & share this page with others:

ALI file extension - Ada library information file

What is ali file? How to open ali files?

File type specification:

Various data file type icon Various data file type

The ALI file extension is associated with the GNAT and SPARK tools available for various platforms that allows users to create applications in Ada programming language.

The ALI file stores:

  • Version information (indicates which version of GNAT was used to compile the unit(s) in question).
  • Main program information (including priority and time slice settings, as well as the wide character encoding used during compilation).
  • List of arguments used in the gcc command for the compilation.
  • Attributes of the unit, including configuration pragmas used, an indication of whether the compilation was successful, exception model used etc.
  • A list of relevant restrictions applying to the unit (used for consistency) checking.
  • Categorization information (e.g. use of pragma Pure).
  • Information on all with’ed units, including presence of Elaborate or Elaborate_All pragmas.
  • Information from any Linker_Options pragmas used in the unit.
  • Information on the use of Body_Version or Version attributes in the unit.

The default software associated to ali file type:

SPARK GPL EDITION  Multiplatform software

Company or developer:

SPARK GPL is language, toolset used to create high-assurance software. It combines the renowned SPARK language and verification tools from Altran with the GNAT Programming Studio (GPS) and GNATBench development environments from AdaCore.

GNAT Programming Studio (GPS) picture or screenshot

GNAT Programming Studio (GPS)  Multiplatform software

Company or developer:

GNAT Programming Studio is integrated development environment that streamlines the interaction between developers and their software. With its intuitive interface, GPS is easy to use, simplifying source navigation and highlighting the fundamental ideas in the program.

Help how to open ALI files:

Use GNAT to open *.ali files.

How to convert file with extension ALI:

Due the variability and uncertainty of this file type group, there is no general information available, about how to convert this various data file format. However most files with extension from this group are usually not in formats, which can be converted. If there are associated applications or programs listed below the extension description, you can always try to check their website for additional informations on their forums or other type of customer support.

List of software applications associated to the .ali file extension

Recommended software programs are sorted by OS platform (Windows, Mac OS X etc.) and possible program actions
that can be done with the file
: like open ali file, edit ali file, convert ali file, view ali file, play ali file etc. (if exist software for corresponding action in's database).

Click on the tab below to simply browse between the application actions, to quickly get a list of recommended software, which is able to perform the specified software action, such as opening, editing or converting of the ali files.

  • Open ali file
  • Create ali file

Software that open ali file - Ada library information file

Click on the link to get more information about listed programs for open ali file action.


Main software associated with ali file by default:
GNAT Programming Studio (GPS)

Previous file extension
ALI file extension > Various data file types

Next file extension
file extension ALI


Follow us!

Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed