GCOV - Varnish Cache


/*-
 * Copyright (c) 2006 Verdens Gang AS
 * Copyright (c) 2006-2011 Varnish Software AS
 * All rights reserved.
 *
 * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */

#include "config.h"

#include <stdarg.h>
#include <string.h>

#include "vcc_compile.h"

/*--------------------------------------------------------------------
 * Helper functions to complain about duplicate and missing fields
 *
 * XXX: idea: add groups to check for exclusivity, such that
 * XXX:    ("!foo", "?bar", "!{", "this", "that", "}", NULL)
 * XXX: means exactly one of "this" or "that", and
 * XXX:    ("!foo", "?bar", "?{", "this", "that", "}", NULL)
 * XXX: means at most one of "this" or "that".
 */

struct fld_spec {
        const char      *name;
        struct token    *found;
};

static void
vcc_ResetFldSpec(struct fld_spec *f)
{

        for (; f->name != NULL; f++)
                f->found = NULL;
}

struct fld_spec *
vcc_FldSpec(struct vcc *tl, const char *first, ...)
{
        struct fld_spec f[100], *r;
        int n = 0;
        va_list ap;
        const char *p;

        f[n++].name = first;
        va_start(ap, first);
        while (1) {
                p = va_arg(ap, const char *);
                if (p == NULL)
                        break;
                f[n++].name = p;
                assert(n < 100);
        }
        va_end(ap);
        f[n++].name = NULL;

        vcc_ResetFldSpec(f);

        r = TlAlloc(tl, sizeof *r * n);
        memcpy(r, f, n * sizeof *r);
        return (r);
}

void
vcc_IsField(struct vcc *tl, const struct token **t, struct fld_spec *fs)
{
        struct token *t_field;

        SkipToken(tl, '.');
        ExpectErr(tl, ID);
        t_field = tl->t;
        *t = t_field;
        vcc_NextToken(tl);
        SkipToken(tl, '=');

        for (; fs->name != NULL; fs++) {
                if (!vcc_IdIs(t_field, fs->name + 1))
                        continue;
                if (fs->found == NULL) {
                        fs->found = t_field;
                        return;
                }
                VSB_cat(tl->sb, "Field ");
                vcc_ErrToken(tl, t_field);
                VSB_cat(tl->sb, " redefined at:\n");
                vcc_ErrWhere(tl, t_field);
                VSB_cat(tl->sb, "\nFirst defined at:\n");
                vcc_ErrWhere(tl, fs->found);
                return;
        }
        VSB_cat(tl->sb, "Unknown field: ");
        vcc_ErrToken(tl, t_field);
        VSB_cat(tl->sb, " at\n");
        vcc_ErrWhere(tl, t_field);
}

void
vcc_FieldsOk(struct vcc *tl, const struct fld_spec *fs)
{

        for (; fs->name != NULL; fs++) {
                if (*fs->name == '!' && fs->found == NULL) {
                        VSB_printf(tl->sb,
                            "Mandatory field '%s' missing.\n", fs->name + 1);
                        tl->err = 1;
                }
        }
}

		varnish-cache/lib/libvcc/vcc_backend_util.c
0		/*-
1		* Copyright (c) 2006 Verdens Gang AS
2		* Copyright (c) 2006-2011 Varnish Software AS
3		* All rights reserved.
4		*
5		* Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
6		*
7		* SPDX-License-Identifier: BSD-2-Clause
8		*
9		* Redistribution and use in source and binary forms, with or without
10		* modification, are permitted provided that the following conditions
11		* are met:
12		* 1. Redistributions of source code must retain the above copyright
13		* notice, this list of conditions and the following disclaimer.
14		* 2. Redistributions in binary form must reproduce the above copyright
15		* notice, this list of conditions and the following disclaimer in the
16		* documentation and/or other materials provided with the distribution.
17		*
18		* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19		* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20		* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21		* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
22		* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23		* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24		* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25		* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26		* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27		* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28		* SUCH DAMAGE.
29		*
30		*/
31
32		#include "config.h"
33
34		#include <stdarg.h>
35		#include <string.h>
36
37		#include "vcc_compile.h"
38
39		/*--------------------------------------------------------------------
40		* Helper functions to complain about duplicate and missing fields
41		*
42		* XXX: idea: add groups to check for exclusivity, such that
43		* XXX: ("!foo", "?bar", "!{", "this", "that", "}", NULL)
44		* XXX: means exactly one of "this" or "that", and
45		* XXX: ("!foo", "?bar", "?{", "this", "that", "}", NULL)
46		* XXX: means at most one of "this" or "that".
47		*/
48
49		struct fld_spec {
50		const char *name;
51		struct token *found;
52		};
53
54		static void
55	59040	vcc_ResetFldSpec(struct fld_spec *f)
56		{
57
58	933360	for (; f->name != NULL; f++)
59	874320	f->found = NULL;
60	59040	}
61
62		struct fld_spec *
63	59040	vcc_FldSpec(struct vcc tl, const char first, ...)
64		{
65		struct fld_spec f[100], *r;
66	59040	int n = 0;
67		va_list ap;
68		const char *p;
69
70	59040	f[n++].name = first;
71	59040	va_start(ap, first);
72	874320	while (1) {
73	874320	p = va_arg(ap, const char *);
74	874320	if (p == NULL)
75	59040	break;
76	815280	f[n++].name = p;
77	815280	assert(n < 100);
78		}
79	59040	va_end(ap);
80	59040	f[n++].name = NULL;
81
82	59040	vcc_ResetFldSpec(f);
83
84	59040	r = TlAlloc(tl, sizeof r n);
85	59040	memcpy(r, f, n * sizeof *r);
86	59040	return (r);
87		}
88
89		void
90	107800	vcc_IsField(struct vcc tl, const struct token t, struct fld_spec fs)
91		{
92		struct token *t_field;
93
94	107800	SkipToken(tl, '.');
95	107800	ExpectErr(tl, ID);
96	107800	t_field = tl->t;
97	107800	*t = t_field;
98	107800	vcc_NextToken(tl);
99	107800	SkipToken(tl, '=');
100
101	206040	for (; fs->name != NULL; fs++) {
102	206000	if (!vcc_IdIs(t_field, fs->name + 1))
103	98240	continue;
104	107760	if (fs->found == NULL) {
105	107720	fs->found = t_field;
106	107720	return;
107		}
108	40	VSB_cat(tl->sb, "Field ");
109	40	vcc_ErrToken(tl, t_field);
110	40	VSB_cat(tl->sb, " redefined at:\n");
111	40	vcc_ErrWhere(tl, t_field);
112	40	VSB_cat(tl->sb, "\nFirst defined at:\n");
113	40	vcc_ErrWhere(tl, fs->found);
114	40	return;
115		}
116	40	VSB_cat(tl->sb, "Unknown field: ");
117	40	vcc_ErrToken(tl, t_field);
118	40	VSB_cat(tl->sb, " at\n");
119	40	vcc_ErrWhere(tl, t_field);
120	107800	}
121
122		void
123	56440	vcc_FieldsOk(struct vcc tl, const struct fld_spec fs)
124		{
125
126	903040	for (; fs->name != NULL; fs++) {
127	846600	if (*fs->name == '!' && fs->found == NULL) {
128	0	VSB_printf(tl->sb,
129	0	"Mandatory field '%s' missing.\n", fs->name + 1);
130	0	tl->err = 1;
131	0	}
132	846600	}
133	56440	}