]> git.saurik.com Git - cycript.git/blame - Library.cpp
Verify lexer tokens are always default reductions.
[cycript.git] / Library.cpp
CommitLineData
b3378a02 1/* Cycript - Optimizing JavaScript Compiler/Runtime
c1d3e52e 2 * Copyright (C) 2009-2015 Jay Freeman (saurik)
37954781
JF
3*/
4
f95d2598 5/* GNU Affero General Public License, Version 3 {{{ */
37954781 6/*
f95d2598
JF
7 * This program is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU Affero General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
c15969fd 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
f95d2598
JF
15 * GNU Affero General Public License for more details.
16
17 * You should have received a copy of the GNU Affero General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
b3378a02 19**/
37954781
JF
20/* }}} */
21
37954781
JF
22#include "cycript.hpp"
23
37954781 24#include <iostream>
37954781
JF
25#include <set>
26#include <map>
27#include <iomanip>
28#include <sstream>
29#include <cmath>
30
20052ff7
JF
31#include <dlfcn.h>
32
33#include <sys/mman.h>
34
35#include "ConvertUTF.h"
8a392978 36#include "Driver.hpp"
37954781 37#include "Error.hpp"
2f51d6ab 38#include "Execute.hpp"
20052ff7 39#include "Pooling.hpp"
b12a9965 40#include "String.hpp"
20052ff7 41#include "Syntax.hpp"
59cd74c1 42
fa3c5be8
JF
43template <>
44::pthread_key_t CYLocal<CYPool>::key_ = Key_();
45
142cb9e3 46/* C Strings {{{ */
b799113b 47CYUTF8String CYPoolUTF8String(CYPool &pool, CYUTF16String utf16) {
59cd74c1
JF
48 // XXX: this is wrong
49 size_t size(utf16.size * 5);
142cb9e3 50 char *temp(new(pool) char[size]);
59cd74c1 51
142cb9e3
JF
52 const uint16_t *lhs(utf16.data);
53 uint8_t *rhs(reinterpret_cast<uint8_t *>(temp));
54 _assert(ConvertUTF16toUTF8(&lhs, lhs + utf16.size, &rhs, rhs + size, lenientConversion) == conversionOK);
59cd74c1 55
142cb9e3
JF
56 *rhs = 0;
57 return CYUTF8String(temp, reinterpret_cast<char *>(rhs) - temp);
59cd74c1
JF
58}
59
b799113b 60CYUTF16String CYPoolUTF16String(CYPool &pool, CYUTF8String utf8) {
59cd74c1
JF
61 // XXX: this is wrong
62 size_t size(utf8.size * 5);
63 uint16_t *temp(new (pool) uint16_t[size]);
59cd74c1 64
142cb9e3
JF
65 const uint8_t *lhs(reinterpret_cast<const uint8_t *>(utf8.data));
66 uint16_t *rhs(temp);
67 _assert(ConvertUTF8toUTF16(&lhs, lhs + utf8.size, &rhs, rhs + size, lenientConversion) == conversionOK);
59cd74c1 68
142cb9e3
JF
69 *rhs = 0;
70 return CYUTF16String(temp, rhs - temp);
59cd74c1
JF
71}
72/* }}} */
37954781
JF
73/* Index Offsets {{{ */
74size_t CYGetIndex(const CYUTF8String &value) {
75 if (value.data[0] != '0') {
ba4fa42f
JF
76 size_t index(0);
77 for (size_t i(0); i != value.size; ++i) {
78 if (!DigitRange_[value.data[i]])
79 return _not(size_t);
80 index *= 10;
81 index += value.data[i] - '0';
82 }
83 return index;
84 } else if (value.size == 1)
37954781 85 return 0;
ba4fa42f
JF
86 else
87 return _not(size_t);
37954781
JF
88}
89
ba4fa42f 90// XXX: this isn't actually right
37954781
JF
91bool CYGetOffset(const char *value, ssize_t &index) {
92 if (value[0] != '0') {
93 char *end;
94 index = strtol(value, &end, 10);
95 if (value + strlen(value) == end)
96 return true;
97 } else if (value[1] == '\0') {
98 index = 0;
99 return true;
100 }
101
102 return false;
103}
104/* }}} */
37954781
JF
105/* JavaScript *ify {{{ */
106void CYStringify(std::ostringstream &str, const char *data, size_t size) {
107 unsigned quot(0), apos(0);
108 for (const char *value(data), *end(data + size); value != end; ++value)
109 if (*value == '"')
110 ++quot;
111 else if (*value == '\'')
112 ++apos;
113
114 bool single(quot > apos);
115
116 str << (single ? '\'' : '"');
117
118 for (const char *value(data), *end(data + size); value != end; ++value)
ee6c04ef 119 switch (uint8_t next = *value) {
37954781
JF
120 case '\\': str << "\\\\"; break;
121 case '\b': str << "\\b"; break;
122 case '\f': str << "\\f"; break;
123 case '\n': str << "\\n"; break;
124 case '\r': str << "\\r"; break;
125 case '\t': str << "\\t"; break;
126 case '\v': str << "\\v"; break;
127
128 case '"':
129 if (!single)
130 str << "\\\"";
131 else goto simple;
132 break;
133
134 case '\'':
135 if (single)
136 str << "\\'";
137 else goto simple;
138 break;
139
ee6c04ef
JF
140 case '\0':
141 if (value[1] >= '0' && value[1] <= '9')
142 str << "\\x00";
143 else
144 str << "\\0";
145 break;
146
37954781 147 default:
ee6c04ef 148 if (next >= 0x20 && next < 0x7f) simple:
37954781 149 str << *value;
ee6c04ef
JF
150 else {
151 unsigned levels(1);
152 if ((next & 0x80) != 0)
153 while ((next & 0x80 >> ++levels) != 0);
154
155 unsigned point(next & 0xff >> levels);
156 while (--levels != 0)
157 point = point << 6 | uint8_t(*++value) & 0x3f;
158
159 if (point < 0x100)
160 str << "\\x" << std::setbase(16) << std::setw(2) << std::setfill('0') << point;
161 else if (point < 0x10000)
162 str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << point;
163 else {
164 point -= 0x10000;
165 str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << (0xd800 | point >> 0x0a);
166 str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << (0xdc00 | point & 0x3ff);
167 }
168 }
37954781
JF
169 }
170
171 str << (single ? '\'' : '"');
172}
173
174void CYNumerify(std::ostringstream &str, double value) {
5f6902c2
JF
175 if (std::isinf(value)) {
176 if (value < 0)
177 str << '-';
178 str << "Infinity";
179 return;
180 }
181
37954781
JF
182 char string[32];
183 // XXX: I want this to print 1e3 rather than 1000
184 sprintf(string, "%.17g", value);
185 str << string;
186}
187
188bool CYIsKey(CYUTF8String value) {
189 const char *data(value.data);
190 size_t size(value.size);
191
192 if (size == 0)
193 return false;
194
195 if (DigitRange_[data[0]]) {
196 size_t index(CYGetIndex(value));
197 if (index == _not(size_t))
198 return false;
199 } else {
200 if (!WordStartRange_[data[0]])
201 return false;
202 for (size_t i(1); i != size; ++i)
203 if (!WordEndRange_[data[i]])
204 return false;
205 }
206
207 return true;
208}
209/* }}} */
210
37954781
JF
211double CYCastDouble(const char *value, size_t size) {
212 char *end;
213 double number(strtod(value, &end));
214 if (end != value + size)
215 return NAN;
216 return number;
217}
218
219double CYCastDouble(const char *value) {
220 return CYCastDouble(value, strlen(value));
221}
222
e66ced89
JF
223_visible bool CYStartsWith(const CYUTF8String &haystack, const CYUTF8String &needle) {
224 return haystack.size >= needle.size && strncmp(haystack.data, needle.data, needle.size) == 0;
225}
226
5587a93f 227CYUTF8String CYPoolCode(CYPool &pool, std::istream &stream) {
2eb8215d 228 CYLocalPool local;
2c1d569a 229 CYDriver driver(local, stream);
8a392978 230 _assert(!driver.Parse());
57930129 231 _assert(driver.errors_.empty());
59cd74c1 232
029bc65b 233 CYOptions options;
2eb8215d 234 CYContext context(options);
a7d8b413 235 driver.script_->Replace(context);
57930129 236
efd689d8 237 std::stringbuf str;
029bc65b 238 CYOutput out(str, options);
a7d8b413 239 out << *driver.script_;
a2b8d7ad 240 return $pool.strdup(str.str().c_str());
57930129 241}
59cd74c1 242
b799113b 243CYPool &CYGetGlobalPool() {
b799113b
JF
244 static CYPool pool;
245 return pool;
37954781
JF
246}
247
d9c91152 248_visible void CYThrow(const char *format, ...) {
37954781 249 va_list args;
b64ab4da 250 va_start(args, format);
37954781
JF
251 throw CYPoolError(format, args);
252 // XXX: does this matter? :(
b64ab4da 253 va_end(args);
37954781
JF
254}
255
b799113b
JF
256const char *CYPoolError::PoolCString(CYPool &pool) const {
257 return pool.strdup(message_);
37954781
JF
258}
259
0cbeddf8
JF
260CYPoolError::CYPoolError(const CYPoolError &rhs) :
261 message_(pool_.strdup(rhs.message_))
262{
263}
264
37954781
JF
265CYPoolError::CYPoolError(const char *format, ...) {
266 va_list args;
b64ab4da 267 va_start(args, format);
0cbeddf8
JF
268 // XXX: there might be a beter way to think about this
269 message_ = pool_.vsprintf(64, format, args);
b64ab4da 270 va_end(args);
37954781
JF
271}
272
273CYPoolError::CYPoolError(const char *format, va_list args) {
0cbeddf8
JF
274 // XXX: there might be a beter way to think about this
275 message_ = pool_.vsprintf(64, format, args);
37954781 276}