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

empty icon.ali - SAP document

empty icon.ali - DESQview data

empty icon.ali - OM2 OMALI native document

empty icon.ali - Inspect3D aligned image stack

empty icon.ali - Blackberry Application Loader data

empty icon.ali - Alice plugin

empty icon.ali - BeOS ALI ata

empty icon.ali - MODELLER alignment or sequences

empty icon.ali - Microsoft Dynamics AX label index

empty icon.ali - Adobe RoboHelp alias data

ALI file extension - Ada library information

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 open ali file:

SPARK GPL EDITION  Multiplatform software

Company or developer:
AdaCore

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:
AdaCore

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:

Use GNAT to open *.ali files.

How to convert:

Probably can be exported to other formats.

List of software applications associated to the .ali file extension

Recommended software programs are sorted by OS platform (Windows, macOS, Linux, iOS, Android 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 File-Extensions.org's database).

Hint:
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 ali files.

Software that open ali file - Ada library information

Programs supporting the exension ali on the main platforms Windows, Mac, Linux or mobile. Click on the link to get more information about listed programs for open ali file action.

Multiplatform:

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

Previous file extension
ALI file extension

File-Extensions.org > Various data file types

Next file extension
file extension ALI

 

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

RSS feed