File: values-operations.ads

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (23 lines) | stat: -rw-r--r-- 628 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
--  The operations allowed in SDC (addition, subtraction, multiplication, etc.)
--  It must be a child package of Values, since the operations must have
--  access to the internal structure of a Value.

package Values.Operations is

   type Operation is private;
   --  The actual operation type.

   function Read (Op : String) return Operation;
   --  If Op contains the characters of a valid operation the operation is
   --  returned, otherwise Except.User_Error is raised.

   procedure Process (Op : Operation);
   --  Processes an Operation.

private

   type Operation is (Add, Div, Mul, Sub);

end Values.Operations;