mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
14 lines
281 B
Ada
14 lines
281 B
Ada
package ProgramSwitch
|
|
--# own in Inputs;
|
|
is
|
|
|
|
type Positions is (auto, clock, on1, off1, on2, off2);
|
|
|
|
procedure Read( Value : out Positions);
|
|
--# global in Inputs;
|
|
--# derives Value from Inputs;
|
|
--
|
|
-- Reads the position of the program switch.
|
|
|
|
end ProgramSwitch;
|