CalcAssemblerException.h

Go to the documentation of this file.

/*
// $Id: //open/dev/fennel/calculator/CalcAssemblerException.h#3 $
// Fennel is a library of data storage and processing components.
// Copyright (C) 2005-2009 The Eigenbase Project
// Copyright (C) 2004-2009 SQLstream, Inc.
// Copyright (C) 2009-2009 LucidEra, Inc.
//
// This program is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by the Free
// Software Foundation; either version 2 of the License, or (at your option)
// any later version approved by The Eigenbase Project.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
*/

#ifndef Fennel_CalcAssemblerException_Included
#define Fennel_CalcAssemblerException_Included

#include "fennel/calculator/CalcTypedefs.h"
#include "fennel/common/FennelExcn.h"

#include <strstream>

FENNEL_BEGIN_NAMESPACE

using namespace std;

class FENNEL_CALCULATOR_EXPORT InvalidTypeException
    : public FennelExcn
{
public:
    explicit
    InvalidTypeException(
        string str,
        StandardTypeDescriptorOrdinal type,
        StandardTypeDescriptorOrdinal expected)
        : FennelExcn(str),
        mInvalidType(type),
        mExpectedType(expected)
    {
        if (msg.length() > 0) {
            msg += ": ";
        }
        msg += "Invalid type ";
        msg += StandardTypeDescriptor::toString(type);
        msg += ", expecting ";
        msg += StandardTypeDescriptor::toString(expected);
    }
    ~InvalidTypeException() throw() {}

protected:
    StandardTypeDescriptorOrdinal mInvalidType;
    StandardTypeDescriptorOrdinal mExpectedType;
};

template <typename T>
class InvalidValueException : public FennelExcn
{
public:
    explicit
    InvalidValueException(
        string str, StandardTypeDescriptorOrdinal type, T value)
        : FennelExcn(str), mType(type), mValue(value)
    {
        ostringstream ostr("");
        ostr << "Invalid value " << value << " for type "
             << StandardTypeDescriptor::toString(type);
        if (msg.length() > 0) {
            msg += ": ";
        }
        msg += ostr.str();
    }
    ~InvalidValueException() throw() {}

protected:
    StandardTypeDescriptorOrdinal mType;
    T mValue;
};

class FENNEL_CALCULATOR_EXPORT CalcAssemblerException
    : public FennelExcn
{
public:
    explicit
    CalcAssemblerException(string str, CalcYYLocType loc)
        : FennelExcn(str), mDescription(str), mLoc(loc), mLocValid(true)
    {
        msg += getLocationString();
    }

    explicit
    CalcAssemblerException(string str)
        : FennelExcn(str), mDescription(str), mLocValid(false)
    {
    }

    ~CalcAssemblerException() throw() {}

    void setLocation(CalcYYLocType loc)
    {
        mLocValid = true;
        mLoc = loc;
        msg = mDescription + getLocationString();
    }

    void setCode(string s)
    {
        mCode = s;
        if (mLocValid) {
            // The following assert is often not met with weird
            // programs: Better to get some sort of error message with
            // the invariant violated, than to just get an assert
            // error masking the problem.

            // SWZ: REVIEW: 9/15/2005: I find this to occur for
            // certain *sequences* of very simple programs, any one of
            // which when run singly, causes no problems!

            //assert(mLoc.first_pos <= mLoc.last_pos);

            // SWZ: REVIEW: 9/15/2005: Additionally, when invalid,
            // mLoc.first_pos can be very large (e.g. past the end of
            // s) which causes an out_of_range exception.  Added code
            // to prevent s.substr from throwing.  A better solution
            // would be to fix the bug that causes a supposedly valid
            // mLoc to have wildly out-of-range values.

            if (mLoc.first_pos <= mLoc.last_pos &&
                mLoc.first_pos < s.length())
            {
                mCodeSnippet =
                    s.substr(
                        mLoc.first_pos,
                        mLoc.last_pos - mLoc.first_pos + 1);
            } else {
                mCodeSnippet = s;
            }
        }
    }

    const string& getCode() const
    {
        return mCode;
    }

    const string& getCodeSnippet() const
    {
        return mCodeSnippet;
    }

    const string getLocationString() const
    {
        string locStr;
        if (mLocValid) {
            ostringstream ostr(locStr);
            ostr << " (at line:col " << mLoc.first_line
                 << ":" << mLoc.first_column
                 << " to " << mLoc.last_line << ":" << mLoc.last_column
                 << ", characters " << mLoc.first_pos
                 << " to " << mLoc.last_pos << ")";
            locStr = ostr.str();
        } else {
            locStr = "Unknown location";
        }
        return locStr;
    }

    string mDescription;
    CalcYYLocType mLoc;
    bool mLocValid;
    string mCode;
    string mCodeSnippet;
};

FENNEL_END_NAMESPACE

#endif

// End CalcAssemblerException.h

---