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

scripts/spicy: Reformat with spicy-format

Browse source
This commit is contained in:
Arne Welzel 2024-09-05 17:01:26 +02:00
parent 01ea74f8a8
commit cde5662779
2 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/spicy/zeek.spicy
View file

@ -507,4 +507,3 @@ public function vector_size(id: string): uint64 &cxxname="zeek::spicy::rt::vecto
## ##
## v: opaque handle to the Zeek vector, as returned by other functions ## v: opaque handle to the Zeek vector, as returned by other functions
public function vector_size(v: ZeekVector): uint64 &cxxname="zeek::spicy::rt::vector_size"; public function vector_size(v: ZeekVector): uint64 &cxxname="zeek::spicy::rt::vector_size";

14
scripts/spicy/zeek_file.spicy
View file

@ -16,15 +16,19 @@ import zeek;
## size: Total number of bytes the file contains, if known; will be passed on to Zeek ## size: Total number of bytes the file contains, if known; will be passed on to Zeek
public type File = unit(mime_type: optional<string> = Null, size: optional<uint64> = Null) { public type File = unit(mime_type: optional<string> = Null, size: optional<uint64> = Null) {
on %init { on %init {
self.fid = zeek::file_begin(mime_type); self.fid = zeek::file_begin(mime_type);
if ( size ) if (size)
zeek::file_set_size(*size, self.fid); zeek::file_set_size(*size, self.fid);
} }
: bytes &chunked &eod { zeek::file_data_in($$, self.fid); } : bytes &chunked &eod {
zeek::file_data_in($$, self.fid);
}
on %finally { zeek::file_end(self.fid); } on %finally {
zeek::file_end(self.fid);
}
## Zeek-side file ID ## Zeek-side file ID
var fid: string; var fid: string;