lint_posinseqslash.c File Reference

Purpose

The posinseqslash linter ensures that the data represents a meaningful position in a sequence in the format "`<pos>/<end>`".

Functional Description

gs1_lint_posinseqslash()

GS1_SYNTAX_DICTIONARY_API gs1_lint_err_t gs1_lint_posinseqslash	(	const char *const	data,
		size_t *const	err_pos,
		size_t *const	err_len
	)

Used to ensure that an AI component conforms to a "`<pos>/<end>`" format for variable width <pos> and <end>.

Parameters

[in]	data	Pointer to the null-terminated data to be linted. Must not be NULL.
[out]	err_pos	To facilitate error highlighting, the start position of the bad data is written to this pointer, if not NULL.
[out]	err_len	The length of the bad data is written to this pointer, if not NULL.

Returns

GS1_LINTER_OK if okay.

GS1_LINTER_POSITION_IN_SEQUENCE_MALFORMED if the data does not conform to "`<pos>/<end>`" format.

GS1_LINTER_ILLEGAL_ZERO_PREFIX if either the position number or the end number are zero or contain a zero prefix.

GS1_LINTER_POSITION_EXCEEDS_END if the data contains a position number that is larger than the end position.

{
 
/// \cond
#define P(i)    data[i]
#define E(i)    data[i + pos + 1]
/// \endcond
 
        size_t pos, len;
 
        assert(data);
 
        len = strlen(data);
 
        /*
         * Determine that the format is "<pos>/<end>".
         *
         */
        pos = strspn(data, "0123456789");
        if (pos == 0 || pos >= len - 1 || data[pos] != '/' || strspn(data + pos + 1, "0123456789") != len - pos - 1) {
                if (err_pos) *err_pos = 0;
                if (err_len) *err_len = len;
                return GS1_LINTER_POSITION_IN_SEQUENCE_MALFORMED;
        }
 
        /*
         * Ensure position number is non-zero and does not have zero prefix.
         *
         */
        if (P(0) == '0') {
                if (err_pos) *err_pos = 0;
                if (err_len) *err_len = pos;
                return GS1_LINTER_ILLEGAL_ZERO_PREFIX;
        }
 
        /*
         * Ensure end number is non-zero and does not have zero prefix.
         *
         */
        if (E(0) == '0') {
                if (err_pos) *err_pos = pos + 1;
                if (err_len) *err_len = len - pos - 1;
                return GS1_LINTER_ILLEGAL_ZERO_PREFIX;
        }
 
        /*
         * Determine whether the position exceeds the end.
         *
         */
        if (pos == len - pos - 1) {
                size_t i;
                int compare = 0;                /* -1:P<E ; 0:P==E ; 1:P>E */
                for (i = 0; i < pos && !compare; i++)
                        if (P(i) != E(i))
                                compare = P(i) < E(i) ? -1 : 1;
                if (compare == 1) {
                        if (err_pos) *err_pos = 0;
                        if (err_len) *err_len = len;
                        return GS1_LINTER_POSITION_EXCEEDS_END;
                }
        } else if (pos > len - pos - 1) {
                /* Non-zero prefix, so a length check is sufficient. */
                if (err_pos) *err_pos = 0;
                if (err_len) *err_len = len;
                return GS1_LINTER_POSITION_EXCEEDS_END;
        }
 
        return GS1_LINTER_OK;
 
}