Fawkes API  Fawkes Development Version
eclipseclp_config.h
1 
2 /***************************************************************************
3  * eclipseclp_config.h - config wrapper for Eclipse-CLP
4  *
5  * Created: Fri Jan 30 17:17:16 2015 +0100
6  * Copyright 2015 Gesche Gierse
7  ****************************************************************************/
8 
9 /* This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License as published by
11  * the Free Software Foundation; either version 2 of the License, or
12  * (at your option) any later version.
13  *
14  * This program 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
17  * GNU Library General Public License for more details.
18  *
19  * Read the full text in the LICENSE.GPL file in the doc directory.
20  */
21 
22 #include <config/config.h>
23 
24 namespace fawkes {
25 class EclExternalConfig
26 {
27 private:
28  /** Constructor. */
29  EclExternalConfig();
30 
31  /** Constructor.
32  * @param config config instance to use
33  */
35 
36 public:
37  /** Destructor. */
39 
40  static void create_initial_object(Configuration *config);
41  static EclExternalConfig *instance();
42 
44 
45 private:
46  static EclExternalConfig *m_instance;
47  static Configuration * m_config;
48 };
49 } // namespace fawkes
50 
51 extern "C" int p_get_config_value();
fawkes::EclExternalConfig::~EclExternalConfig
~EclExternalConfig()
Destructor.
Definition: eclipseclp_config.cpp:68
fawkes::EclExternalConfig::config_instance
static Configuration * config_instance()
Access the Configuration instance.
Definition: eclipseclp_config.cpp:100
fawkes::Configuration
Definition: config.h:70
fawkes
fawkes::EclExternalConfig
Definition: eclipseclp_config.h:30
fawkes::EclExternalConfig::instance
static EclExternalConfig * instance()
Get the EclExternalConfig instance.
Definition: eclipseclp_config.cpp:87
fawkes::EclExternalConfig::create_initial_object
static void create_initial_object(Configuration *config)
Creates the initial EclExternalConfig object.
Definition: eclipseclp_config.cpp:78