gcc/m2/gm2-libs-coroutines/KeyBoardLEDs.def

   1 (* KeyBoardLEDs.def provides access to the keyboard LEDs under Linux.
   2
   3 Copyright (C) 2002-2023 Free Software Foundation, Inc.
   4 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
   5
   6 This file is part of GNU Modula-2.
   7
   8 GNU Modula-2 is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 3, or (at your option)
  11 any later version.
  12
  13 GNU Modula-2 is distributed in the hope that it will be useful, but
  14 WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16 General Public License for more details.
  17
  18 Under Section 7 of GPL version 3, you are granted additional
  19 permissions described in the GCC Runtime Library Exception, version
  20 3.1, as published by the Free Software Foundation.
  21
  22 You should have received a copy of the GNU General Public License and
  23 a copy of the GCC Runtime Library Exception along with this program;
  24 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  25 <http://www.gnu.org/licenses/>.  *)
  26
  27 DEFINITION MODULE KeyBoardLEDs ;
  28
  29
  30 EXPORT QUALIFIED SwitchLeds,
  31                  SwitchScroll, SwitchNum, SwitchCaps ;
  32
  33
  34 (*
  35    SwitchLeds - switch the keyboard LEDs to the state defined
  36                 by the BOOLEAN variables. TRUE = ON.
  37 *)
  38
  39 PROCEDURE SwitchLeds (NumLock, CapsLock, ScrollLock: BOOLEAN) ;
  40
  41
  42 (*
  43    SwitchScroll - switchs the scroll LED on or off.
  44 *)
  45
  46 PROCEDURE SwitchScroll (Scroll: BOOLEAN) ;
  47
  48
  49 (*
  50    SwitchNum - switches the Num LED on or off.
  51 *)
  52
  53 PROCEDURE SwitchNum (Num: BOOLEAN) ;
  54
  55
  56 (*
  57    SwitchCaps - switches the Caps LED on or off.
  58 *)
  59
  60 PROCEDURE SwitchCaps (Caps: BOOLEAN) ;
  61
  62
  63 END KeyBoardLEDs.