Write.ob07 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. (*
  2. Copyright 2016, 2018 Anton Krotov
  3. This program is free software: you can redistribute it and/or modify
  4. it under the terms of the GNU Lesser General Public License as published by
  5. the Free Software Foundation, either version 3 of the License, or
  6. (at your option) any later version.
  7. This program is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public License
  12. along with this program. If not, see <http://www.gnu.org/licenses/>.
  13. *)
  14. MODULE Write;
  15. IMPORT File, sys := SYSTEM;
  16. PROCEDURE Char*(F: File.FS; x: CHAR): BOOLEAN;
  17. RETURN File.Write(F, sys.ADR(x), sys.SIZE(CHAR)) = sys.SIZE(CHAR)
  18. END Char;
  19. PROCEDURE Int*(F: File.FS; x: INTEGER): BOOLEAN;
  20. RETURN File.Write(F, sys.ADR(x), sys.SIZE(INTEGER)) = sys.SIZE(INTEGER)
  21. END Int;
  22. PROCEDURE Real*(F: File.FS; x: REAL): BOOLEAN;
  23. RETURN File.Write(F, sys.ADR(x), sys.SIZE(REAL)) = sys.SIZE(REAL)
  24. END Real;
  25. PROCEDURE Boolean*(F: File.FS; x: BOOLEAN): BOOLEAN;
  26. RETURN File.Write(F, sys.ADR(x), sys.SIZE(BOOLEAN)) = sys.SIZE(BOOLEAN)
  27. END Boolean;
  28. PROCEDURE Set*(F: File.FS; x: SET): BOOLEAN;
  29. RETURN File.Write(F, sys.ADR(x), sys.SIZE(SET)) = sys.SIZE(SET)
  30. END Set;
  31. PROCEDURE WChar*(F: File.FS; x: WCHAR): BOOLEAN;
  32. RETURN File.Write(F, sys.ADR(x), sys.SIZE(WCHAR)) = sys.SIZE(WCHAR)
  33. END WChar;
  34. END Write.