17 INLINE ConfigVariableInt::
18 ConfigVariableInt(
const std::string &name) :
20 _local_modified(initial_invalid_cache())
28 INLINE ConfigVariableInt::
29 ConfigVariableInt(
const std::string &name,
int default_value,
30 const std::string &description,
int flags) :
31 #ifdef PRC_SAVE_DESCRIPTIONS
36 _local_modified(initial_invalid_cache())
38 set_default_value(default_value);
45 INLINE ConfigVariableInt::
46 ConfigVariableInt(
const std::string &name,
const std::string &default_value,
47 const std::string &description,
int flags) :
48 #ifdef PRC_SAVE_DESCRIPTIONS
53 _local_modified(initial_invalid_cache())
55 _core->set_default_value(default_value);
70 INLINE ConfigVariableInt::
71 operator int ()
const {
97 set_int_word(0, value);
105 TAU_PROFILE(
"int ConfigVariableInt::get_value() const",
" ", TAU_USER);
106 if (!is_cache_valid(_local_modified)) {
119 if (decl !=
nullptr) {
130 return get_int_word(n);
139 set_int_word(n, value);