PageRenderTime 20ms CodeModel.GetById 15ms app.highlight 4ms 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* 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
16extern drd_info std_drd;
17extern drd_info the_drd;
18extern hashmap<string,int> STD_CODE;
19
20inline bool std_contains (string s) { return STD_CODE->contains (s); }
21
22void init_std_drd ();
23
24struct with_drd {
25  drd_info old_drd;
26  inline with_drd (drd_info new_drd): old_drd (the_drd) { the_drd= new_drd; }
27  inline ~with_drd () { the_drd= old_drd; }
28};
29
30#endif // defined DRD_STD_H