00001 00002 /* orig marc, textonly xandi */ 00003 #ifndef PLUGINFRONTEND_H 00004 #define PLUGINFRONTEND_H 00005 00006 #include "../../frontEnd.h" 00007 00008 class PlugInFrontEnd : public FrontEnd { 00009 public: 00010 PlugInFrontEnd (); 00011 PlugInFrontEnd (int argc, char** argv); 00012 ~PlugInFrontEnd (); 00013 00014 void init (); 00015 void update (); 00016 00017 void displayUsers (int users); // amount of users logged in 00018 void displayMatrices (int matrices); // amount of active matrices 00019 00020 void displayDebugMessage (const char* msg); 00021 00022 private: 00023 }; 00024 00025 #endif