ada | 1. Aufbau von Programmen

with Ada.Text_IO;use Ada.Text_IO;

procedure Main is 
begin
	Put_Line("Hello, World");
end Main;

Subprogramme子程序

Fundamentale Einheit基本单元

• procedures: keinen Rückgabewert
• functions: immer Rückgabewert

function Increment (I:Integer) return Integer is
-- Deklarationen (optional)
begin
	return I+i;
end Increment;

klare Trennung

• Deklarationsbereich
• Statementbereich

Parametermodi

drei Modi

• in: nur gelesen werden (Standardmodus)
• Out: nur geschrieben werden
• In out: gelesen + geschrieben

procedure Swap(A, B: in out Integer) is
	Tmp: Integer;
begin 
	Tmp := A;
	A := B;
	B := Tmp;
end Swap;

Packages

Specification + Body

Packages einbinden

with: deklariert eine Abhängigkeit von einem Package, müssen zu Beginn der Datei stehen
use: macht alle oder ausgewählte Entitäten aus der Spezifikation eines Packages im aktuellen Scope sichtbar

with Operations;

procedure Main is
  	use Operations;
 	R:Integer;
begin 
	R := Increment_By (I);
end Main