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 --- 56 unchanged lines hidden (view full) --- 65 proc = new Method(name, func); 66 else 67 proc = new Thread(name, func); 68 69 proc->dontInitialize(dontInitialize); 70 71 if (opts) { 72 for (auto e: opts->_events) |
73 newStaticSensitivityEvent(proc, e); |
74 75 for (auto p: opts->_ports) |
76 newStaticSensitivityPort(proc, p); |
77 78 for (auto e: opts->_exports) |
79 newStaticSensitivityExport(proc, e); |
80 81 for (auto i: opts->_interfaces) |
82 newStaticSensitivityInterface(proc, i); |
83 84 for (auto f: opts->_finders) |
85 newStaticSensitivityFinder(proc, f); |
86 } 87 88 if (opts && opts->_dontInitialize && 89 opts->_events.empty() && opts->_ports.empty() && 90 opts->_exports.empty() && opts->_interfaces.empty() && 91 opts->_finders.empty()) { 92 SC_REPORT_WARNING( 93 "(W558) disable() or dont_initialize() called on process " --- 141 unchanged lines hidden --- |