flash_v2: host/libcdl/func.cxx annotate

annotate host/libcdl/func.cxx @ 1723:0cc13d07a67e

* src/flash.c: Support flash blocks of arbitary size. The DataFlash devices for example have block of 528 bytes.

author	asl
date	Thu, 09 Sep 2004 13:11:46 +0000
parents	0d2b193a635f
children

rev	line source
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	1 //{{{ Banner
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	2
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	3 //============================================================================
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	4 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	5 // func.cxx
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	6 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	7 // Implementation of CDL functions
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	8 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	9 //============================================================================
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	10 //####COPYRIGHTBEGIN####
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	11 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	12 // ----------------------------------------------------------------------------
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	13 // Copyright (C) 2001 Red Hat, Inc.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	14 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	15 // This file is part of the eCos host tools.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	16 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	17 // This program is free software; you can redistribute it and/or modify it
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	18 // under the terms of the GNU General Public License as published by the Free
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	19 // Software Foundation; either version 2 of the License, or (at your option)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	20 // any later version.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	21 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	22 // This program is distributed in the hope that it will be useful, but WITHOUT
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	23 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	24 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	25 // more details.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	26 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	27 // You should have received a copy of the GNU General Public License along with
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	28 // this program; if not, write to the Free Software Foundation, Inc.,
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	29 // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	30 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	31 // ----------------------------------------------------------------------------
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	32 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	33 //####COPYRIGHTEND####
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	34 //============================================================================
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	35 //#####DESCRIPTIONBEGIN####
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	36 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	37 // Author(s): bartv
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	38 // Contact(s): bartv
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	39 // Date: 2001/04/20
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	40 // Version: 0.01
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	41 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	42 //####DESCRIPTIONEND####
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	43 //============================================================================
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	44
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	45 //}}}
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	46 //{{{ #include's
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	47
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	48 // ----------------------------------------------------------------------------
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	49 #include "cdlconfig.h"
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	50
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	51 // Get the infrastructure types, assertions, tracing and similar
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	52 // facilities.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	53 #include <cyg/infra/cyg_ass.h>
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	54 #include <cyg/infra/cyg_trac.h>
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	55
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	56 // <cdlcore.hxx> defines everything implemented in this module.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	57 // It implicitly supplies <string>, <vector> and <map> because
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	58 // the class definitions rely on these headers.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	59 #include <cdlcore.hxx>
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	60
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	61 //}}}
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	62
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	63 //{{{ Core
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	64
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	65 // ----------------------------------------------------------------------------
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	66 int CdlFunction::next_id = 1;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	67 std::vector<CdlFunction*> CdlFunction::all_functions;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	68
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	69 // Dummy initializers, for e.g. when a particular function implementation does not
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	70 // support a certain type of inference.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	71 void (*CdlFunction::null_check)(CdlExpression, const CdlSubexpression&) =
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	72 (void (*)(CdlExpression, const CdlSubexpression&)) 0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	73 bool (*CdlFunction::null_infer_bool)(CdlTransaction, CdlExpression, unsigned int, bool, int) =
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	74 (bool (*)(CdlTransaction, CdlExpression, unsigned int, bool, int)) 0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	75 bool (*CdlFunction::null_infer_value)(CdlTransaction, CdlExpression, unsigned int, CdlSimpleValue&, int) =
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	76 (bool (*)(CdlTransaction, CdlExpression, unsigned int, CdlSimpleValue&, int)) 0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	77
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	78
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	79 CdlFunction::CdlFunction(const char* name_arg, int number_args_arg,
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	80 void (*check_arg)(CdlExpression, const CdlSubexpression&),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	81 void (*eval_arg)(CdlEvalContext&, CdlExpression, const CdlSubexpression&, CdlSimpleValue&),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	82 bool (*infer_bool_arg)(CdlTransaction, CdlExpression, unsigned int, bool, int),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	83 bool (*infer_value_arg)(CdlTransaction, CdlExpression, unsigned int, CdlSimpleValue&, int))
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	84 : name(name_arg),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	85 number_args(number_args_arg),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	86 check_fn(check_arg),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	87 eval_fn(eval_arg),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	88 infer_bool_fn(infer_bool_arg),
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	89 infer_value_fn(infer_value_arg)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	90 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	91 id = next_id++;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	92 all_functions.push_back(this);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	93 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	94
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	95 CdlFunction::~CdlFunction()
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	96 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	97 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	98
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	99 bool
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	100 CdlFunction::is_function(std::string name, int& id)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	101 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	102 CYG_REPORT_FUNCNAMETYPE("CdlFunction::is_function", "result %d");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	103
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	104 bool result = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	105 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	106
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	107 for (i = all_functions.begin(); !result && (i != all_functions.end()); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	108 if (name == (*i)->name) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	109 result = true;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	110 id = (*i)->id;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	111 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	112 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	113
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	114 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	115 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	116 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	117
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	118 std::string
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	119 CdlFunction::get_name(int id)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	120 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	121 CYG_REPORT_FUNCNAME("CdlFunction::get_name");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	122 CYG_REPORT_FUNCARG1XV(id);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	123
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	124 std::string result = "";
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	125 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	126
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	127 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	128 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	129 result = (*i)->name;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	130 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	131 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	132 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	133
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	134 CYG_REPORT_RETURN();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	135 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	136 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	137
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	138 int
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	139 CdlFunction::get_args_count(int id)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	140 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	141 CYG_REPORT_FUNCNAMETYPE("CdlFunction::get_args_count", "result %d");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	142 CYG_REPORT_FUNCARG1XV(id);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	143
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	144 int result = 0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	145 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	146
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	147 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	148 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	149 result = (*i)->number_args;;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	150 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	151 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	152 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	153 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	154 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	155 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	156
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	157 void
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	158 CdlFunction::check(CdlExpression expr, const CdlSubexpression& subexpr)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	159 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	160 CYG_REPORT_FUNCNAME("CdlFunction::check");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	161 CYG_REPORT_FUNCARG2XV(expr, &subexpr);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	162
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	163 int id = subexpr.func;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	164 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	165
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	166 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	167 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	168 if (CdlFunction::null_check != (*i)->check_fn) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	169 (((i)->check_fn))(expr, subexpr);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	170 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	171 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	172 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	173 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	174
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	175 CYG_REPORT_RETURN();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	176 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	177
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	178 void
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	179 CdlFunction::eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	180 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	181 CYG_REPORT_FUNCNAME("CdlFunction::eval");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	182 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	183
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	184 int id = subexpr.func;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	185 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	186
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	187 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	188 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	189 (((i)->eval_fn))(context, expr, subexpr, result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	190 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	191 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	192 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	193
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	194 CYG_REPORT_RETURN();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	195 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	196
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	197 bool
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	198 CdlFunction::infer_bool(CdlTransaction transaction, CdlExpression expr, unsigned int index, bool goal, int level)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	199 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	200 CYG_REPORT_FUNCNAMETYPE("CdlFunction::infer_bool", "result %d");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	201 CYG_REPORT_FUNCARG5XV(transaction, expr, index, goal, level);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	202
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	203 bool result = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	204 CdlSubexpression& subexpr = expr->sub_expressions[index];
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	205 int id = subexpr.func;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	206 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	207
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	208 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	209 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	210 if (CdlFunction::null_infer_bool != (*i)->infer_bool_fn) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	211 result = (((i)->infer_bool_fn))(transaction, expr, index, goal, level);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	212 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	213 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	214 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	215 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	216
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	217 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	218 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	219 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	220
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	221 bool
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	222 CdlFunction::infer_value(CdlTransaction transaction, CdlExpression expr, unsigned int index, CdlSimpleValue& goal, int level)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	223 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	224 CYG_REPORT_FUNCNAMETYPE("CdlFunction::infer_value", "result %d");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	225 CYG_REPORT_FUNCARG5XV(transaction, expr, index, &goal, level);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	226
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	227 bool result = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	228 CdlSubexpression& subexpr = expr->sub_expressions[index];
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	229 int id = subexpr.func;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	230 std::vector<CdlFunction*>::const_iterator i;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	231
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	232 for (i = all_functions.begin(); i != all_functions.end(); i++) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	233 if (id == (*i)->id) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	234 if (CdlFunction::null_infer_value != (*i)->infer_value_fn) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	235 result = (((i)->infer_value_fn))(transaction, expr, index, goal, level);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	236 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	237 break;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	238 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	239 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	240
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	241 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	242 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	243 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	244
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	245 //}}}
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	246 //{{{ is_substr()
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	247
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	248 // ----------------------------------------------------------------------------
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	249 // is_substr(A, B)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	250 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	251 // For example, is_substr(CYGBLD_GLOBAL_CFLAGS, " -fno-exceptions ")
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	252 //
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	253 // There is one subtlety about substring matching: what to do about the
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	254 // start and end of a string. If the specified substring begins with a
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	255 // space then this will match either a space or the start of the string,
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	256 // similarly for the final character.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	257
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	258 static std::string::size_type
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	259 is_substr_find(std::string haystack, std::string needle, std::string::size_type& len_arg)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	260 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	261 CYG_REPORT_FUNCNAMETYPE("is_substr_find", "result %d");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	262 std::string::size_type result = std::string::npos;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	263
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	264 std::string::size_type haystack_len = haystack.length();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	265 std::string::size_type needle_len = needle.length();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	266
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	267 bool leading_space = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	268 bool trailing_space = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	269
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	270 if (' ' == needle[0]) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	271 leading_space = true;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	272 needle_len--;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	273 needle = std::string(needle, 1, needle_len);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	274 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	275 if (' ' == needle[needle_len - 1]) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	276 trailing_space = true;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	277 needle_len--;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	278 needle = std::string(needle, 0, needle_len);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	279 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	280
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	281 std::string::size_type posn = haystack.find(needle);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	282 while ((std::string::npos == result) && (std::string::npos != posn)) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	283
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	284 std::string::size_type match_point = posn;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	285 bool match = true;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	286
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	287 // A possible match has been found. If there was a leading
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	288 // space, check we are either at the start of the main string
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	289 // or that a space is present.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	290 if (leading_space && (0 != posn) && (' ' != haystack[posn - 1])) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	291 match = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	292 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	293 if (trailing_space && (haystack_len != (posn + needle_len)) && (' ' != haystack[posn + needle_len])) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	294 match = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	295 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	296
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	297 // The result and len_arg returns exclude the spaces. This is deliberate.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	298 // Consider !is_substr("-g -O2 -fno-rtti -fno-exceptions", " -fnortti ").
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	299 // If during inference the spaces were removed as well, this would give
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	300 // "-g -O2-fno-exceptions", which is not desirable.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	301 if (match) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	302 result = match_point;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	303 len_arg = needle_len;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	304 } else {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	305 posn = haystack.find(needle, posn + 1);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	306 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	307 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	308
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	309 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	310 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	311 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	312
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	313 static void
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	314 is_substr_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	315 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	316 CYG_REPORT_FUNCNAME("is_substr_eval");
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	317 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	318 CYG_PRECONDITION_CLASSOC(context);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	319 CYG_PRECONDITION_CLASSC(expr);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	320
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	321 CdlSimpleValue arg0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	322 CdlSimpleValue arg1;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	323 expr->eval_subexpression(context, subexpr.args[0], arg0);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	324 expr->eval_subexpression(context, subexpr.args[1], arg1);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	325
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	326 std::string::size_type len;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	327 result = (std::string::npos != is_substr_find(arg0.get_value(), arg1.get_value(), len));
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	328 CYG_REPORT_RETURN();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	329 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	330
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	331 // Inference is only supported if the haystack argument is a reference that can be
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	332 // updated. The needle can be an arbitrary expression.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	333 static bool
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	334 is_substr_infer_bool(CdlTransaction transaction, CdlExpression expr, unsigned int index, bool goal, int level)
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	335 {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	336 CYG_REPORT_FUNCNAMETYPE("is_substr_infer_bool", "result %d");
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	337 CYG_REPORT_FUNCARG5XV(transaction, expr, index, goal, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	338
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	339 bool result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	340
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	341 CdlSubexpression& subexpr = expr->sub_expressions[index];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	342 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	343 try {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	344 if (CdlExprOp_Reference == arg0.op) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	345
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	346 CdlSimpleValue needle_value;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	347 CdlEvalContext context(transaction);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	348 expr->eval_subexpression(context, subexpr.args[1], needle_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	349 std::string needle = needle_value.get_value();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	350
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	351 CdlNode node = expr->references[arg0.reference_index].get_destination();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	352 CdlValuable valuable = 0;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	353 if (0 != node) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	354 valuable = dynamic_cast<CdlValuable>(node);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	355 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	356 if ((0 != valuable) && ((CdlValueFlavor_BoolData == valuable->get_flavor()) \|\|
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	357 (CdlValueFlavor_Data == valuable->get_flavor()))) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	358 // OK, we have a valuable which can be given a suitable value.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	359 // What is the current string?
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	360 const CdlValue& current_value = transaction->get_whole_value(valuable);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	361 std::string haystack = current_value.get_simple_value().get_value();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	362
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	363 // What is the goal? If the needle should be in the
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	364 // haystack, append it if necessary. If the needle
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	365 // should not be in the haystack, remove all current occurrences.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	366 if (goal) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	367 std::string::size_type len;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	368 if (std::string::npos == is_substr_find(haystack, needle, len)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	369 haystack = haystack + needle;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	370 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	371 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	372 std::string::size_type posn, len;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	373 for (posn = is_substr_find(haystack, needle, len);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	374 std::string::npos != posn;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	375 posn = is_substr_find(haystack, needle, len)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	376 haystack.erase(posn, len);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	377 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	378 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	379
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	380 // OK, we have a new value for the haystack which should match the desired goal.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	381 // Try and set this value.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	382 CdlSimpleValue new_value(haystack);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	383 result = CdlInfer::set_valuable_value(transaction, valuable, new_value, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	384 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	385 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	386 } catch (...) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	387 result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	388 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	389
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	390 CYG_REPORT_RETVAL(result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	391 return result;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	392 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	393
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	394 static CdlFunction is_substr("is_substr", 2, CdlFunction::null_check, &is_substr_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	395 &is_substr_infer_bool, CdlFunction::null_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	396
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	397 //}}}
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	398 //{{{ is_xsubstr()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	399
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	400 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	401 // is_xsubstr(A, B)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	402 //
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	403 // Like is_substr() but only deals with exact matches, i.e. there is no special
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	404 // treatment for leading and trailing spaces in the needle.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	405
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	406 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	407 is_xsubstr_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	408 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	409 CYG_REPORT_FUNCNAME("is_xsubstr_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	410 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	411 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	412 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	413
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	414 CdlSimpleValue arg0;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	415 CdlSimpleValue arg1;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	416 expr->eval_subexpression(context, subexpr.args[0], arg0);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	417 expr->eval_subexpression(context, subexpr.args[1], arg1);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	418
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	419 result = (std::string::npos != arg0.get_value().find(arg1.get_value()));
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	420 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	421 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	422
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	423 // Inference is only supported if the haystack argument is a reference that can be
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	424 // updated. The needle can be an arbitrary expression.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	425 static bool
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	426 is_xsubstr_infer_bool(CdlTransaction transaction, CdlExpression expr, unsigned int index, bool goal, int level)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	427 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	428 CYG_REPORT_FUNCNAMETYPE("is_xsubstr_infer_bool", "result %d");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	429 CYG_REPORT_FUNCARG5XV(transaction, expr, index, goal, level);
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	430
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	431 bool result = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	432
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	433 CdlSubexpression& subexpr = expr->sub_expressions[index];
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	434 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	435 try {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	436 if (CdlExprOp_Reference == arg0.op) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	437
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	438 CdlSimpleValue needle_value;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	439 CdlEvalContext context(transaction);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	440 expr->eval_subexpression(context, subexpr.args[1], needle_value);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	441 std::string needle = needle_value.get_value();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	442
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	443 CdlNode node = expr->references[arg0.reference_index].get_destination();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	444 CdlValuable valuable = 0;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	445 if (0 != node) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	446 valuable = dynamic_cast<CdlValuable>(node);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	447 }
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	448 if ((0 != valuable) && ((CdlValueFlavor_BoolData == valuable->get_flavor()) \|\|
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	449 (CdlValueFlavor_Data == valuable->get_flavor()))) {
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	450 // OK, we have a valuable which can be given a suitable value.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	451 // What is the current string?
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	452 const CdlValue& current_value = transaction->get_whole_value(valuable);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	453 std::string haystack = current_value.get_simple_value().get_value();
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	454
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	455 // What is the goal? If the needle should be in the
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	456 // haystack, append it if necessary. If the needle
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	457 // should not be in the haystack, remove all current occurrences.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	458 if (goal) {
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	459 if (std::string::npos == haystack.find(needle)) {
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	460 haystack = haystack + needle;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	461 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	462 } else {
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	463 std::string::size_type posn;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	464 for (posn = haystack.find(needle); std::string::npos != posn; posn = haystack.find(needle)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	465 haystack.erase(posn, needle.length());
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	466 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	467 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	468
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	469 // OK, we have a new value for the haystack which should match the desired goal.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	470 // Try and set this value.
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	471 CdlSimpleValue new_value(haystack);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	472 result = CdlInfer::set_valuable_value(transaction, valuable, new_value, level);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	473 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	474 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	475 } catch (...) {
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	476 result = false;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	477 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	478
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	479 CYG_REPORT_RETVAL(result);
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	480 return result;
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	481 }
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	482
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	483 static CdlFunction is_xsubstr("is_xsubstr", 2, CdlFunction::null_check, &is_xsubstr_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	484 &is_xsubstr_infer_bool, CdlFunction::null_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	485
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	486 //}}}
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	487 //{{{ is_loaded()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	488
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	489 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	490 // is_loaded(x)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	491 // Check whether or not a particular configuration option is loaded.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	492 // This takes a single argument which must be a reference. No
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	493 // inference is possible, since loading and unloading packages is
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	494 // currently beyond the scope of the inference engine.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	495
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	496 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	497 is_loaded_check(CdlExpression expr, const CdlSubexpression& subexpr)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	498 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	499 CYG_REPORT_FUNCNAME("is_loaded_check");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	500 CYG_REPORT_FUNCARG2XV(expr, &subexpr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	501
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	502 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	503 if (CdlExprOp_Reference != arg0.op) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	504 throw CdlParseException(std::string("The argument to is_loaded() should be a reference to a configuration option.\n") +
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	505 CdlParse::get_expression_error_location());
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	506 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	507
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	508 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	509 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	510
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	511 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	512 is_loaded_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	513 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	514 CYG_REPORT_FUNCNAME("is_loaded_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	515 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	516 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	517 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	518
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	519 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	520 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	521
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	522 result = (0 != context.resolve_reference(expr, arg0.reference_index));
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	523 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	524 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	525
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	526 static CdlFunction is_loaded("is_loaded", 1, &is_loaded_check, &is_loaded_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	527 CdlFunction::null_infer_bool, CdlFunction::null_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	528
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	529 //}}}
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	530 //{{{ is_active()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	531
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	532 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	533 // is_active(x)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	534 // Check whether or not a particular configuration option is loaded
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	535 // and active. This takes a single argument which must be a reference.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	536
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	537 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	538 is_active_check(CdlExpression expr, const CdlSubexpression& subexpr)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	539 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	540 CYG_REPORT_FUNCNAME("is_active_check");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	541 CYG_REPORT_FUNCARG2XV(expr, &subexpr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	542
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	543 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	544 if (CdlExprOp_Reference != arg0.op) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	545 throw CdlParseException(std::string("The argument to is_active() should be a reference to a configuration option.\n") +
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	546 CdlParse::get_expression_error_location());
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	547 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	548
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	549 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	550 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	551
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	552 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	553 is_active_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	554 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	555 CYG_REPORT_FUNCNAME("is_active_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	556 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	557 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	558 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	559
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	560 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	561 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	562
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	563 CdlNode node = context.resolve_reference(expr, arg0.reference_index);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	564 if (0 != node) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	565 result = node->is_active(context.transaction);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	566 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	567 result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	568 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	569 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	570 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	571
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	572 static bool
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	573 is_active_infer_bool(CdlTransaction transaction, CdlExpression expr, unsigned int index, bool goal, int level)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	574 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	575 CYG_REPORT_FUNCNAMETYPE("is_active_infer_bool", "result %d");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	576 CYG_REPORT_FUNCARG5XV(transaction, expr, index, goal, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	577
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	578 bool result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	579
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	580 CdlSubexpression subexpr = expr->sub_expressions[index];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	581 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	582 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	583
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	584 CdlNode node = expr->references[arg0.reference_index].get_destination();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	585 if (0 != node) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	586 if (goal) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	587 result = CdlInfer::make_active(transaction, node, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	588 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	589 result = CdlInfer::make_inactive(transaction, node, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	590 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	591 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	592
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	593 CYG_REPORT_RETVAL(result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	594 return result;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	595 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	596
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	597 static CdlFunction is_active("is_active", 1, &is_active_check, &is_active_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	598 &is_active_infer_bool, CdlFunction::null_infer_value);
159 511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	599
511f4dc167f6 Merge from eCos master repository on 2001-05-18-01:30:05-BST jlarmour parents: diff changeset	600 //}}}
163 0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	601 //{{{ is_enabled()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	602
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	603 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	604 // is_enabled(x)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	605 // Check whether or not a particular configuration option is loaded
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	606 // and enabled. The active/inactive state is ignored. This function
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	607 // takes a single argument which must be a reference.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	608
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	609 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	610 is_enabled_check(CdlExpression expr, const CdlSubexpression& subexpr)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	611 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	612 CYG_REPORT_FUNCNAME("is_enabled_check");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	613 CYG_REPORT_FUNCARG2XV(expr, &subexpr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	614
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	615 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	616 if (CdlExprOp_Reference != arg0.op) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	617 throw CdlParseException(std::string("The argument to is_enabled() should be a reference to a configuration option.\n") +
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	618 CdlParse::get_expression_error_location());
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	619 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	620
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	621 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	622 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	623
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	624 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	625 is_enabled_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	626 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	627 CYG_REPORT_FUNCNAME("is_enabled_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	628 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	629 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	630 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	631
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	632 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	633 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	634
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	635 CdlValuable valuable = context.resolve_valuable_reference(expr, arg0.reference_index);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	636 if (0 != valuable) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	637 if (0 != context.transaction) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	638 result = valuable->is_enabled(context.transaction);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	639 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	640 result = valuable->is_enabled();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	641 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	642 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	643 result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	644 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	645 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	646 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	647
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	648 static bool
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	649 is_enabled_infer_bool(CdlTransaction transaction, CdlExpression expr, unsigned int index, bool goal, int level)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	650 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	651 CYG_REPORT_FUNCNAMETYPE("is_enabled_infer_bool", "result %d");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	652 CYG_REPORT_FUNCARG5XV(transaction, expr, index, goal, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	653
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	654 bool result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	655
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	656 CdlSubexpression subexpr = expr->sub_expressions[index];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	657 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	658 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	659
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	660 CdlNode node = expr->references[arg0.reference_index].get_destination();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	661 if (0 != node) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	662 CdlValuable valuable = dynamic_cast<CdlValuable>(node);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	663 if (0 != valuable) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	664 // OK, we have found a valuable. Is it already enabled?
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	665 // Does it have a boolean component? Is it modifiable? Has
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	666 // it already been modified by the user in this transaction?
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	667 if (goal == valuable->is_enabled()) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	668 result = true;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	669 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	670 CdlValueFlavor flavor = valuable->get_flavor();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	671 if ((CdlValueFlavor_Bool == flavor) \|\| (CdlValueFlavor_BoolData == flavor)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	672 if (valuable->is_modifiable()) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	673 if (!transaction->changed_by_user(valuable)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	674 // We have a modifiable option and want to set the enabled flag.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	675 // However we do not want to lose the current data part - unless
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	676 // some other constraint has caused that to be set.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	677 const CdlValue& old_value = transaction->get_whole_value(valuable);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	678 CdlValue new_value = old_value;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	679 if (!old_value.has_source(CdlValueSource_Inferred)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	680 CdlSimpleValue simple_value = old_value.get_simple_value(CdlValueSource_Current);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	681 new_value.set_value(simple_value, CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	682 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	683 new_value.set_enabled(goal, CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	684 new_value.set_source(CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	685 transaction->set_whole_value(valuable, old_value, new_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	686 result = transaction->resolve_recursion(level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	687 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	688 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	689 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	690 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	691 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	692 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	693
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	694 CYG_REPORT_RETVAL(result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	695 return result;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	696 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	697
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	698 static CdlFunction is_enabled("is_enabled", 1, &is_enabled_check, &is_enabled_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	699 &is_enabled_infer_bool, CdlFunction::null_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	700
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	701 //}}}
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	702 //{{{ get_data()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	703
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	704 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	705 // get_data(x)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	706 // Returns "0" if the specified option is not enabled, otherwise
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	707 // the current data part fo the value. The active/inactive and the
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	708 // enabled states are ignored. This function takes a single argument
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	709 // which must be a reference.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	710
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	711 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	712 get_data_check(CdlExpression expr, const CdlSubexpression& subexpr)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	713 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	714 CYG_REPORT_FUNCNAME("get_data_check");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	715 CYG_REPORT_FUNCARG2XV(expr, &subexpr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	716
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	717 CdlSubexpression& arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	718 if (CdlExprOp_Reference != arg0.op) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	719 throw CdlParseException(std::string("The argument to get_data() should be a reference to a configuration option.\n") +
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	720 CdlParse::get_expression_error_location());
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	721 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	722
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	723 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	724 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	725
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	726 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	727 get_data_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	728 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	729 CYG_REPORT_FUNCNAME("get_data_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	730 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	731 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	732 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	733
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	734 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	735 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	736
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	737 CdlValuable valuable = context.resolve_valuable_reference(expr, arg0.reference_index);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	738 if (0 != valuable) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	739 if (0 != context.transaction) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	740 result = valuable->get_value(context.transaction);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	741 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	742 result = valuable->get_value();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	743 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	744 } else {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	745 result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	746 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	747 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	748 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	749
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	750 static bool
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	751 get_data_infer_value(CdlTransaction transaction, CdlExpression expr, unsigned int index, CdlSimpleValue& goal, int level)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	752 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	753 CYG_REPORT_FUNCNAMETYPE("get_data_infer_value", "result %d");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	754 CYG_REPORT_FUNCARG5XV(transaction, expr, index, &goal, level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	755
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	756 bool result = false;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	757
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	758 CdlSubexpression subexpr = expr->sub_expressions[index];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	759 CdlSubexpression arg0 = expr->sub_expressions[subexpr.args[0]];
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	760 CYG_ASSERTC(CdlExprOp_Reference == arg0.op);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	761
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	762 CdlNode node = expr->references[arg0.reference_index].get_destination();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	763 if (0 != node) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	764 CdlValuable valuable = dynamic_cast<CdlValuable>(node);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	765 if (0 != valuable) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	766 // OK, we have found a valuable. Does it have a data component?
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	767 // Does it already have the right value. Is it modifiable? Has
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	768 // it already been modified by the user in this transaction?
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	769 CdlValueFlavor flavor = valuable->get_flavor();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	770 if ((CdlValueFlavor_Data == flavor) \|\| (CdlValueFlavor_BoolData == flavor)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	771 CdlSimpleValue current_value = valuable->get_simple_value(transaction);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	772 if (goal != current_value) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	773 if (valuable->is_modifiable()) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	774 if (!transaction->changed_by_user(valuable)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	775 // We have a modifiable option and want to set the data part.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	776 // However we do not want to lose the enabled part - unless
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	777 // some other constraint has caused that to be set.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	778 const CdlValue& old_value = transaction->get_whole_value(valuable);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	779 CdlValue new_value = old_value;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	780 if (!old_value.has_source(CdlValueSource_Inferred)) {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	781 new_value.set_enabled(old_value.is_enabled(), CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	782 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	783 new_value.set_value(goal, CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	784 new_value.set_source(CdlValueSource_Inferred);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	785 transaction->set_whole_value(valuable, old_value, new_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	786 result = transaction->resolve_recursion(level);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	787 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	788 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	789 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	790 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	791 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	792 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	793
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	794 CYG_REPORT_RETVAL(result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	795 return result;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	796 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	797
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	798 static CdlFunction get_data("get_data", 1, &get_data_check, &get_data_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	799 CdlFunction::null_infer_bool, &get_data_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	800
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	801 //}}}
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	802 //{{{ version_cmp()
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	803
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	804 // ----------------------------------------------------------------------------
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	805 // version_cmp(a, b)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	806 // Evaluate both arguments, interpret them as version strings, and then
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	807 // return -1, 0 or 1.
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	808
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	809 static void
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	810 version_cmp_eval(CdlEvalContext& context, CdlExpression expr, const CdlSubexpression& subexpr, CdlSimpleValue& result)
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	811 {
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	812 CYG_REPORT_FUNCNAME("version_cmp_eval");
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	813 CYG_REPORT_FUNCARG4XV(&context, expr, &subexpr, &result);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	814 CYG_PRECONDITION_CLASSOC(context);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	815 CYG_PRECONDITION_CLASSC(expr);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	816
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	817 CdlSimpleValue arg0;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	818 CdlSimpleValue arg1;
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	819 expr->eval_subexpression(context, subexpr.args[0], arg0);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	820 expr->eval_subexpression(context, subexpr.args[1], arg1);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	821
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	822 result = (cdl_int) Cdl::compare_versions(arg0.get_value(), arg1.get_value());
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	823
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	824 CYG_REPORT_RETURN();
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	825 }
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	826
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	827 static CdlFunction version_cmp("version_cmp", 2, CdlFunction::null_check, &version_cmp_eval,
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	828 CdlFunction::null_infer_bool, CdlFunction::null_infer_value);
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	829
0d2b193a635f Merge from eCos master repository on 2001-06-22-17:38:39-BST jlarmour parents: 159 diff changeset	830 //}}}

Mercurial > flash_v2

annotate host/libcdl/func.cxx @ 1723:0cc13d07a67e