//
// Copyright (c) 2009 Froduald Kabanza and the Université de Sherbrooke.
// Use of this software is permitted for non-commercial research purposes, and
// it may be copied or applied only for that use. All copies must include this
// copyright message.
// 
// This is a research prototype that has not gone through intensive tests and
// is delivered as is. It may still contain bugs. Froduald Kabanza and the
// Université de Sherbrooke disclaim any responsibility for damage that may be
// caused by using it.
// 
// Implementation: Simon Chamberland
// Project Manager: Froduald Kabanza
//
#include "stdafx.h"
#include "BindingException.h"
#include "../Exp/Term/ObjectParameterVariable.h"

using namespace planning;

BindingException::BindingException(const ObjectParameterVariable* cause)
  : std::invalid_argument("Unbound variable: " + toString(cause)), m_cause(cause)
{
}

const ObjectParameterVariable* BindingException::getCause() const
{
  return m_cause;
}