1 2 /****************************************************************************** 3 * MODULE : drd_std.hpp 4 * DESCRIPTION: standard drd for TeXmacs; most other drd's inherit from it 5 * COPYRIGHT : (C) 2003 Joris van der Hoeven 6 ******************************************************************************* 7 * This software falls under the GNU general public license version 3 or later. 8 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE 9 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>. 10 ******************************************************************************/ 11 12 #ifndef DRD_STD_H 13 #define DRD_STD_H 14 #include "drd_info.hpp" 15 16 extern drd_info std_drd; 17 extern drd_info the_drd; 18 extern hashmap<string,int> STD_CODE; 19 std_contains(string s)20inline bool std_contains (string s) { return STD_CODE->contains (s); } 21 22 void init_std_drd (); 23 24 struct with_drd { 25 drd_info old_drd; with_drdwith_drd26 inline with_drd (drd_info new_drd): old_drd (the_drd) { the_drd= new_drd; } ~with_drdwith_drd27 inline ~with_drd () { the_drd= old_drd; } 28 }; 29 30 #endif // defined DRD_STD_H 31