src/mesh/mesh_block_lib.c

   1 /*
   2      This file is part of GNUnet.
   3      (C) 2012 Christian Grothoff (and other contributing authors)
   4
   5      GNUnet is free software; you can redistribute it and/or modify
   6      it under the terms of the GNU General Public License as published
   7      by the Free Software Foundation; either version 3, or (at your
   8      option) any later version.
   9
  10      GNUnet is distributed in the hope that it will be useful, but
  11      WITHOUT ANY WARRANTY; without even the implied warranty of
  12      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13      General Public License for more details.
  14
  15      You should have received a copy of the GNU General Public License
  16      along with GNUnet; see the file COPYING.  If not, write to the
  17      Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  18      Boston, MA 02111-1307, USA.
  19 */
  20
  21 /**
  22  * @author Bartlomiej Polot
  23  * @file mesh/mesh_block_lib.c
  24  */
  25
  26 #ifdef __cplusplus
  27 extern "C"
  28 {
  29 #if 0
  30   /* keep Emacsens' auto-indent happy */
  31 }
  32 #endif
  33 #endif
  34
  35 #include "mesh_block_lib.h"
  36
  37 /**
  38  * Noop iterator over all edges in a block.
  39  *
  40  * @param cls Closure, not used.
  41  * @param token Token that follows to next state.
  42  * @param len Lenght of token.
  43  * @param key Hash of next state.
  44  *
  45  * @return GNUNET_YES, to keep iterating
  46  */
  47 static int
  48 check_edge (void *cls,
  49             const char *token,
  50             size_t len,
  51             const struct GNUNET_HashCode *key)
  52 {
  53   return GNUNET_YES;
  54 }
  55
  56
  57 /**
  58  * Check if the regex block is well formed, including all edges
  59  *
  60  * @param block The start of the block.
  61  * @param size The size of the block.
  62  *
  63  * @return GNUNET_OK in case it's fine, GNUNET_SYSERR otherwise.
  64  */
  65 int
  66 GNUNET_MESH_regex_block_check (const struct MeshRegexBlock *block,
  67                                size_t size)
  68 {
  69   return GNUNET_MESH_regex_block_iterate(block, size, &check_edge, NULL);
  70 }
  71
  72
  73 /**
  74  * Iterate over all edges of a block of a regex state.
  75  *
  76  * @param block Block to iterate over.
  77  * @param size Size of block.
  78  * @param iterator Function to call on each edge in the block.
  79  * @param iter_cls Closure for the iterator.
  80  *
  81  * @return How many bytes of block have been processed
  82  */
  83 int
  84 GNUNET_MESH_regex_block_iterate (const struct MeshRegexBlock *block,
  85                                  size_t size,
  86                                  GNUNET_MESH_EgdeIterator iterator,
  87                                  void *iter_cls)
  88 {
  89   struct MeshRegexEdge *edge;
  90   unsigned int n;
  91   unsigned int n_token;
  92   unsigned int i;
  93   size_t offset;
  94   char *aux;
  95
  96   offset = sizeof (struct MeshRegexBlock);
  97   if (offset > size) // Is it safe to access the regex block?
  98     return GNUNET_SYSERR;
  99   n = ntohl (block->n_proof);
 100   offset =+ n;
 101   if (offset > size) // Is it safe to access the regex proof?
 102     return GNUNET_SYSERR;
 103   aux = (char *) &block[1];  // Skip regex block
 104   aux = &aux[n];             // Skip regex proof
 105   n = ntohl (block->n_edges);
 106   for (i = 0; i < n; n++) // aux always points at the end of the previous block
 107   {
 108     offset += sizeof (struct MeshRegexEdge);
 109     if (offset > size) // Is it safe to access the next edge block?
 110       return GNUNET_SYSERR;
 111     edge = (struct MeshRegexEdge *) aux;
 112     n_token = ntohl (edge->n_token);
 113     offset += n_token;
 114     if (offset > size) // Is it safe to access the edge token?
 115       return GNUNET_SYSERR;
 116     aux = (char *) &edge[1]; // Skip edge block
 117     if (NULL != iterator)
 118         if (GNUNET_NO == iterator (iter_cls, aux, n_token, &edge->key))
 119             return GNUNET_OK;
 120     aux = &aux[n_token];     // Skip edge token
 121   }
 122   // The total size should be exactly the size of (regex + all edges) blocks
 123   return (offset == size) ? GNUNET_OK : GNUNET_SYSERR;
 124 }
 125
 126 #if 0                           /* keep Emacsens' auto-indent happy */
 127 {
 128 #endif
 129 #ifdef __cplusplus
 130 }
 131 #endif
 132
 133 /* end of mesh_block_lib.c */