|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
// -*- mode: c++; c-basic-offset:4 -*-
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
// This file is part of libdap, A C++ implementation of the OPeNDAP Data
|
|
Packit |
a4aae4 |
// Access Protocol.
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
// Copyright (c) 2002,2003 OPeNDAP, Inc.
|
|
Packit |
a4aae4 |
// Author: James Gallagher <jgallagher@opendap.org>
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// This library is free software; you can redistribute it and/or
|
|
Packit |
a4aae4 |
// modify it under the terms of the GNU Lesser General Public
|
|
Packit |
a4aae4 |
// License as published by the Free Software Foundation; either
|
|
Packit |
a4aae4 |
// version 2.1 of the License, or (at your option) any later version.
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// This library is distributed in the hope that it will be useful,
|
|
Packit |
a4aae4 |
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
a4aae4 |
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
a4aae4 |
// Lesser General Public License for more details.
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// You should have received a copy of the GNU Lesser General Public
|
|
Packit |
a4aae4 |
// License along with this library; if not, write to the Free Software
|
|
Packit |
a4aae4 |
// Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// You can contact OPeNDAP, Inc. at PO Box 112, Saunderstown, RI. 02874-0112.
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
// (c) COPYRIGHT URI/MIT 1996,1998,1999
|
|
Packit |
a4aae4 |
// Please first read the full copyright statement in the file COPYRIGHT_URI.
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// Authors:
|
|
Packit |
a4aae4 |
// jhrg,jimg James Gallagher <jgallagher@gso.uri.edu>
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
// Implementation for the CE Clause class.
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
#include "config.h"
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
#include <cassert>
|
|
Packit |
a4aae4 |
#include <algorithm>
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
#include "expr.h"
|
|
Packit |
a4aae4 |
#include "Byte.h"
|
|
Packit |
a4aae4 |
#include "Int16.h"
|
|
Packit |
a4aae4 |
#include "UInt16.h"
|
|
Packit |
a4aae4 |
#include "Int32.h"
|
|
Packit |
a4aae4 |
#include "UInt32.h"
|
|
Packit |
a4aae4 |
#include "DDS.h"
|
|
Packit |
a4aae4 |
#include "Clause.h"
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
using std::cerr;
|
|
Packit |
a4aae4 |
using std::endl;
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
namespace libdap {
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
Clause::Clause(const int oper, rvalue *a1, rvalue_list *rv)
|
|
Packit |
a4aae4 |
: _op(oper), _b_func(0), _bt_func(0), _argc(0), _arg1(a1), _args(rv)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
#if 1
|
|
Packit |
a4aae4 |
Clause::Clause(bool_func func, rvalue_list *rv)
|
|
Packit |
a4aae4 |
: _op(0), _b_func(func), _bt_func(0), _argc(0), _arg1(0), _args(rv)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (_args) // account for null arg list
|
|
Packit |
a4aae4 |
_argc = _args->size();
|
|
Packit |
a4aae4 |
else
|
|
Packit |
a4aae4 |
_argc = 0;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
#endif
|
|
Packit |
a4aae4 |
Clause::Clause(btp_func func, rvalue_list *rv)
|
|
Packit |
a4aae4 |
: _op(0), _b_func(0), _bt_func(func), _argc(0), _arg1(0), _args(rv)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (_args)
|
|
Packit |
a4aae4 |
_argc = _args->size();
|
|
Packit |
a4aae4 |
else
|
|
Packit |
a4aae4 |
_argc = 0;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
Clause::Clause() : _op(0), _b_func(0), _bt_func(0), _argc(0), _arg1(0), _args(0)
|
|
Packit |
a4aae4 |
{}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
static inline void
|
|
Packit |
a4aae4 |
delete_rvalue(rvalue *rv)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
delete rv; rv = 0;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
Clause::~Clause()
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
if (_arg1) {
|
|
Packit |
a4aae4 |
delete _arg1; _arg1 = 0;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (_args) {
|
|
Packit |
a4aae4 |
// _args is a pointer to a vector<rvalue*> and we must must delete
|
|
Packit |
a4aae4 |
// each rvalue pointer here explicitly. 02/03/04 jhrg
|
|
Packit |
a4aae4 |
for_each(_args->begin(), _args->end(), delete_rvalue);
|
|
Packit |
a4aae4 |
delete _args; _args = 0;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
/** @brief Checks the "representation invariant" of a clause. */
|
|
Packit |
a4aae4 |
bool
|
|
Packit |
a4aae4 |
Clause::OK()
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
// Each clause object can contain one of: a relational clause, a boolean
|
|
Packit |
a4aae4 |
// function clause or a BaseType pointer function clause. It must have a
|
|
Packit |
a4aae4 |
// valid argument list.
|
|
Packit |
a4aae4 |
//
|
|
Packit |
a4aae4 |
// But, a valid arg list might contain zero arguments! 10/16/98 jhrg
|
|
Packit |
a4aae4 |
bool relational = (_op && !_b_func && !_bt_func);
|
|
Packit |
a4aae4 |
#if 1
|
|
Packit |
a4aae4 |
bool boolean = (!_op && _b_func && !_bt_func);
|
|
Packit |
a4aae4 |
#endif
|
|
Packit |
a4aae4 |
bool basetype = (!_op && !_b_func && _bt_func);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (relational)
|
|
Packit |
a4aae4 |
return _arg1 && _args;
|
|
Packit |
a4aae4 |
else if (boolean || basetype)
|
|
Packit |
a4aae4 |
return true; // Until we check arguments...10/16/98 jhrg
|
|
Packit |
a4aae4 |
else
|
|
Packit |
a4aae4 |
return false;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
/** @brief Return true if the clause returns a boolean value. */
|
|
Packit |
a4aae4 |
bool
|
|
Packit |
a4aae4 |
Clause::boolean_clause()
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
return _op || _b_func;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
/** @brief Return true if the clause returns a value in a BaseType pointer. */
|
|
Packit |
a4aae4 |
bool
|
|
Packit |
a4aae4 |
Clause::value_clause()
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
return (_bt_func != 0);
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
/** @brief Evaluate a clause which returns a boolean value
|
|
Packit |
a4aae4 |
This method must only be evaluated for clauses with relational
|
|
Packit |
a4aae4 |
expressions or boolean functions.
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
@param dds Use variables from this DDS when evaluating the
|
|
Packit |
a4aae4 |
expression
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
@return True if the clause is true, false otherwise.
|
|
Packit |
a4aae4 |
@exception InternalErr if called for a clause that returns a
|
|
Packit |
a4aae4 |
BaseType pointer. */
|
|
Packit |
a4aae4 |
bool
|
|
Packit |
a4aae4 |
Clause::value(DDS &dds)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
assert(_op || _b_func);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (_op) { // Is it a relational clause?
|
|
Packit |
a4aae4 |
// rvalue::bvalue(...) returns the rvalue encapsulated in a
|
|
Packit |
a4aae4 |
// BaseType *.
|
|
Packit |
a4aae4 |
BaseType *btp = _arg1->bvalue(dds);
|
|
Packit |
a4aae4 |
// The list of rvalues is an implicit logical OR, so assume
|
|
Packit |
a4aae4 |
// FALSE and return TRUE for the first TRUE subclause.
|
|
Packit |
a4aae4 |
bool result = false;
|
|
Packit |
a4aae4 |
for (rvalue_list_iter i = _args->begin();
|
|
Packit |
a4aae4 |
i != _args->end() && !result;
|
|
Packit |
a4aae4 |
i++) {
|
|
Packit |
a4aae4 |
result = result || btp->ops((*i)->bvalue(dds), _op);
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
return result;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
else if (_b_func) { // ...A bool function?
|
|
Packit |
a4aae4 |
BaseType **argv = build_btp_args(_args, dds);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
bool result = false;
|
|
Packit |
a4aae4 |
(*_b_func)(_argc, argv, dds, &result);
|
|
Packit |
a4aae4 |
delete[] argv; // Cache me!
|
|
Packit |
a4aae4 |
argv = 0;
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
return result;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
else {
|
|
Packit |
a4aae4 |
throw InternalErr(__FILE__, __LINE__,
|
|
Packit |
a4aae4 |
"A selection expression must contain only boolean clauses.");
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
/** @brief Evaluate a clause that returns a value via a BaseType
|
|
Packit |
a4aae4 |
pointer.
|
|
Packit |
a4aae4 |
This method should be called only for those clauses that return values.
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
@param dds Use variables from this DDS when evaluating the
|
|
Packit |
a4aae4 |
expression
|
|
Packit |
a4aae4 |
@param value A value-result parameter
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
@return True if the the BaseType pointer is not null, false otherwise.
|
|
Packit |
a4aae4 |
@exception InternalErr if called for a clause that returns a
|
|
Packit |
a4aae4 |
boolean value. Not that this method itself \e does return a
|
|
Packit |
a4aae4 |
boolean value. */
|
|
Packit |
a4aae4 |
bool
|
|
Packit |
a4aae4 |
Clause::value(DDS &dds, BaseType **value)
|
|
Packit |
a4aae4 |
{
|
|
Packit |
a4aae4 |
assert(OK());
|
|
Packit |
a4aae4 |
assert(_bt_func);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (_bt_func) {
|
|
Packit |
a4aae4 |
// build_btp_args() is a function defined in RValue.cc. It no longer
|
|
Packit |
a4aae4 |
// reads the values as it builds the arguments, that is now left up
|
|
Packit |
a4aae4 |
// to the functions themselves. 9/25/06 jhrg
|
|
Packit |
a4aae4 |
BaseType **argv = build_btp_args(_args, dds);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
(*_bt_func)(_argc, argv, dds, value);
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
delete[] argv; // Cache me!
|
|
Packit |
a4aae4 |
argv = 0;
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
if (*value) {
|
|
Packit |
a4aae4 |
// FIXME This comment is likely wrong... 10/19/12
|
|
Packit |
a4aae4 |
// This call to set_send_p was removed because new logic used
|
|
Packit |
a4aae4 |
// in ResponseBuilder will handle it. See send_data(), ...
|
|
Packit |
a4aae4 |
// When the second part of the CE is parsed, if it is null,
|
|
Packit |
a4aae4 |
// then all the variables in the DDS that holds the function
|
|
Packit |
a4aae4 |
// result variables will be sent. If there's a projection in
|
|
Packit |
a4aae4 |
// that second CE, it will denote what is to be sent. Setting
|
|
Packit |
a4aae4 |
// set_send_p(true) here had the affect of overriding that
|
|
Packit |
a4aae4 |
// second CE. Note, however, that the code in send_data() clears
|
|
Packit |
a4aae4 |
// all of the send_p properties for variables in the DDS, so
|
|
Packit |
a4aae4 |
// removing the call here is just removing something that will
|
|
Packit |
a4aae4 |
// actually have no affect. jhrg 10/19/12
|
|
Packit |
a4aae4 |
(*value)->set_send_p(true);
|
|
Packit |
a4aae4 |
(*value)->set_read_p(true);
|
|
Packit |
a4aae4 |
return true;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
else {
|
|
Packit |
a4aae4 |
return false;
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
else {
|
|
Packit |
a4aae4 |
throw InternalErr(__FILE__, __LINE__,
|
|
Packit |
a4aae4 |
"Clause::value() was called in a context expecting a BaseType pointer return, but the Clause was boolean-valued instead.");
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
}
|
|
Packit |
a4aae4 |
|
|
Packit |
a4aae4 |
} // namespace libdap
|