PC World Komputer 1999 March/PCWK3A99.iso/Linux/DDD331/DDD-3_1_.000/DDD-3_1_/ddd-3.1.1/ddd/TestNode.C

C/C++ Source or Header | 1998-11-23 | 4.6 KB | 202 lines

// $Id: TestNode.C,v 1.8 1998/11/23 17:43:35 zeller Exp $
// VSL if..then..else..fi construct

// Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
// Written by Andreas Zeller <[e-mail]>.
//
// This file is part of DDD.
//
// DDD is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public
// License as published by the Free Software Foundation; either
// version 2 of the License, or (at your option) any later version.
//
// DDD is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// See the GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public
// License along with DDD -- see the file COPYING.
// If not, write to the Free Software Foundation, Inc.,
// 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//
// DDD is the data display debugger.
// For details, see the DDD World-Wide-Web page,
// `http://www.cs.tu-bs.de/softech/ddd/',
// or send a mail to the DDD developers <[e-mail]>.

char TestNode_rcsid[] =
    "$Id: TestNode.C,v 1.8 1998/11/23 17:43:35 zeller Exp $";

#ifdef __GNUG__
#pragma implementation
#endif

#include "assert.h"
#include <iostream.h>

#include "VSLLib.h"

#include "VSLNode.h"
#include "CallNode.h"
#include "TestNode.h"
#include "VSLDef.h"

DEFINE_TYPE_INFO_1(TestNode, CallNode)


// TestNode

// Dump
void TestNode::dump(ostream& s) const
{
    s << "if "    << *test()
      << " then " << *thetrue()
      << " else " << *thefalse()
      << " fi";
}

// ...as tree
void TestNode::_dumpTree(ostream& s) const
{
    test()->dumpTree(s);
    s << ", ";
    thetrue()->dumpTree(s);
    s << ", ";
    thefalse()->dumpTree(s);
}

// Evaluate
const Box *TestNode::_eval(ListBox *arglist) const
{
    // Evaluate tester
    const Box *flagBox = test()->eval(arglist);
    if (flagBox == 0)
    return 0;

    BoxSize size = flagBox->size();
    ((Box *)flagBox)->unlink();

    if (!size.isValid())
    {
    VSLLib::eval_error("invalid if argument");
    return 0;
    }

    // Alternative
    if (size != 0)
    return thetrue()->eval(arglist);
    else
    return thefalse()->eval(arglist);
}


// Optimization

// foldConsts: Evaluate function with constant args

int TestNode::foldConsts(VSLDef *cdef, VSLNode **node)
{
    int changes = 0;

    // Apply to args
    // (CallNode::foldConsts() would destroy the list structure)
    changes += test()->foldConsts(cdef, &test());
    changes += thetrue()->foldConsts(cdef, &thetrue());
    changes += thefalse()->foldConsts(cdef, &thefalse());

    // Is test constant?  If not, we're done
    if (!test()->isConst())
    return changes;

    // Otherwise: Depending on result, replace by first or second
    // alternative.

    // Evaluate tester

    sideEffectsProhibited = true;
    sideEffectsOccured = false;

    const Box *flagBox = test()->eval(0);

    if (flagBox)
    {
    assert(!sideEffectsOccured);

    BoxSize size = flagBox->size();
    ((Box *)flagBox)->unlink();

    if (size.isValid())
    {
        if (VSEFlags::show_optimize)
        {
        cout << "\n" << cdef->longname() << ": foldConsts: replacing\n"
            << *this << '\n';
        cout.flush();
        }

        // Replace TestNode by first or second alternative
        if (size != 0)
        *node = thetrue(), thetrue() = 0;
        else
        *node = thefalse(), thefalse() = 0;


        if (VSEFlags::show_optimize)
        {
        cout << "by " << **node << "\n";
        cout.flush();
        }

        changes++;

        // Delete TestNode and its subtree
        delete this;
    }
    else
        VSLLib::eval_error("invalid if argument", cdef);
    }

    sideEffectsProhibited = false;

    return changes;
}


// resolveDefs: below a TestNode, don't complain about endless recursion
int TestNode::resolveDefs(VSLDef *cdef, bool complain_recursive)
{
    int changes = 0;

    changes += test()->resolveDefs(cdef, complain_recursive);
    changes += thetrue()->resolveDefs(cdef, false);
    changes += thefalse()->resolveDefs(cdef, false);

    return changes;
}


// Debugging

// Representation invariant
bool TestNode::OK() const
{
    EmptyListNode empty;

    assert (CallNode::OK());

    // Check if argument is 3-element list
    assert (arg() && arg()->isListNode());
    assert (_test() && _test()->tail() && _test()->tail()->isListNode());
    assert (_true() && _true()->tail() && _true()->tail()->isListNode());
    assert (_false() && _false()->tail() && *(_false()->tail()) == empty);

    // Check if list elements exist
    assert (test());
    assert (thetrue());
    assert (thefalse());

    return true;
}