2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
21 typedef /*@only@*/ mce o_mce;
27 /*@reldef@*/ /*@only@*/ o_mce *contents;
31 macrocache_processUndefinedElements (macrocache p_m) ; /* modifies externalState */
33 extern /*@observer@*/ fileloc
34 macrocache_processFileElements (macrocache p_m, cstring p_base) ;
36 extern /*@only@*/ /*@unused@*/ cstring macrocache_unparse (macrocache p_m) /*@*/ ;
37 extern /*@only@*/ macrocache macrocache_create (void) /*@*/ ;
40 macrocache_addEntry (macrocache p_s, /*@only@*/ fileloc p_fl, /*@only@*/ cstring p_def);
43 macrocache_addComment (macrocache p_s, /*@only@*/ fileloc p_fl, /*@only@*/ cstring p_def);
45 extern void macrocache_free (/*@only@*/ macrocache p_s);
46 extern void macrocache_finalize (void) /*@modifies internalState@*/ ;
49 # error "Multiple include"