semantics.h

changeset 24
6575fcfbdb1b
parent 22
198616589af5
child 25
139b91f9a224
     1.1 --- a/semantics.h	Mon Dec 31 08:25:04 2001 +0000
     1.2 +++ b/semantics.h	Mon Dec 31 08:25:04 2001 +0000
     1.3 @@ -28,7 +28,16 @@
     1.4  } input_modifier_type_t;
     1.5  
     1.6  
     1.7 +typedef struct bookmark_t
     1.8 +{
     1.9 +  struct bookmark_t *next;
    1.10 +  int level;  /* 1 is outermost */
    1.11 +  char *name;
    1.12 +} bookmark_t;
    1.13 +
    1.14 +
    1.15  extern int line;  /* line number in spec file */
    1.16 +extern int bookmark_level;
    1.17  
    1.18  
    1.19  boolean parse_spec_file (char *fn);
    1.20 @@ -43,6 +52,8 @@
    1.21  void input_images (range_t range);
    1.22  
    1.23  /* semantic routines for output statements */
    1.24 +void output_push_context (void);
    1.25 +void output_pop_context (void);
    1.26  void output_set_file (char *name);
    1.27  void output_set_bookmark (char *name);
    1.28  void output_set_page_number_format (char *format);