2011-07-06 16:42:02 -07:00
|
|
|
// -*- c++ -*-
|
2010-08-16 14:13:08 -07:00
|
|
|
#ifndef RUST_SRV_H
|
|
|
|
#define RUST_SRV_H
|
|
|
|
|
2010-08-27 18:26:36 -07:00
|
|
|
#include "rust_internal.h"
|
2010-08-17 23:40:07 -07:00
|
|
|
|
2010-08-16 14:13:08 -07:00
|
|
|
class rust_srv {
|
|
|
|
public:
|
2011-07-27 14:34:39 -07:00
|
|
|
rust_env *env;
|
2010-08-17 23:40:07 -07:00
|
|
|
memory_region local_region;
|
2010-08-16 14:13:08 -07:00
|
|
|
virtual void log(char const *msg);
|
|
|
|
virtual void fatal(char const *expression,
|
|
|
|
char const *file,
|
|
|
|
size_t line,
|
|
|
|
char const *format,
|
|
|
|
...);
|
|
|
|
virtual void warning(char const *expression,
|
|
|
|
char const *file,
|
|
|
|
size_t line,
|
|
|
|
char const *format,
|
|
|
|
...);
|
2010-08-17 23:40:07 -07:00
|
|
|
virtual void free(void *);
|
2010-08-16 14:13:08 -07:00
|
|
|
virtual void *malloc(size_t);
|
|
|
|
virtual void *realloc(void *, size_t);
|
2011-07-27 14:34:39 -07:00
|
|
|
rust_srv(rust_env *);
|
2010-08-16 14:13:08 -07:00
|
|
|
virtual ~rust_srv();
|
2010-09-07 18:39:07 -07:00
|
|
|
virtual rust_srv *clone();
|
2010-08-16 14:13:08 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif /* RUST_SRV_H */
|