\slide{class-session}{The session class}{ interface session { \fbox{session} session(int argc, char** argv, char* name = 0); void init(char* fname); virtual void prelude(kit* tk, int argc, char* argv[] ); virtual void main(kit* tk, int argc, char* argv[] ); int run( ); }; }
interface session { \fbox{session} session(int argc, char** argv, char* name = 0); void init(char* fname); virtual void prelude(kit* tk, int argc, char* argv[] ); virtual void main(kit* tk, int argc, char* argv[] ); int run( ); };