equal
deleted
inserted
replaced
91 /************************************/ |
91 /************************************/ |
92 /* whether to allow nested comments */ |
92 /* whether to allow nested comments */ |
93 /************************************/ |
93 /************************************/ |
94 bool get_opt_nested_comments(); |
94 bool get_opt_nested_comments(); |
95 |
95 |
96 /************************************/ |
96 /**************************************************************************/ |
97 /* whether to allow REF() operator */ |
97 /* whether to allow REF(), DREF(), REF_TO, NULL and ^ operators/keywords */ |
98 /************************************/ |
98 /**************************************************************************/ |
99 bool get_opt_ref_operator(); |
99 bool get_opt_ref_standard_extensions(); |
100 |
100 |
101 |
101 |
102 |
102 |
103 /*************************************************************/ |
103 /*************************************************************/ |
104 /*************************************************************/ |
104 /*************************************************************/ |