common/t_constraint.c

   1 /*
   2  * Copyright (c) 2012, JANET(UK)
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * 1. Redistributions of source code must retain the above copyright
  10  *    notice, this list of conditions and the following disclaimer.
  11  *
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  *
  16  * 3. Neither the name of JANET(UK) nor the names of its contributors
  17  *    may be used to endorse or promote products derived from this software
  18  *    without specific prior written permission.
  19  *
  20  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  21  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  22  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
  23  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  24  * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
  25  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  26  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  27  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  28  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  29  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  30  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
  31  * OF THE POSSIBILITY OF SUCH DAMAGE.
  32  *
  33  */
  34
  35 #include <jansson.h>
  36 #include "jansson_iterators.h"
  37 #include <stdio.h>
  38 #include <assert.h>
  39
  40 #include <trust_router/tid.h>
  41 #include <trust_router/tr_constraint.h>
  42 #include <tr_debug.h>
  43
  44 static TID_REQ *request = NULL;
  45
  46 static int handle_test_case(
  47                              json_t *tc)
  48 {
  49   json_t *constraints, *valid, *expected;
  50   int validp;
  51   json_t *result;
  52   assert(constraints = json_object_get(tc, "constraints"));
  53   assert( valid = json_object_get(tc, "valid"));
  54   validp = tr_constraint_set_validate((TR_CONSTRAINT_SET *)constraints);
  55   if (validp != json_is_true(valid)) {
  56     tr_debug("Unexpected validation result for \n");
  57     json_dumpf( constraints, stderr, JSON_INDENT(4));
  58     return 0;
  59   }
  60   if (!validp)
  61     return 1;
  62   assert( expected = json_object_get(tc, "expected"));
  63   result = (json_t *) tr_constraint_set_intersect(request, (TR_CONSTRAINT_SET *) constraints);
  64   if (!json_equal(result, expected)) {
  65     tr_debug("Unexpected intersection; actual:\n");
  66     json_dumpf(result, stderr, JSON_INDENT(4));
  67     tr_debug("Expected: \n");
  68     json_dumpf(expected, stderr, JSON_INDENT(4));
  69     return 0;
  70   }
  71   return 1;
  72 }
  73
  74 int main(void) {
  75   json_t *tests;
  76   int error=0;
  77   json_t *tc;
  78   size_t index;
  79   request = tid_req_new();
  80   tests = json_load_file(TESTS, JSON_REJECT_DUPLICATES|JSON_DISABLE_EOF_CHECK, NULL);
  81   json_array_foreach(tests, index, tc)
  82     if (!handle_test_case(tc))
  83       error = 1;
  84   if (error)
  85     return 1;
  86   return 0;
  87 }