equal
deleted
inserted
replaced
44 ): runtime_error(s.str()) {} |
44 ): runtime_error(s.str()) {} |
45 }; |
45 }; |
46 |
46 |
47 /****************************************************************************/ |
47 /****************************************************************************/ |
48 |
48 |
49 class ExecutionFailureException: |
49 class CommandException: |
50 public runtime_error |
50 public runtime_error |
51 { |
51 { |
52 public: |
52 public: |
53 /** Constructor with std::string parameter. */ |
53 /** Constructor with std::string parameter. */ |
54 ExecutionFailureException( |
54 CommandException( |
55 const stringstream &s /**< Message. */ |
55 const stringstream &s /**< Message. */ |
56 ): runtime_error(s.str()) {} |
56 ): runtime_error(s.str()) {} |
57 }; |
57 }; |
58 |
58 |
59 /*****************************************************************************/ |
59 /*****************************************************************************/ |