Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Bro doc mode now tracks record redefs that extend its field list.

Browse source
This commit is contained in:
Jon Siwek 2011-05-05 10:43:15 -05:00
parent aec63df90f
commit cf0a542f7c
5 changed files with 142 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/scripts/example.bro
View file

@ -107,6 +107,11 @@ export {
field2: bool; ##< toggles something
};
## document the record extension redef here
redef record SimpleRecord += {
## document the extending field here
field_ext: string &optional; ##< (or here)
};
## general documentation for a type "ComplexRecord" goes here
type ComplexRecord: record {