task_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 "task_private.h"
 
/* STATEMENT_TASK
 */
statement_task copy_statement_task(statement_task p) {
  return (statement_task) gen_copy_tree((gen_chunk*) p);
}
void free_statement_task(statement_task p) {
  gen_free((gen_chunk*) p);
}
statement_task check_statement_task(statement_task p) {
  return (statement_task) gen_check((gen_chunk*) p, statement_task_domain);
}
bool statement_task_consistent_p(statement_task p) {
  check_statement_task(p);
  return gen_consistent_p((gen_chunk*) p);
}
bool statement_task_defined_p(statement_task p) {
  return gen_defined_p((gen_chunk*) p);
}
list gen_statement_task_cons(statement_task p, list l) {
  return gen_typed_cons(STATEMENT_TASK_NEWGEN_DOMAIN, p, l);
}
void statement_task_assign_contents(statement_task r, statement_task v) {
  check_statement_task(r);
  check_statement_task(v);
  message_assert("defined references to domain statement_task",
                 statement_task_defined_p(r) && statement_task_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_statement_task_));
}
void statement_task_non_recursive_free(statement_task p) {
  // should clear up contents...
  free(p);
}
void write_statement_task(FILE* f, statement_task p) {
  gen_write(f, (gen_chunk*) p);
}
statement_task read_statement_task(FILE* f) {
  return (statement_task) gen_read(f);
}
statement_task make_statement_task(void) {
  return (statement_task) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, statement_task_domain);
}
task apply_statement_task(statement_task f, statement k) {
  return (task) (intptr_t)HASH_GET(p, p, statement_task_hash_table(f), k);
}
void update_statement_task(statement_task f, statement k, task v) {
  HASH_UPDATE(p, p, statement_task_hash_table(f), k, (intptr_t)v);
}
void extend_statement_task(statement_task f, statement k, task v) {
  HASH_EXTEND(p, p, statement_task_hash_table(f), k, (intptr_t)v);
}
task delete_statement_task(statement_task f, statement k) {
  return (task)(intptr_t) HASH_DELETE(p, p, statement_task_hash_table(f), k);
}
bool bound_statement_task_p(statement_task f, statement k) {
  return (intptr_t)HASH_BOUND_P(p, p, statement_task_hash_table(f), k);
}
 
/* TASK
 */
task copy_task(task p) {
  return (task) gen_copy_tree((gen_chunk*) p);
}
void free_task(task p) {
  gen_free((gen_chunk*) p);
}
task check_task(task p) {
  return (task) gen_check((gen_chunk*) p, task_domain);
}
bool task_consistent_p(task p) {
  check_task(p);
  return gen_consistent_p((gen_chunk*) p);
}
bool task_defined_p(task p) {
  return gen_defined_p((gen_chunk*) p);
}
list gen_task_cons(task p, list l) {
  return gen_typed_cons(TASK_NEWGEN_DOMAIN, p, l);
}
void task_assign_contents(task r, task v) {
  check_task(r);
  check_task(v);
  message_assert("defined references to domain task",
                 task_defined_p(r) && task_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_task_));
}
void task_non_recursive_free(task p) {
  // should clear up contents...
  free(p);
}
void write_task(FILE* f, task p) {
  gen_write(f, (gen_chunk*) p);
}
task read_task(FILE* f) {
  return (task) gen_read(f);
}
task make_task(intptr_t a1, list a2, intptr_t a3, bool a4) {
  return (task) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, task_domain, a1, a2, a3, a4);
}