ada
आदा में उदारता

जेनेरिक सबप्रोग्राम

जेनेरिक उपप्रोग्राम कई प्रकार के लिए समान संरचना वाले उपप्रोग्राम बनाने के लिए उपयोगी होते हैं। उदाहरण के लिए, दो वस्तुओं को स्वैप करने के लिए:

generic
    type A_Type is private;
procedure Swap (Left, Right : in out A_Type) is
    Temp : A_Type := Left;
begin
    Left := Right;
    Right := Temp;
end Swap;

सामान्य संकुल

Ada सामान्य पैकेज में, तात्कालिकता पर, डेटा को डुप्लिकेट किया जाता है; यदि वे वैश्विक चर सम्‍मिलित करते हैं, तो प्रत्येक उदाहरण में परिवर्तनशील की अपनी प्रति होगी, ठीक से टाइप की गई और दूसरों से स्वतंत्र।

generic
    type T is private;
package Gen is
    type C is tagged record
        V : T;
    end record;
    G : Integer;
end Gen;

जेनेरिक पैरामीटर्स

Ada कई प्रकार के जेनेरिक मापदंडों को प्रदान करता है जो अन्य भाषाओं में अनुवाद करना मुश्किल है। तात्कालिकता के दौरान उपयोग किए जाने वाले पैरामीटर और परिणामस्वरूप, जिन पर जेनेरिक इकाई भरोसा कर सकती है, वे कुछ गुणों के साथ चर, प्रकार, उपप्रोग्राम या पैकेज इंस्टेंसेस हो सकते हैं। उदाहरण के लिए, निम्नलिखित किसी भी प्रकार के सरणी के लिए एक एल्गोरिथ्म प्रदान करता है:

generic
    type Component is private;
    type Index is (<>);
    with function "<" (Left, Right : Component) return Boolean;
    type Array_Type is array (Index range <>) of Component;
procedure Sort (A : in out Array_Type);