1 (* ObjectFiles.def determines whether object files exist.
3 Copyright (C) 2018-2023 Free Software Foundation, Inc.
4 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
6 This file is part of GNU Modula-2.
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)
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.
18 You should have received a copy of the GNU General Public License
19 along with GNU Modula-2; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. *)
22 DEFINITION MODULE ObjectFiles ;
28 Date : Mon Jul 9 14:09:20 2018
30 Description: provides a module to determine whether object files
31 are already known. An object file will be known by
32 its name and ultimately its inode.
35 FROM DynamicStrings IMPORT String ;
42 RegisterModuleObject - returns TRUE if location has not already been registered.
45 PROCEDURE RegisterModuleObject (fo: FileObjects; location: String) : BOOLEAN ;
49 IsRegistered - returns TRUE if the object at, location, is already registered.
50 It uses the physical location on the filesystem to determine the
51 uniqueness of the object file.
54 PROCEDURE IsRegistered (fo: FileObjects; location: String) : BOOLEAN ;
58 InitFileObject - returns a new file object container.
61 PROCEDURE InitFileObject () : FileObjects ;
65 KillFileObject - destroys a file object container.
68 PROCEDURE KillFileObject (fo: FileObjects) : FileObjects ;