The session class

The session class is used to start up the hush toolkit as in the program of the Dining Philosophers. Its interface is (incompletely) characterized by:

 
   interface session
   {
     session(int argc,char** argv,char* name = NULL);   // create
     virtual int main();                               // initialize
     int run();                                         // start and run
   };