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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
#include "stdafx.h"
#include "Char.h"
#include "Utf.h"
#include "Str.h"
#include "StrBuf.h"
namespace storm {
Char::Char(char ch) : value(ch) {}
Char::Char(wchar ch) : value(ch) {}
Char::Char(nat16 ch) : value(ch) {}
#ifdef POSIX
Char::Char(wchar_t ch) : value(ch) {}
#endif
Char::Char() : value(0) {}
Char::Char(Nat codepoint) : value(codepoint) {}
Bool Char::operator ==(Char o) const {
return value == o.value;
}
Bool Char::operator !=(Char o) const {
return value != o.value;
}
Nat Char::hash() const {
return value;
}
wchar Char::leading() const {
return utf16::splitLeading(value);
}
wchar Char::trailing() const {
return utf16::splitTrailing(value);
}
nat Char::size() const {
return leading() == 0 ? 1 : 2;
}
Bool Char::utf16IsLeading(Nat point) {
return utf16::leading(nat16(point));
}
Bool Char::utf16IsTrailing(Nat point) {
return utf16::trailing(nat16(point));
}
Char Char::utf16Assemble(Nat leading, Nat trailing) {
nat16 l = nat16(leading);
nat16 t = nat16(trailing);
if (leading == 0) {
if (utf16::leading(t) || utf16::trailing(t))
return Char('\0');
return Char(t);
} else {
if (!utf16::leading(l) || !utf16::trailing(t))
return Char('\0');
return Char(utf16::assemble(l, t));
}
}
void Char::deepCopy(CloneEnv *env) {}
void Char::toS(StrBuf *to) const {
*to << *this;
}
Str *toS(EnginePtr e, Char ch) {
return new (e.v) Str(ch);
}
#ifdef VISUAL_STUDIO
// "wchar_t" is 16-bit UTF-16 on Windows.
wostream &operator <<(wostream &to, const Char &ch) {
wchar leading = ch.leading();
if (leading)
to << leading;
to << ch.trailing();
return to;
}
#else
// We assume that "wchar_t" is 32-bit UTF-32 here.
wostream &operator <<(wostream &to, const Char &ch) {
return to << (wchar_t)ch.codepoint();
}
#endif
}
|
