Method Postcondition

src/openms/source/CONCEPT/Exception.cpp:107–111

    }

    Postcondition::Postcondition(const char* file, int line, const char* function, const string& condition) noexcept :
      BaseException(file, line, function, "Postcondition failed", std::string(condition))
    {
      GlobalExceptionHandler::getInstance().setMessage(what());
    }

    IndexUnderflow::IndexUnderflow(const char* file, int line, const char* function, SignedSize index, Size size) noexcept :
      BaseException(file, line, function, "IndexUnderflow", "the given index was too small: " + String(index) + " (size = " + String(size) + ")")