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
*/
34
EclExternalConfig
(
Configuration
*config);
35
36
public
:
37
/** Destructor. */
38
~EclExternalConfig
();
39
40
static
void
create_initial_object
(
Configuration
*config);
41
static
EclExternalConfig
*
instance
();
42
43
static
Configuration
*
config_instance
();
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
src
plugins
eclipse-clp
externals
eclipseclp_config.h
Generated by
1.8.17