2003-07-04 17:42:03 +02:00
|
|
|
#ifndef __SHARED_H
|
|
|
|
|
#define __SHARED_H
|
|
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
|
|
#include "util.hh"
|
|
|
|
|
|
|
|
|
|
|
2003-12-01 16:55:05 +01:00
|
|
|
/* These are not implemented here, but must be implemented by a
|
|
|
|
|
program linking against libmain. */
|
|
|
|
|
|
|
|
|
|
/* Main program. Called by main() after the ATerm library has been
|
|
|
|
|
initialised and some default arguments have been processed (and
|
|
|
|
|
removed from `args'). main() will catch all exceptions. */
|
2003-07-04 17:42:03 +02:00
|
|
|
void run(Strings args);
|
|
|
|
|
|
2003-12-01 16:55:05 +01:00
|
|
|
/* Should print a help message to stdout and return. */
|
|
|
|
|
void printHelp();
|
|
|
|
|
|
2003-07-04 17:42:03 +02:00
|
|
|
|
|
|
|
|
extern string programId;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif /* !__SHARED_H */
|
