| changeset 661 | f537c3315f83 |
| parent 377 | 60b012b7793f |
| 660:9565d7d944ce | 661:f537c3315f83 |
|---|---|
53 public: |
53 public: |
54 /* A type to specify the type of element. |
54 /* A type to specify the type of element. |
55 */ |
55 */ |
56 typedef enum { |
56 typedef enum { |
57 element_single, |
57 element_single, |
58 element_subrange, |
58 element_subrange |
59 } case_element_t ; |
59 } case_element_t ; |
60 |
60 |
61 |
61 |
62 private: |
62 private: |
63 /* a pointer to the case_list_c currently being analyzed */ |
63 /* a pointer to the case_list_c currently being analyzed */ |