00001 00002 #ifndef DOSFRONTEND_H 00003 #define DOSFRONTEND_H 00004 00005 class DOSFrontEnd : public FrontEnd { 00006 public: 00007 void DOSFrontEnd (); 00008 void ~DOSFrontEnd (); 00009 00010 void update (); 00011 00012 void displayUsers (int users); // amount of users logged in 00013 void displayMatrices (int matrices); // amount of active matrices 00014 00015 void displayDebugMessage (char*); 00016 }; 00017 00018 #endif