{
public:
enum class Type {
+ OK,
ERROR,
BV21_ERROR, ///< may not always be considered an error, but violates a "shall" requirement of Bv2.1
WARNING
};
- /** Codes for errors or warnings from verifying DCPs.
+ /** Codes for successful checks, errors or warnings from verifying DCPs.
*
* The names should (in general) answer the question "what is wrong?" with an answer that begins "There is a ..."
* e.g. "There is a INCORRECT_CPL_HASH"
dcp::operator<< (ostream& s, VerificationNote::Type t)
{
switch (t) {
+ case VerificationNote::Type::OK:
+ s << "check";
+ break;
case VerificationNote::Type::ERROR:
s << "error";
break;
continue;
}
switch (i.type()) {
+ case dcp::VerificationNote::Type::OK:
+ break;
case dcp::VerificationNote::Type::ERROR:
cout << "Error: " << note_to_string(i) << "\n";
failed = true;