path: root/json.c

/* $Id$ */
/****************************************************************************

NAME
   json.c - parse JSON into fixed-extent data structures

DESCRIPTION
   This module parses a large subset of JSON (JavaScript Object
Notation).  Unlike more general JSON parsers, it doesn't use malloc(3)
and doesn't support polymorphism; you need to give it a set of
template structures describing the expected shape of the incoming
JSON, and it will error out if that shape is not matched.  When the
parse succeds, attribute values will be extracted into static
locations specified in the template structures.

   The "shape" of a JSON object in the type signature of its
attributes (and attribute values, and so on recursively down through
all nestings of objects and arrays).  This parser is indifferent to
the order of attributes at any level, but you have to tell it in
advance what the type of each attribute value will be and where the
parsed value will be stored. The tamplate structures may supply
default values to be used when an expected attribute is omitted.

   The dialect this parses has some limitations.  First, it cannot
recognize the JSON "null" value.  Secondly, arrays may only have
objects or strings - not reals or integers or floats - as elements
(this limitation could be easily removed if required). Third, all
elements of an array must be of the same type.

   There are separata entry points for beginning a parse of either
JSON object or a JSON array. JSON "float" quantities are actually
stored as doubles.

   This paraer processes object arrays in one of two different ways,
defending on whether the array subtype is declared as object or
structobject.

   Object arrays take one base address per object subfield, and are 
mapped into parallel C arrays (one per subfield).  Strings are not
supported in this kind of array, as the don't have a "natural" size
to use as an offset multiplier.

   Structobjects arrays are a way to parse a list of objects to a set
of modifications to a corresponding array of C structs.  The trick is
that the array object initialization has to specify both the C struct
array's base address and the stride length (the size of the C struct.
If you initialize the offset fields with the correct offsetof() calls,
everything will work. Strings are suppported but all string storage
has to be inline in the struct.

***************************************************************************/
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

#include "gpsd_config.h"	/* for strlcpy() prototype */
#include "json.h"

#ifdef JSONDEBUG
# define json_debug_trace(args) (void) printf args
#else
# define json_debug_trace(args) /*@i1@*/do { } while (0)
#endif /* JSONDEBUG */

/*@-immediatetrans -dependenttrans -usereleased -compdef@*/
static /*@null@*/char *json_target_address(const struct json_attr_t *cursor, 
				 /*@null@*/const struct json_array_t *parent, 
			       int offset)
{
    if (parent == NULL || parent->element_type != structobject) { 
	/* ordinary case - use the address in the cursor structure */
	switch(cursor->type)
	{
	case integer:
	    return (char *)&cursor->addr.integer[offset];
	case uinteger:
	    return (char *)&cursor->addr.uinteger[offset];
	case real:
	    return (char *)&cursor->addr.real[offset];
	case string:
	    return cursor->addr.string;
	case boolean:
	    return (char *)&cursor->addr.boolean[offset];
	case character:
	    return (char *)&cursor->addr.character[offset];
	default:
	    return NULL;
	}
    }
    else
	/* tricky case - hacking a member in an array of structures */
	return parent->arr.objects.base + (offset * parent->arr.objects.stride) + cursor->addr.offset;
}
/*@-immediatetrans -dependenttrans +usereleased +compdef@*/

static int json_internal_read_object(const char *cp, 
				     const struct json_attr_t *attrs, 
				     /*@null@*/const struct json_array_t *parent, 
				     int offset, 
				     /*@null@*/const char **end)
{
    /*@ -nullstate -nullderef -mustfreefresh -nullpass -usedef @*/
    enum {init, await_attr, in_attr, await_value, 
	  in_val_string, in_escape, in_val_token, post_val} state = 0;
#ifdef JSONDEBUG
    char *statenames[] = {
	"init", "await_attr", "in_attr", "await_value", 
	"in_val_string", "in_escape", "in_val_token", "post_val"
	};
#endif /* JSONDEBUG */
    char attrbuf[JSON_ATTR_MAX+1], *pattr = NULL;
    char valbuf[JSON_VAL_MAX+1], *pval = NULL;
    bool value_quoted;
    char uescape[5];	/* enough space for 4 hex digits and a NUL */
    const struct json_attr_t *cursor;
    int substatus, maxlen, n;
    unsigned int u;
    const struct json_enum_t *mp;
    char *lptr;

#ifdef S_SPLINT_S
    /* prevents gripes about buffers not being completely defined */
    memset(valbuf, '\0', sizeof(valbuf));
    memset(attrbuf, '\0', sizeof(attrbuf));
#endif /* S_SPLINT_S */

    if (end != NULL)
	*end = NULL;	/* give it a well-defined value on parse failure */

    /* stuff fields with defaults in case they're omitted in the JSON input */
    for (cursor = attrs; cursor->attribute != NULL; cursor++) 
	if (!cursor->nodefault) {
	    lptr = json_target_address(cursor, parent, offset);
	    switch(cursor->type)
	    {
	    case integer:
		*((int *)lptr) = cursor->dflt.integer;
		break;
	    case uinteger:
		*((unsigned int *)lptr) = cursor->dflt.uinteger;
		break;
	    case real:
		*((double *)lptr) = cursor->dflt.real;
		break;
	    case string:
		if (parent != NULL && parent->element_type != structobject && offset > 0)
		    return JSON_ERR_NOPARSTR;
		lptr[0] = '\0';
		break;
	    case boolean:
		/* nullbool default says not to set the value at all */
		/*@+boolint@*/
		if (cursor->dflt.boolean != nullbool)
		    *((bool *)lptr) = cursor->dflt.boolean;
		/*@-boolint@*/
		break;
	    case character:
		lptr[0] = cursor->dflt.character;
		break;
	    case object:	/* silences a compiler warning */
	    case structobject:
	    case array:
	    case check:
		break;
	    }
	}

    json_debug_trace(("JSON parse begins.\n"));

    /* parse input JSON */
    for (; *cp!='\0'; cp++) {
	json_debug_trace(("State %-14s, looking at '%c' (%p)\n", statenames[state], *cp, cp));
	switch (state)
	{
	case init:
	    if (isspace(*cp))
		continue;
	    else if (*cp == '{')
		state = await_attr;
	    else {
		json_debug_trace(("Non-WS when expecting object start.\n"));
		return JSON_ERR_OBSTART;
	    }
	    break;
	case await_attr:
	    if (isspace(*cp))
		continue;
	    else if (*cp == '"') {
		state = in_attr;
		pattr = attrbuf;
	    } else if (*cp == '}')
		break;
	    else {
		json_debug_trace(("Non-WS when expecting attribute.\n"));
		return JSON_ERR_ATTRSTART;
	    }
	    break;
	case in_attr:
	    if (*cp == '"') {
		*pattr++ = '\0';
		json_debug_trace(("Collected attribute name %s\n", attrbuf));
		for (cursor = attrs; cursor->attribute != NULL; cursor++)
		    if (strcmp(cursor->attribute, attrbuf)==0)
			break;
		if (cursor->attribute == NULL) {
		    json_debug_trace(("Unknown attribute name '%s'.\n", attrbuf));
		    return JSON_ERR_BADATTR;
		}
		state = await_value;
		if (cursor->type == string)
		    maxlen = (int)cursor->len - 1;
		else if (cursor->type == check)
		    maxlen = (int)strlen(cursor->dflt.check);
		else if (cursor->map != NULL)
		    maxlen = (int)sizeof(valbuf)-1;
		pval = valbuf;
	    } else if (pattr >= attrbuf + JSON_ATTR_MAX - 1) {
		json_debug_trace(("Attribute name too long.\n"));
		return JSON_ERR_ATTRLEN;
	    } else
		*pattr++ = *cp;
	    break;
	case await_value:
	    if (isspace(*cp) || *cp == ':')
		continue;
	    else if (*cp == '[') {
		if (cursor->type != array) {
		    json_debug_trace(("Saw [ when not expecting array.\n"));
		    return JSON_ERR_NOARRAY;
		}
		substatus = json_read_array(cp, &cursor->addr.array, &cp);
		if (substatus != 0)
		    return substatus;
		state = post_val;
	    } else if (cursor->type == array) {
		json_debug_trace(("Array element was specified, but no [.\n"));
		return JSON_ERR_NOBRAK;
	    } else if (*cp == '"') {
		value_quoted = true;
		state = in_val_string;
		pval = valbuf;
	    } else {
		value_quoted = false;
		state = in_val_token;
		pval = valbuf;
		*pval++ = *cp;
	    }
	    break;
	case in_val_string:
	    if (*cp == '\\')
		state = in_escape;
	    else if (*cp == '"') {
		*pval++ = '\0';
		json_debug_trace(("Collected string value %s\n", valbuf));
		state = post_val;
	    } else if (pval > valbuf + JSON_VAL_MAX - 1 || pval > valbuf + maxlen) {
		json_debug_trace(("String value too long.\n"));
		return JSON_ERR_STRLONG;	/*  */
	    } else
		*pval++ = *cp;
	    break;
	case in_escape:
	    switch(*cp) {
	    case 'b':
		*pval++ = '\b';
		break;
	    case 'f':
		*pval++ = '\f';
		break;
	    case 'n':
		*pval++ = '\n';
		break;
	    case 'r':
		*pval++ = '\r';
		break;
	    case 't':
		*pval++ = '\t';
		break;
	    case 'u':
		for (n = 0; n < 4 && cp[n] != '\0'; n++)
		    uescape[n] = *cp++;
		--cp;
		(void)sscanf(uescape, "%04x", &u);
		*pval++ = (char)u;	/* will truncate values above 0xff */
		break;
	    default:	/* handles double quote and solidus */
		*pval++ = *cp;
		break;
	    }
	    state = in_val_string;
	    break;
	case in_val_token:
	    if (isspace(*cp) || *cp == ',' || *cp == '}') {
		*pval = '\0';
		json_debug_trace(("Collected token value %s.\n", valbuf));
		state = post_val;
		if (*cp == '}' || *cp == ',')
		    --cp;
	    } else if (pval > valbuf + JSON_VAL_MAX - 1) {
		json_debug_trace(("Token value too long.\n"));
		return JSON_ERR_TOKLONG;
	    } else
		*pval++ = *cp;
	    break;
	case post_val:
	    if (value_quoted && (cursor->type != string && cursor->type != check && cursor->map == 0)) { 
		json_debug_trace(("Saw quoted value when expecting non-string.\n"));
		return JSON_ERR_QNONSTRING;
	    }		    
	    if (!value_quoted && (cursor->type == string || cursor->type == check || cursor->map != 0)) { 
		json_debug_trace(("Didn't see quoted value when expecting string.\n"));
		return JSON_ERR_NONQSTRING;
	    }		    
	    if (cursor->map != 0) {
		for (mp = cursor->map; mp->name != NULL; mp++)
		    if (strcmp(mp->name, valbuf) == 0) {
			goto foundit;
		    }
		json_debug_trace(("Invalid enumerated value string %s.\n", valbuf));
		return JSON_ERR_BADENUM;
	    foundit:
		(void)snprintf(valbuf, sizeof(valbuf), "%d", mp->value);
	    }
	    lptr = json_target_address(cursor, parent, offset);
	    switch(cursor->type)
	    {
	    case integer:
		*((int *)lptr) = atoi(valbuf);
		break;
	    case uinteger:
		*((unsigned int *)lptr) = (unsigned)atoi(valbuf);
		break;
	    case real:
		*((double *)lptr) = atof(valbuf);
		break;
	    case string:
		if (parent != NULL && parent->element_type != structobject && offset > 0)
		    return JSON_ERR_NOPARSTR;
		(void)strncpy(lptr, valbuf, cursor->len);
		break;
	    case boolean:
		*((bool *)lptr) = (strcmp(valbuf, "true") == 0);
		break;
	    case character:
		if (strlen(valbuf) > 1)
		    return JSON_ERR_STRLONG;
		else
		    lptr[0] = valbuf[0];
		break;
	    case object:	/* silences a compiler warning */
	    case structobject:
	    case array:
		break;
	    case check:
		if (strcmp(cursor->dflt.check, valbuf)!=0) {
		    json_debug_trace(("Required attribute vakue %s not present.\n", cursor->dflt.check));
		    return JSON_ERR_CHECKFAIL;
		}
		break;
	    }
	    if (isspace(*cp))
		continue;
	    else if (*cp == ',')
		state = await_attr;
	    else if (*cp == '}') {
		++cp;
		goto good_parse;
	    } else {
		json_debug_trace(("Garbage while expecting comma or }\n"));
		return JSON_ERR_BADTRAIL;
	    }
	    break;
	}
    }

good_parse:
    if (end != NULL)
	*end = cp;
    json_debug_trace(("JSON parse ends.\n"));
    return 0;
    /*@ +nullstate +nullderef +mustfreefresh +nullpass +usedef @*/
}

int json_read_array(const char *cp, const struct json_array_t *arr, const char **end)
{
    /*@-nullstate -onlytrans@*/
    int substatus, offset;
    char *tp;

    if (end != NULL)
	*end = NULL;	/* give it a well-defined value on parse failure */

    json_debug_trace(("Entered json_read_array()\n"));

    while (isspace(*cp))
	cp++;
    if (*cp != '[') {
	json_debug_trace(("Didn't find expected array start\n"));
	return JSON_ERR_ARRAYSTART;
    }else
	cp++;

    tp = arr->arr.strings.store;
    if (arr->count != NULL)
	*(arr->count) = 0;
    for (offset = 0; offset < arr->maxlen; offset++) {
	json_debug_trace(("Looking at %s\n", cp));
	switch (arr->element_type)
	{
	case string:
	    if (isspace(*cp))
		cp++;
	    if (*cp != '"')
		return JSON_ERR_BADSTRING;
	    else
		++cp;
	    arr->arr.strings.ptrs[offset] = tp;
	    for (; tp - arr->arr.strings.store < arr->arr.strings.storelen; tp++)
		if (*cp == '"') {
		    ++cp;
		    *tp++ = '\0';
		    goto stringend;
		} else if (*cp == '\0') {
		    json_debug_trace(("Bad string syntax in string list.\n"));
		    return JSON_ERR_BADSTRING;
	        } else {
		    *tp = *cp++;
		}
	    json_debug_trace(("Bad string syntax in string list.\n"));
	    return JSON_ERR_BADSTRING;
	stringend:
	    break;
	case object:
	case structobject:
	    substatus = json_internal_read_object(cp, arr->arr.objects.subtype, arr, offset, &cp);
	    if (substatus != 0)
		return substatus;
	    break;
	case integer:
	case uinteger:
	case real:
	case boolean:
	case character:
	case array:
	case check:
	    json_debug_trace(("Invalid array subtype.\n"));
	    return JSON_ERR_SUBTYPE;
	}
	if (arr->count != NULL)
	    (*arr->count)++;
	if (isspace(*cp))
	    cp++;
	if (*cp == ']') {
	    json_debug_trace(("End of array found.\n"));
	    goto breakout;
	} else if (*cp == ',')
	    cp++;
	else {
	    json_debug_trace(("Bad trailing syntax on array.\n"));
	    return JSON_ERR_BADSUBTRAIL;
	}
    }
    json_debug_trace(("Too many elements in array.\n"));
    return JSON_ERR_SUBTOOLONG;
breakout:
    if (end != NULL)
	*end = cp;
    json_debug_trace(("leaving json_read_array() with %d elements\n", *arr->count));
    return 0;
    /*@+nullstate +onlytrans@*/
}

int json_read_object(const char *cp, 
		     const struct json_attr_t *attrs, 
		     /*@null@*/const char **end)
{
    return json_internal_read_object(cp, attrs, NULL, 0, end);
}

const /*@observer@*/char *json_error_string(int err)
{
    const char *errors[] = {
	"unknown error while parsing JSON",
	"non-whitespace when expecting object start",
	"non-whitespace when expecting attribute start",
	"unknown attribute name",
	"attribute name too long",
	"saw [ when not expecting array",
	"array element specified, but no [",
	"string value too long",
	"token value too long",
	"garbage while expecting , or }",
	"didn't find expected array start",
	"error while parsing object array",
	"too many array elements",
	"garbage while expecting array comma",
	"unsupported array element type",
	"error while string parsing",
	"check attribute not matched",
	"can't support strings in parallel arrays",
	"invalid enumerated value",
	"saw quoted value when expecting nonstring",
	"didn't see quoted value when expecting string",
	"other data conversion error",
    };

    if (err <= 0 || err >= (int)(sizeof(errors)/sizeof(errors[0])))
	return errors[0];
    else
	return errors[err];
}