Ada language support

Ada, at home in your JetBrains IDE

Adalard turns IntelliJ IDEA into a workbench for Ada. Navigate code bases that have outlived their authors, understand unfamiliar packages in seconds, and stay in one tool from edit to build.

Install from JetBrains Marketplace Read the documentation

Ada 2022 and earlier revisions
GNAT toolchain and GPR projects
IDE builds 2026.2 and newer

flight-telemetry.adb

with Ada.Text_IO; use Ada.Text_IO;

package body Flight.Telemetry is

   Ceiling : constant := 45_000;

   type Altitude_M is range 0 .. Ceiling;

   --  Adalard resolves Altitude_M back to its declaration above,
   --  across specs, bodies and separate units.
   function Within_Envelope (A : Altitude_M) return Boolean is
     (A in 300 .. 12_000);

   procedure Report (A : Altitude_M) is
   begin
      Put_Line ("Altitude" & Altitude_M'Image (A)
                & (if Within_Envelope (A) then " (nominal)" else " (check)"));
   end Report;

end Flight.Telemetry;