mirror of
https://github.com/zeek/zeek.git
synced 2025-10-04 07:38:19 +00:00
Mark a large number of common types as final that shouldn't be overrideden
This commit is contained in:
parent
c2375fc88d
commit
9c89cd4a47
11 changed files with 93 additions and 93 deletions
|
@ -25,7 +25,7 @@ using std::map;
|
|||
class TriggerTimer;
|
||||
class TriggerTraversalCallback;
|
||||
|
||||
class Trigger : public BroObj, public notifier::Receiver {
|
||||
class Trigger final : public BroObj, public notifier::Receiver {
|
||||
public:
|
||||
// Don't access Trigger objects; they take care of themselves after
|
||||
// instantiation. Note that if the condition is already true, the
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue