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
40
41
42
43
44
45
46
|
#pragma once
#include "HandleStream.h"
namespace storm {
STORM_PKG(core.io);
/**
* File IO.
*/
class FileIStream : public HandleRIStream {
STORM_CLASS;
public:
// Create from a path.
FileIStream(Str *name);
// Copy.
FileIStream(const FileIStream &o);
// To string.
virtual void STORM_FN toS(StrBuf *to) const;
private:
// File name.
Str *name;
};
class FileOStream : public HandleOStream {
STORM_CLASS;
public:
// Create from a path.
FileOStream(Str *name);
// Copy.
FileOStream(const FileOStream &o);
// To string.
virtual void STORM_FN toS(StrBuf *to) const;
private:
// File name.
Str *name;
};
}
|
