File: return2.adb

package info (click to toggle)
gcc-arm-none-eabi 15%3A12.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 959,712 kB
  • sloc: cpp: 3,275,382; ansic: 2,061,766; ada: 840,956; f90: 208,513; makefile: 76,132; asm: 73,433; xml: 50,448; exp: 34,146; sh: 32,436; objc: 15,637; fortran: 14,012; python: 11,991; pascal: 6,787; awk: 4,779; perl: 3,054; yacc: 338; ml: 285; lex: 201; haskell: 122
file content (33 lines) | stat: -rw-r--r-- 722 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
-- { dg-do compile }
-- { dg-options "-O" }

with Return2_Pkg; use Return2_Pkg;

package body Return2 is

  function Value_Internal (Image : String) return Result_Internal_T is
  begin
    return (Member => False);
  end;

  type Result_T is array (1 .. 2) of Result_Internal_T;

  function Value (Img : String) return T is
    My_F : constant String := F;
    Result : Result_T;
    Value : T;
  begin
    for I in Result'Range loop
      if G (My_F, I) /= "" then
        Result (I) := Value_Internal (G (My_F, I));
        if Result (I).Member then
          Value (Result (I).Data) := True;
        else
          raise Program_Error;
        end if;
      end if;
    end loop;
    return Value;
  end;

end Return2;