NAME

       nescc-wiring - check wiring of nesC program

SYNOPSIS

       nescc-wiring nesc-xml-file

DESCRIPTION

       nescc-wiring is a tool to verify that wiring constraints specified on individual components are respected
       in a nesC program. These wiring constraints can specify that an interface provided or used by a component
       must be wired at least once, at most once, or exactly once. If no wiring constraints are violated, nescc-
       wiring terminates with an exit status of 0. Otherwise, appropriate error messages are printed and  nescc-
       wiring terminates with a non-zero exit status.

       Wiring  constraints  are specified by placing @atmostonce(), @atleastonce() and @exactlyonce() attributes
       on the relevant interfaces. For instance, writing

         module Fun {
           provides interface Init @atleastonce();
         ...

       ensures that programs using module Fun must wire its Init interface at least once.

       Specifically, when the annotation is placed on a provided interface, there must be the  specified  number
       of  paths  in the wiring graph from any module to that interface. If the annotations are placed on a used
       interface, there must be the specified number of paths in the wiring graph  from  the  interface  to  any
       module.

       To  use  this  wiring  check  tool, you must declare the @atmostonce(), @atleastonce() and @exactlyonce()
       attributes in some global header file as follows:

         struct @atleastonce() { };
         struct @atmostonce() { };
         struct @exactlyonce() { };

       and you must pass the following options to nescc to create the XML file that you pass to nescc-wiring:

         -fnesc-dump=wiring
         -fnesc-dump='interfaces(!abstract())'
         -fnesc-dump='referenced(interfacedefs, components)'
         -fnesc-dumpfile=nesc-xml-file

SEE ALSO

       nescc(1)

                                                 January 4, 2006                                 nescc-wiring(1)