blob: 2e332689904c4a0acb817742b66ea0ccbc3f5b21 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
#ifndef DEF_FWIK_IO_IOSTREAM_H
#define DEF_FWIK_IO_IOSTREAM_H
#include "Term.h"
#include <String.h>
class IOStream {
public:
Term *term;
IOStream() : term(0) {}
IOStream(Term *t) : term(t) {}
void print(const char* str);
void printf(const char* fmt, ...);
String readln();
IOStream &operator<<(const char* s) {
print(s);
return *this;
}
IOStream &operator<<(const String& s) {
print(s.c_str());
return *this;
}
IOStream &operator<<(int i) {
printf("%d", i);
return *this;
}
IOStream &operator<<(void* p) {
printf("%p", p);
return *this;
}
};
extern IOStream stdio;
#endif
|
