summaryrefslogtreecommitdiff
path: root/src/generic/problemresolver/exceptions.h
blob: 6e1f6b6b3708e8261bcd51473f73d6f9b96c1346 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
// exceptions.h                                     -*-c++-*-
//
//   Copyright (C) 2005, 2007, 2010 Daniel Burrows
//
//   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.
//
//   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; see the file COPYING.  If not, write to
//   the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
//   Boston, MA 02111-1307, USA.

#ifndef EXCEPTIONS_H
#define EXCEPTIONS_H

#include <cwidget/generic/util/exception.h>

#include <aptitude.h> // For _()

/** \file exceptions.h
 */

/** Generic errors in the problem resolver. */
class ProblemResolverError : public cwidget::util::Exception {
};

/** An exception indicating that no more solutions are available. */
class NoMoreSolutions : public ProblemResolverError {
  std::string errmsg() const
  {
    return "No more solutions to this dependency problem.";
  }
};

/** An exception indicating that the resolver ran out of time to
 *  find a solution.
 */
class NoMoreTime:public ProblemResolverError {
  std::string errmsg() const
  {
    return "No more time to solve this dependency problem.";
  }
};

/** An exception indicating that the resolver was interrupted from
 *  another thread.
 */
class InterruptedException : public ProblemResolverError {
  int steps;
public:
  InterruptedException(int _steps)
    : steps(_steps)
  {
  }

  /** \brief Return the number of steps after which the resolver was
   *  interrupted.
   */
  int get_steps() const { return steps; }

  std::string errmsg() const
  {
    return "Dependency solution was interrupted.";
  }
};

/** An exception indicating that an internal error occurred. */
class ResolverInternalErrorException : public ProblemResolverError {
  std::string msg;
public:
  ResolverInternalErrorException(const std::string &_msg)
    : msg(_msg)
  {
  }

  std::string errmsg() const
  {
    return msg;
  }
};

/** An exception indicating that two threads tried to run the resolver
 *  at once.
 */
class DoubleRunException : public ProblemResolverError {
  std::string errmsg() const
  {
    return "Internal error: Multiple threads of execution tried to enter the resolver at once.";
  }
};

/** An exception indicating that something tried to add a nonpositive
 *  quantity to a cost.
 */
class NonPositiveCostAdditionException : public ProblemResolverError {
  std::string errmsg() const
  {
    return _("Cost increments must be strictly positive.");
  }
};

/** An exception indicating that a cost addition overflowed.
 */
class CostTooBigException : public ProblemResolverError {
  std::string errmsg() const
  {
    return _("The maximum cost value was exceeded.");
  }
};

/** An exception indicating that incompatible operations were applied
 *  to a cost.
 */
class CostOperationMismatchException : public ProblemResolverError {
  std::string errmsg() const
  {
    return _("A single cost level was both added and lower-bounded.");
  }
};

#endif // EXCEPTIONS_H