Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-07 00:58:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Add &ordered attribute for tables/sets

Browse source
This commit is contained in:
Tim Wojtulewicz 2022-10-11 13:35:30 -07:00
parent e3682a09e0
commit bd7df9e2bf
9 changed files with 56 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Val.h
View file

@ -998,7 +998,7 @@ public:
void EnableChangeNotifications() { in_change_func = false; }
protected:
void Init(TableTypePtr t);
void Init(TableTypePtr t, bool ordered = false);
using TableRecordDependencies = std::unordered_map<RecordType*, std::vector<TableValPtr>>;