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 <stdio.h>
  37 #include <assert.h>
  38
  39 #include <trust_router/tid.h>
  40 #include <trust_router/tr_constraint.h>
  41 #include <tr_debug.h>
  42
  43 static TID_REQ *request = NULL;
  44
  45 static int handle_test_case(
  46                              json_t *tc)
  47 {
  48   json_t *constraints, *valid, *expected;
  49   int validp;
  50   json_t *result;
  51   assert(constraints = json_object_get(tc, "constraints"));
  52   assert( valid = json_object_get(tc, "valid"));
  53   validp = tr_constraint_set_validate((TR_CONSTRAINT_SET *)constraints);
  54   if (validp != json_is_true(valid)) {
  55     tr_debug("Unexpected validation result for \n");
  56     json_dumpf( constraints, stderr, JSON_INDENT(4));
  57     return 0;
  58   }
  59   if (!validp)
  60     return 1;
  61   assert( expected = json_object_get(tc, "expected"));
  62   result = (json_t *) tr_constraint_set_intersect(request, (TR_CONSTRAINT_SET *) constraints);
  63   if (!json_equal(result, expected)) {
  64     tr_debug("Unexpected intersection; actual:\n");
  65     json_dumpf(result, stderr, JSON_INDENT(4));
  66     tr_debug("Expected: \n");
  67     json_dumpf(expected, stderr, JSON_INDENT(4));
  68     return 0;
  69   }
  70   return 1;
  71 }
  72
  73 int main(void) {
  74   json_t *tests;
  75   int error=0;
  76   json_t *tc;
  77   size_t index;
  78   request = tid_req_new();
  79   tests = json_load_file(TESTS, JSON_REJECT_DUPLICATES|JSON_DISABLE_EOF_CHECK, NULL);
  80   json_array_foreach(tests, index, tc)
  81     if (!handle_test_case(tc))
  82       error = 1;
  83   if (error)
  84     return 1;
  85   return 0;
  86 }