diff options
| author | Diomidis Spinellis <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
|---|---|---|
| committer | Diomidis Spinellis <dds@FreeBSD.org> | 2006-05-30 20:49:54 +0000 |
| commit | f69ec7af12da527683b30cbc805bc57c90d56d1f (patch) | |
| tree | 6f2c7a3d8c1b344ff7e4016c1c9fec0b3b2a8eed /sys/tools | |
| parent | 64c3892747f00089fd60fe0381962834a01c22e1 (diff) | |
| download | src-f69ec7af12da527683b30cbc805bc57c90d56d1f.tar.gz src-f69ec7af12da527683b30cbc805bc57c90d56d1f.zip | |
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.
Notes
Notes:
svn path=/head/; revision=159082
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 ea2ab3a1c27d..54ee3a15d3e3 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. |