BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 /**
2 * @file assert.c
3 * @author Ambroz Bizjak <ambrop7@gmail.com>
4 *
5 * @section LICENSE
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions are met:
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * 3. Neither the name of the author nor the
15 * names of its contributors may be used to endorse or promote products
16 * derived from this software without specific prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
19 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
20 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
22 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
23 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
24 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
25 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 *
29 * @section DESCRIPTION
30 *
31 * Synopsis:
32 * assert(string cond)
33 * assert_false(string cond)
34 *
35 * Description:
36 * If 'cond' is equal to the string "true" (assert) or "false" (assert_false),
37 * does nothing. Otherwise, logs an error and initiates interpreter termination
38 * with exit code 1, i.e. it is equivalent to calling exit("1").
39 * Note that "assert_false(cond);" is not completely equivalent to
40 * "not(cond) a; assert(a);", in case 'cond' is something other than "true"
41 * or "false".
42 */
43  
44 #include <ncd/module_common.h>
45  
46 #include <generated/blog_channel_ncd_assert.h>
47  
48 static void func_new_common (NCDModuleInst *i, const struct NCDModuleInst_new_params *params, int is_false)
49 {
50 // check arguments
51 NCDValRef cond_arg;
52 if (!NCDVal_ListRead(params->args, 1, &cond_arg)) {
53 ModuleLog(i, BLOG_ERROR, "wrong arity");
54 goto fail0;
55 }
56 if (!NCDVal_IsString(cond_arg)) {
57 ModuleLog(i, BLOG_ERROR, "wrong type");
58 goto fail0;
59 }
60  
61 // signal up
62 NCDModuleInst_Backend_Up(i);
63  
64 // if failed, initiate exit (before up!)
65 if ((!is_false && !NCDVal_StringEqualsId(cond_arg, NCD_STRING_TRUE)) ||
66 (is_false && !NCDVal_StringEqualsId(cond_arg, NCD_STRING_FALSE))
67 ) {
68 ModuleLog(i, BLOG_ERROR, "assertion failed");
69 NCDModuleInst_Backend_InterpExit(i, 1);
70 }
71  
72 return;
73  
74 fail0:
75 NCDModuleInst_Backend_DeadError(i);
76 }
77  
78 static void func_new (void *unused, NCDModuleInst *i, const struct NCDModuleInst_new_params *params)
79 {
80 func_new_common(i, params, 0);
81 }
82  
83 static void func_new_false (void *unused, NCDModuleInst *i, const struct NCDModuleInst_new_params *params)
84 {
85 func_new_common(i, params, 1);
86 }
87  
88 static struct NCDModule modules[] = {
89 {
90 .type = "assert",
91 .func_new2 = func_new
92 }, {
93 .type = "assert_false",
94 .func_new2 = func_new_false
95 }, {
96 .type = NULL
97 }
98 };
99  
100 const struct NCDModuleGroup ncdmodule_assert = {
101 .modules = modules
102 };