ubs_private.c

Go to the documentation of this file.

/*
 * THIS FILE HAS BEEN AUTOMATICALLY GENERATED BY NEWGEN.
 *
 * PLEASE DO NOT MODIFY IT.
 */
 
 
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "ubs_private.h"
 
/* UBS_CHECK
 */
ubs_check copy_ubs_check(ubs_check p) {
  return (ubs_check) gen_copy_tree((gen_chunk*) p);
}
void free_ubs_check(ubs_check p) {
  gen_free((gen_chunk*) p);
}
ubs_check check_ubs_check(ubs_check p) {
  return (ubs_check) gen_check((gen_chunk*) p, ubs_check_domain);
}
bool ubs_check_consistent_p(ubs_check p) {
  check_ubs_check(p);
  return gen_consistent_p((gen_chunk*) p);
}
bool ubs_check_defined_p(ubs_check p) {
  return gen_defined_p((gen_chunk*) p);
}
list gen_ubs_check_cons(ubs_check p, list l) {
  return gen_typed_cons(UBS_CHECK_NEWGEN_DOMAIN, p, l);
}
void ubs_check_assign_contents(ubs_check r, ubs_check v) {
  check_ubs_check(r);
  check_ubs_check(v);
  message_assert("defined references to domain ubs_check",
                 ubs_check_defined_p(r) && ubs_check_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ubs_check_));
}
void ubs_check_non_recursive_free(ubs_check p) {
  // should clear up contents...
  free(p);
}
void write_ubs_check(FILE* f, ubs_check p) {
  gen_write(f, (gen_chunk*) p);
}
ubs_check read_ubs_check(FILE* f) {
  return (ubs_check) gen_read(f);
}
ubs_check make_ubs_check(entity a1, entity a2) {
  return (ubs_check) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, ubs_check_domain, a1, a2);
}
 
/* UBS
 */
ubs copy_ubs(ubs p) {
  return (ubs) gen_copy_tree((gen_chunk*) p);
}
void free_ubs(ubs p) {
  gen_free((gen_chunk*) p);
}
ubs check_ubs(ubs p) {
  return (ubs) gen_check((gen_chunk*) p, ubs_domain);
}
bool ubs_consistent_p(ubs p) {
  check_ubs(p);
  return gen_consistent_p((gen_chunk*) p);
}
bool ubs_defined_p(ubs p) {
  return gen_defined_p((gen_chunk*) p);
}
list gen_ubs_cons(ubs p, list l) {
  return gen_typed_cons(UBS_NEWGEN_DOMAIN, p, l);
}
void ubs_assign_contents(ubs r, ubs v) {
  check_ubs(r);
  check_ubs(v);
  message_assert("defined references to domain ubs",
                 ubs_defined_p(r) && ubs_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ubs_));
}
void ubs_non_recursive_free(ubs p) {
  // should clear up contents...
  free(p);
}
void write_ubs(FILE* f, ubs p) {
  gen_write(f, (gen_chunk*) p);
}
ubs read_ubs(FILE* f) {
  return (ubs) gen_read(f);
}
ubs make_ubs(list a) {
  return (ubs) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, ubs_domain, a);
}