blob: 76b639e3785da8e7c114f0a7c00edf1ad6f810f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#ifndef __SHARED_H
#define __SHARED_H
#include <string>
#include "util.hh"
/* 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. */
void run(Strings args);
/* Should print a help message to stdout and return. */
void printHelp();
extern string programId;
#endif /* !__SHARED_H */
|
