Natools

Differences From Artifact [7856d8d27a]:

• File src/natools-static_hash_maps-s_expressions.ads — part of check-in [fcc23fc780] at 2014-05-26 20:25:48 on branch trunk — static_hash_maps-s_expressions: add binding for extra declarations in generated spec (user: nat, size: 2314) [annotate] [blame] [check-ins using]

To Artifact [e10b5a68ba]:

• File src/natools-static_hash_maps-s_expressions.ads — part of check-in [0d8d6300c9] at 2014-05-28 17:28:09 on branch trunk — static_hash_maps-s_expressions: add S-expression bindings for the test child function generation (user: nat, size: 2335) [annotate] [blame] [check-ins using]

37
38
39
40
41
42
43

44
45
46
47
48
49
50
51
52

37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

+

      --  Generate the package described by Input

private

   type Package_Command is
     (Private_Child,
      Public_Child,
      Test_Function,
      Extra_Declarations);

   type Map_Command is
     (Hash_Package,
      Nodes,
      Function_Name,
      Not_Found);

end Natools.Static_Hash_Maps.S_Expressions;