xml_file_internal.hpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 
26 #ifndef CASADI_XML_FILE_INTERNAL_HPP
27 #define CASADI_XML_FILE_INTERNAL_HPP
28 
29 #include "xml_file.hpp"
30 #include "plugin_interface.hpp"
31 
33 namespace casadi {
34 
35  class CASADI_EXPORT
37  public PluginInterface<XmlFileInternal> {
38  public:
39  // Constructor
41 
42  // Destructor
43  ~XmlFileInternal() override;
44 
48  void disp(std::ostream& stream, bool more=false) const override;
49 
50  // Parse an XML file
51  virtual XmlNode parse(const std::string& filename);
52 
53  // Save a parsed XML file to disk
54  virtual void dump(const std::string& filename, const XmlNode& node);
55 
56  // Creator function for internal class
57  typedef XmlFileInternal* (*Creator)();
58 
59  // No static functions exposed
60  struct Exposed{ };
61 
63  static std::map<std::string, Plugin> solvers_;
64 
65 #ifdef CASADI_WITH_THREADSAFE_SYMBOLICS
66  static std::mutex mutex_solvers_;
67 #endif // CASADI_WITH_THREADSAFE_SYMBOLICS
68 
70  static const std::string infix_;
71  };
72 
73 } // namespace casadi
74 
76 
77 #endif // CASADI_XML_FILE_INTERNAL_HPP
Interface for accessing input and output data structures.
static std::map< std::string, Plugin > solvers_
Collection of solvers.
static const std::string infix_
Infix.
The casadi namespace.
Definition: archiver.cpp:28
std::string filename(const std::string &path)
Definition: ghc.cpp:55