There are 10 other file types using
the ALI file extension!
.ali - SAP document file
.ali - DESQview file
.ali - OM2 OMALI native document file
.ali - Inspect3D aligned image stack file
.ali - Blackberry Application Loader file
.ali - Alice plugin file
.ali - BeOS ALI file
.ali - MODELLER alignment or sequences file
.ali - Microsoft Dynamics AX label index file
.ali - Adobe RoboHelp alias file
ALI file extension - Ada library information file
What is ali file? How to open ali files?
File type specification:
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:
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.
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.
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 File-Extensions.org'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