diff options
author | dds <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
---|---|---|
committer | dds <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
commit | 27cc870a3f9f6e61aee86d768aa292495512a6a9 (patch) | |
tree | 6f2c7a3d8c1b344ff7e4016c1c9fec0b3b2a8eed /sys/tools | |
parent | b2a8ee65bc6f5b5e9e1e4546be9aee994997278b (diff) | |
download | FreeBSD-src-27cc870a3f9f6e61aee86d768aa292495512a6a9.zip FreeBSD-src-27cc870a3f9f6e61aee86d768aa292495512a6a9.tar.gz |
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
Diffstat (limited to 'sys/tools')
-rw-r--r-- | sys/tools/vnode_if.awk | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index ea2ab3a..54ee3a1 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -191,8 +191,8 @@ if (cfile) { while ((getline < srcfile) > 0) { if (NF == 0) continue; - if ($1 ~ /^#%/) { - if (NF != 6 || $1 != "#%" || \ + if ($1 ~ /^%%/) { + if (NF != 6 || $1 != "%%" || \ $2 !~ /^[a-z]+$/ || $3 !~ /^[a-z]+$/ || \ $4 !~ /^.$/ || $5 !~ /^.$/ || $6 !~ /^.$/) continue; @@ -202,15 +202,15 @@ while ((getline < srcfile) > 0) { continue; } - if ($1 ~ /^#!/) { - if (NF != 4 || $1 != "#!") + if ($1 ~ /^%!/) { + if (NF != 4 || $1 != "%!") continue; if ($3 != "pre" && $3 != "post") continue; lockdata["vop_" $2, $3] = $4; continue; } - if ($1 ~ /^#/) + if ($1 ~ /^#/ || $0 ~ /^$/) continue; # Get the function name. |