2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
13 /*@constant int FTBASESIZE; @*/
14 # define FTBASESIZE 64
17 ** typedef int fileId;
20 typedef enum { FILE_NORMAL, FILE_LSLTEMP, FILE_NODELETE,
21 FILE_HEADER, FILE_MACROS } fileType;
23 typedef struct _ftentry
26 bool fsystem BOOLBITS;
27 bool fspecial BOOLBITS;
34 typedef /*@only@*/ ftentry o_ftentry;
36 abst_typedef /*@null@*/ struct _fileTable
41 /*@reldef@*/ /*@only@*/ o_ftentry *elements;
44 /*@constant null fileTable fileTable_undefined; @*/
45 # define fileTable_undefined ((fileTable) NULL)
47 extern /*@unused@*/ /*@truenull@*/ bool
48 fileTable_isUndefined (/*@null@*/ fileTable p_f) /*@*/ ;
49 extern /*@unused@*/ /*@falsenull@*/ bool
50 fileTable_isDefined (/*@null@*/ fileTable p_f) /*@*/ ;
52 # define fileTable_isUndefined(ft) ((ft) == fileTable_undefined)
53 # define fileTable_isDefined(ft) ((ft) != fileTable_undefined)
54 extern /*@observer@*/ cstring fileTable_getName (fileTable p_ft, fileId p_fid) /*@*/ ;
55 extern /*@observer@*/ cstring fileTable_getNameBase (fileTable p_ft, fileId p_fid) ;
56 extern fileId fileTable_addFile (fileTable p_ft, cstring p_name)
58 extern fileId fileTable_addHeaderFile (fileTable p_ft, cstring p_name)
60 extern fileId fileTable_addLibraryFile (fileTable p_ft, cstring p_name)
64 extern fileId fileTable_addLCLFile (fileTable p_ft, cstring p_name)
67 extern fileId fileTable_addltemp (fileTable p_ft);
71 extern /*@notnull@*/ /*@only@*/ fileTable fileTable_create (void) /*@*/ ;
72 extern fileId fileTable_lookup (fileTable p_ft, cstring p_s) /*@*/ ;
73 extern fileId fileTable_addCTempFile (fileTable p_ft, fileId p_fid)
75 extern fileId fileTable_addFileOnly (fileTable p_ft, /*@only@*/ cstring p_name)
79 extern fileId fileTable_addImportFile (fileTable p_ft, cstring p_name)
83 extern fileId fileTable_addMacrosFile (fileTable p_ft)
85 extern /*@observer@*/ cstring fileTable_getRootName (fileTable p_ft, fileId p_fid) /*@*/ ;
86 extern bool fileTable_isHeader (fileTable p_ft, fileId p_fid) /*@*/ ;
87 extern bool fileId_isHeader (fileId p_f) /*@*/ ;
88 # define fileId_isHeader(f) (fileTable_isHeader (context_fileTable(), f))
90 extern bool fileTable_sameBase (fileTable p_ft, fileId p_f1, fileId p_f2);
91 extern void fileTable_cleanup (fileTable p_ft) /*@modifies fileSystem@*/;
92 extern fileId fileTable_lookupBase (fileTable p_ft, cstring p_base) /*@modifies p_ft@*/ ;
93 extern void fileTable_printTemps (fileTable p_ft) /*@modifies g_msgstream@*/ ;
94 extern /*@unused@*/ /*@only@*/ cstring fileTable_unparse (fileTable p_ft) /*@*/ ;
95 extern bool fileTable_exists (fileTable p_ft, cstring p_s) /*@*/ ;
96 extern void fileTable_free (/*@only@*/ fileTable p_f);
97 extern bool fileTable_isSpecialFile (fileTable p_ft, fileId p_fid) /*@*/ ;
98 extern bool fileTable_isSystemFile (fileTable p_ft, fileId p_fid) /*@*/ ;
101 extern /*@observer@*/ cstring fileName (fileId p_fid) /*@*/ ;
102 extern /*@observer@*/ cstring fileNameBase (fileId p_fid) /*@*/ ;
103 extern /*@observer@*/ cstring rootFileName (fileId p_fid) /*@*/ ;
106 # define fileName(fid) (fileTable_getName(context_fileTable(), fid))
107 # define fileNameBase(fid) (fileTable_getNameBase(context_fileTable(), fid))
108 # define rootFileName(fid) (fileTable_getRootName(context_fileTable(), fid))
110 extern void fileTable_noDelete (fileTable, cstring);
111 extern bool fileId_baseEqual (/*@sef@*/ fileId p_t1, /*@sef@*/ fileId p_t2) /*@*/ ;
112 # define fileId_baseEqual(t1,t2) \
113 (fileId_equal (t1, t2) || fileTable_sameBase (context_fileTable (), t1, t2))
116 # error "Multiple include"