kc3-lang/kc3/libc3/facts_with.c

• Show log

  Commit

• Hash : 865d1524
  Author : Thomas de Grivel
  Date : 2022-10-31T00:50:45
  

  c3-lang

Download

• libc3/facts_with.c

• /* c3
   * Copyright 2022 kmx.io <contact@kmx.io>
   *
   * Permission is hereby granted to use this software granted
   * the above copyright notice and this permission paragraph
   * are included in all copies and substantial portions of this
   * software.
   *
   * THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
   * PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
   * AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
   * THIS SOFTWARE.
   */
  #include <assert.h>
  #include <stdlib.h>
  #include "facts_cursor.h"
  #include "facts_spec.h"
  #include "facts_with.h"
  #include "tag.h"
  
  s_facts_cursor * facts_with_0 (const s_facts *facts,
                                 s_facts_cursor *cursor,
                                 s_tag *var_subject,
                                 s_tag *var_predicate,
                                 s_tag *var_object)
  {
    assert(facts);
    assert(cursor);
    facts_cursor_init(cursor, facts->index_spo, NULL, NULL);
    cursor->var_subject = var_subject;
    cursor->var_predicate = var_predicate;
    cursor->var_object = var_object;
    return cursor;
  }
  
  s_facts_cursor * facts_with_1_2 (const s_facts *facts,
                                   s_facts_cursor *cursor,
                                   const s_tag *subject,
                                   const s_tag *predicate,
                                   const s_tag *object,
                                   s_tag *var_subject,
                                   s_tag *var_predicate,
                                   s_tag *var_object)
  {
    s_fact start;
    s_fact end;
    s_skiplist__fact *tree;
    assert(facts);
    assert(cursor);
    assert(subject);
    assert(predicate);
    assert(object);
    assert(var_subject || var_predicate || var_object);
    start.subject   = var_subject   ? TAG_FIRST : subject;
    start.predicate = var_predicate ? TAG_FIRST : predicate;
    start.object    = var_object    ? TAG_FIRST : object;
    end.subject   = var_subject   ? TAG_LAST : subject;
    end.predicate = var_predicate ? TAG_LAST : predicate;
    end.object    = var_object    ? TAG_LAST : object;
    tree = (! var_subject && var_object) ? facts->index_spo :
      ! var_predicate ? facts->index_pos :
      facts->index_osp;
    facts_cursor_init(cursor, tree, &start, &end);
    cursor->var_subject = var_subject;
    cursor->var_predicate = var_predicate;
    cursor->var_object = var_object;
    return cursor;
  }
  
  s_facts_cursor * facts_with_3 (const s_facts *facts,
                                 s_facts_cursor *cursor,
                                 const s_tag *subject,
                                 const s_tag *predicate,
                                 const s_tag *object)
  {
    s_fact fact;
    assert(facts);
    assert(cursor);
    assert(subject);
    assert(predicate);
    assert(object);
    fact.subject = subject;
    fact.predicate = predicate;
    fact.object = object;
    return facts_cursor_init(cursor, facts->index_spo, &fact, &fact);
  }
  
  s_facts_cursor * facts_with_tags (const s_facts *facts,
                                    s_facts_cursor *cursor,
                                    s_tag *subject,
                                    s_tag *predicate,
                                    s_tag *object)
  {
    p_var var_subject;
    p_var var_predicate;
    p_var var_object;
    assert(facts);
    assert(cursor);
    assert(subject);
    assert(predicate);
    assert(object);
    var_subject = tag_is_var(subject) ? subject : NULL;
    var_predicate = tag_is_var(predicate) ? predicate : NULL;
    var_object = tag_is_var(object) ? object : NULL;
    if (var_subject && var_predicate && var_object)
      return facts_with_0(facts, cursor, var_subject, var_predicate,
                          var_object);
    if (! (var_subject || var_predicate || var_object))
      return facts_with_3(facts, cursor, subject, predicate, object);
    return facts_with_1_2(facts, cursor, subject, predicate, object,
                          var_subject, var_predicate, var_object);
  }
  
  s_facts_with_cursor * facts_with (const s_facts *facts,
                                    s_facts_with_cursor *cursor,
                                    p_facts_spec spec)
  {
    uw facts_count;
    assert(facts);
    assert(cursor);
    assert(spec);
    facts_count = facts_spec_count_facts(spec);
    cursor->facts = facts;
    cursor->facts_count = facts_count;
    if (facts_count > 0) {
      cursor->l = calloc(facts_count,
                         sizeof(s_facts_with_cursor_level));
      cursor->spec = facts_spec_new_expand(spec);
      facts_spec_sort(cursor->spec);
    }
    else {
      cursor->l = NULL;
      cursor->spec = NULL;
    }
    cursor->level = 0;
    return cursor;
  }
  

Download