--- /dev/null
+//{{{ Banner
+
+//============================================================================
+//
+// value.cxx
+//
+// Implementation of value-related CDL classes.
+//
+//============================================================================
+//####COPYRIGHTBEGIN####
+//
+// ----------------------------------------------------------------------------
+// Copyright (C) 2002 Bart Veer
+// Copyright (C) 1999, 2000, 2001 Red Hat, Inc.
+//
+// This file is part of the eCos host tools.
+//
+// This program is free software; you can redistribute it and/or modify it
+// under the terms of the GNU General Public License as published by the Free
+// Software Foundation; either version 2 of the License, or (at your option)
+// any later version.
+//
+// This program is distributed in the hope that it will be useful, but WITHOUT
+// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+// more details.
+//
+// You should have received a copy of the GNU General Public License along with
+// this program; if not, write to the Free Software Foundation, Inc.,
+// 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// ----------------------------------------------------------------------------
+//
+//####COPYRIGHTEND####
+//============================================================================
+//#####DESCRIPTIONBEGIN####
+//
+// Author(s): bartv
+// Contact(s): bartv
+// Date: 1999/07/12
+// Version: 0.02
+//
+//####DESCRIPTIONEND####
+//============================================================================
+
+//}}}
+//{{{ #include's
+
+// ----------------------------------------------------------------------------
+#include "cdlconfig.h"
+
+// Get the infrastructure types, assertions, tracing and similar
+// facilities.
+#include <cyg/infra/cyg_ass.h>
+#include <cyg/infra/cyg_trac.h>
+
+// <cdlcore.hxx> defines everything implemented in this module.
+// It implicitly supplies <string>, <vector> and <map> because
+// the class definitions rely on these headers.
+#include <cdlcore.hxx>
+
+//}}}
+
+//{{{ Statics
+
+// ----------------------------------------------------------------------------
+CYGDBG_DEFINE_MEMLEAK_COUNTER(CdlValue);
+CYGDBG_DEFINE_MEMLEAK_COUNTER(CdlListValue);
+CYGDBG_DEFINE_MEMLEAK_COUNTER(CdlValuableBody);
+
+//}}}
+//{{{ CdlSimpleValue class
+
+//{{{ Constructors
+
+// ----------------------------------------------------------------------------
+
+CdlSimpleValue::CdlSimpleValue()
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: default constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "0";
+ int_value = 0;
+ double_value = 0.0;
+ valid_flags = int_valid | double_valid | string_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlSimpleValue::CdlSimpleValue(std::string val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: string constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = val;
+ int_value = 0;
+ double_value = 0.0;
+ valid_flags = string_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlSimpleValue::CdlSimpleValue(cdl_int val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: int constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "0";
+ int_value = val;
+ double_value = 0.0;
+ valid_flags = int_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlSimpleValue::CdlSimpleValue(double val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: double constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "0";
+ int_value = 0;
+ double_value = val;
+ valid_flags = double_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlSimpleValue::CdlSimpleValue(bool val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: bool constructor");
+ CYG_REPORT_FUNCARG2XV(this, val);
+
+ value = (val) ? "1" : "0";
+ int_value = (val) ? 1 : 0;
+ double_value = 0.0;
+ valid_flags = string_valid | int_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlSimpleValue::CdlSimpleValue(const CdlSimpleValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: copy constructor");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+
+ value = original.value;
+ int_value = original.int_value;
+ double_value = original.double_value;
+ valid_flags = original.valid_flags;
+ format = original.format;
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Destructor
+
+// ----------------------------------------------------------------------------
+
+CdlSimpleValue::~CdlSimpleValue()
+{
+ CYG_REPORT_FUNCNAME("CdlsimpleValue:: destructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "";
+ int_value = 0;
+ double_value = 0.0;
+ valid_flags = 0;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Assignment operators
+
+// ----------------------------------------------------------------------------
+
+CdlSimpleValue&
+CdlSimpleValue::operator=(const CdlSimpleValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: assignment operator");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+
+ if (this != &original) {
+ value = original.value;
+ int_value = original.int_value;
+ double_value = original.double_value;
+ valid_flags = original.valid_flags;
+ format = original.format;
+ }
+
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+CdlSimpleValue&
+CdlSimpleValue::operator=(std::string val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: string assignment");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = val;
+ int_value = 0;
+ double_value = 0.0;
+ valid_flags = string_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+CdlSimpleValue&
+CdlSimpleValue::operator=(cdl_int val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: integer assignment");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "";
+ int_value = val;
+ double_value = 0.0;
+ valid_flags = int_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+CdlSimpleValue&
+CdlSimpleValue::operator=(double val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: double assignment");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "";
+ int_value = 0;
+ double_value = val;
+ valid_flags = double_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+// ----------------------------------------------------------------------------
+// Converting a boolean into a simple value. This is sufficiently common
+// to warrant its own member function, and in addition it avoids
+// ambiguity when assigning 0.
+
+CdlSimpleValue&
+CdlSimpleValue::operator=(bool val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: bool assignment");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = (val) ? "1" : "0";
+ int_value = (val) ? 1 : 0;
+ double_value = 0.0;
+ valid_flags = string_valid | int_valid;
+ format = CdlValueFormat_Default;
+
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+//}}}
+//{{{ CdlValuable -> CdlSimpleValue
+
+// ----------------------------------------------------------------------------
+// This routine bridges the gap between the full data held in the CdlValuable
+// object and the basic information needed for expression evaluation.
+
+void
+CdlSimpleValue::eval_valuable(CdlEvalContext& context, CdlValuable valuable, CdlSimpleValue& result)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue:: valuable assignment");
+ CYG_REPORT_FUNCARG3XV(&context, valuable, &result);
+ CYG_PRECONDITION_CLASSC(valuable);
+
+ // If the valuable is not currently active then its value is
+ // always zero for the purposes of expression evaluation.
+ // FIXME: this check should be on a per-transaction basis.
+ if (((0 != context.transaction) && !context.transaction->is_active(valuable)) ||
+ ((0 == context.transaction) && !valuable->is_active())) {
+
+ result.value = "0";
+ result.int_value = 0;
+ result.double_value = 0.0;
+ result.valid_flags = string_valid | int_valid;
+ result.format = CdlValueFormat_Default;
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Get hold of the underlying CdlValue object
+ const CdlValue& val = (0 != context.transaction) ?
+ context.transaction->get_whole_value(valuable) : valuable->get_whole_value();
+
+ // Otherwise the value depends on the flavor.
+ switch(val.get_flavor()) {
+ case CdlValueFlavor_None :
+ {
+ // This could be treated as an error, but since valuables with flavor
+ // none are permanently enabled a constant "1" is a better result.
+ result.value = "1";
+ result.int_value = 1;
+ result.double_value = 0.0;
+ result.valid_flags = string_valid | int_valid;
+ result.format = CdlValueFormat_Default;
+ break;
+ }
+ case CdlValueFlavor_Bool :
+ {
+ bool enabled = val.is_enabled();
+ result.value = (enabled) ? "1" : "0";
+ result.int_value = (enabled) ? 1 : 0;
+ result.double_value = 0.0;
+ result.valid_flags = string_valid | int_valid;
+ result.format = CdlValueFormat_Default;
+ break;
+ }
+ case CdlValueFlavor_BoolData :
+ {
+ if (!val.is_enabled()) {
+
+ result.value = "0";
+ result.int_value = 0;
+ result.double_value = 0.0;
+ result.valid_flags = string_valid | int_valid;
+ result.format = CdlValueFormat_Default;
+
+ } else {
+
+ // Just use a copy constructor, let the compiler optimise things.
+ result = val.get_simple_value();
+ }
+ break;
+ }
+ case CdlValueFlavor_Data :
+ {
+ // Just like BoolData, but with no need to check the enabled flag.
+ result = val.get_simple_value();
+ break;
+ }
+ default:
+ {
+ CYG_FAIL("Valuable object with an unknown flavor encountered.");
+ }
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Getting the value
+
+// ----------------------------------------------------------------------------
+// Some of these calls involve conversion operators.
+
+std::string
+CdlSimpleValue::get_value() const
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::get_value");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ if (!(valid_flags & string_valid)) {
+ if (valid_flags & int_valid) {
+ Cdl::integer_to_string(int_value, value, format);
+ } else if (valid_flags & double_valid) {
+ Cdl::double_to_string(double_value, value, format);
+ } else {
+ CYG_FAIL("Attempt to use uninitialized SimpleValue");
+ }
+ valid_flags |= string_valid;
+ }
+
+ CYG_REPORT_RETURN();
+ return value;
+}
+
+bool
+CdlSimpleValue::has_integer_value() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue::has_integer_value", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ if (!(valid_flags & (int_valid | int_invalid))) {
+ if (valid_flags & double_valid) {
+ if (Cdl::double_to_integer(double_value, int_value)) {
+ valid_flags |= int_valid;
+ } else {
+ valid_flags |= int_invalid;
+ }
+ } else if (valid_flags & string_valid) {
+ if (Cdl::string_to_integer(value, int_value)) {
+ valid_flags |= int_valid;
+ } else {
+ valid_flags |= int_invalid;
+ }
+ } else {
+ CYG_FAIL("Attempt to use uninitialized SimpleValue");
+ }
+ }
+
+ bool result = (valid_flags & int_valid);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+cdl_int
+CdlSimpleValue::get_integer_value() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlsimpleValue::get_integer_value", "result %ld");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ cdl_int result = 0;
+ if ((valid_flags & int_valid) || has_integer_value()) {
+ result = int_value;
+ }
+
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+bool
+CdlSimpleValue::has_double_value() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue::has_double_value", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ if (!(valid_flags & (double_valid | double_invalid))) {
+ if (valid_flags & int_valid) {
+ Cdl::integer_to_double(int_value, double_value);
+ valid_flags |= double_valid;
+ } else if (valid_flags & string_valid) {
+ if (Cdl::string_to_double(value, double_value)) {
+ valid_flags |= double_valid;
+ } else {
+ valid_flags |= double_invalid;
+ }
+ } else {
+ CYG_FAIL("Attempt to use uninitialized SimpleValue");
+ }
+ }
+ bool result = (valid_flags & double_valid);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+double
+CdlSimpleValue::get_double_value() const
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::get_double_value");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ double result = 0.0;
+ if ((valid_flags & double_valid) || has_double_value()) {
+ result = double_value;
+ }
+
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+bool
+CdlSimpleValue::get_bool_value() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue::get_bool_value", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ bool result = false;
+ if (valid_flags & int_valid) {
+ if (0 != int_value) {
+ result = true;
+ }
+ } else if (valid_flags & double_valid) {
+ // Leave it to the compiler to decide what is valid
+ result = double_value;
+ } else if (valid_flags & string_valid) {
+ // string_to_bool copes with "1", "true", and a few other cases.
+ // If the current value does not match any of these then
+ // true corresponds to a non-empty string.
+ if (!Cdl::string_to_bool(value, result)) {
+ if ("" == value) {
+ result = false;
+ } else {
+ result = true;
+ }
+ }
+ } else {
+ // No value defined, default to false.
+ result = false;
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ Updating the value
+
+// ----------------------------------------------------------------------------
+// Normally the assignment operators will be used for this instead.
+
+void
+CdlSimpleValue::set_value(std::string val, CdlValueFormat new_format)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_value (string)");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = val;
+ int_value = 0;
+ double_value = 0.0;
+ valid_flags = string_valid;
+ format = new_format;
+}
+
+
+void
+CdlSimpleValue::set_integer_value(cdl_int val, CdlValueFormat new_format)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_integer_value");
+ CYG_REPORT_FUNCARG2XV(this, (int) val);
+
+ value = "";
+ int_value = val;
+ double_value = 0.0;
+ valid_flags = int_valid;
+ format = new_format;
+
+ CYG_REPORT_RETURN();
+}
+
+
+void
+CdlSimpleValue::set_double_value(double val, CdlValueFormat new_format)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_double_value");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ value = "";
+ int_value = 0;
+ double_value = val;
+ valid_flags = double_valid;
+ format = new_format;
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Value format support
+
+// ----------------------------------------------------------------------------
+
+CdlValueFormat
+CdlSimpleValue::get_value_format() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue::get_value_format", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ CdlValueFormat result = format;
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+void
+CdlSimpleValue::set_value_format(CdlValueFormat new_format)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_value_format");
+ CYG_REPORT_FUNCARG2XV(this, new_format);
+
+ format = new_format;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlSimpleValue::set_value_format(CdlSimpleValue& other_val)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_value_format (simple val)");
+ CYG_REPORT_FUNCARG2XV(this, &other_val);
+
+ format = other_val.format;
+
+ CYG_REPORT_RETURN();
+}
+
+// This gets used for binary operators, e.g. A + B
+// If A has a non-default format then that gets used.
+// Otherwise B's format gets used, which may or may not be default.
+//
+// e.g. 0x1000 + 4 -> 0x1004
+// 10 + 0x100 -> 0x10A
+// 10 + 32 -> 42
+
+void
+CdlSimpleValue::set_value_format(CdlSimpleValue& val1, CdlSimpleValue& val2)
+{
+ CYG_REPORT_FUNCNAME("CdlSimpleValue::set_value_format");
+ CYG_REPORT_FUNCARG3XV(this, &val1, &val2);
+
+ format = (CdlValueFormat_Default != val1.format) ? val1.format : val2.format;
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Comparison operators
+
+// ----------------------------------------------------------------------------
+
+bool
+CdlSimpleValue::operator==(const CdlSimpleValue& other) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue:: operator==", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, &other);
+
+ bool result = false;
+
+ if (has_integer_value()) {
+ if (other.has_integer_value()) {
+ cdl_int val1 = get_integer_value();
+ cdl_int val2 = other.get_integer_value();
+ result = (val1 == val2);
+ }
+ } else if (has_double_value()) {
+ if (other.has_double_value()) {
+ double val1 = get_double_value();
+ double val2 = other.get_double_value();
+ result = (val1 == val2);
+ }
+ } else {
+ std::string val1 = get_value();
+ std::string val2 = other.get_value();
+ result = (val1 == val2);
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlSimpleValue::operator!=(const CdlSimpleValue& other) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlSimpleValue:: operator!=", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, &other);
+
+ bool result = true;
+ if (has_integer_value()) {
+ if (other.has_integer_value()) {
+ cdl_int val1 = get_integer_value();
+ cdl_int val2 = other.get_integer_value();
+ result = (val1 != val2);
+ }
+ } else if (has_double_value()) {
+ if (other.has_double_value()) {
+ double val1 = get_double_value();
+ double val2 = other.get_double_value();
+ result = (val1 != val2);
+ }
+ } else {
+ std::string val1 = get_value();
+ std::string val2 = other.get_value();
+ result = (val1 != val2);
+ }
+
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+
+//}}}
+//{{{ CdlValue class
+
+// ----------------------------------------------------------------------------
+// This should really be a class static constant, but VC++ does not implement
+// that part of the language. A constant here avoids the need for lots of
+// occurrences of 4 throughout the value-related routines.
+
+static const int CdlValue_number_of_sources = 4;
+
+//{{{ Constructors
+
+// ----------------------------------------------------------------------------
+// The default flavor depends on the type of entity being created. For
+// example CDL options are boolean by default, but packages are booldata.
+// The intelligence to do the right thing lives in set_flavor().
+
+CdlValue::CdlValue(CdlValueFlavor flavor_arg)
+{
+ CYG_REPORT_FUNCNAME("CdlValue:: constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ current_source = CdlValueSource_Default;
+ source_valid[CdlValueSource_Default] = true;
+ source_valid[CdlValueSource_Inferred] = false;
+ source_valid[CdlValueSource_Wizard] = false;
+ source_valid[CdlValueSource_User] = false;
+ enabled[CdlValueSource_Default] = false;
+ enabled[CdlValueSource_Inferred] = false;
+ enabled[CdlValueSource_Wizard] = false;
+ enabled[CdlValueSource_User] = false;
+
+ // The SimpleValues will initialize themselves.
+
+ cdlvalue_cookie = CdlValue_Magic;
+ CYGDBG_MEMLEAK_CONSTRUCTOR();
+
+ // This cannot happen until after the object is valid.
+ set_flavor(flavor_arg);
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Copy constructor. This is not really required, a default
+// member-wise copy would be fine and more efficient, but it would
+// lose tracing and assertion.
+
+CdlValue::CdlValue(const CdlValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlValue:: copy constructor");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+ CYG_INVARIANT_CLASSOC(CdlValue, original);
+
+ flavor = original.flavor;
+ current_source = original.current_source;
+ for (int i = 0; i < CdlValue_number_of_sources; i++) {
+ source_valid[i] = original.source_valid[i];
+ enabled[i] = original.enabled[i];
+ values[i] = original.values[i];
+ }
+
+ cdlvalue_cookie = CdlValue_Magic;
+ CYGDBG_MEMLEAK_CONSTRUCTOR();
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Assignment operator. Again this is not required, the default would be
+// fine and more efficient, but tracing and assertions are good things.
+
+CdlValue& CdlValue::operator=(const CdlValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlValue:: assignment operator");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+ CYG_INVARIANT_CLASSOC(CdlValue, original);
+
+ if (this != &original) {
+ flavor = original.flavor;
+ current_source = original.current_source;
+ for (int i = 0; i < CdlValue_number_of_sources; i++) {
+ source_valid[i] = original.source_valid[i];
+ enabled[i] = original.enabled[i];
+ values[i] = original.values[i];
+ }
+ }
+
+ cdlvalue_cookie = CdlValue_Magic;
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+//}}}
+//{{{ Destructor
+
+// ----------------------------------------------------------------------------
+
+CdlValue::~CdlValue()
+{
+ CYG_REPORT_FUNCNAME("CdlValue:: destructor");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ cdlvalue_cookie = CdlValue_Invalid;
+ flavor = CdlValueFlavor_Invalid;
+ current_source = CdlValueSource_Invalid;
+ for (int i = 0; i < CdlValue_number_of_sources; i++) {
+ source_valid[i] = false;
+ enabled[i] = false;
+ // The CdlSimpleValue array will take care of itself.
+ }
+ CYGDBG_MEMLEAK_DESTRUCTOR();
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ check_this()
+
+// ----------------------------------------------------------------------------
+bool
+CdlValue::check_this(cyg_assert_class_zeal zeal) const
+{
+ if (CdlValue_Magic != cdlvalue_cookie) {
+ return false;
+ }
+ CYGDBG_MEMLEAK_CHECKTHIS();
+
+ if (!source_valid[CdlValueSource_Default]) {
+ return false;
+ }
+
+ if ((CdlValueFlavor_None == flavor) || (CdlValueFlavor_Data == flavor)) {
+ for (int i = 0; i < CdlValue_number_of_sources; i++) {
+ if (!enabled[i]) {
+ return false;
+ }
+ }
+ }
+ for (int i = 0; i < CdlValue_number_of_sources; i++) {
+ if (source_valid[i]) {
+ if (!values[i].check_this(zeal)) {
+ return false;
+ }
+ }
+ }
+
+ return true;
+}
+
+//}}}
+//{{{ Flavor manipulation
+
+// ----------------------------------------------------------------------------
+// Get hold of the current flavor.
+CdlValueFlavor
+CdlValue::get_flavor(void) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::get_flavor", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlValueFlavor result = flavor;
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// set_flavor() may be invoked once or twice for a given entity. The first
+// time is from inside the constructor with the default flavor for this
+// particular class of entity. It may then be called again if the
+// entity has a "flavor" property that overrides this. All old data
+// will be lost, so evaluating a default value etc. should be done after
+// the call to set_flavor(), and there should be no subsequent calls to
+// set_flavor().
+
+void
+CdlValue::set_flavor(CdlValueFlavor flavor_arg)
+{
+ CYG_REPORT_FUNCNAME("CdlValue:: set_flavor");
+ CYG_REPORT_FUNCARG2XV(this, flavor_arg);
+
+ // No precondition here, set_flavor() is called from inside the constructor
+ CYG_PRECONDITIONC((CdlValueFlavor_None == flavor_arg) || \
+ (CdlValueFlavor_Bool == flavor_arg) || \
+ (CdlValueFlavor_BoolData == flavor_arg) || \
+ (CdlValueFlavor_Data == flavor_arg));
+
+ flavor = flavor_arg;
+ switch(flavor) {
+ case CdlValueFlavor_None :
+ {
+ // All value sources are enabled, but "default" remains
+ // the only valid one. All data parts are set to "1",
+ // although that should not really matter.
+ enabled[CdlValueSource_Default] = true;
+ enabled[CdlValueSource_Inferred] = true;
+ enabled[CdlValueSource_Wizard] = true;
+ enabled[CdlValueSource_User] = true;
+
+ CdlSimpleValue simple_val((cdl_int) 1);
+ values[CdlValueSource_Default] = simple_val;
+ values[CdlValueSource_Inferred] = simple_val;
+ values[CdlValueSource_Wizard] = simple_val;
+ values[CdlValueSource_User] = simple_val;
+ break;
+ }
+
+ case CdlValueFlavor_Bool :
+ {
+ // All value sources start out as disabled, but with a
+ // constant data part of 1. Users can only control the
+ // boolean part. This is consistent with header file
+ // generation: no #define is generated for disabled
+ // options, but if the option is enabled then the data
+ // part will be used for the value.
+ enabled[CdlValueSource_Default] = false;
+ enabled[CdlValueSource_Inferred] = false;
+ enabled[CdlValueSource_Wizard] = false;
+ enabled[CdlValueSource_User] = false;
+
+ // BLV - keep the data part at 0 for now. There is too
+ // much confusion in the code between value as a string
+ // representation, and value as the data part of the
+ // bool/data pair. This needs to be fixed, but it requires
+ // significant API changes.
+#if 0
+ CdlSimpleValue simple_val(cdl_int(1));
+#else
+ CdlSimpleValue simple_val(cdl_int(0));
+#endif
+ values[CdlValueSource_Default] = simple_val;
+ values[CdlValueSource_Inferred] = simple_val;
+ values[CdlValueSource_Wizard] = simple_val;
+ values[CdlValueSource_User] = simple_val;
+ break;
+ }
+
+ case CdlValueFlavor_BoolData :
+ {
+ // All value sources start out as disabled, just like
+ // booleans. Nothing is known about the data part.
+ enabled[CdlValueSource_Default] = false;
+ enabled[CdlValueSource_Inferred] = false;
+ enabled[CdlValueSource_Wizard] = false;
+ enabled[CdlValueSource_User] = false;
+ break;
+ }
+
+ case CdlValueFlavor_Data :
+ {
+ // All value sources start out as enabled, and cannot be
+ // changed. Nothing is known about the data part.
+ enabled[CdlValueSource_Default] = true;
+ enabled[CdlValueSource_Inferred] = true;
+ enabled[CdlValueSource_Wizard] = true;
+ enabled[CdlValueSource_User] = true;
+ break;
+ }
+
+ default :
+ break;
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Source manipulation
+
+// ----------------------------------------------------------------------------
+
+void
+CdlValue::set_source(CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::set_source");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_INVARIANT_THISC(CdlValue);
+ CYG_PRECONDITIONC((0 <= source) && (source <= CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ current_source = source;
+
+ CYG_REPORT_RETURN();
+}
+
+CdlValueSource
+CdlValue::get_source(void) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::get_source", "source %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlValueSource result = current_source;
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValue::has_source(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::has_source", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ bool result = source_valid[source];
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// Invalidate a specific source. If that source happens to be the current one,
+// switch to the highest-priority valid source.
+
+void
+CdlValue::invalidate_source(CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::invalidate_source");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITIONC(CdlValueSource_Default != source);
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ if (CdlValueSource_Default != source) {
+ source_valid[source] = false;
+ if (current_source == source) {
+ if (source_valid[CdlValueSource_User]) {
+ current_source = CdlValueSource_User;
+ } else if (source_valid[CdlValueSource_Wizard]) {
+ current_source = CdlValueSource_Wizard;
+ } else if (source_valid[CdlValueSource_Inferred]) {
+ current_source = CdlValueSource_Inferred;
+ } else {
+ current_source = CdlValueSource_Default;
+ }
+ }
+ }
+
+ CYG_POSTCONDITIONC(source_valid[current_source]);
+}
+
+//}}}
+//{{{ Retrieving the data
+
+// ----------------------------------------------------------------------------
+// Check the enabled flag for the appropriate source. The specified source
+// is normally provided by a default argument CdlValueSource_Current, which
+// 99.9...% of the time is what we are after.
+//
+// Note that this member can be used even for entities of flavor none
+// and data, and the result will be true. However it is not legal to
+// disable such entities.
+
+bool
+CdlValue::is_enabled(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::is_enabled", "enabled %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ bool result = enabled[source];
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// Access to the value field.
+
+std::string
+CdlValue::get_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValue::get_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ std::string result = values[source].get_value();
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+bool
+CdlValue::has_integer_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::has_integer_value", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_INVARIANT_THISC(CdlValue);
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ bool result = values[source].has_integer_value();
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValue::has_double_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::has_value", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_INVARIANT_THISC(CdlValue);
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ bool result = values[source].has_double_value();
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+cdl_int
+CdlValue::get_integer_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValue::get_integer_value", "value %ld");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ cdl_int result = values[source].get_integer_value();
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+double
+CdlValue::get_double_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValue::get_double_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ double result = values[source].get_double_value();
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+CdlSimpleValue
+CdlValue::get_simple_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValue::get_simple_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ if (CdlValueSource_Current == source) {
+ source = current_source;
+ }
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+ CYG_PRECONDITIONC(source_valid[source]);
+
+ CYG_REPORT_RETURN();
+ return values[source];
+}
+
+//}}}
+//{{{ Value modification
+
+// ----------------------------------------------------------------------------
+
+void
+CdlValue::set_enabled(bool val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::set_enabled");
+ CYG_REPORT_FUNCARG3XV(this, val, source);
+ CYG_INVARIANT_THISC(CdlValue);
+ CYG_PRECONDITIONC((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor));
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ enabled[source] = val;
+ source_valid[source] = true;
+ if (source > current_source) {
+ current_source = source;
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValue::set_value(CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::set_value");
+ CYG_REPORT_FUNCARG3XV(this, &val, source);
+ CYG_INVARIANT_THISC(CdlValue);
+ CYG_PRECONDITIONC((CdlValueFlavor_BoolData == flavor) || (CdlValueFlavor_Data == flavor));
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ values[source] = val;
+ source_valid[source] = true;
+ if (source > current_source) {
+ current_source = source;
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValue::set_enabled_and_value(bool enabled_arg, CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::set_enabled_and_value");
+ CYG_REPORT_FUNCARG4XV(this, enabled_arg, &val, source);
+ CYG_INVARIANT_THISC(CdlValue);
+ CYG_PRECONDITIONC(CdlValueFlavor_BoolData == flavor);
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ enabled[source] = enabled_arg;
+ values[source] = val;
+ source_valid[source] = true;
+ if (source > current_source) {
+ current_source = source;
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Given a SimpleValue, this member function does the right thing
+// for the flavor.
+
+void
+CdlValue::set(CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValue::set");
+ CYG_REPORT_FUNCARG3XV(this, &val, source);
+ CYG_INVARIANT_THISC(CdlValue);
+ CYG_ASSERTC((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor) || (CdlValueFlavor_Data == flavor));
+ CYG_PRECONDITIONC((0 <= source) && (source < CdlValue_number_of_sources));
+
+ switch(flavor) {
+ case CdlValueFlavor_Bool:
+ enabled[source] = val.get_bool_value();
+ break;
+
+ case CdlValueFlavor_BoolData:
+ if (!val.get_bool_value()) {
+ enabled[source] = false;
+ values[source] = (cdl_int) 0;
+ } else {
+ enabled[source] = true;
+ values[source] = val;
+ }
+ break;
+
+ case CdlValueFlavor_Data:
+ values[source] = val;
+ break;
+
+ default:
+ CYG_FAIL("Unknown value flavor detected.");
+ }
+
+ source_valid[source] = true;
+ if (source > current_source) {
+ current_source = source;
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+
+//}}}
+//{{{ CdlListValue class
+
+// ----------------------------------------------------------------------------
+// List values. Most of this is straightforward.
+
+CdlListValue::CdlListValue()
+{
+ CYG_REPORT_FUNCNAME("CdlListValue:: default constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ // The only data fields are embedded objects which will have been
+ // filled in already.
+ cdllistvalue_cookie = CdlListValue_Magic;
+ CYGDBG_MEMLEAK_CONSTRUCTOR();
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+}
+
+CdlListValue::CdlListValue(const CdlListValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlListValue:: copy constructor");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+ CYG_INVARIANT_CLASSOC(CdlListValue, original);
+
+ // This may get expensive, but should not happen very often.
+ table = original.table;
+ integer_ranges = original.integer_ranges;
+ double_ranges = original.double_ranges;
+ cdllistvalue_cookie = CdlListValue_Magic;
+ CYGDBG_MEMLEAK_CONSTRUCTOR();
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+}
+
+CdlListValue & CdlListValue::operator=(const CdlListValue& original)
+{
+ CYG_REPORT_FUNCNAME("CdlListValue:: assignment operator");
+ CYG_REPORT_FUNCARG2XV(this, &original);
+ CYG_INVARIANT_CLASSOC(CdlListValue, original);
+
+ if (this != &original) {
+ table.clear();
+ integer_ranges.clear();
+ double_ranges.clear();
+ table = original.table;
+ integer_ranges = original.integer_ranges;
+ double_ranges = original.double_ranges;
+ }
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+ return *this;
+}
+
+CdlListValue::~CdlListValue()
+{
+ CYG_REPORT_FUNCNAME("CdlListValue:: destructor");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ cdllistvalue_cookie = CdlListValue_Invalid;
+ table.clear();
+ integer_ranges.clear();
+ double_ranges.clear();
+ CYGDBG_MEMLEAK_DESTRUCTOR();
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Finding out about the current legal values. These routines can be
+// used by GUI-related code to figure out a sensible widget to be used
+// for a CDL entity. In nearly all cases life will be simple: either
+// there will be a fixed set of legal values and the user merely has
+// to choose one of these; or there will be a simple numerical range.
+// Occasionally life may be more complicated, if the full generality
+// of CDL list expressions is being used, and it will be necessary to
+// use an entry box instead. Note that the entity's flavor may also
+// affect the user interface.
+
+const std::vector<CdlSimpleValue>&
+CdlListValue::get_table(void) const
+{
+ CYG_REPORT_FUNCNAME("CdlListValue::get_table");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CYG_REPORT_RETURN();
+ return table;
+}
+
+const std::vector<std::pair<cdl_int, cdl_int> >&
+CdlListValue::get_integer_ranges(void) const
+{
+ CYG_REPORT_FUNCNAME("CdlListValue::get_integer_ranges");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CYG_REPORT_RETURN();
+ return integer_ranges;
+}
+
+const std::vector<std::pair<double, double> >&
+CdlListValue::get_double_ranges(void) const
+{
+ CYG_REPORT_FUNCNAME("CdlListValue::get_double_ranges");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CYG_REPORT_RETURN();
+ return double_ranges;
+}
+
+// ----------------------------------------------------------------------------
+// Membership. This can be quite complicated.
+//
+// 1) anything which has an integer representation must be checked against
+// the integer ranges and the vector of integer constants. It must
+// also be checked against the floating point ranges, since calculations
+// may have resulted in the fractional part disappearing, assuming that
+// the integer has a floating point representation.
+//
+// 2) similarly anything which has a floating point representation must
+// be checked against the floating point ranges and constant vector.
+// In addition it may have an empty fractional part in which case
+// integer comparisons have to be attempted as well.
+//
+// 3) string data needs to be tested first of all for integer and double
+// representations. If these fail then the comparison should be against
+// the string vector.
+//
+// For floating point data exact comparisons are of course meaningless,
+// and arguably the vector of floating point constants is useless. The
+// ranges vector is better, but still not ideal. It may be necessary
+// to introduce an epsilon fudge factor.
+
+bool
+CdlListValue::is_member(CdlSimpleValue& val) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlListValue::is_member (CdlSimpleValue)", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, &val);
+ CYG_PRECONDITION_THISC();
+
+ bool result = false;
+ if (val.has_integer_value()) {
+ result = is_member(val.get_integer_value(), false);
+ }
+ if (!result && val.has_double_value()) {
+ result = is_member(val.get_double_value(), false);
+ }
+ if (!result) {
+ result = is_member(val.get_value());
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlListValue::is_member(std::string val, bool allow_conversions) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlListValue::is_member (string)", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, &val, allow_conversions);
+ CYG_PRECONDITION_THISC();
+
+ bool result = false;
+ if (allow_conversions) {
+ cdl_int integer_value;
+ double double_value;
+
+ if (Cdl::string_to_integer(val, integer_value)) {
+ result = is_member(integer_value, false);
+ }
+ if (!result && Cdl::string_to_double(val, double_value)) {
+ result = is_member(double_value, false);
+ }
+ }
+ if (!result) {
+ for (std::vector<CdlSimpleValue>::const_iterator val_i = table.begin(); val_i != table.end(); val_i++) {
+ if (val_i->get_value() == val) {
+ result = true;
+ break;
+ }
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlListValue::is_member(cdl_int val, bool allow_conversions) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlListValue::is_member (int)", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, &val, allow_conversions);
+ CYG_PRECONDITION_THISC();
+
+ bool result = false;
+ for (std::vector<CdlSimpleValue>::const_iterator val_i = table.begin(); val_i != table.end(); val_i++) {
+ if (val_i->has_integer_value() && (val_i->get_integer_value() == val)) {
+ result = true;
+ break;
+ }
+ }
+ if (!result) {
+ for (std::vector<std::pair<cdl_int,cdl_int> >::const_iterator i = integer_ranges.begin();
+ i != integer_ranges.end(); i++) {
+ if ((val >= i->first) && (val <= i->second)) {
+ result = true;
+ break;
+ }
+ }
+ }
+ if (!result && allow_conversions) {
+ double double_value = Cdl::integer_to_double(val);
+ result = is_member(double_value, false);
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlListValue::is_member(double val, bool allow_conversions) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlListValue::is_member (double)", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, &val, allow_conversions);
+ CYG_PRECONDITION_THISC();
+
+ bool result = false;
+ for (std::vector<CdlSimpleValue>::const_iterator val_i = table.begin(); val_i != table.end(); val_i++) {
+ if (val_i->has_double_value() && (val_i->get_double_value() == val)) {
+ result = true;
+ break;
+ }
+ }
+ if (!result) {
+ for (std::vector<std::pair<double,double> >::const_iterator i = double_ranges.begin();
+ i != double_ranges.end(); i++) {
+ if ((val >= i->first) && (val <= i->second)) {
+ result = true;
+ break;
+ }
+ }
+ }
+ if (!result && allow_conversions) {
+ cdl_int integer_value;
+ if (Cdl::double_to_integer(val, integer_value)) {
+ result = is_member(integer_value, false);
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+
+bool
+CdlListValue::check_this(cyg_assert_class_zeal zeal) const
+{
+ if (CdlListValue_Magic != cdllistvalue_cookie) {
+ return false;
+ }
+ CYGDBG_MEMLEAK_CHECKTHIS();
+
+ // After construction the various vectors will still be empty, they
+ // do not get filled in until a list expression is evaluated. No
+ // further tests are possible here.
+ return true;
+}
+
+//}}}
+
+//{{{ dialog property
+
+// ----------------------------------------------------------------------------
+// Syntax: dialog <reference>
+
+void
+CdlValuableBody::dialog_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::dialog_update_handler");
+ CYG_PRECONDITION_CLASSC(transaction);
+ CYG_PRECONDITION_CLASSC(source);
+ CYG_PRECONDITION_CLASSC(prop);
+
+ // The main update of interest is Loaded (iff dest != 0), and
+ // Created. These updates indicate that the destination now exists,
+ // so it is possible to check that the destination is a dialog.
+ if (((CdlUpdate_Loaded == change) && (0 != dest)) ||
+ (CdlUpdate_Created == change)) {
+
+ CYG_ASSERT_CLASSC(dest);
+ CdlDialog dialog = dynamic_cast<CdlDialog>(dest);
+ if (0 == dialog) {
+ std::string msg = dest->get_class_name() + " " + dest->get_name() +
+ " cannot be used in a dialog property, it is not a custom dialog.";
+ CdlConflict_DataBody::make(transaction, source, prop, msg);
+ }
+
+ } else if (CdlUpdate_Destroyed == change) {
+ // If there was a data conflict object, it is no longer relevant
+ transaction->clear_structural_conflicts(source, prop, &CdlConflict_DataBody::test);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_dialog(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_dialog", "result %d");
+
+ int result = CdlParse::parse_reference_property(interp, argc, argv, CdlPropertyId_Dialog, 0, 0, false, &dialog_update_handler);
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_dialog() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_dialog", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ // It is not enough to have the property, the dialog reference must also be
+ // resolved and go to a dialog.
+ bool result = false;
+ CdlProperty property = get_property(CdlPropertyId_Dialog);
+ if (0 != property) {
+ CdlProperty_Reference ref_prop = dynamic_cast<CdlProperty_Reference>(property);
+ CYG_ASSERTC(0 != ref_prop);
+
+ CdlNode destination = ref_prop->get_destination();
+ if (0 != destination) {
+ CdlDialog dialog = dynamic_cast<CdlDialog>(destination);
+ if (0 != dialog) {
+ result = true;
+ }
+ }
+ }
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+
+CdlDialog
+CdlValuableBody::get_dialog() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_dialog", "result %p");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlDialog result = 0;
+ CdlProperty property = get_property(CdlPropertyId_Dialog);
+ if (0 != property) {
+ CdlProperty_Reference ref_prop = dynamic_cast<CdlProperty_Reference>(property);
+ CYG_ASSERTC(0 != ref_prop);
+
+ CdlNode destination = ref_prop->get_destination();
+ if (0 != destination) {
+ result = dynamic_cast<CdlDialog>(destination);
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ wizard property
+
+// ----------------------------------------------------------------------------
+// Syntax: wizard <reference>
+
+void
+CdlValuableBody::wizard_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::wizard_update_handler");
+ CYG_PRECONDITION_CLASSC(transaction);
+ CYG_PRECONDITION_CLASSC(source);
+ CYG_PRECONDITION_CLASSC(prop);
+
+ // The main update of interest is Loaded (iff dest != 0), and
+ // Created. These updates indicate that the destination now exists,
+ // so it is possible to check that the destination is a dialog.
+ if (((CdlUpdate_Loaded == change) && (0 != dest)) ||
+ (CdlUpdate_Created == change)) {
+
+ CYG_ASSERT_CLASSC(dest);
+ CdlWizard wizard = dynamic_cast<CdlWizard>(dest);
+ if (0 == wizard) {
+ std::string msg = dest->get_class_name() + " " + dest->get_name() +
+ " cannot be used in a wizard property, it is not a wizard.";
+ CdlConflict_DataBody::make(transaction, source, prop, msg);
+ }
+
+ } else if (CdlUpdate_Destroyed == change) {
+ // If there was a data conflict object, it is no longer relevant
+ transaction->clear_structural_conflicts(source, prop, &CdlConflict_DataBody::test);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_wizard(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_wizard", "result %d");
+
+ int result = CdlParse::parse_reference_property(interp, argc, argv, CdlPropertyId_Wizard, 0, 0, false, &wizard_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_wizard() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_wizard", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ // It is not enough to have the property, the wizard reference
+ // must also be resolved to a wizard object.
+ bool result = false;
+ CdlProperty property = get_property(CdlPropertyId_Wizard);
+ if (0 != property) {
+ CdlProperty_Reference ref_prop = dynamic_cast<CdlProperty_Reference>(property);
+ CYG_ASSERTC(0 != ref_prop);
+
+ CdlNode destination = ref_prop->get_destination();
+ if (0 != destination) {
+ CdlWizard wizard = dynamic_cast<CdlWizard>(destination);
+ CYG_ASSERTC(0 != wizard);
+ CYG_UNUSED_PARAM(CdlWizard, wizard);
+ result = true;
+ }
+ }
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+CdlWizard
+CdlValuableBody::get_wizard() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_wizard", "result %p");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlWizard result = 0;
+ CdlProperty property = get_property(CdlPropertyId_Wizard);
+ if (0 != property) {
+ CdlProperty_Reference ref_prop = dynamic_cast<CdlProperty_Reference>(property);
+ CYG_ASSERTC(0 != ref_prop);
+
+ CdlNode destination = ref_prop->get_destination();
+ if (0 != destination) {
+ result = dynamic_cast<CdlWizard>(destination);
+ CYG_ASSERTC(0 != result);
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ legal_values property
+
+// ----------------------------------------------------------------------------
+// Syntax: legal_values <list expression>
+
+void
+CdlValuableBody::legal_values_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("legal_values_update_handler");
+
+ // Loaded and Unloading are of no immediate interest, reference
+ // updating happens in the calling code.
+ //
+ // Any other change can affect the list expression and hence
+ // invalidate the current value.
+ if ((CdlUpdate_Loaded == change) || (CdlUpdate_Unloading == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ CdlValuable valuable = dynamic_cast<CdlValuable>(source);
+ CdlProperty_ListExpression lexpr = dynamic_cast<CdlProperty_ListExpression>(prop);
+ CYG_ASSERT_CLASSC(valuable);
+ CYG_ASSERT_CLASSC(lexpr);
+
+ valuable->check_value(transaction);
+
+ CYG_UNUSED_PARAM(CdlNode, dest);
+ CYG_UNUSED_PARAM(CdlProperty_ListExpression, lexpr);
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_legal_values(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_legal_values", "result %d");
+
+ int result = CdlParse::parse_listexpression_property(interp, argc, argv, CdlPropertyId_LegalValues, 0, 0,
+ &legal_values_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_legal_values() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_legal_values", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_LegalValues);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+CdlProperty_ListExpression
+CdlValuableBody::get_legal_values() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_legal_values", "result %p");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlProperty_ListExpression result = 0;
+ CdlProperty property = get_property(CdlPropertyId_LegalValues);
+ if (0 != property) {
+ result = dynamic_cast<CdlProperty_ListExpression>(property);
+ CYG_ASSERTC(0 != result);
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ default_value property
+
+// ----------------------------------------------------------------------------
+// syntax: default_value <expr>
+
+void
+CdlValuableBody::default_value_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::default_value_update_handler");
+ CYG_REPORT_FUNCARG5XV(transaction, source, prop, dest, change);
+
+ // Loaded and unloading should be ignored.
+ if ((CdlUpdate_Loaded == change) || (CdlUpdate_Unloading == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Init, Created, Destroyed, ValueChange and ActiveChange should
+ // all result in the expression being re-evaluated and the result
+ // applied.
+ CdlValuable valuable = dynamic_cast<CdlValuable>(source);
+ CYG_ASSERTC(0 != valuable);
+ CdlProperty_Expression expr = dynamic_cast<CdlProperty_Expression>(prop);
+ CYG_ASSERTC(0 != expr);
+
+ CdlSimpleValue val;
+
+ try {
+
+ CdlEvalContext context(transaction, source, prop);
+ expr->eval(context, val);
+
+ valuable->set(transaction, val, CdlValueSource_Default);
+
+ } catch(CdlEvalException e) {
+
+
+ // An EvalException conflict will have been created, so the
+ // user knows that this default_value is not kosher. It is
+ // still a good idea to make sure that the object retains a
+ // sensible value.
+ val = (cdl_int) 0;
+ valuable->set(transaction, val, CdlValueSource_Default);
+ }
+
+ CYG_UNUSED_PARAM(CdlNode, dest);
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_default_value(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_default_value", "result %d");
+ int result = CdlParse::parse_expression_property(interp, argc, argv, CdlPropertyId_DefaultValue, 0, 0,
+ &default_value_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_default_value_expression() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_default_value_expression", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_DefaultValue);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+CdlProperty_Expression
+CdlValuableBody::get_default_value_expression() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_default_value_expression", "result %");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlProperty_Expression result = 0;
+ CdlProperty property = get_property(CdlPropertyId_DefaultValue);
+ if (0 != property) {
+ result = dynamic_cast<CdlProperty_Expression>(property);
+ CYG_ASSERTC(0 != result);
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ calculated_property
+
+// ----------------------------------------------------------------------------
+// Syntax: calculated <expression>
+
+void
+CdlValuableBody::calculated_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::default_value_update_handler");
+ CYG_REPORT_FUNCARG5XV(transaction, source, prop, dest, change);
+
+ // Loaded and unloading should be ignored.
+ if ((CdlUpdate_Loaded == change) || (CdlUpdate_Unloading == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Init, Created, Destroyed, ValueChange and ActiveChange should
+ // all result in the expression being re-evaluated and the result
+ // applied.
+ CdlValuable valuable = dynamic_cast<CdlValuable>(source);
+ CYG_ASSERTC(0 != valuable);
+ CdlProperty_Expression expr = dynamic_cast<CdlProperty_Expression>(prop);
+ CYG_ASSERTC(0 != expr);
+
+ CdlSimpleValue val;
+
+ try {
+
+ CdlEvalContext context(transaction, source, prop);
+ expr->eval(context, val);
+
+ valuable->set(transaction, val, CdlValueSource_Default);
+
+ } catch(CdlEvalException e) {
+
+
+ // An EvalException conflict will have been created, so the
+ // user knows that this default_value is not kosher. It is
+ // still a good idea to make sure that the object retains a
+ // sensible value.
+ val = (cdl_int) 0;
+ valuable->set(transaction, val, CdlValueSource_Default);
+ }
+
+ CYG_UNUSED_PARAM(CdlNode, dest);
+ CYG_REPORT_RETURN();
+}
+
+// FIXME: check for flavor none?
+int
+CdlValuableBody::parse_calculated(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_calculated", "result %d");
+
+ int result = CdlParse::parse_expression_property(interp, argc, argv, CdlPropertyId_Calculated, 0, 0,
+ &calculated_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_calculated_expression() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_calculated_expression", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_Calculated);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+CdlProperty_Expression
+CdlValuableBody::get_calculated_expression() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_calculated_expression", "result %p");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlProperty_Expression result = 0;
+ CdlProperty property = get_property(CdlPropertyId_Calculated);
+ if (0 != property) {
+ result = dynamic_cast<CdlProperty_Expression>(property);
+ CYG_ASSERTC(0 != result);
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ active_if property
+
+// ----------------------------------------------------------------------------
+// Syntax:
+// active_if <goal expression>
+
+void
+CdlValuableBody::active_if_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::active_if_update_handler");
+ CYG_REPORT_FUNCARG5XV(transaction, source, prop, dest, change);
+ CYG_PRECONDITION_CLASSC(transaction);
+ CYG_PRECONDITION_CLASSC(source);
+ CYG_PRECONDITION_CLASSC(prop);
+
+ // Loaded should be ignored here, the world is still getting sorted out.
+ // Unloading is of no interest, the source is disappearing anyway.
+ if ((CdlUpdate_Loaded == change) || (CdlUpdate_Unloading == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Any other change warrants re-evaluating the active status of the source.
+ // This can be achieved via a test_active() call, although that may do
+ // more work than is strictly necessary e.g. it may re-evaluate other
+ // is_active properties. In practice it is unlikely that there will
+ // be enough other constraints to warrant more efficient processing.
+ bool old_state = transaction->is_active(source);
+ bool new_state = source->test_active(transaction);
+ if (old_state != new_state) {
+ transaction->set_active(source, new_state);
+ }
+
+ CYG_UNUSED_PARAM(CdlNode, dest);
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_active_if(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_active_if", "result %d");
+
+ int result = CdlParse::parse_goalexpression_property(interp, argc, argv, CdlPropertyId_ActiveIf, 0, 0,
+ &active_if_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_active_if_conditions() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_active_if_conditions", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_ActiveIf);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+void
+CdlValuableBody::get_active_if_conditions(std::vector<CdlProperty_GoalExpression>& result) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_active_if_conditions");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ std::vector<CdlProperty> properties;
+ get_properties(CdlPropertyId_ActiveIf, properties);
+ std::vector<CdlProperty>::const_iterator i;
+ for (i = properties.begin(); i != properties.end(); i++) {
+ CdlProperty_GoalExpression goal = dynamic_cast<CdlProperty_GoalExpression>(*i);
+ CYG_ASSERTC(0 != goal);
+ result.push_back(goal);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ requires property
+
+// ----------------------------------------------------------------------------
+// Syntax: requires <goal expression>
+
+void
+CdlValuableBody::requires_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::requires_update_handler");
+ CYG_REPORT_FUNCARG5XV(transaction, source, prop, dest, change);
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ // Loaded and Unloading are not of interest.
+ if ((CdlUpdate_Loaded == change) || (CdlUpdate_Unloading == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Any other change should cause normal handling. This happens in
+ // a separate function because "requires" properties also need to
+ // be checked when e.g. the source becomes inactive.
+ CdlValuable valuable = dynamic_cast<CdlValuable>(source);
+ CdlProperty_GoalExpression gexpr = dynamic_cast<CdlProperty_GoalExpression>(prop);
+ CYG_ASSERT_CLASSC(valuable);
+ CYG_ASSERT_CLASSC(gexpr);
+
+ valuable->check_requires(transaction, gexpr);
+
+ CYG_UNUSED_PARAM(CdlNode, dest);
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_requires(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_requires", "result %d");
+
+ int result = CdlParse::parse_goalexpression_property(interp, argc, argv, CdlPropertyId_Requires, 0, 0,
+ &requires_update_handler);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_requires_goals() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_requires_goals", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_Requires);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+void
+CdlValuableBody::get_requires_goals(std::vector<CdlProperty_GoalExpression>& result) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_requires_goals");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ std::vector<CdlProperty> properties;
+ get_properties(CdlPropertyId_Requires, properties);
+ std::vector<CdlProperty>::const_iterator i;
+ for (i = properties.begin(); i != properties.end(); i++) {
+ CdlProperty_GoalExpression goal = dynamic_cast<CdlProperty_GoalExpression>(*i);
+ CYG_ASSERTC(0 != goal);
+ result.push_back(goal);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ implements property
+
+// ----------------------------------------------------------------------------
+// Syntax: implements <reference to interface>
+
+void
+CdlValuableBody::implements_update_handler(CdlTransaction transaction, CdlNode source, CdlProperty prop, CdlNode dest,
+ CdlUpdate change)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::implements_update_handler");
+ CYG_REPORT_FUNCARG5XV(transaction, source, prop, dest, change);
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ // Calculation of interface values happens inside
+ // CdlInterfaceBody::recalculate(). That member function simply
+ // checks all of the implementors and recalculates the value from
+ // scratch. It needs to be invoked whenever there is a relevant
+ // change to the implementors. Currently no attempt is made to
+ // optimise interface updates, although this may have to change in
+ // future.
+
+ // Any changes to the interface itself can be ignored.
+ if ((CdlUpdate_ValueChange == change) || (CdlUpdate_ActiveChange == change)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // The second stage init is irrelevant
+ if (CdlUpdate_Init == change) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Possibilities:
+ // 1) source is being loaded, dest valid
+ // 2) source is being loaded, dest unknown
+ // 3) source is being unloaded, dest valid
+ // 4) source is being unloaded, dest unknown
+ // 5) dest has been created
+ // 6) dest is going away
+ //
+ // If we have a valid dest, it needs to be updated and any structural
+ // conflicts have to be cleared.
+ //
+ // If there is no dest, the implements property remains unbound.
+ // A suitable conflict is created in the base class.
+ //
+ // If the dest is invalid, a structural conflict has to be created.
+ if (CdlUpdate_Destroyed == change) {
+ // There is no need to do any clean-ups in the dest.
+ dest = 0;
+ }
+ if (0 == dest) {
+ transaction->clear_structural_conflicts(source, prop, &CdlConflict_DataBody::test);
+ } else {
+ CdlInterface interface = dynamic_cast<CdlInterface>(dest);
+
+ if (0 == interface) {
+ std::string msg = source->get_class_name() + " " + source->get_name() + " cannot implement " +
+ dest->get_name() + "\n The latter is not an interface.";
+ CdlConflict_DataBody::make(transaction, source, prop, msg);
+ } else {
+ transaction->clear_structural_conflicts(source, prop, &CdlConflict_DataBody::test);
+ interface->recalculate(transaction);
+ }
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::parse_implements(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_implements", "result %d");
+
+ int result = CdlParse::parse_reference_property(interp, argc, argv, CdlPropertyId_Implements, 0, 0, false,
+ &implements_update_handler);
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+void
+CdlValuableBody::get_implemented_interfaces(std::vector<CdlInterface>& result) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_implemented_interfaces");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ std::vector<CdlProperty> properties;
+ get_properties(CdlPropertyId_Implements, properties);
+ std::vector<CdlProperty>::const_iterator i;
+ for (i = properties.begin(); i != properties.end(); i++) {
+ CdlProperty_Reference refprop = dynamic_cast<CdlProperty_Reference>(*i);
+ CYG_ASSERTC(0 != refprop);
+ CdlNode node = refprop->get_destination();
+ if (0 != node) {
+ CdlInterface interface = dynamic_cast<CdlInterface>(node);
+ CYG_ASSERT_CLASSC(interface);
+ result.push_back(interface);
+ }
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ Other properties
+
+// ----------------------------------------------------------------------------
+// Syntax: flavor <legal flavor>
+
+static void
+parse_flavor_final_check(CdlInterpreter interp, CdlProperty_String prop)
+{
+ CYG_REPORT_FUNCNAME("parse_flavor_final_check");
+ CYG_PRECONDITION_CLASSC(interp);
+ CYG_PRECONDITION_CLASSC(prop);
+
+ const std::string& str = prop->get_string();
+ std::string copy = std::string(str);
+ CdlValueFlavor flavor;
+
+ if (!Cdl::string_to_flavor(copy, flavor)) {
+ CdlParse::report_property_parse_error(interp, prop, str + " is not a valid CDL flavor.");
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+
+int
+CdlValuableBody::parse_flavor(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_flavor", "result %d");
+
+ int result = CdlParse::parse_string_property(interp, argc, argv, CdlPropertyId_Flavor, 0, &parse_flavor_final_check);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// syntax: group <group name>
+int
+CdlValuableBody::parse_group(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_group", "result %d");
+
+ int result = CdlParse::parse_string_property(interp, argc, argv, CdlPropertyId_Group, 0, 0);
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// Syntax: check_proc <tclcode>
+
+int
+CdlValuableBody::parse_check_proc(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_check_proc", "result %d");
+
+ int result = CdlParse::parse_tclcode_property(interp, argc, argv, CdlPropertyId_CheckProc, 0, 0);
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_check_proc() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_check_proc", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_CheckProc);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+cdl_tcl_code
+CdlValuableBody::get_check_proc() const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_check_proc");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ cdl_tcl_code result = "";
+ CdlProperty property = get_property(CdlPropertyId_CheckProc);
+ if (0 != property) {
+ CdlProperty_TclCode code_prop = dynamic_cast<CdlProperty_TclCode>(property);
+ CYG_ASSERTC(0 != code_prop);
+ result = code_prop->get_code();
+ }
+
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// Syntax: entry_proc <tclcode>
+
+int
+CdlValuableBody::parse_entry_proc(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAMETYPE("parse_entry_proc", "result %d");
+
+ int result = CdlParse::parse_tclcode_property(interp, argc, argv, CdlPropertyId_EntryProc, 0, 0);
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_entry_proc() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_entry_proc", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = has_property(CdlPropertyId_EntryProc);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+cdl_tcl_code
+CdlValuableBody::get_entry_proc() const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_entry_proc");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ cdl_tcl_code result = "";
+ CdlProperty property = get_property(CdlPropertyId_EntryProc);
+ if (0 != property) {
+ CdlProperty_TclCode code_prop = dynamic_cast<CdlProperty_TclCode>(property);
+ CYG_ASSERTC(0 != code_prop);
+ result = code_prop->get_code();
+ }
+
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+//}}}
+
+//{{{ CdlValuable misc
+
+// ----------------------------------------------------------------------------
+// Objects with flavor none are not modifiable. Also, objects with the
+// calculated property are not modifiable. Everything else is ok.
+
+bool
+CdlValuableBody::is_modifiable() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuableBody::is_modifiable", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = true;
+ if (CdlValueFlavor_None == get_flavor()) {
+ result = false;
+ } else if (has_property(CdlPropertyId_Calculated)) {
+ result = false;
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ CdlValuable::get_widget_hint()
+
+// ----------------------------------------------------------------------------
+
+void
+CdlValuableBody::get_widget_hint(CdlWidgetHint& hint)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_widget_hint");
+ CYG_REPORT_FUNCARG2XV(this, &hint);
+ CYG_PRECONDITION_THISC();
+
+ // Start by resetting the hint to default values.
+ hint.bool_widget = CdlBoolWidget_None;
+ hint.value_widget = CdlValueWidget_None;
+ hint.radio_button_interface = "";
+
+ // If the valuable is a loadable then it cannot be modified directly.
+ // Changing the value means unloading and/or loading more data
+ // into the configuration. This should always be handled via a
+ // separate dialog, followed by a tree redisplay
+ CdlConstLoadable loadable = dynamic_cast<CdlConstLoadable>(this);
+ if (0 != loadable) {
+ hint.value_widget = CdlValueWidget_Loadable;
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // If the valuable is not modifiable then we are already done.
+ CdlValueFlavor flavor = this->get_flavor();
+ if ((CdlValueFlavor_None == flavor) || !this->is_modifiable()) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // If there is a custom dialog and dialogs are enabled, use it.
+ if (this->has_dialog() && CdlDialogBody::dialogs_are_enabled()) {
+ if ((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor)) {
+ hint.bool_widget = CdlBoolWidget_CustomDialog;
+ }
+ if ((CdlValueFlavor_Data == flavor) || (CdlValueFlavor_BoolData == flavor)) {
+ hint.value_widget = CdlValueWidget_CustomDialog;
+ }
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // Process the bool part, if any
+ if ((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor)) {
+
+ // Default to a CheckButton
+ hint.bool_widget = CdlBoolWidget_CheckButton;
+
+ // Under some circumstances it is appropriate to use a radio button instead.
+ // This is the case when there are several mutually exclusive entities.
+ // Most of the time radio buttons should actually be handled by a single
+ // option which has a list of legal values. There are a couple of cases
+ // where this is not appropriate:
+ //
+ // 1) grouping. Some of the mutually exclusive entities could be containers.
+ // With clever use of a single option and some active_if properties it
+ // would be possible to get almost the same effect, but not quite.
+ //
+ // 2) external packages. It should be possible to have a third party package
+ // which could add e.g. a new scheduler.
+ //
+ // The implementation of this involves interfaces. Basically mutually
+ // exclusive entities should implement the same interface, and that
+ // interface should have an explicit requires $cdl_value == 1
+ // In addition all of the options involved should have the same parent.
+ // An entity may implement multiple interfaces, so they all have to be checked
+ CdlInterface radio_interface = 0;
+ std::vector<CdlProperty> implements = this->get_properties(CdlPropertyId_Implements);
+ std::vector<CdlProperty>::const_iterator imp_i;
+ for (imp_i = implements.begin(); (imp_i != implements.end()) && (0 == radio_interface); imp_i++) {
+ CdlProperty_Reference refprop = dynamic_cast<CdlProperty_Reference>(*imp_i);
+ CYG_ASSERT_CLASSC(refprop);
+
+ CdlNode destnode = refprop->get_destination();
+ if (0 == destnode) {
+ continue;
+ }
+ CdlInterface interface = dynamic_cast<CdlInterface>(destnode);
+ CYG_ASSERT_CLASSC(interface);
+
+ std::vector<CdlProperty_GoalExpression> requires;
+ std::vector<CdlProperty_GoalExpression>::const_iterator req_i;
+ interface->get_requires_goals(requires);
+ for (req_i = requires.begin(); req_i != requires.end(); req_i++) {
+
+ CdlExpression expr = (*req_i)->get_expression();
+ CdlSubexpression& subexpr = expr->sub_expressions[expr->first_subexpression];
+ if (CdlExprOp_Equal != subexpr.op) {
+ continue;
+ }
+
+ CdlSubexpression& lhs = expr->sub_expressions[subexpr.lhs_index];
+ CdlSubexpression& rhs = expr->sub_expressions[subexpr.rhs_index];
+ CdlSubexpression* ref_operand = &lhs;
+
+ // Allow for "a == 1" or "1 == a"
+ if ((CdlExprOp_IntegerConstant == lhs.op) && (1 == lhs.constants.get_integer_value())) {
+ ref_operand = &rhs;
+ } else if ((CdlExprOp_IntegerConstant == rhs.op) && (1 == rhs.constants.get_integer_value())) {
+ ref_operand = &lhs;
+ } else {
+ continue;
+ }
+
+ if (CdlExprOp_Reference != ref_operand->op) {
+ continue;
+ }
+ CdlReference& ref = expr->references[ref_operand->reference_index];
+ if (ref.get_destination() == interface) {
+ break;
+ }
+ }
+ if (req_i == requires.end()) {
+ continue;
+ }
+
+ CdlContainer parent = this->get_parent();
+ CYG_ASSERT_CLASSC(parent);
+
+ std::vector<CdlValuable> implementers;
+ std::vector<CdlValuable>::const_iterator imp_i;
+ interface->get_implementers(implementers);
+ for (imp_i = implementers.begin(); imp_i != implementers.end(); imp_i++) {
+ if (parent != (*imp_i)->get_parent()) {
+ break;
+ }
+ }
+
+ if (imp_i == implementers.end()) {
+ // An interface has been found that matches the constraints.
+ radio_interface = interface;
+ }
+ }
+ if (0 != radio_interface) {
+ hint.bool_widget = CdlBoolWidget_Radio;
+ hint.radio_button_interface = radio_interface->get_name();
+ }
+ }
+
+ // Process the data part, if any
+ if ((CdlValueFlavor_Data == flavor) || (CdlValueFlavor_BoolData == flavor)) {
+
+ // Default to a simple entry box.
+ hint.value_widget = CdlValueWidget_EntryBox;
+
+ // If there is a legal_values list, this will normally indicate
+ // which widget should be used.
+ if (this->has_legal_values()) {
+ // The legal_values expression needs to be evaluated and examined.
+ // If the result is a simple numerical range then all we need to
+ // figure out is whether to default to decimal, hex, octal or double.
+ // Otherwise if the result is a simple list and all of the entries
+ // are numerical, that is sufficient information. If a list with
+ // non-numerical entries that is fine as well. Anything more complicated
+ // needs to revert to an entry box.
+ CdlProperty_ListExpression lexpr = this->get_legal_values();
+ CdlEvalContext context(0, this, lexpr);
+ CdlListValue val;
+
+ try {
+ lexpr->eval(context, val);
+ const std::vector<CdlSimpleValue>& table = val.get_table();
+ const std::vector<std::pair<cdl_int, cdl_int> >& int_ranges = val.get_integer_ranges();
+ const std::vector<std::pair<double, double> >& double_ranges = val.get_double_ranges();
+
+ if ((0 == table.size()) && (0 == int_ranges.size()) && (1 == double_ranges.size())) {
+
+ // A straightforward range of double precision numbers
+ hint.value_widget = CdlValueWidget_DoubleRange;
+
+ } else if ((0 == table.size()) && (1 == int_ranges.size()) && (0 == double_ranges.size())) {
+
+ // Bummer. The formatting information has been lost.
+ // To fix this the two sets of ranges should be collapsed into pairs of
+ // CdlSimpleValue's.
+ hint.value_widget = CdlValueWidget_DecimalRange;
+
+ } else if ((1 <= table.size() && (0 == int_ranges.size()) && (0 == double_ranges.size()))) {
+
+ // If all of the values are numerical, then we have a numeric set.
+ // Otherwise we have a string set.
+ bool all_numeric = true;
+ std::vector<CdlSimpleValue>::const_iterator tab_i;
+ for (tab_i = table.begin(); (tab_i != table.end()) && all_numeric; tab_i++) {
+ if (!tab_i->has_double_value() && !tab_i->has_integer_value()) {
+ all_numeric = false;
+ }
+ }
+ if (all_numeric) {
+ hint.value_widget = CdlValueWidget_NumericSet;
+ } else {
+ hint.value_widget = CdlValueWidget_StringSet;
+ }
+
+ } else {
+ // The list expression is a complex combination. Leave it as an entry box.
+ // In some cases it would be possible to do better, for example
+ // legal_values -1 1 to 4 8 to 12
+ // Support for cases like these may get added in future, if such cases
+ // ever arise in practice.
+ }
+
+ } catch(...) {
+ // Not a lot that can be done here, unfortunately
+ }
+ } else {
+ // There is no legal_values property, so an entry box is probably the
+ // right thing to use. There is a special case for multiline strings,
+ // identified by a default_value expression that contains a newline.
+ if (this->has_default_value_expression()) {
+ CdlProperty_Expression expr = this->get_default_value_expression();
+ CdlEvalContext context(0, this, expr);
+ CdlSimpleValue val;
+ try {
+ expr->eval(context, val);
+ std::string tmp = val.get_value();
+ if (std::string::npos != tmp.find('\n')) {
+ hint.value_widget = CdlValueWidget_MultilineString;
+ }
+ } catch(...) {
+ // Not a lot that can be done here, unfortunately
+ }
+ }
+ }
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ CdlValuable get operations
+
+// ----------------------------------------------------------------------------
+const CdlValue&
+CdlValuableBody::get_whole_value() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_whole_value", "result %p");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CYG_REPORT_RETVAL(&value);
+ return value;
+}
+
+CdlValueFlavor
+CdlValuableBody::get_flavor() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_flavor", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlValueFlavor result = value.get_flavor();
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+CdlValueSource
+CdlValuableBody::get_source() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_source", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ CdlValueSource result = value.get_source();
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_source(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_source", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ bool result = value.has_source(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::is_enabled(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::is_enabled", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ bool result = value.is_enabled(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+std::string
+CdlValuableBody::get_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ std::string result = value.get_value(source);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+bool
+CdlValuableBody::has_integer_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_integer_value", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ bool result = value.has_integer_value(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+cdl_int
+CdlValuableBody::get_integer_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_integer_value", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ cdl_int result = value.get_integer_value(source);
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_double_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_double_value", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ bool result = value.has_double_value(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+double
+CdlValuableBody::get_double_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_double_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ double result = value.get_double_value();
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+CdlSimpleValue
+CdlValuableBody::get_simple_value(CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_simple_value");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlSimpleValue result = value.get_simple_value(source);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+CdlValueSource
+CdlValuableBody::get_source(CdlTransaction transaction) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_source", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, transaction);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ CdlValueSource result = transaction_value.get_source();
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_source(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_source", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ bool result = transaction_value.has_source(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+bool
+CdlValuableBody::is_enabled(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::is_enabled", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ bool result = transaction_value.is_enabled(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+std::string
+CdlValuableBody::get_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_value");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ std::string result = transaction_value.get_value(source);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+bool
+CdlValuableBody::has_integer_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_integer_value", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ bool result = transaction_value.has_integer_value(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+cdl_int
+CdlValuableBody::get_integer_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::get_integer_value", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ cdl_int result = transaction_value.get_integer_value(source);
+ CYG_REPORT_RETVAL((int) result);
+ return result;
+}
+
+bool
+CdlValuableBody::has_double_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::has_double_value", "result %d");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ bool result = transaction_value.has_double_value(source);
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+double
+CdlValuableBody::get_double_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_double_value");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ double result = transaction_value.get_double_value();
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+CdlSimpleValue
+CdlValuableBody::get_simple_value(CdlTransaction transaction, CdlValueSource source) const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_simple_value");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& transaction_value = transaction->get_whole_value(this);
+ CdlSimpleValue result = transaction_value.get_simple_value(source);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+//}}}
+//{{{ CdlValuable internal modify ops
+
+// ----------------------------------------------------------------------------
+// There has been a change to either the value itself or to the
+// set of legal values. It is necessary to validate the current
+// value, maintaining a suitable conflict object.
+void
+CdlValuableBody::check_value(CdlTransaction transaction)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::check_value");
+ CYG_REPORT_FUNCARG2XV(this, transaction);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ // Checking the value only makes sense for BoolData and Data
+ // values.
+ CdlValueFlavor flavor = value.get_flavor();
+ if ((CdlValueFlavor_BoolData != flavor) && (CdlValueFlavor_Data != flavor)) {
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // If the valuable is not currently active and enabled then it
+ // does not matter whether or not the value is legal. Any old
+ // conflicts should be destroyed.
+ if (!(transaction->is_active(this) && this->is_enabled(transaction))) {
+ transaction->clear_conflicts(this, &CdlConflict_IllegalValueBody::test);
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // If there is a legal_values property, check membership.
+ if (this->has_property(CdlPropertyId_LegalValues)) {
+ CdlProperty_ListExpression lexpr = dynamic_cast<CdlProperty_ListExpression>(get_property(CdlPropertyId_LegalValues));
+ CYG_ASSERT_CLASSC(lexpr);
+
+ CdlSimpleValue val = this->get_simple_value(transaction);
+ CdlEvalContext context(transaction, this, lexpr);
+ try {
+ if (!lexpr->is_member(context, val)) {
+ if (!transaction->has_conflict(this, lexpr, &CdlConflict_IllegalValueBody::test)) {
+ CdlConflict_IllegalValueBody::make(transaction, this, lexpr);
+ }
+
+ } else {
+ // Tne current value is legal. Get rid of any old conflicts.
+ transaction->clear_conflicts(this, lexpr, &CdlConflict_IllegalValueBody::test);
+ }
+ } catch(CdlEvalException e) {
+ // There should now be an EvalException conflict for this
+ // node, so there is no point in having an IllegalValue conflict
+ // as well.
+ transaction->clear_conflicts(this, lexpr, &CdlConflict_IllegalValueBody::test);
+ }
+
+ // FIXME: add support for check_proc
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// There has been a change that may affect "requires" properties.
+// Again do the necessary checking and maintain suitable conflict
+// objects.
+void
+CdlValuableBody::check_requires(CdlTransaction transaction)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::check_requires");
+ CYG_REPORT_FUNCARG2XV(this, transaction);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ std::vector<CdlProperty> requires_properties;
+ std::vector<CdlProperty>::const_iterator prop_i;
+ get_properties(CdlPropertyId_Requires, requires_properties);
+ for (prop_i = requires_properties.begin(); prop_i != requires_properties.end(); prop_i++) {
+
+ CdlProperty_GoalExpression gexpr = dynamic_cast<CdlProperty_GoalExpression>(*prop_i);
+ CYG_ASSERT_CLASSC(gexpr);
+ this->check_requires(transaction, gexpr);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::check_requires(CdlTransaction transaction, CdlProperty_GoalExpression gexpr)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::check_requires (property)");
+ CYG_REPORT_FUNCARG3XV(this, transaction, gexpr);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+ CYG_ASSERT_CLASSC(gexpr);
+
+ // If the valuable is not currently active and enabled then the "requires"
+ // properties are irrelevant, and any old conflicts should be destroyed.
+ if (!transaction->is_active(this) || !this->is_enabled(transaction)) {
+ transaction->clear_conflicts(this, gexpr, &CdlConflict_RequiresBody::test);
+ CYG_REPORT_RETURN();
+ return;
+ }
+
+ // What is the current value of the goal expression?
+ try {
+ CdlEvalContext context(transaction, this, gexpr);
+ if (gexpr->eval(context)) {
+ // The goal is satisfied.
+ transaction->clear_conflicts(this, gexpr, &CdlConflict_RequiresBody::test);
+ } else {
+ // The goal is not satisfied. Make sure there is a conflict object.
+ if (!transaction->has_conflict(this, gexpr, &CdlConflict_RequiresBody::test)) {
+ CdlConflict_RequiresBody::make(transaction, this, gexpr);
+ }
+ }
+ } catch(CdlEvalException e) {
+ // There should now be an EvalException conflict associated with this node,
+ // having a requires conflict as well serves no purpose
+ transaction->clear_conflicts(this, gexpr, &CdlConflict_RequiresBody::test);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// The update handler. If there is a change to the value or active state
+// then it is necessary to reevaluate any requires properties, and to
+// check whether or not the value is legal wrt legal_values etc.
+void
+CdlValuableBody::update(CdlTransaction transaction, CdlUpdate update)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::update");
+ CYG_REPORT_FUNCARG3XV(this, transaction, update);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ if ((CdlUpdate_ValueChange == update) || (CdlUpdate_ActiveChange == update)) {
+ this->check_value(transaction);
+ this->check_requires(transaction);
+ }
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Should this node be active. In addition to the base class' checks that
+// the parent is active and enabled, any active_if constraints need
+// to be evaluated.
+
+bool
+CdlValuableBody::test_active(CdlTransaction transaction)
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::test_active", "result %d");
+ CYG_REPORT_FUNCARG2XV(this, transaction);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ bool result = true;
+ if (!this->CdlNodeBody::test_active(transaction)) {
+ result = false;
+ }
+
+ if (result) {
+ std::vector<CdlProperty> active_if_properties;
+ std::vector<CdlProperty>::const_iterator prop_i;
+
+ this->get_properties(CdlPropertyId_ActiveIf, active_if_properties);
+ for (prop_i = active_if_properties.begin(); result && (prop_i != active_if_properties.end()); prop_i++) {
+
+ CdlProperty_GoalExpression gexpr = dynamic_cast<CdlProperty_GoalExpression>(*prop_i);
+ CYG_ASSERT_CLASSC(gexpr);
+ CdlEvalContext context(transaction, this, gexpr);
+ try {
+ if (!gexpr->eval(context)) {
+ result = false;
+ }
+ } catch(CdlEvalException e) {
+ // Hmmm, an active_if property cannot be evaluated.
+ // Tricky. If the node is inactive then its conflicts
+ // are ignored, which would be a bad thing. For now
+ // assume that the node is active, unless it was already
+ // inactive for other reasons.
+ }
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+//}}}
+//{{{ CdlValuable modify operations
+
+// ----------------------------------------------------------------------------
+// Start with the non-transaction versions. These allocate a new transaction,
+// perform their operation in the context of that transaction, and then
+// commit the transaction.
+
+void
+CdlValuableBody::set_source(CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_source (no transaction)");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->set_source(transaction, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::invalidate_source(CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::invalidate_source (no transaction)");
+ CYG_REPORT_FUNCARG2XV(this, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->invalidate_source(transaction, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_enabled(bool val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_enabled (no transaction)");
+ CYG_REPORT_FUNCARG3XV(this, val, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->set_enabled(transaction, val, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_value(CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_value (no transaction)");
+ CYG_REPORT_FUNCARG3XV(this, &val, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->set_value(transaction, val, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_enabled_and_value(bool enabled_arg, CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_enabled_and_value (no transaction)");
+ CYG_REPORT_FUNCARG4XV(this, enabled_arg, &val, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->set_enabled_and_value(transaction, enabled_arg, val, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set(CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set (no transaction)");
+ CYG_REPORT_FUNCARG3XV(this, &val, source);
+ CYG_PRECONDITION_THISC();
+
+ CdlTransaction transaction = CdlTransactionBody::make(get_toplevel());
+ this->set(transaction, val, source);
+ transaction->body();
+ delete transaction;
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// These member functions operate in the context of a transaction. The
+// basic format is:
+//
+// 1) find out the state before the change
+// 2) make a local CdlValue copy, and modify it.
+// 3) update the value held in the transaction.
+//
+// Values checks etc. happen during propagation, mainly from inside
+// the update handler. There is code in CdlTransaction::set_whole_value()
+// to avoid unnecessary propagation.
+
+void
+CdlValuableBody::set_source(CdlTransaction transaction, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_source");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_ASSERTC((source == CdlValueSource_Default) || !has_property(CdlPropertyId_Calculated));
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.set_source(source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::invalidate_source(CdlTransaction transaction, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::invalidate_source");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.invalidate_source(source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_enabled(CdlTransaction transaction, bool enabled_arg, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_enabled");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_ASSERTC((source == CdlValueSource_Default) || !has_property(CdlPropertyId_Calculated));
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.set_enabled(enabled_arg, source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_value(CdlTransaction transaction, CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_enabled");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_ASSERTC((source == CdlValueSource_Default) || !has_property(CdlPropertyId_Calculated));
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.set_value(val, source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set_enabled_and_value(CdlTransaction transaction, bool enabled_arg, CdlSimpleValue& val,
+ CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set_enabled");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_ASSERTC((source == CdlValueSource_Default) || !has_property(CdlPropertyId_Calculated));
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.set_enabled_and_value(enabled_arg, val, source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set(CdlTransaction transaction, CdlSimpleValue& val, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set");
+ CYG_REPORT_FUNCARG3XV(this, transaction, source);
+ CYG_ASSERTC((source == CdlValueSource_Default) || !has_property(CdlPropertyId_Calculated));
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = old_value;
+ new_value.set(val, source);
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+void
+CdlValuableBody::set(CdlTransaction transaction, const CdlValue& val)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::set");
+ CYG_REPORT_FUNCARG2XV(this, transaction);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(transaction);
+
+ const CdlValue& old_value = transaction->get_whole_value(this);
+ CdlValue new_value = val;
+ transaction->set_whole_value(this, old_value, new_value);
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ CdlValuable basics
+
+// ----------------------------------------------------------------------------
+// The CdlValuable class implements the concept of CDL objects that take
+// a value. There are lots of properties associated with that.
+
+CdlValuableBody::CdlValuableBody(CdlValueFlavor flavor)
+ : value(flavor)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable:: default constructor");
+ CYG_REPORT_FUNCARG1XV(this);
+
+ cdlvaluablebody_cookie = CdlValuableBody_Magic;
+ CYGDBG_MEMLEAK_CONSTRUCTOR();
+
+ CYG_POSTCONDITION_THISC();
+ CYG_REPORT_RETURN();
+}
+
+CdlValuableBody::~CdlValuableBody()
+{
+ CYG_REPORT_FUNCNAME("CdlValuableBody:: destructor");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ cdlvaluablebody_cookie = CdlValuableBody_Invalid;
+ CYGDBG_MEMLEAK_DESTRUCTOR();
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+
+std::string
+CdlValuableBody::get_class_name() const
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::get_class_name");
+ CYG_PRECONDITION_THISC();
+ CYG_REPORT_RETURN();
+ return "valuable";
+}
+
+// ----------------------------------------------------------------------------
+bool
+CdlValuableBody::check_this(cyg_assert_class_zeal zeal) const
+{
+ if (CdlValuableBody_Magic != cdlvaluablebody_cookie) {
+ return false;
+ }
+ CYGDBG_MEMLEAK_CHECKTHIS();
+
+ if (has_property(CdlPropertyId_Calculated) && (CdlValueSource_Default != value.get_source())) {
+ CYG_FAIL("Calculated valuables can only have a default value.");
+ return false;
+ }
+
+ return CdlNodeBody::check_this(zeal) && value.check_this(zeal);
+}
+
+//}}}
+//{{{ CdlValuable parsing support
+
+// ----------------------------------------------------------------------------
+// Parsing support. Adding the appropriate parsers is straightforward.
+
+void
+CdlValuableBody::add_property_parsers(std::vector<CdlInterpreterCommandEntry>& parsers)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::add_property_parsers");
+
+ static CdlInterpreterCommandEntry commands[] =
+ {
+ CdlInterpreterCommandEntry("active_if", &parse_active_if ),
+ CdlInterpreterCommandEntry("calculated", &parse_calculated ),
+ CdlInterpreterCommandEntry("check_proc", &parse_check_proc ),
+ CdlInterpreterCommandEntry("default_value", &parse_default_value),
+ CdlInterpreterCommandEntry("dialog", &parse_dialog ),
+ CdlInterpreterCommandEntry("entry_proc", &parse_entry_proc ),
+ CdlInterpreterCommandEntry("flavor", &parse_flavor ),
+ CdlInterpreterCommandEntry("group", &parse_group ),
+ CdlInterpreterCommandEntry("implements", &parse_implements ),
+ CdlInterpreterCommandEntry("legal_values", &parse_legal_values ),
+ CdlInterpreterCommandEntry("requires", &parse_requires ),
+ CdlInterpreterCommandEntry("wizard", &parse_wizard ),
+ CdlInterpreterCommandEntry("", 0 )
+ };
+
+ for (int i = 0; commands[i].command != 0; i++) {
+ std::vector<CdlInterpreterCommandEntry>::const_iterator j;
+ for (j = parsers.begin(); j != parsers.end(); j++) {
+ if (commands[i].name == j->name) {
+ if (commands[i].command != j->command) {
+ CYG_FAIL("Property names are being re-used");
+ }
+ break;
+ }
+ }
+ if (j == parsers.end()) {
+ parsers.push_back(commands[i]);
+ }
+ }
+ CdlNodeBody::add_property_parsers(parsers);
+
+ CYG_REPORT_RETURN();
+}
+
+// Validatation is quite a bit more complicated...
+void
+CdlValuableBody::check_properties(CdlInterpreter interp)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::check_properties");
+ CYG_REPORT_FUNCARG2XV(this, interp);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(interp);
+
+ // There should be at most one of flavor, entry_proc, check_proc,
+ // default_value, legal_values, dialog, and calculated. There can
+ // be any number of active_if, requires, and implements.
+ // NOTE: should multiple entry_proc's and check_proc's be allowed?
+ // This could prove useful if there are a sensible number
+ // of library check_proc's.
+ if (count_properties(CdlPropertyId_Flavor) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one flavor property.");
+ }
+ if (count_properties(CdlPropertyId_EntryProc) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one entry_proc property.");
+ }
+ if (count_properties(CdlPropertyId_CheckProc) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one check_proc property.");
+ }
+ if (count_properties(CdlPropertyId_DefaultValue) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one default_value property.");
+ }
+ if (count_properties(CdlPropertyId_LegalValues) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one legal_values property.");
+ }
+ if (count_properties(CdlPropertyId_Dialog) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one dialog property.");
+ }
+ if (count_properties(CdlPropertyId_Wizard) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one wizard property.");
+ }
+ if (count_properties(CdlPropertyId_Calculated) > 1) {
+ CdlParse::report_error(interp, "", "There should be at most one calculated property.");
+ }
+
+ // If there is a flavor property, update the flavor in the base class
+ if (has_property(CdlPropertyId_Flavor)) {
+ CdlProperty_String flavor_property = dynamic_cast<CdlProperty_String>(get_property(CdlPropertyId_Flavor));
+ CYG_ASSERTC(0 != flavor_property);
+
+ std::string flavor_string = flavor_property->get_string();
+ CdlValueFlavor flavor;
+ // The property parsing code should have caught any problems already.
+ if (!Cdl::string_to_flavor(flavor_string, flavor)) {
+ CdlParse::report_error(interp, "", "Invalid flavor " + flavor_string);
+ } else {
+ value.set_flavor(flavor);
+ }
+
+ // If the flavor is "none" then the entity is not modifiable,
+ // and most of the properties do not make sense. However this
+ // is not enforced at parse-time: temporarily switching to
+ // flavor none may make sense during debugging.
+ // FIXME: no longer correct
+ }
+
+ // For boolean entities legal_values does not make much sense.
+ // In theory a legal_values property could be used to restrict
+ // the value to just true or just false, but the same effect
+ // can be achieved more sensibly with a "requires" property.
+ //
+ // check_proc is allowed, this can be used to check programatically
+ // that the current value is legal.
+ if (CdlValueFlavor_Bool == get_flavor()) {
+ if (has_property(CdlPropertyId_LegalValues)) {
+ CdlParse::report_error(interp, "", "The \"legal_values\" property is not applicable to boolean entities.");
+ }
+ }
+
+ // default_value and calculated are mutually exclusive
+ if (has_property(CdlPropertyId_Calculated) && has_property(CdlPropertyId_DefaultValue)) {
+ CdlParse::report_error(interp, "", "The properties \"default_value\" and \"calculated\" cannot be used together.");
+ }
+
+#if 0
+ // Dialog is not mutually exclusive with entry_proc.
+ // Custom dialogs may not be supported, in which case it is likely that
+ // a text entry widget will be used and an entry_proc may well be
+ // applicable.
+ if (has_property(CdlPropertyId_Dialog) && has_property(CdlPropertyId_EntryProc)) {
+ CdlParse::report_error(interp, "", "The properties \"dialog\" and \"entry_proc\" cannot be used together.");
+ }
+#endif
+
+ // All of the expressions may be invalid because of unresolved references,
+ // ditto for implements and for dialog.
+
+ CdlNodeBody::check_properties(interp);
+
+ CYG_REPORT_RETURN();
+}
+
+//}}}
+//{{{ CdlValuable persistence support
+
+// ----------------------------------------------------------------------------
+void
+CdlValuableBody::initialize_savefile_support(CdlToplevel toplevel, std::string major_command)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::initialize_savefile_support");
+ CYG_PRECONDITION_CLASSC(toplevel);
+ CYG_PRECONDITIONC("" != major_command);
+
+ toplevel->add_savefile_subcommand(major_command, "value_source", 0, &savefile_value_source_command);
+ toplevel->add_savefile_subcommand(major_command, "user_value", 0, &savefile_user_value_command);
+ toplevel->add_savefile_subcommand(major_command, "wizard_value", 0, &savefile_wizard_value_command);
+ toplevel->add_savefile_subcommand(major_command, "inferred_value", 0, &savefile_inferred_value_command);
+
+ CYG_REPORT_RETURN();
+}
+
+// ----------------------------------------------------------------------------
+// Is a savefile entry actually needed for this valuable? When performing
+// a minimal save there is no point in outputting valuables which have
+// a default value.
+bool
+CdlValuableBody::value_savefile_entry_needed() const
+{
+ CYG_REPORT_FUNCNAMETYPE("CdlValuable::value_savefile_entry_needed", "result %d");
+ CYG_REPORT_FUNCARG1XV(this);
+ CYG_PRECONDITION_THISC();
+
+ bool result = false;
+
+ if (this->is_modifiable()) {
+ if (this->has_source(CdlValueSource_User) ||
+ this->has_source(CdlValueSource_Wizard) ||
+ this->has_source(CdlValueSource_Inferred)) {
+
+ result = true;
+ }
+ }
+
+ CYG_REPORT_RETVAL(result);
+ return result;
+}
+
+// ----------------------------------------------------------------------------
+// This utility is useful for outputting a particular value source
+
+static std::string one = "1"; // Needed to avoid confusing the compiler
+static std::string zero = "0";
+
+static std::string
+value_to_string(CdlValuable valuable, CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("value_to_string");
+
+ std::string data = "";
+
+ switch(valuable->get_flavor()) {
+ case CdlValueFlavor_Bool :
+ data += (valuable->is_enabled(source) ? one : zero);
+ break;
+ case CdlValueFlavor_BoolData :
+ data += (valuable->is_enabled(source) ? one : zero) + " " +
+ CdlInterpreterBody::quote(valuable->get_value(source));
+ break;
+ case CdlValueFlavor_Data:
+ data += CdlInterpreterBody::quote(valuable->get_value(source));
+ break;
+ default:
+ CYG_FAIL("Invalid value flavor detected");
+ break;
+ }
+ return data;
+}
+
+// Another utility to figure out the expected value source, given which
+// sources are available.
+static CdlValueSource
+get_expected_source(CdlValuable valuable)
+{
+ CYG_REPORT_FUNCNAMETYPE("get_expected_source", "result %d");
+ CYG_REPORT_FUNCARG1XV(valuable);
+
+ CdlValueSource expected_source = CdlValueSource_Default;
+
+ if (valuable->has_source(CdlValueSource_User)) {
+ expected_source = CdlValueSource_User;
+ } else if (valuable->has_source(CdlValueSource_Wizard)) {
+ expected_source = CdlValueSource_Wizard;
+ } else if (valuable->has_source(CdlValueSource_Inferred)) {
+ expected_source = CdlValueSource_Inferred;
+ }
+
+ CYG_REPORT_RETVAL((int) expected_source);
+ return expected_source;
+}
+
+// And another utility, to list the valuables listed in an expression.
+// e.g. for an expression of the form
+//
+// requires (AAA + BBB) > CCC
+//
+// this would produce:
+//
+// AAA == 1
+// BBB == 2
+// CCC == 0
+//
+// No indentation happens here, instead the calling code is assumed
+// to use multiline_comment()
+static std::string
+follow_expr_references(CdlProperty property, CdlExpression expr)
+{
+ CYG_REPORT_FUNCNAME("follow_expr_references");
+ CYG_REPORT_FUNCARG1XV(expr);
+ CYG_PRECONDITION_CLASSC(expr);
+
+ std::string data = "";
+ CdlSimpleValue simple_value;
+ std::vector<CdlReference>::const_iterator ref_i;
+
+ for (ref_i = expr->references.begin(); ref_i != expr->references.end(); ref_i++) {
+ const std::string& refname = ref_i->get_destination_name();
+ CdlNode refnode = ref_i->get_destination();
+ CdlValuable refvaluable = 0;
+ if (0 != refnode) {
+ refvaluable = dynamic_cast<CdlValuable>(refnode);
+ }
+ data += refname + " ";
+ if (0 == refvaluable) {
+ data += "(unknown) == 0";
+ } else {
+ CdlEvalContext context(0, refvaluable, property);
+ CdlSimpleValue::eval_valuable(context, refvaluable, simple_value);
+ data += "== " + CdlInterpreterBody::quote(simple_value.get_value());
+ }
+ data += '\n';
+ }
+
+ CYG_REPORT_RETURN();
+ return data;
+}
+
+// ----------------------------------------------------------------------------
+
+void
+CdlValuableBody::save(CdlInterpreter interp, Tcl_Channel chan, int indentation, bool modifiable, bool minimal)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::save");
+ CYG_REPORT_FUNCARG5XV(this, interp, chan, indentation, minimal);
+ CYG_PRECONDITION_THISC();
+ CYG_PRECONDITION_CLASSC(interp);
+
+ std::string data = "";
+ std::string indent_string = std::string(indentation, ' ');
+ std::string tmp_value = "";
+ CdlSimpleValue simple_value;
+
+ // If performing a minimal save, the only fields of interest are the
+ // user value, the wizard value, the inferred value, and the value source.
+ // Not all of these need be present.
+ //
+ // Having two places where these fields get output is unfortunate,
+ // but the alternative is an awful lot of "if (minimal)" tests
+ // in the main code.
+ if (minimal) {
+
+ if (modifiable) {
+ if (this->has_source(CdlValueSource_User)) {
+ data += indent_string + "user_value " + value_to_string(this, CdlValueSource_User) + "\n";
+ }
+ if (this->has_source(CdlValueSource_Wizard)) {
+ data += indent_string + "wizard_value " + value_to_string(this, CdlValueSource_Wizard) + "\n";
+ }
+ if (this->has_source(CdlValueSource_Inferred)) {
+ data += indent_string + "inferred_value " + value_to_string(this, CdlValueSource_Inferred) + "\n";
+ }
+ CdlValueSource expected_source = get_expected_source(this);
+ if (expected_source != this->get_source()) {
+ std::string current_source_string;
+ if (!Cdl::source_to_string(this->get_source(), current_source_string)) {
+ CYG_FAIL("Invalid current value source detected");
+ }
+ data += indent_string + "value_source " + current_source_string + "\n";
+ }
+ }
+
+ } else {
+
+ // Right at the start, indicate whether or not this property is active.
+ if (!this->is_active()) {
+ data += indent_string + "# This option is not active\n";
+ // If the entity is inactive because the parent is inactive or disabled,
+ // say so here. This is in addition to any unsatisfied active_if
+ // conditions, which will be reported below.
+ CdlContainer parent = this->get_parent();
+ if (!parent->is_active()) {
+ data += indent_string + "# The parent " + parent->get_name() + " is not active\n";
+ }
+ CdlValuable tmp = dynamic_cast<CdlValuable>(parent);
+ if ((0 != tmp) && !tmp->is_enabled()) {
+ data += indent_string + "# The parent " + parent->get_name() + " is disabled\n";
+ }
+ }
+ if (this->has_active_if_conditions()) {
+ std::vector<CdlProperty_GoalExpression> active_if_conditions;
+ this->get_active_if_conditions(active_if_conditions);
+ std::vector<CdlProperty_GoalExpression>::const_iterator expr_i;
+ for (expr_i = active_if_conditions.begin(); expr_i != active_if_conditions.end(); expr_i++) {
+ data += indent_string + "# ActiveIf constraint: " +
+ CdlInterpreterBody::extend_comment((*expr_i)->get_original_string(), indentation, 4) +
+ '\n';
+
+ CdlExpression expr = (*expr_i)->get_expression();
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(*expr_i, expr), indentation, 4);
+ CdlEvalContext context(0, this, *expr_i);
+ bool active_if_value = false;
+ try {
+ active_if_value = (*expr_i)->eval(context);
+ } catch(CdlEvalException e) {
+ active_if_value = false;
+ } catch(std::bad_alloc) {
+ throw;
+ }
+ data += indent_string + "# --> " + (active_if_value ? one : zero) + "\n";
+ }
+ }
+
+ // If there has been any information related to the active status,
+ // add a blank line before we start worrying about values.
+ if (0 < data.size()) {
+ data += '\n';
+ }
+
+ if (CdlValueFlavor_None == this->get_flavor()) {
+ data += indent_string + "# There is no associated value.\n";
+ } else if (this->has_property(CdlPropertyId_Calculated)) {
+ CdlProperty_Expression expr = this->get_calculated_expression();
+ data += indent_string + "# Calculated value: " +
+ CdlInterpreterBody::extend_comment(expr->get_original_string(), indentation, 4) + '\n';
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(expr, expr), indentation, 4);
+ } else if (!modifiable) {
+ data += indent_string + "# This value cannot be modified here.\n";
+ }
+
+ // Output the flavor. This clutters up the savefile a bit.
+ // However it is necessary so that the user can distinguish
+ // between bool, booldata and data items
+ switch(this->get_flavor()) {
+ case CdlValueFlavor_Bool:
+ data += indent_string + "# Flavor: bool\n";
+ break;
+ case CdlValueFlavor_BoolData:
+ data += indent_string + "# Flavor: booldata\n";
+ break;
+ case CdlValueFlavor_Data:
+ data += indent_string + "# Flavor: data\n";
+ break;
+ default:
+ break;
+ }
+
+ // If the value is not modifiable, just list the current value.
+ // This is not in a form that allows users to change it easily.
+ if (!modifiable) {
+ switch(this->get_flavor()) {
+ case CdlValueFlavor_None :
+ break;
+ case CdlValueFlavor_Bool :
+ data += indent_string + "# Current value: " + (this->is_enabled() ? one : zero) + '\n';
+ break;
+ case CdlValueFlavor_BoolData :
+ data += indent_string + "# Current value: " + (this->is_enabled() ? one : zero) + " " +
+ CdlInterpreterBody::extend_comment(this->get_value(), indentation, 4) + '\n';
+ break;
+ case CdlValueFlavor_Data :
+ data += indent_string + "# Current_value: " +
+ CdlInterpreterBody::extend_comment(this->get_value(), indentation, 4) + '\n';
+ break;
+ default:
+ break;
+ }
+
+ } else if (CdlValueFlavor_None != this->get_flavor()) {
+
+ // If there is a user value, output it. Otherwise output
+ // a comment that allows users to edit the user value conveniently.
+ // It is assumed that the user will want a value similar to the
+ // default one, so that is provided as the starting point
+ if (this->has_source(CdlValueSource_User)) {
+ data += indent_string + "user_value " + value_to_string(this, CdlValueSource_User) + "\n";
+ } else {
+ data += indent_string + "# No user value, uncomment the following line to provide one.\n" +
+ indent_string + "# user_value " +
+ CdlInterpreterBody::extend_comment(value_to_string(this, CdlValueSource_Default), indentation, 0) + "\n";
+ }
+
+ // Output a wizard value iff there is one. There is little point
+ // in letting users edit a wizard value, they should be running
+ // the wizard itself.
+ if (this->has_source(CdlValueSource_Wizard)) {
+ data += indent_string + "# The wizard value should not be edited directly.\n" +
+ indent_string + "# Instead the wizard should be run again if necessary.\n";
+ data += indent_string + "wizard_value " + value_to_string(this, CdlValueSource_Wizard) + "\n";
+ }
+
+ // List the inferred value. This needs to be a command,
+ if (this->has_source(CdlValueSource_Inferred)) {
+ data += indent_string + "# The inferred value should not be edited directly.\n";
+ data += indent_string + "inferred_value " + value_to_string(this, CdlValueSource_Inferred) + "\n";
+ }
+
+ // Output the value source iff it is unusual. If the current
+ // source is the highest priority one then there is no point
+ // in outputting a command, but a comment is usual. The value
+ // source needs to come after wizard and inferred values
+ std::string current_source_string;
+ CdlValueSource expected_source = get_expected_source(this);
+ CdlValueSource current_source = this->get_source();
+ if (!Cdl::source_to_string(current_source, current_source_string)) {
+ CYG_FAIL("Invalid current value source detected");
+ }
+ if (this->get_source() == expected_source) {
+ data += indent_string + "# value_source " + current_source_string + "\n";
+ } else {
+ data += indent_string + "value_source " + current_source_string + "\n";
+ }
+
+ // Always output the default value as a comment.
+ data += indent_string + "# Default value: ";
+
+ // If there is no default_value expression or if the expression involves
+ // only constants, just output the current default value. Otherwise
+ // output both the expression and the value
+ CdlProperty prop = this->get_property(CdlPropertyId_DefaultValue);
+ CdlProperty_Expression expr = dynamic_cast<CdlProperty_Expression>(prop);
+ if ((0 == expr) || (0 == expr->references.size())) {
+ // There is no default_value expression, so just output the current value
+ data += CdlInterpreterBody::extend_comment(value_to_string(this, CdlValueSource_Default), indentation, 4)
+ + "\n";
+ } else {
+ data += CdlInterpreterBody::extend_comment(expr->get_original_string(), indentation, 4) + "\n";
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(expr, expr), indentation, 4);
+ data += indent_string + "# --> " +
+ CdlInterpreterBody::extend_comment(value_to_string(this, CdlValueSource_Default), indentation, 4) + "\n";
+ }
+ }
+
+ // If there is a legal_values property, add the details.
+ if (this->has_property(CdlPropertyId_LegalValues)) {
+ CdlProperty_ListExpression lexpr = this->get_legal_values();
+ data += indent_string + "# Legal values: " +
+ CdlInterpreterBody::extend_comment(lexpr->get_original_string(), indentation, 4) + '\n';
+
+ std::vector<CdlExpression>::const_iterator expr_i;
+ std::vector<std::pair<CdlExpression,CdlExpression> >::const_iterator ranges_i;
+ for (expr_i = lexpr->data.begin(); expr_i != lexpr->data.end(); expr_i++) {
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(lexpr, *expr_i), indentation, 4);
+ }
+ for (ranges_i = lexpr->ranges.begin(); ranges_i != lexpr->ranges.end(); ranges_i++) {
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(lexpr, ranges_i->first), indentation, 4);
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(lexpr, ranges_i->second), indentation, 4);
+ }
+ }
+
+ // If there is a check_proc property, mention this.
+ if (this->has_property(CdlPropertyId_CheckProc)) {
+ data += indent_string + "# There is a check_proc routine that will check the value.\n";
+ }
+
+ // Output all requires properties
+ if (this->has_property(CdlPropertyId_Requires)) {
+ std::vector<CdlProperty_GoalExpression> requires_goals;
+ this->get_requires_goals(requires_goals);
+ std::vector<CdlProperty_GoalExpression>::const_iterator expr_i;
+ for (expr_i = requires_goals.begin(); expr_i != requires_goals.end(); expr_i++) {
+ data += indent_string + "# Requires: " +
+ CdlInterpreterBody::extend_comment((*expr_i)->get_original_string(), indentation, 4) + "\n";
+
+ CdlExpression expr = (*expr_i)->get_expression();
+ data += CdlInterpreterBody::multiline_comment(follow_expr_references(*expr_i, expr), indentation, 4);
+ CdlEvalContext context(0, this, *expr_i);
+ bool active_if_value = false;
+ try {
+ active_if_value = (*expr_i)->eval(context);
+ } catch(CdlEvalException e) {
+ active_if_value = false;
+ } catch(std::bad_alloc) {
+ throw;
+ }
+ data += indent_string + "# --> " + (active_if_value ? one : zero) + "\n";
+ }
+ }
+
+ // Output all dependencies that other entities may have on this one.
+ const std::vector<CdlReferrer>& referrers = this->get_referrers();
+ if (0 != referrers.size()) {
+ data += '\n' + indent_string + "# The following properties are affected by this value\n";
+ std::vector<CdlReferrer>::const_iterator ref_i;
+ for (ref_i = referrers.begin(); ref_i != referrers.end(); ref_i++) {
+
+ CdlNode source = ref_i->get_source();
+ CdlProperty source_prop = ref_i->get_source_property();
+ std::string prop_id = source_prop->get_property_name();
+
+ if ((prop_id == CdlPropertyId_ActiveIf) ||
+ (prop_id == CdlPropertyId_Calculated) ||
+ (prop_id == CdlPropertyId_DefaultValue) ||
+ (prop_id == CdlPropertyId_LegalValues) ||
+ (prop_id == CdlPropertyId_Requires)) {
+
+ data += indent_string + "# " + source->get_class_name() + " " + source->get_name() + "\n";
+ data += indent_string + "# " + prop_id + ": ";
+ if ((prop_id == CdlPropertyId_Calculated) || (prop_id == CdlPropertyId_DefaultValue)) {
+ CdlProperty_Expression expr = dynamic_cast<CdlProperty_Expression>(source_prop);
+ CYG_ASSERT_CLASSC(expr);
+ data += CdlInterpreterBody::extend_comment(expr->get_original_string(), indentation, 4);
+ } else if (prop_id == CdlPropertyId_LegalValues) {
+ CdlProperty_ListExpression lexpr = dynamic_cast<CdlProperty_ListExpression>(source_prop);
+ CYG_ASSERT_CLASSC(lexpr);
+ data += CdlInterpreterBody::extend_comment(lexpr->get_original_string(), indentation, 4);
+ } else if ((prop_id == CdlPropertyId_ActiveIf) || (prop_id == CdlPropertyId_Requires)) {
+ CdlProperty_GoalExpression gexpr = dynamic_cast<CdlProperty_GoalExpression>(source_prop);
+ CYG_ASSERT_CLASSC(gexpr);
+ data += CdlInterpreterBody::extend_comment(gexpr->get_original_string(), indentation, 4);
+ }
+ data += '\n';
+ }
+ }
+ }
+ }
+
+ interp->write_data(chan, data);
+
+ CYG_REPORT_RETURN();
+}
+
+int
+CdlValuableBody::savefile_value_source_command(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::savefile_value_source_command");
+ CYG_REPORT_FUNCARG2XV(interp, argc);
+ CYG_PRECONDITION_CLASSC(interp);
+
+ CdlValuable valuable = dynamic_cast<CdlValuable>(interp->get_node());
+ CYG_ASSERT_CLASSC(valuable);
+ CdlTransaction transaction = interp->get_transaction();
+ CYG_ASSERT_CLASSC(transaction);
+
+ CdlValueSource source = CdlValueSource_Invalid;
+ if ((2 != argc) || !Cdl::string_to_source(argv[1], source) || !valuable->has_source(transaction, source)) {
+ std::string msg = "Invalid value_source command for ";
+ msg += valuable->get_class_name() + " " + valuable->get_name() + "\n";
+ if (CdlValueSource_Invalid == source) {
+ msg += "Expecting one argument, which should \"user\", \"wizard\", \"inferred\" or \"default\"";
+ } else {
+ msg += "The specified value source is not valid.";
+ }
+ CdlParse::report_error(interp, "", msg);
+ } else {
+ valuable->set_source(transaction, source);
+ }
+
+ return TCL_OK;
+}
+
+int
+CdlValuableBody::savefile_xxx_value_command(CdlInterpreter interp, int argc, const char* argv[], CdlValueSource source)
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::savefile_xxx_value_command");
+ CYG_REPORT_FUNCARG3XV(interp, argc, source);
+ CYG_PRECONDITION_CLASSC(interp);
+
+ CdlValuable valuable = dynamic_cast<CdlValuable>(interp->get_node());
+ CYG_ASSERT_CLASSC(valuable);
+ CdlTransaction transact = interp->get_transaction();
+ CYG_ASSERT_CLASSC(transact);
+
+ bool error = false;
+ bool warn = false;
+ std::string msg = "";
+ if (CdlValueFlavor_None == valuable->get_flavor()) {
+ msg = "Options with flavor \"none\" cannot be modified.";
+ error = true;
+ } else if (!valuable->is_modifiable()) {
+ msg = "This option is not user-modifiable.";
+ error = true;
+ } else {
+ switch(valuable->get_flavor()) {
+ case CdlValueFlavor_Bool :
+ if (2 != argc) {
+ msg = "Invalid boolean value, expecting 0 or 1";
+ error = true;
+ } else {
+ bool x;
+ Cdl::string_to_bool(argv[1], x);
+ valuable->set_enabled(transact, x, source);
+ }
+ break;
+ case CdlValueFlavor_Data :
+ if (2 != argc) {
+ msg = "Invalid data value, expecting a single string";
+ error = true;
+ } else {
+ valuable->set_value(transact, argv[1], source);
+ }
+ break;
+ case CdlValueFlavor_BoolData:
+ if (3 != argc) {
+ msg = "Invalid booldata value, expecting a boolean followed by a string";
+ error = true;
+ } else {
+ bool x;
+ Cdl::string_to_bool(argv[1], x);
+ valuable->set_enabled_and_value(transact, x, argv[2], source);
+ }
+ break;
+ default:
+ CYG_FAIL("Invalid value flavor detected");
+ break;
+ }
+ }
+
+ if (error || warn) {
+ msg = std::string("Invalid value command for ") + valuable->get_class_name() + " " + valuable->get_name() + "\n"
+ + msg;
+ if (error) {
+ CdlParse::report_error(interp, "", msg);
+ } else {
+ CdlParse::report_warning(interp, "", msg);
+ }
+ }
+
+ return TCL_OK;
+}
+
+int
+CdlValuableBody::savefile_user_value_command(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::savefile_user_value_command");
+ int result = CdlValuableBody::savefile_xxx_value_command(interp, argc, argv, CdlValueSource_User);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+int
+CdlValuableBody::savefile_wizard_value_command(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::savefile_wizard_value_command");
+ int result = CdlValuableBody::savefile_xxx_value_command(interp, argc, argv, CdlValueSource_Wizard);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+int
+CdlValuableBody::savefile_inferred_value_command(CdlInterpreter interp, int argc, const char* argv[])
+{
+ CYG_REPORT_FUNCNAME("CdlValuable::savefile_inferred_value_command");
+ int result = CdlValuableBody::savefile_xxx_value_command(interp, argc, argv, CdlValueSource_Inferred);
+ CYG_REPORT_RETURN();
+ return result;
+}
+
+//}}}