sc_report_handler.hh (13182:9e030f636a8c) | sc_report_handler.hh (13312:a7685ffbead8) |
---|---|
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 --- 91 unchanged lines hidden (view full) --- 100 static sc_actions force(); 101 102 static sc_actions set_catch_actions(sc_actions); 103 static sc_actions get_catch_actions(); 104 105 static void set_handler(sc_report_handler_proc); 106 static void default_handler(const sc_report &, const sc_actions &); 107 static sc_actions get_new_action_id(); | 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 --- 91 unchanged lines hidden (view full) --- 100 static sc_actions force(); 101 102 static sc_actions set_catch_actions(sc_actions); 103 static sc_actions get_catch_actions(); 104 105 static void set_handler(sc_report_handler_proc); 106 static void default_handler(const sc_report &, const sc_actions &); 107 static sc_actions get_new_action_id(); |
108 // Nonstandard 109 // Returns the current handler so it can be restored if it needs to be 110 // changed temporarily. 111 static sc_report_handler_proc get_handler(); | |
112 113 static sc_report *get_cached_report(); 114 static void clear_cached_report(); 115 116 static bool set_log_file_name(const char *); 117 static const char *get_log_file_name(); 118}; 119 --- 34 unchanged lines hidden --- | 108 109 static sc_report *get_cached_report(); 110 static void clear_cached_report(); 111 112 static bool set_log_file_name(const char *); 113 static const char *get_log_file_name(); 114}; 115 --- 34 unchanged lines hidden --- |