mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
zeekygen/example: Squelch unused function warning
This commit is contained in:
parent
ffc35d90ba
commit
6fd68bc607
2 changed files with 2 additions and 1 deletions
|
@ -173,7 +173,7 @@ export {
|
||||||
|
|
||||||
# This function isn't exported, so it won't appear anywhere in the generated
|
# This function isn't exported, so it won't appear anywhere in the generated
|
||||||
# documentation. So using ``##``-style comments is pointless here.
|
# documentation. So using ``##``-style comments is pointless here.
|
||||||
function function_without_proto(tag: string): string
|
function function_without_proto(tag: string): string &is_used
|
||||||
{
|
{
|
||||||
# Zeekygen-style comments only apply to entities at global-scope so
|
# Zeekygen-style comments only apply to entities at global-scope so
|
||||||
# Zeekygen doesn't associate the following comments with anything.
|
# Zeekygen doesn't associate the following comments with anything.
|
||||||
|
|
|
@ -240,6 +240,7 @@
|
||||||
:source-code: zeekygen/example.zeek 176 184
|
:source-code: zeekygen/example.zeek 176 184
|
||||||
|
|
||||||
:Type: :zeek:type:`function` (tag: :zeek:type:`string`) : :zeek:type:`string`
|
:Type: :zeek:type:`function` (tag: :zeek:type:`string`) : :zeek:type:`string`
|
||||||
|
:Attributes: :zeek:attr:`&is_used`
|
||||||
|
|
||||||
|
|
||||||
.. zeek:type:: ZeekygenExample::PrivateRecord
|
.. zeek:type:: ZeekygenExample::PrivateRecord
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue