summaryrefslogtreecommitdiffstats
path: root/src/libknot/yparser/ypbody.c
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/libknot/yparser/ypbody.c456
1 files changed, 456 insertions, 0 deletions
diff --git a/src/libknot/yparser/ypbody.c b/src/libknot/yparser/ypbody.c
new file mode 100644
index 0000000..bfceaf0
--- /dev/null
+++ b/src/libknot/yparser/ypbody.c
@@ -0,0 +1,456 @@
+
+/* Copyright (C) 2018 CZ.NIC, z.s.p.o. <knot-dns@labs.nic.cz>
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
+*/
+
+#include <string.h>
+
+#include "libknot/yparser/yparser.h"
+#include "libknot/errcode.h"
+
+
+
+
+// Include parser static data (Ragel internals).
+
+static const char _yparser_actions[] = {
+ 0, 1, 0, 1, 1, 1, 2, 1,
+ 3, 1, 4, 1, 6, 1, 8, 1,
+ 9, 1, 10, 1, 11, 1, 12, 1,
+ 15, 2, 1, 0, 2, 1, 2, 2,
+ 2, 0, 2, 3, 4, 2, 5, 4,
+ 2, 6, 0, 2, 7, 8, 2, 12,
+ 13, 2, 14, 12, 3, 1, 2, 0,
+ 3, 1, 7, 8, 3, 1, 12, 13,
+ 3, 1, 14, 12, 3, 2, 7, 8,
+ 3, 2, 12, 13, 3, 2, 14, 12,
+ 4, 1, 2, 7, 8, 4, 1, 2,
+ 12, 13, 4, 1, 2, 14, 12
+};
+
+static const unsigned char _yparser_key_offsets[] = {
+ 0, 0, 13, 15, 16, 25, 36, 38,
+ 39, 49, 60, 71, 73, 76, 89, 93,
+ 96, 100, 102, 105, 115, 124, 127, 130,
+ 133, 137, 140, 143, 146, 157, 170, 183,
+ 196
+};
+
+static const char _yparser_trans_keys[] = {
+ 10, 13, 32, 35, 45, 46, 92, 48,
+ 57, 65, 90, 97, 122, 10, 13, 32,
+ 32, 46, 92, 48, 57, 65, 90, 97,
+ 122, 32, 58, 92, 45, 46, 48, 57,
+ 65, 90, 97, 122, 32, 58, 32, 32,
+ 33, 34, 92, 36, 43, 45, 90, 94,
+ 126, 10, 13, 32, 33, 92, 36, 43,
+ 45, 90, 94, 126, 32, 58, 92, 45,
+ 46, 48, 57, 65, 90, 97, 122, 32,
+ 58, 10, 13, 32, 10, 13, 32, 34,
+ 35, 91, 92, 33, 43, 45, 90, 94,
+ 126, 34, 92, 32, 126, 10, 13, 32,
+ 10, 13, 32, 35, 10, 13, 34, 32,
+ 126, 32, 33, 34, 92, 36, 43, 45,
+ 90, 94, 126, 32, 33, 44, 92, 93,
+ 36, 90, 94, 126, 32, 44, 93, 10,
+ 13, 32, 34, 32, 126, 34, 92, 32,
+ 126, 32, 44, 93, 34, 32, 126, 34,
+ 32, 126, 32, 58, 92, 45, 46, 48,
+ 57, 65, 90, 97, 122, 10, 13, 32,
+ 35, 45, 46, 92, 48, 57, 65, 90,
+ 97, 122, 10, 13, 32, 35, 45, 46,
+ 92, 48, 57, 65, 90, 97, 122, 10,
+ 13, 32, 35, 45, 46, 92, 48, 57,
+ 65, 90, 97, 122, 10, 13, 32, 35,
+ 45, 46, 92, 48, 57, 65, 90, 97,
+ 122, 0
+};
+
+static const char _yparser_single_lengths[] = {
+ 0, 7, 2, 1, 3, 3, 2, 1,
+ 4, 5, 3, 2, 3, 7, 2, 3,
+ 4, 2, 1, 4, 5, 3, 3, 1,
+ 2, 3, 1, 1, 3, 7, 7, 7,
+ 7
+};
+
+static const char _yparser_range_lengths[] = {
+ 0, 3, 0, 0, 3, 4, 0, 0,
+ 3, 3, 4, 0, 0, 3, 1, 0,
+ 0, 0, 1, 3, 2, 0, 0, 1,
+ 1, 0, 1, 1, 4, 3, 3, 3,
+ 3
+};
+
+static const unsigned char _yparser_index_offsets[] = {
+ 0, 0, 11, 14, 16, 23, 31, 34,
+ 36, 44, 53, 61, 64, 68, 79, 83,
+ 87, 92, 95, 98, 106, 114, 118, 122,
+ 125, 129, 133, 136, 139, 147, 158, 169,
+ 180
+};
+
+static const char _yparser_indicies[] = {
+ 1, 2, 3, 4, 5, 6, 6, 6,
+ 6, 6, 0, 1, 2, 4, 7, 0,
+ 7, 8, 8, 8, 8, 8, 0, 9,
+ 11, 10, 10, 10, 10, 10, 0, 12,
+ 13, 0, 14, 0, 14, 15, 16, 17,
+ 15, 15, 15, 0, 18, 19, 20, 21,
+ 22, 21, 21, 21, 0, 23, 25, 24,
+ 24, 24, 24, 24, 0, 26, 27, 0,
+ 28, 29, 30, 0, 28, 29, 30, 16,
+ 31, 32, 17, 15, 15, 15, 0, 34,
+ 35, 33, 0, 18, 19, 20, 0, 28,
+ 29, 36, 31, 0, 28, 29, 31, 37,
+ 33, 0, 32, 38, 39, 40, 38, 38,
+ 38, 0, 41, 42, 43, 44, 45, 42,
+ 42, 0, 46, 32, 47, 0, 28, 29,
+ 36, 0, 48, 42, 0, 50, 51, 49,
+ 0, 41, 43, 45, 0, 52, 49, 0,
+ 53, 21, 0, 54, 56, 55, 55, 55,
+ 55, 55, 0, 1, 2, 3, 4, 5,
+ 57, 57, 57, 57, 57, 0, 58, 59,
+ 60, 61, 62, 63, 63, 63, 63, 63,
+ 0, 64, 65, 66, 67, 68, 69, 69,
+ 69, 69, 69, 0, 70, 71, 72, 73,
+ 74, 75, 75, 75, 75, 75, 0, 0
+};
+
+static const char _yparser_trans_targs[] = {
+ 0, 30, 31, 1, 2, 3, 28, 4,
+ 5, 6, 5, 7, 6, 7, 8, 9,
+ 14, 27, 32, 29, 16, 9, 27, 11,
+ 10, 12, 11, 12, 32, 29, 13, 17,
+ 19, 14, 15, 18, 16, 14, 20, 24,
+ 23, 21, 20, 19, 23, 22, 21, 22,
+ 20, 24, 25, 26, 24, 9, 11, 28,
+ 12, 10, 30, 31, 1, 2, 3, 10,
+ 30, 31, 1, 2, 3, 10, 30, 31,
+ 1, 2, 3, 10
+};
+
+static const char _yparser_trans_actions[] = {
+ 23, 1, 0, 46, 0, 49, 43, 21,
+ 43, 19, 13, 19, 0, 0, 0, 34,
+ 7, 34, 40, 11, 11, 9, 9, 15,
+ 13, 15, 0, 0, 1, 0, 0, 0,
+ 0, 9, 0, 9, 0, 37, 34, 7,
+ 34, 11, 9, 11, 9, 11, 0, 0,
+ 37, 9, 0, 9, 37, 37, 17, 13,
+ 17, 43, 52, 28, 85, 28, 90, 80,
+ 31, 5, 72, 5, 76, 68, 25, 3,
+ 60, 3, 64, 56
+};
+
+static const char _yparser_eof_actions[] = {
+ 0, 23, 23, 23, 23, 23, 23, 23,
+ 23, 23, 23, 23, 23, 23, 23, 23,
+ 23, 23, 23, 23, 23, 23, 23, 23,
+ 23, 23, 23, 23, 23, 0, 28, 5,
+ 3
+};
+
+
+
+
+
+int _yp_start_state = 29;
+
+int _yp_parse(
+ yp_parser_t *parser)
+{
+ // Parser input limits (Ragel internals).
+ const char *p, *pe, *eof;
+
+ // Current item indent.
+ size_t indent = 0;
+ // Current id dash position.
+ size_t id_pos = 0;
+ // Indicates if the current parsing step contains an item.
+ bool found = false;
+
+ if (!parser->input.eof) { // Restore parser input limits.
+ p = parser->input.current;
+ pe = parser->input.end;
+ eof = NULL;
+ } else { // Set the last artificial block with just one new line char.
+ p = "\n";
+ pe = p + 1;
+ eof = pe;
+ }
+
+ // Include parser body.
+
+ {
+ int _klen;
+ unsigned int _trans;
+ const char *_acts;
+ unsigned int _nacts;
+ const char *_keys;
+
+ if ( p == pe )
+ goto _test_eof;
+ if ( parser->cs == 0 )
+ goto _out;
+_resume:
+ _keys = _yparser_trans_keys + _yparser_key_offsets[ parser->cs];
+ _trans = _yparser_index_offsets[ parser->cs];
+
+ _klen = _yparser_single_lengths[ parser->cs];
+ if ( _klen > 0 ) {
+ const char *_lower = _keys;
+ const char *_mid;
+ const char *_upper = _keys + _klen - 1;
+ while (1) {
+ if ( _upper < _lower )
+ break;
+
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( (*p) < *_mid )
+ _upper = _mid - 1;
+ else if ( (*p) > *_mid )
+ _lower = _mid + 1;
+ else {
+ _trans += (unsigned int)(_mid - _keys);
+ goto _match;
+ }
+ }
+ _keys += _klen;
+ _trans += _klen;
+ }
+
+ _klen = _yparser_range_lengths[ parser->cs];
+ if ( _klen > 0 ) {
+ const char *_lower = _keys;
+ const char *_mid;
+ const char *_upper = _keys + (_klen<<1) - 2;
+ while (1) {
+ if ( _upper < _lower )
+ break;
+
+ _mid = _lower + (((_upper-_lower) >> 1) & ~1);
+ if ( (*p) < _mid[0] )
+ _upper = _mid - 2;
+ else if ( (*p) > _mid[1] )
+ _lower = _mid + 2;
+ else {
+ _trans += (unsigned int)((_mid - _keys)>>1);
+ goto _match;
+ }
+ }
+ _trans += _klen;
+ }
+
+_match:
+ _trans = _yparser_indicies[_trans];
+ parser->cs = _yparser_trans_targs[_trans];
+
+ if ( _yparser_trans_actions[_trans] == 0 )
+ goto _again;
+
+ _acts = _yparser_actions + _yparser_trans_actions[_trans];
+ _nacts = (unsigned int) *_acts++;
+ while ( _nacts-- > 0 )
+ {
+ switch ( *_acts++ )
+ {
+ case 0:
+ {
+ // Return if key without value.
+ if (parser->event != YP_ENULL && !parser->processed) {
+ parser->processed = true;
+ found = true;
+ {p++; goto _out; }
+ }
+ }
+ break;
+ case 1:
+ {
+ parser->line_count++;
+ parser->event = YP_ENULL;
+ parser->processed = false;
+ }
+ break;
+ case 2:
+ {
+ indent = 0;
+ id_pos = 0;
+ }
+ break;
+ case 3:
+ {
+ parser->data_len = 0;
+ }
+ break;
+ case 4:
+ {
+ if (parser->data_len >= sizeof(parser->data) - 1) {
+ return KNOT_ESPACE;
+ }
+ parser->data[parser->data_len++] = (*p);
+ }
+ break;
+ case 5:
+ {
+ parser->data_len--;
+ }
+ break;
+ case 6:
+ {
+ // Return if a value parsed.
+ parser->data[parser->data_len] = '\0';
+ parser->processed = true;
+ found = true;
+ {p++; goto _out; }
+ }
+ break;
+ case 7:
+ {
+ if (indent > 0 && parser->indent > 0 &&
+ indent != parser->indent) {
+ return KNOT_YP_EINVAL_INDENT;
+ }
+ parser->processed = false;
+ parser->key_len = 0;
+ parser->data_len = 0;
+ parser->event = YP_ENULL;
+ }
+ break;
+ case 8:
+ {
+ if (parser->key_len >= sizeof(parser->key) - 1) {
+ return KNOT_ESPACE;
+ }
+ parser->key[parser->key_len++] = (*p);
+ }
+ break;
+ case 9:
+ {
+ parser->key[parser->key_len] = '\0';
+ parser->indent = 0;
+ parser->id_pos = 0;
+ parser->event = YP_EKEY0;
+ }
+ break;
+ case 10:
+ {
+ parser->key[parser->key_len] = '\0';
+ parser->indent = indent;
+ parser->event = YP_EKEY1;
+ }
+ break;
+ case 11:
+ {
+ parser->key[parser->key_len] = '\0';
+ parser->indent = indent;
+ parser->id_pos = id_pos;
+ parser->event = YP_EID;
+ }
+ break;
+ case 12:
+ {
+ indent++;
+ }
+ break;
+ case 13:
+ {
+ id_pos++;
+ }
+ break;
+ case 14:
+ {
+ if (id_pos > 0 && parser->id_pos > 0 &&
+ id_pos != parser->id_pos) {
+ return KNOT_YP_EINVAL_INDENT;
+ }
+ parser->indent = 0;
+ }
+ break;
+ case 15:
+ {
+ switch ((*p)) {
+ case '\t':
+ return KNOT_YP_ECHAR_TAB;
+ default:
+ return KNOT_EPARSEFAIL;
+ }
+ }
+ break;
+ }
+ }
+
+_again:
+ if ( parser->cs == 0 )
+ goto _out;
+ if ( ++p != pe )
+ goto _resume;
+ _test_eof: {}
+ if ( p == eof )
+ {
+ const char *__acts = _yparser_actions + _yparser_eof_actions[ parser->cs];
+ unsigned int __nacts = (unsigned int) *__acts++;
+ while ( __nacts-- > 0 ) {
+ switch ( *__acts++ ) {
+ case 1:
+ {
+ parser->line_count++;
+ parser->event = YP_ENULL;
+ parser->processed = false;
+ }
+ break;
+ case 2:
+ {
+ indent = 0;
+ id_pos = 0;
+ }
+ break;
+ case 15:
+ {
+ switch ((*p)) {
+ case '\t':
+ return KNOT_YP_ECHAR_TAB;
+ default:
+ return KNOT_EPARSEFAIL;
+ }
+ }
+ break;
+ }
+ }
+ }
+
+ _out: {}
+ }
+
+
+ // Store the current parser position.
+ if (!parser->input.eof) {
+ parser->input.current = p;
+ } else {
+ parser->input.current = parser->input.end;
+ }
+
+ // Check for general parser error.
+ if (parser->cs == 0) {
+ return KNOT_EPARSEFAIL;
+ }
+
+ // Check if parsed an item.
+ if (found) {
+ return KNOT_EOK;
+ } else {
+ return KNOT_EFEWDATA;
+ }
+}