Operation int <<abstract>> WriteV (const  struct  iovec  * vector, int count), in Class RACE_WriterInterface

Documentation
Interface like the Systemcall writev(2)


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesWriteV(  )