cvs commit: src/sys/kern vnode_if.src src/sys/tools vnode_if.awk

[Diomidis Spinellis]

dds         2006-05-30 20:49:54 UTC

  FreeBSD src repository

  Modified files:
    sys/kern             vnode_if.src 
    sys/tools            vnode_if.awk 
  Log:
  Assertion code specifications are introduced using special character
  sequences that are distinct from comments. %% is used for argument
  locks; %! for pre- and post-conditions.
  
  Revision  Changes    Path
  1.82      +182 -182  src/sys/kern/vnode_if.src
  1.54      +5 -5      src/sys/tools/vnode_if.awk