PageRenderTime 63ms CodeModel.GetById 33ms 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. /******************************************************************************
    3. 

  3. * MODULE     : drd_std.hpp
    4. 

  4. * DESCRIPTION: standard drd for TeXmacs; most other drd's inherit from it
    5. 

  5. * COPYRIGHT  : (C) 2003  Joris van der Hoeven
    6. 

  6. *******************************************************************************
    7. 

  7. * This software falls under the GNU general public license version 3 or later.
    8. 

  8. * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
    9. 

  9. * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
    10. 

  10. ******************************************************************************/
    11. 

  11. 

  12. #ifndef DRD_STD_H
    13. 

  13. #define DRD_STD_H
    14. 

  14. #include "drd_info.hpp"
    15. 

  15. 

  16. extern drd_info std_drd;
    17. 

  17. extern drd_info the_drd;
    18. 

  18. extern hashmap<string,int> STD_CODE;
    19. 

  19. 

  20. inline bool std_contains (string s) { return STD_CODE->contains (s); }
    21. 

  21. 

  22. void init_std_drd ();
    23. 

  23. 

  24. struct with_drd {
    25. 

  25.   drd_info old_drd;
    26. 

  26.   inline with_drd (drd_info new_drd): old_drd (the_drd) { the_drd= new_drd; }
    27. 

  27.   inline ~with_drd () { the_drd= old_drd; }
    28. 

  28. };
    29. 

  29. 

  30. #endif // defined DRD_STD_H
    31. 

  31.