Mon, 31 Dec 2001 08:25:04 +0000
track bookmark level.
eric@18 | 1 | typedef struct |
eric@18 | 2 | { |
eric@18 | 3 | double width; |
eric@18 | 4 | double height; |
eric@18 | 5 | } page_size_t; |
eric@18 | 6 | |
eric@18 | 7 | typedef struct |
eric@18 | 8 | { |
eric@18 | 9 | int first; |
eric@18 | 10 | int last; |
eric@18 | 11 | } range_t; |
eric@18 | 12 | |
eric@18 | 13 | typedef struct |
eric@18 | 14 | { |
eric@18 | 15 | double left; |
eric@18 | 16 | double right; |
eric@18 | 17 | double top; |
eric@18 | 18 | double bottom; |
eric@18 | 19 | } crop_t; |
eric@18 | 20 | |
eric@18 | 21 | |
eric@18 | 22 | typedef enum |
eric@18 | 23 | { |
eric@18 | 24 | INPUT_MODIFIER_ALL, |
eric@18 | 25 | INPUT_MODIFIER_ODD, |
eric@18 | 26 | INPUT_MODIFIER_EVEN, |
eric@18 | 27 | INPUT_MODIFIER_TYPE_COUNT /* must be last */ |
eric@18 | 28 | } input_modifier_type_t; |
eric@18 | 29 | |
eric@18 | 30 | |
eric@24 | 31 | typedef struct bookmark_t |
eric@24 | 32 | { |
eric@24 | 33 | struct bookmark_t *next; |
eric@24 | 34 | int level; /* 1 is outermost */ |
eric@24 | 35 | char *name; |
eric@24 | 36 | } bookmark_t; |
eric@24 | 37 | |
eric@24 | 38 | |
eric@20 | 39 | extern int line; /* line number in spec file */ |
eric@24 | 40 | extern int bookmark_level; |
eric@16 | 41 | |
eric@16 | 42 | |
eric@16 | 43 | boolean parse_spec_file (char *fn); |
eric@16 | 44 | |
eric@16 | 45 | |
eric@16 | 46 | /* semantic routines for input statements */ |
eric@19 | 47 | void input_push_context (void); |
eric@16 | 48 | void input_pop_context (void); |
eric@19 | 49 | void input_set_modifier_context (input_modifier_type_t type); |
eric@16 | 50 | void input_set_file (char *name); |
eric@19 | 51 | void input_set_rotation (int rotation); |
eric@20 | 52 | void input_images (range_t range); |
eric@16 | 53 | |
eric@16 | 54 | /* semantic routines for output statements */ |
eric@24 | 55 | void output_push_context (void); |
eric@24 | 56 | void output_pop_context (void); |
eric@16 | 57 | void output_set_file (char *name); |
eric@20 | 58 | void output_set_bookmark (char *name); |
eric@20 | 59 | void output_set_page_number_format (char *format); |
eric@20 | 60 | void output_pages (range_t range); |