ubs_private.h

Go to the documentation of this file.

#ifndef _newgen_ubs_private_included
#define _newgen_ubs_private_included
#define _gen_ubs_private_start 96
/*
 * THIS FILE HAS BEEN AUTOMATICALLY GENERATED BY NEWGEN.
 *
 * PLEASE DO NOT MODIFY IT.
 */
 
#if !defined(_newgen_entity_domain_defined_)
#define _newgen_entity_domain_defined_
#define ENTITY_NEWGEN_DOMAIN (entity_domain)
#define entity_NEWGEN_DOMAIN (entity_domain)
typedef struct _newgen_struct_entity_ * entity;
#endif /* _newgen_entity_domain_defined_ */
 
#define ubs_check_domain (_gen_ubs_private_start+0)
#if !defined(_newgen_ubs_check_domain_defined_)
#define _newgen_ubs_check_domain_defined_
#define UBS_CHECK_NEWGEN_DOMAIN (ubs_check_domain)
#define ubs_check_NEWGEN_DOMAIN (ubs_check_domain)
typedef struct _newgen_struct_ubs_check_ * ubs_check;
#endif /* _newgen_ubs_check_domain_defined_ */
 
#define ubs_domain (_gen_ubs_private_start+1)
#if !defined(_newgen_ubs_domain_defined_)
#define _newgen_ubs_domain_defined_
#define UBS_NEWGEN_DOMAIN (ubs_domain)
#define ubs_NEWGEN_DOMAIN (ubs_domain)
typedef struct _newgen_struct_ubs_ * ubs;
#endif /* _newgen_ubs_domain_defined_ */
 
/* UBS_CHECK
 */
#define UBS_CHECK(x) ((ubs_check)((x).p))
#define ubs_check_CAST(x) UBS_CHECK(x)
#define UBS_CHECK_CAST(x) UBS_CHECK(x)
#define UBS_CHECK_(x) ((x).e)
#define UBS_CHECK_TYPE ubs_check
#define ubs_check_TYPE ubs_check
#define ubs_check_undefined ((ubs_check)gen_chunk_undefined)
#define ubs_check_undefined_p(x) ((x)==ubs_check_undefined)
 
extern ubs_check copy_ubs_check(ubs_check);
extern void free_ubs_check(ubs_check);
extern ubs_check check_ubs_check(ubs_check);
extern bool ubs_check_consistent_p(ubs_check);
extern bool ubs_check_defined_p(ubs_check);
#define gen_UBS_CHECK_cons gen_ubs_check_cons
extern list gen_ubs_check_cons(ubs_check, list);
extern void ubs_check_assign_contents(ubs_check, ubs_check);
extern void ubs_check_non_recursive_free(ubs_check);
extern void write_ubs_check(FILE*, ubs_check);
extern ubs_check read_ubs_check(FILE*);
extern ubs_check make_ubs_check(entity, entity);
 
struct _newgen_struct_ubs_check_ {
  intptr_t _type_;
  entity _ubs_check_module_; /* module:entity */
  entity _ubs_check_variable_; /* variable:entity */
};
 
#define ubs_check_domain_number(x) ((x)->_type_)
#define ubs_check_module_(x) ubs_check_module(x) /* old hack compatible */
#define ubs_check_module(x) ((x)->_ubs_check_module_)
#define ubs_check_variable_(x) ubs_check_variable(x) /* old hack compatible */
#define ubs_check_variable(x) ((x)->_ubs_check_variable_)
 
/* UBS
 */
#define UBS(x) ((ubs)((x).p))
#define ubs_CAST(x) UBS(x)
#define UBS_CAST(x) UBS(x)
#define UBS_(x) ((x).e)
#define UBS_TYPE ubs
#define ubs_TYPE ubs
#define ubs_undefined ((ubs)gen_chunk_undefined)
#define ubs_undefined_p(x) ((x)==ubs_undefined)
 
extern ubs copy_ubs(ubs);
extern void free_ubs(ubs);
extern ubs check_ubs(ubs);
extern bool ubs_consistent_p(ubs);
extern bool ubs_defined_p(ubs);
#define gen_UBS_cons gen_ubs_cons
extern list gen_ubs_cons(ubs, list);
extern void ubs_assign_contents(ubs, ubs);
extern void ubs_non_recursive_free(ubs);
extern void write_ubs(FILE*, ubs);
extern ubs read_ubs(FILE*);
extern ubs make_ubs(list);
 
struct _newgen_struct_ubs_ {
  intptr_t _type_;
  list _ubs_holder_;
};
 
#define ubs_domain_number(x) ((x)->_type_)
#define ubs_list(x) ((x)->_ubs_holder_)
 
#define ubs_private_spec "\
--NEWGEN-START 96\n\
import entity from \"ri.newgen\";\n\
ubs_check = module:entity x variable:entity;\n\
ubs = list:ubs_check*;\n\
"
#endif