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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
#include "stdafx.h"
#include "StdStream.h"
namespace storm {
namespace proc {
IStream *in(EnginePtr e) {
return new (e.v) StdIStream();
}
OStream *out(EnginePtr e) {
return new (e.v) StdOStream(stdOut);
}
OStream *error(EnginePtr e) {
return new (e.v) StdOStream(stdError);
}
}
StdIStream::StdIStream() {}
PeekReadResult StdIStream::doRead(byte *to, Nat count) {
StdRequest r(stdIn, to, count);
runtime::postStdRequest(engine(), &r);
r.wait.down();
return PeekReadResult::success(r.count);
}
StdOStream::StdOStream(StdStream t) : target(t), seenEnd(false) {}
Nat StdOStream::write(Buffer to, Nat start) {
Nat consumed = 0;
start = min(start, to.filled());
while (start < to.filled()) {
StdRequest r(target, to.dataPtr() + start, to.filled() - start);
runtime::postStdRequest(engine(), &r);
r.wait.down();
if (r.count == 0) {
seenEnd = true;
break;
}
start += r.count;
consumed += r.count;
}
return consumed;
}
sys::ErrorCode StdOStream::error() const {
if (seenEnd)
return sys::disconnected;
return sys::none;
}
StdRequest::StdRequest(StdStream stream, byte *to, Nat count)
: stream(stream),
buffer(to),
count(count),
wait(0),
next(null) {}
}
|
