1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 54 unchanged lines hidden (view full) ---

63class sc_report_handler
64{
65 public:
66 static void report(sc_severity, const char *msg_type, const char *msg,
67 const char *file, int line);
68 static void report(sc_severity, const char *msg_type, const char *msg,
69 int verbosity, const char *file, int line);
70
71 // Deprecated
72 static void report(sc_severity, int id, const char *msg, const char *file,
73 int line);
74
75 static sc_actions set_actions(sc_severity, sc_actions=SC_UNSPECIFIED);
76 static sc_actions set_actions(const char *msg_type,
77 sc_actions=SC_UNSPECIFIED);
78 static sc_actions set_actions(const char *msg_type, sc_severity,
79 sc_actions=SC_UNSPECIFIED);
80
81 static int stop_after(sc_severity, int limit=-1);
82 static int stop_after(const char *msg_type, int limit=-1);

--- 55 unchanged lines hidden ---