PageRenderTime 51ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/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
Possible License(s): GPL-3.0, GPL-2.0, MPL-2.0-no-copyleft-exception
  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