/TeXmacs-1.0.7.11-src/src/Data/Drd/drd_std.hpp

# · C++ Header · 30 lines · 14 code · 7 blank · 9 comment · 0 complexity · 0539772beb36f9d8a9a358d4d6a09ce5 MD5 · raw file

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