aboutsummaryrefslogtreecommitdiffstats
path: root/src/reader.c
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2013-02-25 06:18:29 +0000
committerDavid Robillard <d@drobilla.net>2013-02-25 06:18:29 +0000
commit4cd874e79f88f79a3782d4b7feea60b48ec26598 (patch)
treec94ee6cacfe15c43e96b75e5f41d226f62325f9c /src/reader.c
parent29c0649c9f5cc4467b0545eb95759b835da9991b (diff)
downloadserd-4cd874e79f88f79a3782d4b7feea60b48ec26598.tar.gz
serd-4cd874e79f88f79a3782d4b7feea60b48ec26598.tar.bz2
serd-4cd874e79f88f79a3782d4b7feea60b48ec26598.zip
Support most of the latest Turtle Editor's Draft.
git-svn-id: http://svn.drobilla.net/serd/trunk@418 490d8e77-9747-427b-9fa3-0b8f29cee8a0
Diffstat (limited to 'src/reader.c')
-rw-r--r--src/reader.c631
1 files changed, 332 insertions, 299 deletions
diff --git a/src/reader.c b/src/reader.c
index 149a3e28..b3accd3b 100644
--- a/src/reader.c
+++ b/src/reader.c
@@ -267,12 +267,11 @@ read_collection(SerdReader* reader, ReadContext ctx, Ref* dest);
static bool
read_predicateObjectList(SerdReader* reader, ReadContext ctx);
-// [40] hex ::= [#x30-#x39] | [#x41-#x46]
static inline uint8_t
-read_hex(SerdReader* reader)
+read_HEX(SerdReader* reader)
{
const uint8_t c = peek_byte(reader);
- if (in_range(c, 0x30, 0x39) || in_range(c, 0x41, 0x46)) {
+ if (is_digit(c) || in_range(c, 'A', 'F') || in_range(c, 'a', 'f')) {
return eat_byte_safe(reader, c);
} else {
return r_err(reader, SERD_ERR_BAD_SYNTAX,
@@ -280,12 +279,27 @@ read_hex(SerdReader* reader)
}
}
+// Read UCHAR escape, initial \ is already eaten by caller
static inline bool
-read_hex_escape(SerdReader* reader, unsigned length, Ref dest)
+read_UCHAR(SerdReader* reader, Ref dest)
{
+ const uint8_t b = peek_byte(reader);
+ unsigned length = 0;
+ switch (b) {
+ case 'U':
+ length = 8;
+ break;
+ case 'u':
+ length = 4;
+ break;
+ default:
+ return false;
+ }
+ eat_byte_safe(reader, b);
+
uint8_t buf[9] = { 0, 0, 0, 0, 0, 0, 0, 0, 0 };
for (unsigned i = 0; i < length; ++i) {
- if (!(buf[i] = read_hex(reader))) {
+ if (!(buf[i] = read_HEX(reader))) {
return false;
}
}
@@ -334,32 +348,20 @@ read_hex_escape(SerdReader* reader, unsigned length, Ref dest)
return true;
}
+// Read ECHAR escape, initial \ is already eaten by caller
static inline bool
-read_character_escape(SerdReader* reader, Ref dest)
-{
- switch (peek_byte(reader)) {
- case '\\':
- push_byte(reader, dest, eat_byte_safe(reader, '\\'));
- return true;
- case 'u':
- eat_byte_safe(reader, 'u');
- return read_hex_escape(reader, 4, dest);
- case 'U':
- eat_byte_safe(reader, 'U');
- return read_hex_escape(reader, 8, dest);
- default:
- return false;
- }
-}
-
-static inline bool
-read_echaracter_escape(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
+read_ECHAR(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
{
- switch (peek_byte(reader)) {
+ const uint8_t c = peek_byte(reader);
+ switch (c) {
case 't':
eat_byte_safe(reader, 't');
push_byte(reader, dest, '\t');
return true;
+ case 'b':
+ eat_byte_safe(reader, 'b');
+ push_byte(reader, dest, '\b');
+ return true;
case 'n':
*flags |= SERD_HAS_NEWLINE;
eat_byte_safe(reader, 'n');
@@ -370,34 +372,15 @@ read_echaracter_escape(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
eat_byte_safe(reader, 'r');
push_byte(reader, dest, '\r');
return true;
- default:
- return read_character_escape(reader, dest);
- }
-}
-
-static inline bool
-read_scharacter_escape(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
-{
- switch (peek_byte(reader)) {
- case '"':
- *flags |= SERD_HAS_QUOTE;
- push_byte(reader, dest, eat_byte_safe(reader, '"'));
+ case 'f':
+ eat_byte_safe(reader, 'f');
+ push_byte(reader, dest, '\f');
return true;
- default:
- return read_echaracter_escape(reader, dest, flags);
- }
-}
-
-static inline bool
-read_ucharacter_escape(SerdReader* reader, Ref dest)
-{
- SerdNodeFlags flags = 0;
- switch (peek_byte(reader)) {
- case '>':
- push_byte(reader, dest, eat_byte_safe(reader, '>'));
+ case '\\': case '"': case '\'':
+ push_byte(reader, dest, eat_byte_safe(reader, c));
return true;
default:
- return read_echaracter_escape(reader, dest, &flags);
+ return false;
}
}
@@ -427,12 +410,11 @@ read_utf8_character(SerdReader* reader, Ref dest, uint8_t c)
} else if ((c & 0xF8) == 0xF0) { // Starts with `11110'
size = 4;
} else {
- return bad_char(reader, dest, "invalid UTF-8 start 0x%X\n",
- eat_byte_safe(reader, c));
+ return bad_char(reader, dest, "invalid UTF-8 start 0x%X\n", c);
}
char bytes[4];
- bytes[0] = eat_byte_safe(reader, c);
+ bytes[0] = c;
// Check character validity
for (unsigned i = 1; i < size; ++i) {
@@ -450,114 +432,19 @@ read_utf8_character(SerdReader* reader, Ref dest, uint8_t c)
return SERD_SUCCESS;
}
-// [38] character ::= '\u' hex hex hex hex
-// | '\U' hex hex hex hex hex hex hex hex
-// | '\\'
-// | [#x20-#x5B] | [#x5D-#x10FFFF]
+// Read one character (possibly multi-byte)
+// The first byte, c, has already been eaten by caller
static inline SerdStatus
-read_character(SerdReader* reader, Ref dest)
+read_character(SerdReader* reader, Ref dest, uint8_t c)
{
- const uint8_t c = peek_byte(reader);
- assert(c != '\\'); // Only called from methods that handle escapes first
- if (c == '\0') {
- r_err(reader, SERD_ERR_BAD_SYNTAX, "unexpected end of input\n", c);
- return SERD_ERR_BAD_SYNTAX;
- } else if (c < 0x20) {
- return bad_char(reader, dest,
- "unexpected control character 0x%X\n",
- eat_byte_safe(reader, c));
- } else if (!(c & 0x80)) {
- push_byte(reader, dest, eat_byte_safe(reader, c));
+ if (!(c & 0x80)) {
+ push_byte(reader, dest, c);
return SERD_SUCCESS;
} else {
return read_utf8_character(reader, dest, c);
}
}
-// [43] lcharacter ::= echaracter | '\"' | #x9 | #xA | #xD
-static inline SerdStatus
-read_lcharacter(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
-{
- const uint8_t c = peek_byte(reader);
- uint8_t buf[2];
- switch (c) {
- case '"':
- eat_byte_safe(reader, '\"');
- buf[0] = eat_byte_safe(reader, peek_byte(reader));
- buf[1] = eat_byte_safe(reader, peek_byte(reader));
- if (buf[0] == '\"' && buf[1] == '\"') {
- return SERD_FAILURE;
- } else {
- *flags |= SERD_HAS_QUOTE;
- push_byte(reader, dest, c);
- push_byte(reader, dest, buf[0]);
- push_byte(reader, dest, buf[1]);
- return SERD_SUCCESS;
- }
- case '\\':
- eat_byte_safe(reader, '\\');
- if (read_scharacter_escape(reader, dest, flags)) {
- return SERD_SUCCESS;
- } else {
- r_err(reader, SERD_ERR_BAD_SYNTAX,
- "invalid escape `\\%c'\n", peek_byte(reader));
- return SERD_ERR_BAD_SYNTAX;
- }
- case 0xA: case 0xD:
- *flags |= SERD_HAS_NEWLINE;
- case 0x9:
- push_byte(reader, dest, eat_byte_safe(reader, c));
- return SERD_SUCCESS;
- default:
- return read_character(reader, dest);
- }
-}
-
-// [42] scharacter ::= ( echaracter - #x22 ) | '\"'
-static inline SerdStatus
-read_scharacter(SerdReader* reader, Ref dest, SerdNodeFlags* flags)
-{
- uint8_t c = peek_byte(reader);
- switch (c) {
- case '\\':
- eat_byte_safe(reader, '\\');
- if (read_scharacter_escape(reader, dest, flags)) {
- return SERD_SUCCESS;
- } else {
- r_err(reader, SERD_ERR_BAD_SYNTAX,
- "invalid escape `\\%c'\n", peek_byte(reader));
- return SERD_ERR_BAD_SYNTAX;
- }
- case '\"':
- return SERD_FAILURE;
- default:
- return read_character(reader, dest);
- }
-}
-
-// Spec: [41] ucharacter ::= ( character - #x3E ) | '\>'
-// Impl: [41] ucharacter ::= ( echaracter - #x3E ) | '\>'
-static inline SerdStatus
-read_ucharacter(SerdReader* reader, Ref dest)
-{
- const uint8_t c = peek_byte(reader);
- switch (c) {
- case '\\':
- eat_byte_safe(reader, '\\');
- if (read_ucharacter_escape(reader, dest)) {
- return SERD_SUCCESS;
- } else {
- r_err(reader, SERD_ERR_BAD_SYNTAX,
- "invalid escape `\\%c'\n", peek_byte(reader));
- return SERD_FAILURE;
- }
- case '>':
- return SERD_FAILURE;
- default:
- return read_character(reader, dest);
- }
-}
-
// [10] comment ::= '#' ( [^#xA #xD] )*
static void
read_comment(SerdReader* reader)
@@ -617,131 +504,211 @@ eat_delim(SerdReader* reader, const char delim)
return false;
}
-// [37] longString ::= #x22 #x22 #x22 lcharacter* #x22 #x22 #x22
+// STRING_LITERAL_LONG_QUOTE and STRING_LITERAL_LONG_SINGLE_QUOTE
+// Initial triple quotes are already eaten by caller
static Ref
-read_longString(SerdReader* reader, SerdNodeFlags* flags)
+read_STRING_LITERAL_LONG(SerdReader* reader, SerdNodeFlags* flags, uint8_t q)
{
- Ref ref = push_node(reader, SERD_LITERAL, "", 0);
- SerdStatus st;
- while (!(st = read_lcharacter(reader, ref, flags))) {}
- if (st < SERD_ERR_UNKNOWN) {
- return ref;
+ Ref ref = push_node(reader, SERD_LITERAL, "", 0);
+ while (true) {
+ const uint8_t c = peek_byte(reader);
+ switch (c) {
+ case '\\':
+ eat_byte_safe(reader, c);
+ if (!read_ECHAR(reader, ref, flags) && !read_UCHAR(reader, ref)) {
+ r_err(reader, SERD_ERR_BAD_SYNTAX,
+ "invalid escape `\\%c'\n", peek_byte(reader));
+ return pop_node(reader, ref);
+ }
+ break;
+ default:
+ if (c == q) {
+ eat_byte_safe(reader, q);
+ const uint8_t q2 = eat_byte_safe(reader, peek_byte(reader));
+ const uint8_t q3 = peek_byte(reader);
+ if (q2 == q && q3 == q) { // End of string
+ eat_byte_safe(reader, q3);
+ return ref;
+ } else {
+ *flags |= SERD_HAS_QUOTE;
+ push_byte(reader, ref, c);
+ read_character(reader, ref, q2);
+ }
+ } else {
+ read_character(reader, ref, eat_byte_safe(reader, c));
+ }
+ }
}
- return pop_node(reader, ref);
+ return ref;
}
-// [36] string ::= #x22 scharacter* #x22
+// STRING_LITERAL_QUOTE and STRING_LITERAL_SINGLE_QUOTE
+// Initial quote is already eaten by caller
static Ref
-read_string(SerdReader* reader, SerdNodeFlags* flags)
+read_STRING_LITERAL(SerdReader* reader, SerdNodeFlags* flags, uint8_t q)
{
- Ref ref = push_node(reader, SERD_LITERAL, "", 0);
- SerdStatus st;
- while (!(st = read_scharacter(reader, ref, flags))) {}
- if (st < SERD_ERR_UNKNOWN) {
- eat_byte_check(reader, '\"');
- return ref;
+ Ref ref = push_node(reader, SERD_LITERAL, "", 0);
+ while (true) {
+ const uint8_t c = peek_byte(reader);
+ switch (c) {
+ case '\n': case '\r':
+ r_err(reader, SERD_ERR_BAD_SYNTAX, "line end in short string\n");
+ return pop_node(reader, ref);
+ case '\\':
+ eat_byte_safe(reader, c);
+ if (!read_ECHAR(reader, ref, flags) && !read_UCHAR(reader, ref)) {
+ r_err(reader, SERD_ERR_BAD_SYNTAX,
+ "invalid escape `\\%c'\n", peek_byte(reader));
+ return pop_node(reader, ref);
+ }
+ break;
+ default:
+ if (c == q) {
+ eat_byte_check(reader, q);
+ return ref;
+ } else {
+ read_character(reader, ref, eat_byte_safe(reader, c));
+ }
+ }
}
- return pop_node(reader, ref);
+ eat_byte_check(reader, q);
+ return ref;
}
-// [35] quotedString ::= string | longString
static Ref
-read_quotedString(SerdReader* reader, SerdNodeFlags* flags)
+read_String(SerdReader* reader, SerdNodeFlags* flags)
{
- eat_byte_safe(reader, '\"'); // q1
+ const uint8_t q1 = peek_byte(reader);
+ if (q1 != '\"' && q1 != '\'') {
+ return 0;
+ }
+ eat_byte_safe(reader, q1);
+
const uint8_t q2 = peek_byte(reader);
- if (q2 != '\"') { // Non-empty single-quoted string
- return read_string(reader, flags);
+ if (q2 != q1) { // Short string (not triple quoted)
+ return read_STRING_LITERAL(reader, flags, q1);
}
eat_byte_safe(reader, q2);
const uint8_t q3 = peek_byte(reader);
- if (q3 != '\"') { // Empty single-quoted string
+ if (q3 != q1) { // Empty short string ("" or '')
return push_node(reader, SERD_LITERAL, "", 0);
}
- eat_byte_safe(reader, '\"');
- return read_longString(reader, flags);
+ eat_byte_safe(reader, q3);
+ return read_STRING_LITERAL_LONG(reader, flags, q1);
}
-// [34] relativeURI ::= ucharacter*
-static inline Ref
-read_relativeURI(SerdReader* reader)
+static bool
+read_PN_CHARS_BASE(SerdReader* reader, Ref dest)
{
- Ref ref = push_node(reader, SERD_URI, "", 0);
- SerdStatus st;
- while (!(st = read_ucharacter(reader, ref))) {}
- if (st < SERD_ERR_UNKNOWN) {
- return ref;
+ const uint8_t c = peek_byte(reader);
+ if (is_alpha(c)) { // TODO: UTF-8
+ push_byte(reader, dest, eat_byte_safe(reader, c));
+ return true;
}
- return pop_node(reader, ref);
+ return false;
}
-// [30] nameStartChar ::= [A-Z] | "_" | [a-z]
-// | [#x00C0-#x00D6] | [#x00D8-#x00F6] | [#x00F8-#x02FF] | [#x0370-#x037D]
-// | [#x037F-#x1FFF] | [#x200C-#x200D] | [#x2070-#x218F] | [#x2C00-#x2FEF]
-// | [#x3001-#xD7FF] | [#xF900-#xFDCF] | [#xFDF0-#xFFFD] | [#x10000-#xEFFFF]
-static inline uchar
-read_nameStartChar(SerdReader* reader)
+static bool
+read_PN_CHARS(SerdReader* reader, Ref dest)
{
const uint8_t c = peek_byte(reader);
- if (c == '_' || is_alpha(c) || is_digit(c)) { // TODO: Not correct
- return eat_byte_safe(reader, c);
+ if (is_alpha(c) || is_digit(c) || c == '_' || c == '-') { // TODO: UTF-8
+ push_byte(reader, dest, eat_byte_safe(reader, c));
+ return true;
}
- return 0;
+ return false;
}
-// [31] nameChar ::= nameStartChar | '-' | [0-9]
-// | #x00B7 | [#x0300-#x036F] | [#x203F-#x2040]
-static inline uchar
-read_nameChar(SerdReader* reader)
+static bool
+read_PERCENT(SerdReader* reader, Ref dest)
+{
+ push_byte(reader, dest, eat_byte_safe(reader, '%'));
+ const uint8_t h1 = read_HEX(reader);
+ const uint8_t h2 = read_HEX(reader);
+ if (h1 && h2) {
+ push_byte(reader, dest, h1);
+ push_byte(reader, dest, h2);
+ return true;
+ }
+ return false;
+}
+
+static bool
+read_PLX(SerdReader* reader, Ref dest)
{
- uchar c = read_nameStartChar(reader);
- if (c)
- return c;
+ uint8_t c = peek_byte(reader);
+ switch (c) {
+ case '%':
+ return read_PERCENT(reader, dest);
+ case '\\':
+ eat_byte_safe(reader, c);
+ c = peek_byte(reader);
+ push_byte(reader, dest, eat_byte_safe(reader, c));
+ return true;
+ }
+ return false;
+}
- switch ((c = peek_byte(reader))) {
- case '-': case 0xB7: case '0': case '1': case '2': case '3': case '4':
- case '5': case '6': case '7': case '8': case '9':
- return eat_byte_safe(reader, c);
- default: // TODO: 0x300-0x036F | 0x203F-0x2040
- return 0;
+static bool
+read_PN_LOCAL(SerdReader* reader, Ref dest)
+{
+ uint8_t c = peek_byte(reader);
+ if (is_digit(c) || c == ':' || c == '_') {
+ push_byte(reader, dest, eat_byte_safe(reader, c));
+ } else if (!read_PLX(reader, dest) && !read_PN_CHARS(reader, dest)) {
+ return false;
}
- return 0;
+
+ while ((c = peek_byte(reader))) { // Middle: (PN_CHARS | '.')*
+ if (/*c == '.' || */c == ':') {
+ push_byte(reader, dest, eat_byte_safe(reader, c));
+ } else if (!read_PLX(reader, dest) && !read_PN_CHARS(reader, dest)) {
+ break;
+ }
+ }
+
+ return dest;
}
-// [33] prefixName ::= ( nameStartChar - '_' ) nameChar*
static Ref
-read_prefixName(SerdReader* reader, Ref dest)
+read_PN_PREFIX(SerdReader* reader, Ref dest)
{
- uint8_t c = peek_byte(reader);
- if (c == '_') {
- r_err(reader, SERD_ERR_BAD_SYNTAX, "unexpected `_'\n");
- return pop_node(reader, dest);
+ Ref prefix = dest ? dest : push_node(reader, SERD_CURIE, "", 0);
+
+ if (!read_PN_CHARS_BASE(reader, prefix)) { // First: PN_CHARS_BASE
+ if (prefix != dest) {
+ return pop_node(reader, prefix);
+ }
+ return dest;
}
- TRY_RET(c = read_nameStartChar(reader));
- if (!dest) {
- dest = push_node(reader, SERD_CURIE, "", 0);
+
+ uint8_t c;
+ while ((c = peek_byte(reader))) { // Middle: (PN_CHARS | '.')*
+ if (c == '.') {
+ push_byte(reader, prefix, eat_byte_safe(reader, c));
+ } else if (!read_PN_CHARS(reader, prefix)) {
+ break;
+ }
}
- push_byte(reader, dest, c);
- while ((c = read_nameChar(reader))) {
- push_byte(reader, dest, c);
+
+ if (c == '.' && !read_PN_CHARS(reader, prefix)) { // Last: PN_CHARS
+ return r_err(reader, SERD_ERR_BAD_SYNTAX,
+ "invalid prefix character\n");
}
- return dest;
+
+ return prefix;
}
-// [32] name ::= nameStartChar nameChar*
static Ref
-read_name(SerdReader* reader, Ref dest)
+read_PNAME_NS(SerdReader* reader, Ref dest)
{
- uchar c = read_nameStartChar(reader);
- if (!c) {
- return 0;
+ const Ref prefix = read_PN_PREFIX(reader, dest);
+ if (prefix && eat_byte_check(reader, ':') != ':') {
+ return r_err(reader, SERD_ERR_BAD_SYNTAX, "expected `:'\n");
}
- do {
- push_byte(reader, dest, c);
- } while ((c = read_nameChar(reader)) != 0);
- return dest;
+ return prefix;
}
// [29] language ::= [a-z]+ ('-' [a-z0-9]+ )*
@@ -767,35 +734,57 @@ read_language(SerdReader* reader)
return ref;
}
-// [28] uriref ::= '<' relativeURI '>'
static Ref
-read_uriref(SerdReader* reader)
+read_IRIREF(SerdReader* reader)
{
TRY_RET(eat_byte_check(reader, '<'));
- Ref const str = read_relativeURI(reader);
- if (str && eat_byte_check(reader, '>')) {
- return str;
+ Ref ref = push_node(reader, SERD_URI, "", 0);
+ while (true) {
+ const uint8_t c = peek_byte(reader);
+ switch (c) {
+ case '"': case '<': case '^': case '`': case '{': case '|': case '}':
+ r_err(reader, SERD_ERR_BAD_SYNTAX,
+ "invalid IRI character `%c'\n", c);
+ return pop_node(reader, ref);
+ case '>':
+ eat_byte_safe(reader, c);
+ return ref;
+ case '\\':
+ eat_byte_safe(reader, c);
+ if (!read_UCHAR(reader, ref)) {
+ r_err(reader, SERD_ERR_BAD_SYNTAX,
+ "invalid IRI character `%c'\n", c);
+ return pop_node(reader, ref);
+ }
+ break;
+ default:
+ if (c <= 0x20) {
+ return pop_node(reader, ref);
+ } else {
+ push_byte(reader, ref, eat_byte_safe(reader, c));
+ }
+ }
}
- return pop_node(reader, str);
}
-// [27] qname ::= prefixName? ':' name?
static Ref
-read_qname(SerdReader* reader, Ref dest, bool read_prefix)
+read_PrefixedName(SerdReader* reader, Ref dest, bool read_prefix)
{
- Ref str = 0;
if (!dest) {
dest = push_node(reader, SERD_CURIE, "", 0);
}
if (read_prefix) {
- read_prefixName(reader, dest);
+ if (!read_PNAME_NS(reader, dest)) {
+ return pop_node(reader, dest);
+ }
+ push_byte(reader, dest, ':');
}
- TRY_THROW(eat_byte_check(reader, ':'));
- push_byte(reader, dest, ':');
- str = read_name(reader, dest);
- return str ? str : dest;
-except:
- return pop_node(reader, dest);
+ if (!read_PN_LOCAL(reader, dest)) {
+ if (!read_prefix) {
+ return pop_node(reader, dest);
+ }
+ }
+ return dest;
}
static bool
@@ -841,7 +830,7 @@ read_number(SerdReader* reader, Ref* dest, Ref* datatype)
TRY_THROW(read_0_9(reader, ref, true));
} else {
// all other cases ::= ( '-' | '+' ) [0-9]+ ( . )? ( [0-9]+ )? ...
- assert(is_digit(c));
+ TRY_THROW(is_digit(c));
read_0_9(reader, ref, true);
if ((c = peek_byte(reader)) == '.') {
has_decimal = true;
@@ -858,7 +847,7 @@ read_number(SerdReader* reader, Ref* dest, Ref* datatype)
push_byte(reader, ref, eat_byte_safe(reader, c));
default: break;
}
- read_0_9(reader, ref, true);
+ TRY_THROW(read_0_9(reader, ref, true));
*datatype = push_node(reader, SERD_URI,
XSD_DOUBLE, sizeof(XSD_DOUBLE) - 1);
} else if (has_decimal) {
@@ -876,16 +865,15 @@ except:
return false;
}
-// [25] resource ::= uriref | qname
static bool
-read_resource(SerdReader* reader, Ref* dest)
+read_iri(SerdReader* reader, Ref* dest)
{
switch (peek_byte(reader)) {
case '<':
- *dest = read_uriref(reader);
+ *dest = read_IRIREF(reader);
break;
default:
- *dest = read_qname(reader, 0, true);
+ *dest = read_PrefixedName(reader, 0, true);
}
return *dest != 0;
}
@@ -894,7 +882,7 @@ static bool
read_literal(SerdReader* reader, Ref* dest,
Ref* datatype, Ref* lang, SerdNodeFlags* flags)
{
- Ref str = read_quotedString(reader, flags);
+ Ref str = read_String(reader, flags);
if (!str) {
return false;
}
@@ -903,7 +891,7 @@ read_literal(SerdReader* reader, Ref* dest,
case '^':
eat_byte_safe(reader, '^');
eat_byte_check(reader, '^');
- TRY_THROW(read_resource(reader, datatype));
+ TRY_THROW(read_iri(reader, datatype));
break;
case '@':
eat_byte_safe(reader, '@');
@@ -912,6 +900,8 @@ read_literal(SerdReader* reader, Ref* dest,
*dest = str;
return true;
except:
+ pop_node(reader, *datatype);
+ pop_node(reader, *lang);
pop_node(reader, str);
return false;
}
@@ -936,20 +926,24 @@ read_verb(SerdReader* reader, Ref* dest)
bool ret;
switch (peek_byte(reader)) {
case '<':
- ret = (*dest = read_uriref(reader));
+ ret = (*dest = read_IRIREF(reader));
break;
default:
/* Either a qname, or "a". Read the prefix first, and if it is in fact
"a", produce that instead.
*/
- *dest = read_prefixName(reader, 0);
+ *dest = read_PN_PREFIX(reader, 0);
node = deref(reader, *dest);
if (node && node->n_bytes == 1 && node->buf[0] == 'a'
&& is_token_end(peek_byte(reader))) {
pop_node(reader, *dest);
ret = (*dest = push_node(reader, SERD_URI, NS_RDF "type", 47));
} else {
- ret = (*dest = read_qname(reader, *dest, false));
+ ret = (*dest = read_PrefixedName(reader, *dest, false));
+ }
+ if (*dest && !strncmp((char*)deref(reader, *dest)->buf, "_:", 2)) {
+ *dest = pop_node(reader, *dest);
+ return false;
}
}
read_ws_star(reader);
@@ -958,51 +952,71 @@ read_verb(SerdReader* reader, Ref* dest)
// [26] nodeID ::= '_:' name
static Ref
-read_nodeID(SerdReader* reader)
+read_BLANK_NODE_LABEL(SerdReader* reader)
{
eat_byte_safe(reader, '_');
eat_byte_check(reader, ':');
Ref ref = push_node(reader, SERD_BLANK,
reader->bprefix ? (char*)reader->bprefix : "",
reader->bprefix_len);
- if (!read_name(reader, ref)) {
- return r_err(reader, SERD_ERR_BAD_SYNTAX,
- "invalid character at start of name\n");
+
+ uint8_t c = peek_byte(reader); // First: (PN_CHARS | '_' | [0-9])
+ if (is_digit(c) || c == '_') {
+ push_byte(reader, ref, c);
+ } else if (!read_PN_CHARS(reader, ref)) {
+ r_err(reader, SERD_ERR_BAD_SYNTAX, "invalid name start character\n");
+ return pop_node(reader, ref);
+ }
+
+ while ((c = peek_byte(reader))) { // Middle: (PN_CHARS | '.')*
+ if (c == '.') {
+ push_byte(reader, ref, eat_byte_safe(reader, c));
+ } else if (!read_PN_CHARS(reader, ref)) {
+ break;
+ }
}
+
+ if (c == '.' && !read_PN_CHARS(reader, ref)) { // Last: PN_CHARS
+ r_err(reader, SERD_ERR_BAD_SYNTAX, "invalid name character\n");
+ return pop_node(reader, ref);
+ }
+
if (reader->syntax == SERD_TURTLE) {
const char* const buf = (const char*)deref(reader, ref)->buf;
- if (buf[0] == 'b' && is_digit(buf[1])) {
- ((char*)buf)[0] = 'B'; // Prevent clash
- reader->seen_genid = true;
- } else if (reader->seen_genid && buf[0] == 'B') {
- r_err(reader, SERD_ERR_ID_CLASH,
- "found both `b' and `B' blank IDs, prefix required\n");
- return pop_node(reader, ref);
+ if (is_digit(buf[1])) {
+ if (buf[0] == 'b') {
+ ((char*)buf)[0] = 'B'; // Prevent clash
+ reader->seen_genid = true;
+ } else if (reader->seen_genid && buf[0] == 'B') {
+ r_err(reader, SERD_ERR_ID_CLASH,
+ "found both `b' and `B' blank IDs, prefix required\n");
+ return pop_node(reader, ref);
+ }
}
}
return ref;
}
static void
-set_blank_id(SerdReader* reader, Ref ref, const char* b, size_t buf_size)
+set_blank_id(SerdReader* reader, Ref ref, size_t buf_size)
{
SerdNode* node = deref(reader, ref);
const char* prefix = reader->bprefix ? (const char*)reader->bprefix : "";
node->n_bytes = node->n_chars = snprintf(
- (char*)node->buf, buf_size, "%s%s%u", prefix, b, reader->next_id++);
+ (char*)node->buf, buf_size, "%sb%u", prefix, reader->next_id++);
}
static size_t
genid_size(SerdReader* reader)
{
- return reader->bprefix_len + 2 + 10 + 1; // + "el" + UINT32_MAX + \0
+ return reader->bprefix_len + 1 + 10 + 1; // + "b" + UINT32_MAX + \0
}
static Ref
-blank_id(SerdReader* reader, const char* b)
+blank_id(SerdReader* reader)
{
Ref ref = push_node_padded(reader, genid_size(reader), SERD_BLANK, "", 0);
- set_blank_id(reader, ref, b, genid_size(reader));
+ set_blank_id(reader, ref, genid_size(reader));
return ref;
}
@@ -1017,7 +1031,7 @@ read_blank(SerdReader* reader, ReadContext ctx, bool subject, Ref* dest)
bool empty;
switch (peek_byte(reader)) {
case '_':
- return (*dest = read_nodeID(reader));
+ return (*dest = read_BLANK_NODE_LABEL(reader));
case '[':
eat_byte_safe(reader, '[');
if ((empty = peek_delim(reader, ']'))) {
@@ -1026,7 +1040,7 @@ read_blank(SerdReader* reader, ReadContext ctx, bool subject, Ref* dest)
*ctx.flags |= (subject) ? SERD_ANON_S_BEGIN : SERD_ANON_O_BEGIN;
}
- *dest = blank_id(reader, "b");
+ *dest = blank_id(reader);
if (ctx.subject) {
TRY_RET(emit_statement(reader, ctx, *dest, 0, 0));
}
@@ -1085,20 +1099,21 @@ read_object(SerdReader* reader, ReadContext ctx)
TRY_THROW(ret = read_blank(reader, ctx, false, &o));
break;
case '<': case ':':
- TRY_THROW(ret = read_resource(reader, &o));
+ TRY_THROW(ret = read_iri(reader, &o));
break;
case '+': case '-': case '.': case '0': case '1': case '2': case '3':
case '4': case '5': case '6': case '7': case '8': case '9':
TRY_THROW(ret = read_number(reader, &o, &datatype));
break;
case '\"':
+ case '\'':
TRY_THROW(ret = read_literal(reader, &o, &datatype, &lang, &flags));
break;
default:
/* Either a boolean literal, or a qname. Read the prefix first, and if
it is in fact a "true" or "false" literal, produce that instead.
*/
- o = read_prefixName(reader, 0);
+ o = read_PN_PREFIX(reader, 0);
node = deref(reader, o);
if (node && is_token_end(peek_byte(reader)) &&
((node->n_bytes == 4 && !memcmp(node->buf, "true", 4))
@@ -1108,7 +1123,10 @@ read_object(SerdReader* reader, ReadContext ctx)
XSD_BOOLEAN, XSD_BOOLEAN_LEN);
} else {
o = o ? o : push_node(reader, SERD_CURIE, "", 0);
- o = read_qname(reader, o, false);
+ o = read_PrefixedName(reader, o, false);
+ if (!o) {
+ pop_node(reader, o);
+ }
}
ret = o;
}
@@ -1152,6 +1170,8 @@ read_predicateObjectList(SerdReader* reader, ReadContext ctx)
ctx.predicate = pop_node(reader, ctx.predicate);
while (eat_delim(reader, ';')) {
switch (peek_byte(reader)) {
+ case ';':
+ continue;
case '.': case ']':
return true;
default:
@@ -1183,7 +1203,7 @@ read_collection(SerdReader* reader, ReadContext ctx, Ref* dest)
{
eat_byte_safe(reader, '(');
bool end = peek_delim(reader, ')');
- *dest = end ? reader->rdf_nil : blank_id(reader, "el");
+ *dest = end ? reader->rdf_nil : blank_id(reader);
if (ctx.subject) {
// subject predicate _:head
*ctx.flags |= (end ? 0 : SERD_LIST_O_BEGIN);
@@ -1216,9 +1236,9 @@ read_collection(SerdReader* reader, ReadContext ctx, Ref* dest)
/* Give rest a new ID. Done as late as possible to ensure it is
used and > IDs generated by read_object above. */
if (!rest) {
- rest = n2 = blank_id(reader, "el"); // First pass, push
+ rest = n2 = blank_id(reader); // First pass, push
} else {
- set_blank_id(reader, rest, "el", genid_size(reader));
+ set_blank_id(reader, rest, genid_size(reader));
}
}
@@ -1238,15 +1258,18 @@ read_collection(SerdReader* reader, ReadContext ctx, Ref* dest)
// [11] subject ::= resource | blank
static Ref
-read_subject(SerdReader* reader, ReadContext ctx)
+read_subject(SerdReader* reader, ReadContext ctx, bool* nested)
{
Ref subject = 0;
switch (peek_byte(reader)) {
- case '[': case '(': case '_':
+ case '[': case '(':
+ *nested = true;
+ // nobreak
+ case '_':
read_blank(reader, ctx, true, &subject);
break;
default:
- read_resource(reader, &subject);
+ read_iri(reader, &subject);
}
return subject;
}
@@ -1256,12 +1279,19 @@ read_subject(SerdReader* reader, ReadContext ctx)
static bool
read_triples(SerdReader* reader, ReadContext ctx)
{
- const Ref subject = read_subject(reader, ctx);
+ bool nested = false;
+ const Ref subject = read_subject(reader, ctx, &nested);
bool ret = false;
if (subject) {
ctx.subject = subject;
- TRY_RET(read_ws_plus(reader));
- ret = read_predicateObjectList(reader, ctx);
+ if (nested) {
+ read_ws_star(reader);
+ read_predicateObjectList(reader, ctx);
+ ret = true;
+ } else {
+ TRY_RET(read_ws_plus(reader));
+ ret = read_predicateObjectList(reader, ctx);
+ }
pop_node(reader, subject);
}
ctx.subject = ctx.predicate = 0;
@@ -1276,7 +1306,7 @@ read_base(SerdReader* reader)
eat_string(reader, "base", 4);
TRY_RET(read_ws_plus(reader));
Ref uri;
- TRY_RET(uri = read_uriref(reader));
+ TRY_RET(uri = read_IRIREF(reader));
if (reader->base_sink) {
reader->base_sink(reader->handle, deref(reader, uri));
}
@@ -1289,26 +1319,29 @@ read_base(SerdReader* reader)
static bool
read_prefixID(SerdReader* reader)
{
- bool ret = true;
- Ref name = 0;
- Ref uri = 0;
+ bool ret = true;
// `@' is already eaten in read_directive
eat_string(reader, "prefix", 6);
TRY_RET(read_ws_plus(reader));
- name = read_prefixName(reader, 0);
- if (!name) {
- name = push_node(reader, SERD_LITERAL, "", 0);
+
+ Ref name = push_node(reader, SERD_LITERAL, "", 0);
+ if (!read_PNAME_NS(reader, name)) {
+ return pop_node(reader, name);
}
- TRY_THROW(eat_byte_check(reader, ':') == ':');
+
read_ws_star(reader);
- TRY_THROW(uri = read_uriref(reader));
+ const Ref uri = read_IRIREF(reader);
+ if (!uri) {
+ pop_node(reader, name);
+ return false;
+ }
+
if (reader->prefix_sink) {
ret = !reader->prefix_sink(reader->handle,
deref(reader, name),
deref(reader, uri));
}
pop_node(reader, uri);
-except:
pop_node(reader, name);
return ret;
}