main page modules namespaces classes files
Gecode home

search for 

exception.icc

Go to the documentation of this file.

/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2004
 *
 *  Last modified:
 *     $Date: 2006-08-04 16:03:05 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3510 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

#include <exception>

namespace Gecode {

  class GECODE_KERNEL_EXPORT Exception : public std::exception {
  private:
    static const int li_max = 128;
    char li[li_max+1];
  public:
    Exception(const char* l, const char* i) throw ();
    virtual const char* what(void) const throw();
  };



  class MemoryExhausted : public Exception {
  public:
    MemoryExhausted(void);
  };

  class SpaceFailed : public Exception {
  public:
    SpaceFailed(const char* l);
  };

  class SpaceNoBranching : public Exception {
  public:
    SpaceNoBranching(void);
  };

  class SpaceIllegalAlternative : public Exception {
  public:
    SpaceIllegalAlternative(void);
  };


  /*
   * Classes for exceptions raised by kernel
   *
   */

  inline
  MemoryExhausted::MemoryExhausted(void)
    : Exception("Memory","Heap memory exhausted") {}

  inline
  SpaceFailed::SpaceFailed(const char* l)
    : Exception(l,"Attempt to invoke operation on failed space") {}

  inline
  SpaceNoBranching::SpaceNoBranching(void)
    : Exception("Space::commit",
                "Attempt to commit with no branching") {}

  inline
  SpaceIllegalAlternative::SpaceIllegalAlternative(void)
    : Exception("Space::commit",
                "Attempt to commit with illegal alternative") {}

}

// STATISTICS: kernel-other