compsec.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	_newgen_struct_bound_pair_
struct	_newgen_struct_comp_desc_
struct	_newgen_struct_comp_desc_set_
struct	_newgen_struct_comp_sec_
struct	_newgen_struct_context_info_
struct	_newgen_struct_dad_struct_
struct	_newgen_struct_ref_temp_
struct	_newgen_struct_rtype_
struct	_newgen_struct_simple_section_

Macros
#define	_gen_compsec_start   154
#define	_newgen_reference_domain_defined_
#define	REFERENCE_NEWGEN_DOMAIN   (reference_domain)
#define	reference_NEWGEN_DOMAIN   (reference_domain)
#define	_newgen_action_domain_defined_
	newgen_reference_domain_defined More...
#define	ACTION_NEWGEN_DOMAIN   (action_domain)
#define	action_NEWGEN_DOMAIN   (action_domain)
#define	_newgen_Pvecteur_domain_defined_
	newgen_action_domain_defined More...
#define	newgen_Pvecteur(p)   (p) /**old hack compatible */
#define	PVECTEUR_NEWGEN_EXTERNAL   (_gen_compsec_start+0)
#define	PVECTEUR_NEWGEN_DOMAIN   (PVECTEUR_NEWGEN_EXTERNAL)
#define	Pvecteur_NEWGEN_DOMAIN   (PVECTEUR_NEWGEN_EXTERNAL)
#define	bound_pair_domain   (_gen_compsec_start+1)
	newgen_Pvecteur_domain_defined More...
#define	_newgen_bound_pair_domain_defined_
#define	BOUND_PAIR_NEWGEN_DOMAIN   (bound_pair_domain)
#define	bound_pair_NEWGEN_DOMAIN   (bound_pair_domain)
#define	comp_desc_domain   (_gen_compsec_start+2)
	newgen_bound_pair_domain_defined More...
#define	_newgen_comp_desc_domain_defined_
#define	COMP_DESC_NEWGEN_DOMAIN   (comp_desc_domain)
#define	comp_desc_NEWGEN_DOMAIN   (comp_desc_domain)
#define	comp_desc_set_domain   (_gen_compsec_start+3)
	newgen_comp_desc_domain_defined More...
#define	_newgen_comp_desc_set_domain_defined_
#define	COMP_DESC_SET_NEWGEN_DOMAIN   (comp_desc_set_domain)
#define	comp_desc_set_NEWGEN_DOMAIN   (comp_desc_set_domain)
#define	comp_sec_domain   (_gen_compsec_start+4)
	newgen_comp_desc_set_domain_defined More...
#define	_newgen_comp_sec_domain_defined_
#define	COMP_SEC_NEWGEN_DOMAIN   (comp_sec_domain)
#define	comp_sec_NEWGEN_DOMAIN   (comp_sec_domain)
#define	context_info_domain   (_gen_compsec_start+5)
	newgen_comp_sec_domain_defined More...
#define	_newgen_context_info_domain_defined_
#define	CONTEXT_INFO_NEWGEN_DOMAIN   (context_info_domain)
#define	context_info_NEWGEN_DOMAIN   (context_info_domain)
#define	dad_struct_domain   (_gen_compsec_start+6)
	newgen_context_info_domain_defined More...
#define	_newgen_dad_struct_domain_defined_
#define	DAD_STRUCT_NEWGEN_DOMAIN   (dad_struct_domain)
#define	dad_struct_NEWGEN_DOMAIN   (dad_struct_domain)
#define	ref_temp_domain   (_gen_compsec_start+7)
	newgen_dad_struct_domain_defined More...
#define	_newgen_ref_temp_domain_defined_
#define	REF_TEMP_NEWGEN_DOMAIN   (ref_temp_domain)
#define	ref_temp_NEWGEN_DOMAIN   (ref_temp_domain)
#define	rtype_domain   (_gen_compsec_start+8)
	newgen_ref_temp_domain_defined More...
#define	_newgen_rtype_domain_defined_
#define	RTYPE_NEWGEN_DOMAIN   (rtype_domain)
#define	rtype_NEWGEN_DOMAIN   (rtype_domain)
#define	simple_section_domain   (_gen_compsec_start+9)
	newgen_rtype_domain_defined More...
#define	_newgen_simple_section_domain_defined_
#define	SIMPLE_SECTION_NEWGEN_DOMAIN   (simple_section_domain)
#define	simple_section_NEWGEN_DOMAIN   (simple_section_domain)
#define	BOUND_PAIR(x)   ((bound_pair)((x).p))
	newgen_simple_section_domain_defined More...
#define	bound_pair_CAST(x)   BOUND_PAIR(x)
#define	BOUND_PAIR_CAST(x)   BOUND_PAIR(x)
#define	BOUND_PAIR_(x)   ((x).e)
#define	BOUND_PAIR_TYPE   bound_pair
#define	bound_pair_TYPE   bound_pair
#define	bound_pair_undefined   ((bound_pair)gen_chunk_undefined)
#define	bound_pair_undefined_p(x)   ((x)==bound_pair_undefined)
#define	gen_BOUND_PAIR_cons   gen_bound_pair_cons
#define	bound_pair_domain_number(x)   ((x)->_type_)
#define	bound_pair_index_(x)   bound_pair_index(x) /**old hack compatible */
#define	bound_pair_index(x)   ((x)->_bound_pair_index_)
#define	bound_pair_lb_(x)   bound_pair_lb(x) /**old hack compatible */
#define	bound_pair_lb(x)   ((x)->_bound_pair_lb_)
#define	bound_pair_ub_(x)   bound_pair_ub(x) /**old hack compatible */
#define	bound_pair_ub(x)   ((x)->_bound_pair_ub_)
#define	COMP_DESC(x)   ((comp_desc)((x).p))
	COMP_DESC. More...
#define	comp_desc_CAST(x)   COMP_DESC(x)
#define	COMP_DESC_CAST(x)   COMP_DESC(x)
#define	COMP_DESC_(x)   ((x).e)
#define	COMP_DESC_TYPE   comp_desc
#define	comp_desc_TYPE   comp_desc
#define	comp_desc_undefined   ((comp_desc)gen_chunk_undefined)
#define	comp_desc_undefined_p(x)   ((x)==comp_desc_undefined)
#define	gen_COMP_DESC_cons   gen_comp_desc_cons
#define	comp_desc_domain_number(x)   ((x)->_type_)
#define	comp_desc_reference_(x)   comp_desc_reference(x) /**old hack compatible */
#define	comp_desc_reference(x)   ((x)->_comp_desc_reference_)
#define	comp_desc_action_(x)   comp_desc_action(x) /**old hack compatible */
#define	comp_desc_action(x)   ((x)->_comp_desc_action_)
#define	comp_desc_section_(x)   comp_desc_section(x) /**old hack compatible */
#define	comp_desc_section(x)   ((x)->_comp_desc_section_)
#define	COMP_DESC_SET(x)   ((comp_desc_set)((x).p))
	COMP_DESC_SET. More...
#define	comp_desc_set_CAST(x)   COMP_DESC_SET(x)
#define	COMP_DESC_SET_CAST(x)   COMP_DESC_SET(x)
#define	COMP_DESC_SET_(x)   ((x).e)
#define	COMP_DESC_SET_TYPE   comp_desc_set
#define	comp_desc_set_TYPE   comp_desc_set
#define	comp_desc_set_undefined   ((comp_desc_set)gen_chunk_undefined)
#define	comp_desc_set_undefined_p(x)   ((x)==comp_desc_set_undefined)
#define	gen_COMP_DESC_SET_cons   gen_comp_desc_set_cons
#define	comp_desc_set_domain_number(x)   ((x)->_type_)
#define	comp_desc_set_comp_descs(x)   ((x)->_comp_desc_set_holder_)
#define	COMP_SEC(x)   ((comp_sec)((x).p))
	COMP_SEC. More...
#define	comp_sec_CAST(x)   COMP_SEC(x)
#define	COMP_SEC_CAST(x)   COMP_SEC(x)
#define	COMP_SEC_(x)   ((x).e)
#define	COMP_SEC_TYPE   comp_sec
#define	comp_sec_TYPE   comp_sec
#define	comp_sec_undefined   ((comp_sec)gen_chunk_undefined)
#define	comp_sec_undefined_p(x)   ((x)==comp_sec_undefined)
#define	gen_COMP_SEC_cons   gen_comp_sec_cons
#define	comp_sec_domain_number(x)   ((x)->_type_)
#define	comp_sec_hull_(x)   comp_sec_hull(x) /**old hack compatible */
#define	comp_sec_hull(x)   ((x)->_comp_sec_hull_)
#define	comp_sec_complements_(x)   comp_sec_complements(x) /**old hack compatible */
#define	comp_sec_complements(x)   ((x)->_comp_sec_complements_)
#define	CONTEXT_INFO(x)   ((context_info)((x).p))
	CONTEXT_INFO. More...
#define	context_info_CAST(x)   CONTEXT_INFO(x)
#define	CONTEXT_INFO_CAST(x)   CONTEXT_INFO(x)
#define	CONTEXT_INFO_(x)   ((x).e)
#define	CONTEXT_INFO_TYPE   context_info
#define	context_info_TYPE   context_info
#define	context_info_undefined   ((context_info)gen_chunk_undefined)
#define	context_info_undefined_p(x)   ((x)==context_info_undefined)
#define	gen_CONTEXT_INFO_cons   gen_context_info_cons
#define	context_info_domain_number(x)   ((x)->_type_)
#define	context_info_line_(x)   context_info_line(x) /**old hack compatible */
#define	context_info_line(x)   ((x)->_context_info_line_)
#define	context_info_rank_(x)   context_info_rank(x) /**old hack compatible */
#define	context_info_rank(x)   ((x)->_context_info_rank_)
#define	context_info_nest_(x)   context_info_nest(x) /**old hack compatible */
#define	context_info_nest(x)   ((x)->_context_info_nest_)
#define	DAD_STRUCT(x)   ((dad_struct)((x).p))
	DAD_STRUCT. More...
#define	dad_struct_CAST(x)   DAD_STRUCT(x)
#define	DAD_STRUCT_CAST(x)   DAD_STRUCT(x)
#define	DAD_STRUCT_(x)   ((x).e)
#define	DAD_STRUCT_TYPE   dad_struct
#define	dad_struct_TYPE   dad_struct
#define	dad_struct_undefined   ((dad_struct)gen_chunk_undefined)
#define	dad_struct_undefined_p(x)   ((x)==dad_struct_undefined)
#define	gen_DAD_STRUCT_cons   gen_dad_struct_cons
#define	dad_struct_domain_number(x)   ((x)->_type_)
#define	dad_struct_rtemps_(x)   dad_struct_rtemps(x) /**old hack compatible */
#define	dad_struct_rtemps(x)   ((x)->_dad_struct_rtemps_)
#define	dad_struct_shape_(x)   dad_struct_shape(x) /**old hack compatible */
#define	dad_struct_shape(x)   ((x)->_dad_struct_shape_)
#define	REF_TEMP(x)   ((ref_temp)((x).p))
	REF_TEMP. More...
#define	ref_temp_CAST(x)   REF_TEMP(x)
#define	REF_TEMP_CAST(x)   REF_TEMP(x)
#define	REF_TEMP_(x)   ((x).e)
#define	REF_TEMP_TYPE   ref_temp
#define	ref_temp_TYPE   ref_temp
#define	ref_temp_undefined   ((ref_temp)gen_chunk_undefined)
#define	ref_temp_undefined_p(x)   ((x)==ref_temp_undefined)
#define	gen_REF_TEMP_cons   gen_ref_temp_cons
#define	ref_temp_domain_number(x)   ((x)->_type_)
#define	ref_temp_index_(x)   ref_temp_index(x) /**old hack compatible */
#define	ref_temp_index(x)   ((x)->_ref_temp_index_)
#define	ref_temp_rtype_(x)   ref_temp_rtype(x) /**old hack compatible */
#define	ref_temp_rtype(x)   ((x)->_ref_temp_rtype_)
#define	RTYPE(x)   ((rtype)((x).p))
	RTYPE. More...
#define	rtype_CAST(x)   RTYPE(x)
#define	RTYPE_CAST(x)   RTYPE(x)
#define	RTYPE_(x)   ((x).e)
#define	RTYPE_TYPE   rtype
#define	rtype_TYPE   rtype
#define	rtype_undefined   ((rtype)gen_chunk_undefined)
#define	rtype_undefined_p(x)   ((x)==rtype_undefined)
#define	gen_RTYPE_cons   gen_rtype_cons
#define	rtype_domain_number(x)   ((x)->_type_)
#define	rtype_tag(x)   ((x)->_rtype_tag__)
#define	rtype_nonlinear_p(x)   (rtype_tag(x)==is_rtype_nonlinear)
#define	rtype_nonlinear_(x)   rtype_nonlinear(x) /**old hack compatible */
#define	rtype_nonlinear(x)   ((x)->_rtype_union_._rtype_nonlinear_.u)
#define	rtype_linvariant_p(x)   (rtype_tag(x)==is_rtype_linvariant)
#define	rtype_linvariant_(x)   rtype_linvariant(x) /**old hack compatible */
#define	rtype_linvariant(x)   ((x)->_rtype_union_._rtype_linvariant_.u)
#define	rtype_lininvariant_p(x)   (rtype_tag(x)==is_rtype_lininvariant)
#define	rtype_lininvariant_(x)   rtype_lininvariant(x) /**old hack compatible */
#define	rtype_lininvariant(x)   ((x)->_rtype_union_._rtype_lininvariant_.u)
#define	SIMPLE_SECTION(x)   ((simple_section)((x).p))
	SIMPLE_SECTION. More...
#define	simple_section_CAST(x)   SIMPLE_SECTION(x)
#define	SIMPLE_SECTION_CAST(x)   SIMPLE_SECTION(x)
#define	SIMPLE_SECTION_(x)   ((x).e)
#define	SIMPLE_SECTION_TYPE   simple_section
#define	simple_section_TYPE   simple_section
#define	simple_section_undefined   ((simple_section)gen_chunk_undefined)
#define	simple_section_undefined_p(x)   ((x)==simple_section_undefined)
#define	gen_SIMPLE_SECTION_cons   gen_simple_section_cons
#define	simple_section_domain_number(x)   ((x)->_type_)
#define	simple_section_context_(x)   simple_section_context(x) /**old hack compatible */
#define	simple_section_context(x)   ((x)->_simple_section_context_)
#define	simple_section_dad_(x)   simple_section_dad(x) /**old hack compatible */
#define	simple_section_dad(x)   ((x)->_simple_section_dad_)
#define	compsec_spec   "\--NEWGEN-START 154\n\import reference from \"ri.newgen\";\n\import action from \"ri.newgen\";\n\external Pvecteur;\n\bound_pair = index:int x lb:Pvecteur x ub:Pvecteur;\n\comp_desc = persistant reference:reference x action:action x section:comp_sec;\n\comp_desc_set = comp_descs:comp_desc*;\n\comp_sec = hull:simple_section x complements:simple_section*;\n\context_info = line:int x rank:int x nest:int;\n\dad_struct = rtemps:ref_temp* x shape:bound_pair*;\n\ref_temp = index:int x rtype:rtype;\n\rtype = nonlinear:unit + linvariant:unit + lininvariant:unit;\n\simple_section = context:context_info x dad:dad_struct;\n\"

Typedefs
typedef struct _newgen_struct_reference_ *	reference
typedef struct _newgen_struct_action_ *	action
typedef struct _newgen_struct_bound_pair_ *	bound_pair
typedef struct _newgen_struct_comp_desc_ *	comp_desc
typedef struct _newgen_struct_comp_desc_set_ *	comp_desc_set
typedef struct _newgen_struct_comp_sec_ *	comp_sec
typedef struct _newgen_struct_context_info_ *	context_info
typedef struct _newgen_struct_dad_struct_ *	dad_struct
typedef struct _newgen_struct_ref_temp_ *	ref_temp
typedef struct _newgen_struct_rtype_ *	rtype
typedef struct _newgen_struct_simple_section_ *	simple_section

Enumerations
enum	rtype_utype { is_rtype_nonlinear , is_rtype_linvariant , is_rtype_lininvariant }

Functions
bound_pair	copy_bound_pair (bound_pair)
	BOUND_PAIR. More...
void	free_bound_pair (bound_pair)
bound_pair	check_bound_pair (bound_pair)
bool	bound_pair_consistent_p (bound_pair)
bool	bound_pair_defined_p (bound_pair)
list	gen_bound_pair_cons (bound_pair, list)
void	bound_pair_assign_contents (bound_pair, bound_pair)
void	bound_pair_non_recursive_free (bound_pair)
void	write_bound_pair (FILE *, bound_pair)
bound_pair	read_bound_pair (FILE *)
bound_pair	make_bound_pair (intptr_t, Pvecteur, Pvecteur)
comp_desc	copy_comp_desc (comp_desc)
	COMP_DESC. More...
void	free_comp_desc (comp_desc)
comp_desc	check_comp_desc (comp_desc)
bool	comp_desc_consistent_p (comp_desc)
bool	comp_desc_defined_p (comp_desc)
list	gen_comp_desc_cons (comp_desc, list)
void	comp_desc_assign_contents (comp_desc, comp_desc)
void	comp_desc_non_recursive_free (comp_desc)
void	write_comp_desc (FILE *, comp_desc)
comp_desc	read_comp_desc (FILE *)
comp_desc	make_comp_desc (reference, action, comp_sec)
comp_desc_set	copy_comp_desc_set (comp_desc_set)
	COMP_DESC_SET. More...
void	free_comp_desc_set (comp_desc_set)
comp_desc_set	check_comp_desc_set (comp_desc_set)
bool	comp_desc_set_consistent_p (comp_desc_set)
bool	comp_desc_set_defined_p (comp_desc_set)
list	gen_comp_desc_set_cons (comp_desc_set, list)
void	comp_desc_set_assign_contents (comp_desc_set, comp_desc_set)
void	comp_desc_set_non_recursive_free (comp_desc_set)
void	write_comp_desc_set (FILE *, comp_desc_set)
comp_desc_set	read_comp_desc_set (FILE *)
comp_desc_set	make_comp_desc_set (list)
comp_sec	copy_comp_sec (comp_sec)
	COMP_SEC. More...
void	free_comp_sec (comp_sec)
comp_sec	check_comp_sec (comp_sec)
bool	comp_sec_consistent_p (comp_sec)
bool	comp_sec_defined_p (comp_sec)
list	gen_comp_sec_cons (comp_sec, list)
void	comp_sec_assign_contents (comp_sec, comp_sec)
void	comp_sec_non_recursive_free (comp_sec)
void	write_comp_sec (FILE *, comp_sec)
comp_sec	read_comp_sec (FILE *)
comp_sec	make_comp_sec (simple_section, list)
context_info	copy_context_info (context_info)
	CONTEXT_INFO. More...
void	free_context_info (context_info)
context_info	check_context_info (context_info)
bool	context_info_consistent_p (context_info)
bool	context_info_defined_p (context_info)
list	gen_context_info_cons (context_info, list)
void	context_info_assign_contents (context_info, context_info)
void	context_info_non_recursive_free (context_info)
void	write_context_info (FILE *, context_info)
context_info	read_context_info (FILE *)
context_info	make_context_info (intptr_t, intptr_t, intptr_t)
dad_struct	copy_dad_struct (dad_struct)
	DAD_STRUCT. More...
void	free_dad_struct (dad_struct)
dad_struct	check_dad_struct (dad_struct)
bool	dad_struct_consistent_p (dad_struct)
bool	dad_struct_defined_p (dad_struct)
list	gen_dad_struct_cons (dad_struct, list)
void	dad_struct_assign_contents (dad_struct, dad_struct)
void	dad_struct_non_recursive_free (dad_struct)
void	write_dad_struct (FILE *, dad_struct)
dad_struct	read_dad_struct (FILE *)
dad_struct	make_dad_struct (list, list)
ref_temp	copy_ref_temp (ref_temp)
	REF_TEMP. More...
void	free_ref_temp (ref_temp)
ref_temp	check_ref_temp (ref_temp)
bool	ref_temp_consistent_p (ref_temp)
bool	ref_temp_defined_p (ref_temp)
list	gen_ref_temp_cons (ref_temp, list)
void	ref_temp_assign_contents (ref_temp, ref_temp)
void	ref_temp_non_recursive_free (ref_temp)
void	write_ref_temp (FILE *, ref_temp)
ref_temp	read_ref_temp (FILE *)
ref_temp	make_ref_temp (intptr_t, rtype)
rtype	copy_rtype (rtype)
	RTYPE. More...
void	free_rtype (rtype)
rtype	check_rtype (rtype)
bool	rtype_consistent_p (rtype)
bool	rtype_defined_p (rtype)
list	gen_rtype_cons (rtype, list)
void	rtype_assign_contents (rtype, rtype)
void	rtype_non_recursive_free (rtype)
void	write_rtype (FILE *, rtype)
rtype	read_rtype (FILE *)
string	rtype_tag_as_string (enum rtype_utype)
rtype	make_rtype (enum rtype_utype, void *)
rtype	make_rtype_nonlinear (void)
rtype	make_rtype_linvariant (void)
rtype	make_rtype_lininvariant (void)
simple_section	copy_simple_section (simple_section)
	SIMPLE_SECTION. More...
void	free_simple_section (simple_section)
simple_section	check_simple_section (simple_section)
bool	simple_section_consistent_p (simple_section)
bool	simple_section_defined_p (simple_section)
list	gen_simple_section_cons (simple_section, list)
void	simple_section_assign_contents (simple_section, simple_section)
void	simple_section_non_recursive_free (simple_section)
void	write_simple_section (FILE *, simple_section)
simple_section	read_simple_section (FILE *)
simple_section	make_simple_section (context_info, dad_struct)

Macro Definition Documentation

_gen_compsec_start

#define _gen_compsec_start   154

Definition at line 3 of file compsec.h.

_newgen_action_domain_defined_

#define _newgen_action_domain_defined_

newgen_reference_domain_defined

Definition at line 18 of file compsec.h.

_newgen_bound_pair_domain_defined_

#define _newgen_bound_pair_domain_defined_

Definition at line 34 of file compsec.h.

_newgen_comp_desc_domain_defined_

#define _newgen_comp_desc_domain_defined_

Definition at line 42 of file compsec.h.

_newgen_comp_desc_set_domain_defined_

#define _newgen_comp_desc_set_domain_defined_

Definition at line 50 of file compsec.h.

_newgen_comp_sec_domain_defined_

#define _newgen_comp_sec_domain_defined_

Definition at line 58 of file compsec.h.

_newgen_context_info_domain_defined_

#define _newgen_context_info_domain_defined_

Definition at line 66 of file compsec.h.

_newgen_dad_struct_domain_defined_

#define _newgen_dad_struct_domain_defined_

Definition at line 74 of file compsec.h.

_newgen_Pvecteur_domain_defined_

#define _newgen_Pvecteur_domain_defined_

newgen_action_domain_defined

Definition at line 25 of file compsec.h.

_newgen_ref_temp_domain_defined_

#define _newgen_ref_temp_domain_defined_

Definition at line 82 of file compsec.h.

_newgen_reference_domain_defined_

#define _newgen_reference_domain_defined_

Definition at line 11 of file compsec.h.

_newgen_rtype_domain_defined_

#define _newgen_rtype_domain_defined_

Definition at line 90 of file compsec.h.

_newgen_simple_section_domain_defined_

#define _newgen_simple_section_domain_defined_

Definition at line 98 of file compsec.h.

ACTION_NEWGEN_DOMAIN

#define ACTION_NEWGEN_DOMAIN   (action_domain)

Definition at line 19 of file compsec.h.

action_NEWGEN_DOMAIN

#define action_NEWGEN_DOMAIN   (action_domain)

Definition at line 20 of file compsec.h.

BOUND_PAIR

#define BOUND_PAIR

(

x

)

((bound_pair)((x).p))

newgen_simple_section_domain_defined

BOUND_PAIR

Definition at line 107 of file compsec.h.

BOUND_PAIR_

#define BOUND_PAIR_

(

x

)

((x).e)

Definition at line 110 of file compsec.h.

bound_pair_CAST

#define bound_pair_CAST

(

x

)

BOUND_PAIR(x)

Definition at line 108 of file compsec.h.

BOUND_PAIR_CAST

#define BOUND_PAIR_CAST

(

x

)

BOUND_PAIR(x)

Definition at line 109 of file compsec.h.

bound_pair_domain

#define bound_pair_domain   (_gen_compsec_start+1)

newgen_Pvecteur_domain_defined

Definition at line 32 of file compsec.h.

bound_pair_domain_number

#define bound_pair_domain_number

(

x

)

((x)->_type_)

Definition at line 136 of file compsec.h.

bound_pair_index

#define bound_pair_index

(

x

)

((x)->_bound_pair_index_)

Definition at line 138 of file compsec.h.

bound_pair_index_

#define bound_pair_index_

(

x

)

bound_pair_index(x) /**old hack compatible */

Definition at line 137 of file compsec.h.

bound_pair_lb

#define bound_pair_lb

(

x

)

((x)->_bound_pair_lb_)

Definition at line 140 of file compsec.h.

bound_pair_lb_

#define bound_pair_lb_

(

x

)

bound_pair_lb(x) /**old hack compatible */

Definition at line 139 of file compsec.h.

BOUND_PAIR_NEWGEN_DOMAIN

#define BOUND_PAIR_NEWGEN_DOMAIN   (bound_pair_domain)

Definition at line 35 of file compsec.h.

bound_pair_NEWGEN_DOMAIN

#define bound_pair_NEWGEN_DOMAIN   (bound_pair_domain)

Definition at line 36 of file compsec.h.

BOUND_PAIR_TYPE

#define BOUND_PAIR_TYPE   bound_pair

Definition at line 111 of file compsec.h.

bound_pair_TYPE

#define bound_pair_TYPE   bound_pair

Definition at line 112 of file compsec.h.

bound_pair_ub

#define bound_pair_ub

(

x

)

((x)->_bound_pair_ub_)

Definition at line 142 of file compsec.h.

bound_pair_ub_

#define bound_pair_ub_

(

x

)

bound_pair_ub(x) /**old hack compatible */

Definition at line 141 of file compsec.h.

bound_pair_undefined

#define bound_pair_undefined   ((bound_pair)gen_chunk_undefined)

Definition at line 113 of file compsec.h.

bound_pair_undefined_p

#define bound_pair_undefined_p

(

x

)

((x)==bound_pair_undefined)

Definition at line 114 of file compsec.h.

COMP_DESC

#define COMP_DESC

(

x

)

((comp_desc)((x).p))

COMP_DESC.

Definition at line 146 of file compsec.h.

COMP_DESC_

#define COMP_DESC_

(

x

)

((x).e)

Definition at line 149 of file compsec.h.

comp_desc_action

#define comp_desc_action

(

x

)

((x)->_comp_desc_action_)

Definition at line 179 of file compsec.h.

comp_desc_action_

#define comp_desc_action_

(

x

)

comp_desc_action(x) /**old hack compatible */

Definition at line 178 of file compsec.h.

comp_desc_CAST

#define comp_desc_CAST

(

x

)

COMP_DESC(x)

Definition at line 147 of file compsec.h.

COMP_DESC_CAST

#define COMP_DESC_CAST

(

x

)

COMP_DESC(x)

Definition at line 148 of file compsec.h.

comp_desc_domain

#define comp_desc_domain   (_gen_compsec_start+2)

newgen_bound_pair_domain_defined

Definition at line 40 of file compsec.h.

comp_desc_domain_number

#define comp_desc_domain_number

(

x

)

((x)->_type_)

Definition at line 175 of file compsec.h.

COMP_DESC_NEWGEN_DOMAIN

#define COMP_DESC_NEWGEN_DOMAIN   (comp_desc_domain)

Definition at line 43 of file compsec.h.

comp_desc_NEWGEN_DOMAIN

#define comp_desc_NEWGEN_DOMAIN   (comp_desc_domain)

Definition at line 44 of file compsec.h.

comp_desc_reference

#define comp_desc_reference

(

x

)

((x)->_comp_desc_reference_)

Definition at line 177 of file compsec.h.

comp_desc_reference_

#define comp_desc_reference_

(

x

)

comp_desc_reference(x) /**old hack compatible */

Definition at line 176 of file compsec.h.

comp_desc_section

#define comp_desc_section

(

x

)

((x)->_comp_desc_section_)

Definition at line 181 of file compsec.h.

comp_desc_section_

#define comp_desc_section_

(

x

)

comp_desc_section(x) /**old hack compatible */

Definition at line 180 of file compsec.h.

COMP_DESC_SET

#define COMP_DESC_SET

(

x

)

((comp_desc_set)((x).p))

COMP_DESC_SET.

Definition at line 185 of file compsec.h.

COMP_DESC_SET_

#define COMP_DESC_SET_

(

x

)

((x).e)

Definition at line 188 of file compsec.h.

comp_desc_set_CAST

#define comp_desc_set_CAST

(

x

)

COMP_DESC_SET(x)

Definition at line 186 of file compsec.h.

COMP_DESC_SET_CAST

#define COMP_DESC_SET_CAST

(

x

)

COMP_DESC_SET(x)

Definition at line 187 of file compsec.h.

comp_desc_set_comp_descs

#define comp_desc_set_comp_descs

(

x

)

((x)->_comp_desc_set_holder_)

Definition at line 213 of file compsec.h.

comp_desc_set_domain

#define comp_desc_set_domain   (_gen_compsec_start+3)

newgen_comp_desc_domain_defined

Definition at line 48 of file compsec.h.

comp_desc_set_domain_number

#define comp_desc_set_domain_number

(

x

)

((x)->_type_)

Definition at line 212 of file compsec.h.

COMP_DESC_SET_NEWGEN_DOMAIN

#define COMP_DESC_SET_NEWGEN_DOMAIN   (comp_desc_set_domain)

Definition at line 51 of file compsec.h.

comp_desc_set_NEWGEN_DOMAIN

#define comp_desc_set_NEWGEN_DOMAIN   (comp_desc_set_domain)

Definition at line 52 of file compsec.h.

COMP_DESC_SET_TYPE

#define COMP_DESC_SET_TYPE   comp_desc_set

Definition at line 189 of file compsec.h.

comp_desc_set_TYPE

#define comp_desc_set_TYPE   comp_desc_set

Definition at line 190 of file compsec.h.

comp_desc_set_undefined

#define comp_desc_set_undefined   ((comp_desc_set)gen_chunk_undefined)

Definition at line 191 of file compsec.h.

comp_desc_set_undefined_p

#define comp_desc_set_undefined_p

(

x

)

((x)==comp_desc_set_undefined)

Definition at line 192 of file compsec.h.

COMP_DESC_TYPE

#define COMP_DESC_TYPE   comp_desc

Definition at line 150 of file compsec.h.

comp_desc_TYPE

#define comp_desc_TYPE   comp_desc

Definition at line 151 of file compsec.h.

comp_desc_undefined

#define comp_desc_undefined   ((comp_desc)gen_chunk_undefined)

Definition at line 152 of file compsec.h.

comp_desc_undefined_p

#define comp_desc_undefined_p

(

x

)

((x)==comp_desc_undefined)

Definition at line 153 of file compsec.h.

COMP_SEC

#define COMP_SEC

(

x

)

((comp_sec)((x).p))

COMP_SEC.

Definition at line 217 of file compsec.h.

COMP_SEC_

#define COMP_SEC_

(

x

)

((x).e)

Definition at line 220 of file compsec.h.

comp_sec_CAST

#define comp_sec_CAST

(

x

)

COMP_SEC(x)

Definition at line 218 of file compsec.h.

COMP_SEC_CAST

#define COMP_SEC_CAST

(

x

)

COMP_SEC(x)

Definition at line 219 of file compsec.h.

comp_sec_complements

#define comp_sec_complements

(

x

)

((x)->_comp_sec_complements_)

Definition at line 249 of file compsec.h.

comp_sec_complements_

#define comp_sec_complements_

(

x

)

comp_sec_complements(x) /**old hack compatible */

Definition at line 248 of file compsec.h.

comp_sec_domain

#define comp_sec_domain   (_gen_compsec_start+4)

newgen_comp_desc_set_domain_defined

Definition at line 56 of file compsec.h.

comp_sec_domain_number

#define comp_sec_domain_number

(

x

)

((x)->_type_)

Definition at line 245 of file compsec.h.

comp_sec_hull

#define comp_sec_hull

(

x

)

((x)->_comp_sec_hull_)

Definition at line 247 of file compsec.h.

comp_sec_hull_

#define comp_sec_hull_

(

x

)

comp_sec_hull(x) /**old hack compatible */

Definition at line 246 of file compsec.h.

COMP_SEC_NEWGEN_DOMAIN

#define COMP_SEC_NEWGEN_DOMAIN   (comp_sec_domain)

Definition at line 59 of file compsec.h.

comp_sec_NEWGEN_DOMAIN

#define comp_sec_NEWGEN_DOMAIN   (comp_sec_domain)

Definition at line 60 of file compsec.h.

COMP_SEC_TYPE

#define COMP_SEC_TYPE   comp_sec

Definition at line 221 of file compsec.h.

comp_sec_TYPE

#define comp_sec_TYPE   comp_sec

Definition at line 222 of file compsec.h.

comp_sec_undefined

#define comp_sec_undefined   ((comp_sec)gen_chunk_undefined)

Definition at line 223 of file compsec.h.

comp_sec_undefined_p

#define comp_sec_undefined_p

(

x

)

((x)==comp_sec_undefined)

Definition at line 224 of file compsec.h.

compsec_spec

#define compsec_spec   "\--NEWGEN-START 154\n\import reference from \"ri.newgen\";\n\import action from \"ri.newgen\";\n\external Pvecteur;\n\bound_pair = index:int x lb:Pvecteur x ub:Pvecteur;\n\comp_desc = persistant reference:reference x action:action x section:comp_sec;\n\comp_desc_set = comp_descs:comp_desc*;\n\comp_sec = hull:simple_section x complements:simple_section*;\n\context_info = line:int x rank:int x nest:int;\n\dad_struct = rtemps:ref_temp* x shape:bound_pair*;\n\ref_temp = index:int x rtype:rtype;\n\rtype = nonlinear:unit + linvariant:unit + lininvariant:unit;\n\simple_section = context:context_info x dad:dad_struct;\n\"

Definition at line 453 of file compsec.h.

CONTEXT_INFO

#define CONTEXT_INFO

(

x

)

((context_info)((x).p))

CONTEXT_INFO.

Definition at line 253 of file compsec.h.

CONTEXT_INFO_

#define CONTEXT_INFO_

(

x

)

((x).e)

Definition at line 256 of file compsec.h.

context_info_CAST

#define context_info_CAST

(

x

)

CONTEXT_INFO(x)

Definition at line 254 of file compsec.h.

CONTEXT_INFO_CAST

#define CONTEXT_INFO_CAST

(

x

)

CONTEXT_INFO(x)

Definition at line 255 of file compsec.h.

context_info_domain

#define context_info_domain   (_gen_compsec_start+5)

newgen_comp_sec_domain_defined

Definition at line 64 of file compsec.h.

context_info_domain_number

#define context_info_domain_number

(

x

)

((x)->_type_)

Definition at line 282 of file compsec.h.

context_info_line

#define context_info_line

(

x

)

((x)->_context_info_line_)

Definition at line 284 of file compsec.h.

context_info_line_

#define context_info_line_

(

x

)

context_info_line(x) /**old hack compatible */

Definition at line 283 of file compsec.h.

context_info_nest

#define context_info_nest

(

x

)

((x)->_context_info_nest_)

Definition at line 288 of file compsec.h.

context_info_nest_

#define context_info_nest_

(

x

)

context_info_nest(x) /**old hack compatible */

Definition at line 287 of file compsec.h.

CONTEXT_INFO_NEWGEN_DOMAIN

#define CONTEXT_INFO_NEWGEN_DOMAIN   (context_info_domain)

Definition at line 67 of file compsec.h.

context_info_NEWGEN_DOMAIN

#define context_info_NEWGEN_DOMAIN   (context_info_domain)

Definition at line 68 of file compsec.h.

context_info_rank

#define context_info_rank

(

x

)

((x)->_context_info_rank_)

Definition at line 286 of file compsec.h.

context_info_rank_

#define context_info_rank_

(

x

)

context_info_rank(x) /**old hack compatible */

Definition at line 285 of file compsec.h.

CONTEXT_INFO_TYPE

#define CONTEXT_INFO_TYPE   context_info

Definition at line 257 of file compsec.h.

context_info_TYPE

#define context_info_TYPE   context_info

Definition at line 258 of file compsec.h.

context_info_undefined

#define context_info_undefined   ((context_info)gen_chunk_undefined)

Definition at line 259 of file compsec.h.

context_info_undefined_p

#define context_info_undefined_p

(

x

)

((x)==context_info_undefined)

Definition at line 260 of file compsec.h.

DAD_STRUCT

#define DAD_STRUCT

(

x

)

((dad_struct)((x).p))

DAD_STRUCT.

Definition at line 292 of file compsec.h.

DAD_STRUCT_

#define DAD_STRUCT_

(

x

)

((x).e)

Definition at line 295 of file compsec.h.

dad_struct_CAST

#define dad_struct_CAST

(

x

)

DAD_STRUCT(x)

Definition at line 293 of file compsec.h.

DAD_STRUCT_CAST

#define DAD_STRUCT_CAST

(

x

)

DAD_STRUCT(x)

Definition at line 294 of file compsec.h.

dad_struct_domain

#define dad_struct_domain   (_gen_compsec_start+6)

newgen_context_info_domain_defined

Definition at line 72 of file compsec.h.

dad_struct_domain_number

#define dad_struct_domain_number

(

x

)

((x)->_type_)

Definition at line 320 of file compsec.h.

DAD_STRUCT_NEWGEN_DOMAIN

#define DAD_STRUCT_NEWGEN_DOMAIN   (dad_struct_domain)

Definition at line 75 of file compsec.h.

dad_struct_NEWGEN_DOMAIN

#define dad_struct_NEWGEN_DOMAIN   (dad_struct_domain)

Definition at line 76 of file compsec.h.

dad_struct_rtemps

#define dad_struct_rtemps

(

x

)

((x)->_dad_struct_rtemps_)

Definition at line 322 of file compsec.h.

dad_struct_rtemps_

#define dad_struct_rtemps_

(

x

)

dad_struct_rtemps(x) /**old hack compatible */

Definition at line 321 of file compsec.h.

dad_struct_shape

#define dad_struct_shape

(

x

)

((x)->_dad_struct_shape_)

Definition at line 324 of file compsec.h.

dad_struct_shape_

#define dad_struct_shape_

(

x

)

dad_struct_shape(x) /**old hack compatible */

Definition at line 323 of file compsec.h.

DAD_STRUCT_TYPE

#define DAD_STRUCT_TYPE   dad_struct

Definition at line 296 of file compsec.h.

dad_struct_TYPE

#define dad_struct_TYPE   dad_struct

Definition at line 297 of file compsec.h.

dad_struct_undefined

#define dad_struct_undefined   ((dad_struct)gen_chunk_undefined)

Definition at line 298 of file compsec.h.

dad_struct_undefined_p

#define dad_struct_undefined_p

(

x

)

((x)==dad_struct_undefined)

Definition at line 299 of file compsec.h.

gen_BOUND_PAIR_cons

#define gen_BOUND_PAIR_cons   gen_bound_pair_cons

Definition at line 121 of file compsec.h.

gen_COMP_DESC_cons

#define gen_COMP_DESC_cons   gen_comp_desc_cons

Definition at line 160 of file compsec.h.

gen_COMP_DESC_SET_cons

#define gen_COMP_DESC_SET_cons   gen_comp_desc_set_cons

Definition at line 199 of file compsec.h.

gen_COMP_SEC_cons

#define gen_COMP_SEC_cons   gen_comp_sec_cons

Definition at line 231 of file compsec.h.

gen_CONTEXT_INFO_cons

#define gen_CONTEXT_INFO_cons   gen_context_info_cons

Definition at line 267 of file compsec.h.

gen_DAD_STRUCT_cons

#define gen_DAD_STRUCT_cons   gen_dad_struct_cons

Definition at line 306 of file compsec.h.

gen_REF_TEMP_cons

#define gen_REF_TEMP_cons   gen_ref_temp_cons

Definition at line 342 of file compsec.h.

gen_RTYPE_cons

#define gen_RTYPE_cons   gen_rtype_cons

Definition at line 378 of file compsec.h.

gen_SIMPLE_SECTION_cons

#define gen_SIMPLE_SECTION_cons   gen_simple_section_cons

Definition at line 433 of file compsec.h.

newgen_Pvecteur

#define newgen_Pvecteur

(

p

)

(p) /**old hack compatible */

Definition at line 26 of file compsec.h.

PVECTEUR_NEWGEN_DOMAIN

#define PVECTEUR_NEWGEN_DOMAIN   (PVECTEUR_NEWGEN_EXTERNAL)

Definition at line 28 of file compsec.h.

Pvecteur_NEWGEN_DOMAIN

#define Pvecteur_NEWGEN_DOMAIN   (PVECTEUR_NEWGEN_EXTERNAL)

Definition at line 29 of file compsec.h.

PVECTEUR_NEWGEN_EXTERNAL

#define PVECTEUR_NEWGEN_EXTERNAL   (_gen_compsec_start+0)

Definition at line 27 of file compsec.h.

REF_TEMP

#define REF_TEMP

(

x

)

((ref_temp)((x).p))

REF_TEMP.

Definition at line 328 of file compsec.h.

REF_TEMP_

#define REF_TEMP_

(

x

)

((x).e)

Definition at line 331 of file compsec.h.

ref_temp_CAST

#define ref_temp_CAST

(

x

)

REF_TEMP(x)

Definition at line 329 of file compsec.h.

REF_TEMP_CAST

#define REF_TEMP_CAST

(

x

)

REF_TEMP(x)

Definition at line 330 of file compsec.h.

ref_temp_domain

#define ref_temp_domain   (_gen_compsec_start+7)

newgen_dad_struct_domain_defined

Definition at line 80 of file compsec.h.

ref_temp_domain_number

#define ref_temp_domain_number

(

x

)

((x)->_type_)

Definition at line 356 of file compsec.h.

ref_temp_index

#define ref_temp_index

(

x

)

((x)->_ref_temp_index_)

Definition at line 358 of file compsec.h.

ref_temp_index_

#define ref_temp_index_

(

x

)

ref_temp_index(x) /**old hack compatible */

Definition at line 357 of file compsec.h.

REF_TEMP_NEWGEN_DOMAIN

#define REF_TEMP_NEWGEN_DOMAIN   (ref_temp_domain)

Definition at line 83 of file compsec.h.

ref_temp_NEWGEN_DOMAIN

#define ref_temp_NEWGEN_DOMAIN   (ref_temp_domain)

Definition at line 84 of file compsec.h.

ref_temp_rtype

#define ref_temp_rtype

(

x

)

((x)->_ref_temp_rtype_)

Definition at line 360 of file compsec.h.

ref_temp_rtype_

#define ref_temp_rtype_

(

x

)

ref_temp_rtype(x) /**old hack compatible */

Definition at line 359 of file compsec.h.

REF_TEMP_TYPE

#define REF_TEMP_TYPE   ref_temp

Definition at line 332 of file compsec.h.

ref_temp_TYPE

#define ref_temp_TYPE   ref_temp

Definition at line 333 of file compsec.h.

ref_temp_undefined

#define ref_temp_undefined   ((ref_temp)gen_chunk_undefined)

Definition at line 334 of file compsec.h.

ref_temp_undefined_p

#define ref_temp_undefined_p

(

x

)

((x)==ref_temp_undefined)

Definition at line 335 of file compsec.h.

REFERENCE_NEWGEN_DOMAIN

#define REFERENCE_NEWGEN_DOMAIN   (reference_domain)

Definition at line 12 of file compsec.h.

reference_NEWGEN_DOMAIN

#define reference_NEWGEN_DOMAIN   (reference_domain)

Definition at line 13 of file compsec.h.

RTYPE

#define RTYPE

(

x

)

((rtype)((x).p))

RTYPE.

Definition at line 364 of file compsec.h.

RTYPE_

#define RTYPE_

(

x

)

((x).e)

Definition at line 367 of file compsec.h.

rtype_CAST

#define rtype_CAST

(

x

)

RTYPE(x)

Definition at line 365 of file compsec.h.

RTYPE_CAST

#define RTYPE_CAST

(

x

)

RTYPE(x)

Definition at line 366 of file compsec.h.

rtype_domain

#define rtype_domain   (_gen_compsec_start+8)

newgen_ref_temp_domain_defined

Definition at line 88 of file compsec.h.

rtype_domain_number

#define rtype_domain_number

(

x

)

((x)->_type_)

Definition at line 405 of file compsec.h.

rtype_lininvariant

#define rtype_lininvariant

(

x

)

((x)->_rtype_union_._rtype_lininvariant_.u)

Definition at line 415 of file compsec.h.

rtype_lininvariant_

#define rtype_lininvariant_

(

x

)

rtype_lininvariant(x) /**old hack compatible */

Definition at line 414 of file compsec.h.

rtype_lininvariant_p

#define rtype_lininvariant_p

(

x

)

(rtype_tag(x)==is_rtype_lininvariant)

Definition at line 413 of file compsec.h.

rtype_linvariant

#define rtype_linvariant

(

x

)

((x)->_rtype_union_._rtype_linvariant_.u)

Definition at line 412 of file compsec.h.

rtype_linvariant_

#define rtype_linvariant_

(

x

)

rtype_linvariant(x) /**old hack compatible */

Definition at line 411 of file compsec.h.

rtype_linvariant_p

#define rtype_linvariant_p

(

x

)

(rtype_tag(x)==is_rtype_linvariant)

Definition at line 410 of file compsec.h.

RTYPE_NEWGEN_DOMAIN

#define RTYPE_NEWGEN_DOMAIN   (rtype_domain)

Definition at line 91 of file compsec.h.

rtype_NEWGEN_DOMAIN

#define rtype_NEWGEN_DOMAIN   (rtype_domain)

Definition at line 92 of file compsec.h.

rtype_nonlinear

#define rtype_nonlinear

(

x

)

((x)->_rtype_union_._rtype_nonlinear_.u)

Definition at line 409 of file compsec.h.

rtype_nonlinear_

#define rtype_nonlinear_

(

x

)

rtype_nonlinear(x) /**old hack compatible */

Definition at line 408 of file compsec.h.

rtype_nonlinear_p

#define rtype_nonlinear_p

(

x

)

(rtype_tag(x)==is_rtype_nonlinear)

Definition at line 407 of file compsec.h.

rtype_tag

#define rtype_tag

(

x

)

((x)->_rtype_tag__)

Definition at line 406 of file compsec.h.

RTYPE_TYPE

#define RTYPE_TYPE   rtype

Definition at line 368 of file compsec.h.

rtype_TYPE

#define rtype_TYPE   rtype

Definition at line 369 of file compsec.h.

rtype_undefined

#define rtype_undefined   ((rtype)gen_chunk_undefined)

Definition at line 370 of file compsec.h.

rtype_undefined_p

#define rtype_undefined_p

(

x

)

((x)==rtype_undefined)

Definition at line 371 of file compsec.h.

SIMPLE_SECTION

#define SIMPLE_SECTION

(

x

)

((simple_section)((x).p))

SIMPLE_SECTION.

Definition at line 419 of file compsec.h.

SIMPLE_SECTION_

#define SIMPLE_SECTION_

(

x

)

((x).e)

Definition at line 422 of file compsec.h.

simple_section_CAST

#define simple_section_CAST

(

x

)

SIMPLE_SECTION(x)

Definition at line 420 of file compsec.h.

SIMPLE_SECTION_CAST

#define SIMPLE_SECTION_CAST

(

x

)

SIMPLE_SECTION(x)

Definition at line 421 of file compsec.h.

simple_section_context

#define simple_section_context

(

x

)

((x)->_simple_section_context_)

Definition at line 449 of file compsec.h.

simple_section_context_

#define simple_section_context_

(

x

)

simple_section_context(x) /**old hack compatible */

Definition at line 448 of file compsec.h.

simple_section_dad

#define simple_section_dad

(

x

)

((x)->_simple_section_dad_)

Definition at line 451 of file compsec.h.

simple_section_dad_

#define simple_section_dad_

(

x

)

simple_section_dad(x) /**old hack compatible */

Definition at line 450 of file compsec.h.

simple_section_domain

#define simple_section_domain   (_gen_compsec_start+9)

newgen_rtype_domain_defined

Definition at line 96 of file compsec.h.

simple_section_domain_number

#define simple_section_domain_number

(

x

)

((x)->_type_)

Definition at line 447 of file compsec.h.

SIMPLE_SECTION_NEWGEN_DOMAIN

#define SIMPLE_SECTION_NEWGEN_DOMAIN   (simple_section_domain)

Definition at line 99 of file compsec.h.

simple_section_NEWGEN_DOMAIN

#define simple_section_NEWGEN_DOMAIN   (simple_section_domain)

Definition at line 100 of file compsec.h.

SIMPLE_SECTION_TYPE

#define SIMPLE_SECTION_TYPE   simple_section

Definition at line 423 of file compsec.h.

simple_section_TYPE

#define simple_section_TYPE   simple_section

Definition at line 424 of file compsec.h.

simple_section_undefined

#define simple_section_undefined   ((simple_section)gen_chunk_undefined)

Definition at line 425 of file compsec.h.

simple_section_undefined_p

#define simple_section_undefined_p

(

x

)

((x)==simple_section_undefined)

Definition at line 426 of file compsec.h.

Typedef Documentation

action

typedef struct _newgen_struct_action_* action

Definition at line 21 of file compsec.h.

bound_pair

typedef struct _newgen_struct_bound_pair_* bound_pair

Definition at line 37 of file compsec.h.

comp_desc

typedef struct _newgen_struct_comp_desc_* comp_desc

Definition at line 45 of file compsec.h.

comp_desc_set

typedef struct _newgen_struct_comp_desc_set_* comp_desc_set

Definition at line 53 of file compsec.h.

comp_sec

typedef struct _newgen_struct_comp_sec_* comp_sec

Definition at line 61 of file compsec.h.

context_info

typedef struct _newgen_struct_context_info_* context_info

Definition at line 69 of file compsec.h.

dad_struct

typedef struct _newgen_struct_dad_struct_* dad_struct

Definition at line 77 of file compsec.h.

ref_temp

typedef struct _newgen_struct_ref_temp_* ref_temp

Definition at line 85 of file compsec.h.

reference

typedef struct _newgen_struct_reference_* reference

Definition at line 14 of file compsec.h.

rtype

typedef struct _newgen_struct_rtype_* rtype

Definition at line 93 of file compsec.h.

simple_section

typedef struct _newgen_struct_simple_section_* simple_section

Definition at line 101 of file compsec.h.

Enumeration Type Documentation

rtype_utype

enum rtype_utype

Enumerator
is_rtype_nonlinear
is_rtype_linvariant
is_rtype_lininvariant

Definition at line 384 of file compsec.h.

                 {
  is_rtype_nonlinear,
  is_rtype_linvariant,
  is_rtype_lininvariant
};

Function Documentation

bound_pair_assign_contents()

void bound_pair_assign_contents	(	bound_pair	r,
		bound_pair	v
	)

Definition at line 37 of file compsec.c.

                                                            {
  check_bound_pair(r);
  check_bound_pair(v);
  message_assert("defined references to domain bound_pair",
                 bound_pair_defined_p(r) && bound_pair_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_bound_pair_));
}

References bound_pair_defined_p(), check_bound_pair(), and message_assert.

Here is the call graph for this function:

bound_pair_consistent_p()

bool bound_pair_consistent_p

(

bound_pair

p

)

Definition at line 27 of file compsec.c.

                                           {
  check_bound_pair(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_bound_pair(), and gen_consistent_p().

Here is the call graph for this function:

bound_pair_defined_p()

bool bound_pair_defined_p

(

bound_pair

p

)

Definition at line 31 of file compsec.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by bound_pair_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

bound_pair_non_recursive_free()

void bound_pair_non_recursive_free

(

bound_pair

p

)

Definition at line 44 of file compsec.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

check_bound_pair()

bound_pair check_bound_pair

(

bound_pair

p

)

Definition at line 24 of file compsec.c.

                                          {
  return (bound_pair) gen_check((gen_chunk*) p, bound_pair_domain);
}

References bound_pair_domain, and gen_check().

Referenced by bound_pair_assign_contents(), and bound_pair_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_desc()

comp_desc check_comp_desc

(

comp_desc

p

)

Definition at line 66 of file compsec.c.

                                       {
  return (comp_desc) gen_check((gen_chunk*) p, comp_desc_domain);
}

References comp_desc_domain, and gen_check().

Referenced by comp_desc_assign_contents(), and comp_desc_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_desc_set()

comp_desc_set check_comp_desc_set

(

comp_desc_set

p

)

Definition at line 108 of file compsec.c.

                                                   {
  return (comp_desc_set) gen_check((gen_chunk*) p, comp_desc_set_domain);
}

References comp_desc_set_domain, and gen_check().

Referenced by comp_desc_set_assign_contents(), and comp_desc_set_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_comp_sec()

comp_sec check_comp_sec

(

comp_sec

p

)

Definition at line 150 of file compsec.c.

                                    {
  return (comp_sec) gen_check((gen_chunk*) p, comp_sec_domain);
}

References comp_sec_domain, and gen_check().

Referenced by comp_sec_assign_contents(), and comp_sec_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_context_info()

context_info check_context_info

(

context_info

p

)

Definition at line 192 of file compsec.c.

                                                {
  return (context_info) gen_check((gen_chunk*) p, context_info_domain);
}

References context_info_domain, and gen_check().

Referenced by context_info_assign_contents(), and context_info_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_dad_struct()

dad_struct check_dad_struct

(

dad_struct

p

)

Definition at line 234 of file compsec.c.

                                          {
  return (dad_struct) gen_check((gen_chunk*) p, dad_struct_domain);
}

References dad_struct_domain, and gen_check().

Referenced by dad_struct_assign_contents(), and dad_struct_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_ref_temp()

ref_temp check_ref_temp

(

ref_temp

p

)

Definition at line 276 of file compsec.c.

                                    {
  return (ref_temp) gen_check((gen_chunk*) p, ref_temp_domain);
}

References gen_check(), and ref_temp_domain.

Referenced by ref_temp_assign_contents(), and ref_temp_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_rtype()

rtype check_rtype

(

rtype

p

)

Definition at line 318 of file compsec.c.

                           {
  return (rtype) gen_check((gen_chunk*) p, rtype_domain);
}

References gen_check(), and rtype_domain.

Referenced by rtype_assign_contents(), and rtype_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_simple_section()

simple_section check_simple_section

(

simple_section

p

)

Definition at line 377 of file compsec.c.

                                                      {
  return (simple_section) gen_check((gen_chunk*) p, simple_section_domain);
}

References gen_check(), and simple_section_domain.

Referenced by simple_section_assign_contents(), and simple_section_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_assign_contents()

void comp_desc_assign_contents	(	comp_desc	r,
		comp_desc	v
	)

Definition at line 79 of file compsec.c.

                                                         {
  check_comp_desc(r);
  check_comp_desc(v);
  message_assert("defined references to domain comp_desc",
                 comp_desc_defined_p(r) && comp_desc_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_desc_));
}

References check_comp_desc(), comp_desc_defined_p(), and message_assert.

Here is the call graph for this function:

comp_desc_consistent_p()

bool comp_desc_consistent_p

(

comp_desc

p

)

Definition at line 69 of file compsec.c.

                                         {
  check_comp_desc(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_desc(), and gen_consistent_p().

Here is the call graph for this function:

comp_desc_defined_p()

bool comp_desc_defined_p

(

comp_desc

p

)

Definition at line 73 of file compsec.c.

                                      {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_desc_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_non_recursive_free()

void comp_desc_non_recursive_free

(

comp_desc

p

)

Definition at line 86 of file compsec.c.

                                               {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

comp_desc_set_assign_contents()

void comp_desc_set_assign_contents	(	comp_desc_set	r,
		comp_desc_set	v
	)

Definition at line 121 of file compsec.c.

                                                                     {
  check_comp_desc_set(r);
  check_comp_desc_set(v);
  message_assert("defined references to domain comp_desc_set",
                 comp_desc_set_defined_p(r) && comp_desc_set_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_desc_set_));
}

References check_comp_desc_set(), comp_desc_set_defined_p(), and message_assert.

Here is the call graph for this function:

comp_desc_set_consistent_p()

bool comp_desc_set_consistent_p

(

comp_desc_set

p

)

Definition at line 111 of file compsec.c.

                                                 {
  check_comp_desc_set(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_desc_set(), and gen_consistent_p().

Here is the call graph for this function:

comp_desc_set_defined_p()

bool comp_desc_set_defined_p

(

comp_desc_set

p

)

Definition at line 115 of file compsec.c.

                                              {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_desc_set_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_desc_set_non_recursive_free()

void comp_desc_set_non_recursive_free

(

comp_desc_set

p

)

Definition at line 128 of file compsec.c.

                                                       {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

comp_sec_assign_contents()

void comp_sec_assign_contents	(	comp_sec	r,
		comp_sec	v
	)

Definition at line 163 of file compsec.c.

                                                      {
  check_comp_sec(r);
  check_comp_sec(v);
  message_assert("defined references to domain comp_sec",
                 comp_sec_defined_p(r) && comp_sec_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_comp_sec_));
}

References check_comp_sec(), comp_sec_defined_p(), and message_assert.

Here is the call graph for this function:

comp_sec_consistent_p()

bool comp_sec_consistent_p

(

comp_sec

p

)

Definition at line 153 of file compsec.c.

                                       {
  check_comp_sec(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_comp_sec(), and gen_consistent_p().

Here is the call graph for this function:

comp_sec_defined_p()

bool comp_sec_defined_p

(

comp_sec

p

)

Definition at line 157 of file compsec.c.

                                    {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by comp_sec_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

comp_sec_non_recursive_free()

void comp_sec_non_recursive_free

(

comp_sec

p

)

Definition at line 170 of file compsec.c.

                                             {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

context_info_assign_contents()

void context_info_assign_contents	(	context_info	r,
		context_info	v
	)

Definition at line 205 of file compsec.c.

                                                                  {
  check_context_info(r);
  check_context_info(v);
  message_assert("defined references to domain context_info",
                 context_info_defined_p(r) && context_info_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_context_info_));
}

References check_context_info(), context_info_defined_p(), and message_assert.

Here is the call graph for this function:

context_info_consistent_p()

bool context_info_consistent_p

(

context_info

p

)

Definition at line 195 of file compsec.c.

                                               {
  check_context_info(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_context_info(), and gen_consistent_p().

Here is the call graph for this function:

context_info_defined_p()

bool context_info_defined_p

(

context_info

p

)

Definition at line 199 of file compsec.c.

                                            {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by context_info_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

context_info_non_recursive_free()

void context_info_non_recursive_free

(

context_info

p

)

Definition at line 212 of file compsec.c.

                                                     {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

copy_bound_pair()

bound_pair copy_bound_pair

(

bound_pair

p

)

BOUND_PAIR.

Definition at line 18 of file compsec.c.

                                         {
  return (bound_pair) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_comp_desc()

comp_desc copy_comp_desc

(

comp_desc

p

)

COMP_DESC.

Definition at line 60 of file compsec.c.

                                      {
  return (comp_desc) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Referenced by comp_region_dup().

Here is the call graph for this function:

Here is the caller graph for this function:

copy_comp_desc_set()

comp_desc_set copy_comp_desc_set

(

comp_desc_set

p

)

COMP_DESC_SET.

Definition at line 102 of file compsec.c.

                                                  {
  return (comp_desc_set) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_comp_sec()

comp_sec copy_comp_sec

(

comp_sec

p

)

COMP_SEC.

Definition at line 144 of file compsec.c.

                                   {
  return (comp_sec) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_context_info()

context_info copy_context_info

(

context_info

p

)

CONTEXT_INFO.

Definition at line 186 of file compsec.c.

                                               {
  return (context_info) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_dad_struct()

dad_struct copy_dad_struct

(

dad_struct

p

)

DAD_STRUCT.

Definition at line 228 of file compsec.c.

                                         {
  return (dad_struct) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_ref_temp()

ref_temp copy_ref_temp

(

ref_temp

p

)

REF_TEMP.

Definition at line 270 of file compsec.c.

                                   {
  return (ref_temp) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_rtype()

rtype copy_rtype

(

rtype

p

)

RTYPE.

Definition at line 312 of file compsec.c.

                          {
  return (rtype) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_simple_section()

simple_section copy_simple_section

(

simple_section

p

)

SIMPLE_SECTION.

Definition at line 371 of file compsec.c.

                                                     {
  return (simple_section) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

dad_struct_assign_contents()

void dad_struct_assign_contents	(	dad_struct	r,
		dad_struct	v
	)

Definition at line 247 of file compsec.c.

                                                            {
  check_dad_struct(r);
  check_dad_struct(v);
  message_assert("defined references to domain dad_struct",
                 dad_struct_defined_p(r) && dad_struct_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_dad_struct_));
}

References check_dad_struct(), dad_struct_defined_p(), and message_assert.

Here is the call graph for this function:

dad_struct_consistent_p()

bool dad_struct_consistent_p

(

dad_struct

p

)

Definition at line 237 of file compsec.c.

                                           {
  check_dad_struct(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_dad_struct(), and gen_consistent_p().

Here is the call graph for this function:

dad_struct_defined_p()

bool dad_struct_defined_p

(

dad_struct

p

)

Definition at line 241 of file compsec.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by dad_struct_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

dad_struct_non_recursive_free()

void dad_struct_non_recursive_free

(

dad_struct

p

)

Definition at line 254 of file compsec.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

free_bound_pair()

void free_bound_pair

(

bound_pair

p

)

Definition at line 21 of file compsec.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_desc()

void free_comp_desc

(

comp_desc

p

)

Definition at line 63 of file compsec.c.

                                 {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_desc_set()

void free_comp_desc_set

(

comp_desc_set

p

)

Definition at line 105 of file compsec.c.

                                         {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_comp_sec()

void free_comp_sec

(

comp_sec

p

)

Definition at line 147 of file compsec.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_context_info()

void free_context_info

(

context_info

p

)

Definition at line 189 of file compsec.c.

                                       {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_dad_struct()

void free_dad_struct

(

dad_struct

p

)

Definition at line 231 of file compsec.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_ref_temp()

void free_ref_temp

(

ref_temp

p

)

Definition at line 273 of file compsec.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_rtype()

void free_rtype

(

rtype

p

)

Definition at line 315 of file compsec.c.

                         {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_simple_section()

void free_simple_section

(

simple_section

p

)

Definition at line 374 of file compsec.c.

                                           {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_bound_pair_cons()

list gen_bound_pair_cons	(	bound_pair	p,
		list	l
	)

Definition at line 34 of file compsec.c.

                                               {
  return gen_typed_cons(BOUND_PAIR_NEWGEN_DOMAIN, p, l);
}

References BOUND_PAIR_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_desc_cons()

list gen_comp_desc_cons	(	comp_desc	p,
		list	l
	)

Definition at line 76 of file compsec.c.

                                             {
  return gen_typed_cons(COMP_DESC_NEWGEN_DOMAIN, p, l);
}

References COMP_DESC_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_desc_set_cons()

list gen_comp_desc_set_cons	(	comp_desc_set	p,
		list	l
	)

Definition at line 118 of file compsec.c.

                                                     {
  return gen_typed_cons(COMP_DESC_SET_NEWGEN_DOMAIN, p, l);
}

References COMP_DESC_SET_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_comp_sec_cons()

list gen_comp_sec_cons	(	comp_sec	p,
		list	l
	)

Definition at line 160 of file compsec.c.

                                           {
  return gen_typed_cons(COMP_SEC_NEWGEN_DOMAIN, p, l);
}

References COMP_SEC_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_context_info_cons()

list gen_context_info_cons	(	context_info	p,
		list	l
	)

Definition at line 202 of file compsec.c.

                                                   {
  return gen_typed_cons(CONTEXT_INFO_NEWGEN_DOMAIN, p, l);
}

References CONTEXT_INFO_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_dad_struct_cons()

list gen_dad_struct_cons	(	dad_struct	p,
		list	l
	)

Definition at line 244 of file compsec.c.

                                               {
  return gen_typed_cons(DAD_STRUCT_NEWGEN_DOMAIN, p, l);
}

References DAD_STRUCT_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_ref_temp_cons()

list gen_ref_temp_cons	(	ref_temp	p,
		list	l
	)

Definition at line 286 of file compsec.c.

                                           {
  return gen_typed_cons(REF_TEMP_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and REF_TEMP_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_rtype_cons()

list gen_rtype_cons	(	rtype	p,
		list	l
	)

Definition at line 328 of file compsec.c.

                                     {
  return gen_typed_cons(RTYPE_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and RTYPE_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_simple_section_cons()

list gen_simple_section_cons	(	simple_section	p,
		list	l
	)

Definition at line 387 of file compsec.c.

                                                       {
  return gen_typed_cons(SIMPLE_SECTION_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and SIMPLE_SECTION_NEWGEN_DOMAIN.

Here is the call graph for this function:

make_bound_pair()

bound_pair make_bound_pair	(	intptr_t	a1,
		Pvecteur	a2,
		Pvecteur	a3
	)

Definition at line 54 of file compsec.c.

                                                                  {
  return (bound_pair) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, bound_pair_domain, a1, a2, a3);
}

References bound_pair_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateDadStruct().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_desc()

comp_desc make_comp_desc	(	reference	a1,
		action	a2,
		comp_sec	a3
	)

Definition at line 96 of file compsec.c.

                                                               {
  return (comp_desc) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_domain, a1, a2, a3);
}

References comp_desc_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by InitCompDesc().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_desc_set()

comp_desc_set make_comp_desc_set

(

list

a

)

Definition at line 138 of file compsec.c.

                                         {
  return (comp_desc_set) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_set_domain, a);
}

References comp_desc_set_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by list_to_comp_secs(), and summary_complementary_sections().

Here is the call graph for this function:

Here is the caller graph for this function:

make_comp_sec()

comp_sec make_comp_sec	(	simple_section	a1,
		list	a2
	)

Definition at line 180 of file compsec.c.

                                                   {
  return (comp_sec) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_sec_domain, a1, a2);
}

References comp_sec_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by InitCompDesc().

Here is the call graph for this function:

Here is the caller graph for this function:

make_context_info()

context_info make_context_info	(	intptr_t	a1,
		intptr_t	a2,
		intptr_t	a3
	)

Definition at line 222 of file compsec.c.

                                                                      {
  return (context_info) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, context_info_domain, a1, a2, a3);
}

References context_info_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateSimpleSection().

Here is the call graph for this function:

Here is the caller graph for this function:

make_dad_struct()

dad_struct make_dad_struct	(	list	a1,
		list	a2
	)

Definition at line 264 of file compsec.c.

                                             {
  return (dad_struct) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dad_struct_domain, a1, a2);
}

References dad_struct_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AllocateDadStruct(), and SimpUnion().

Here is the call graph for this function:

Here is the caller graph for this function:

make_ref_temp()

ref_temp make_ref_temp	(	intptr_t	a1,
		rtype	a2
	)

Definition at line 306 of file compsec.c.

                                              {
  return (ref_temp) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, ref_temp_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and ref_temp_domain.

Referenced by AllocateDadStruct().

Here is the call graph for this function:

Here is the caller graph for this function:

make_rtype()

rtype make_rtype	(	enum	rtype_utype,
		void *	val
	)

Definition at line 356 of file compsec.c.

                                                   {
  return (rtype) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, rtype_domain, tag, val);
}

References gen_alloc(), GEN_CHECK_ALLOC, and rtype_domain.

Referenced by AllocateDadStruct(), make_rtype_lininvariant(), make_rtype_linvariant(), and make_rtype_nonlinear().

Here is the call graph for this function:

Here is the caller graph for this function:

make_rtype_lininvariant()

rtype make_rtype_lininvariant

(

void

)

Definition at line 365 of file compsec.c.

                                    {
  return make_rtype(is_rtype_lininvariant, UU);
}

References is_rtype_lininvariant, make_rtype(), and UU.

Here is the call graph for this function:

make_rtype_linvariant()

rtype make_rtype_linvariant

(

void

)

Definition at line 362 of file compsec.c.

                                  {
  return make_rtype(is_rtype_linvariant, UU);
}

References is_rtype_linvariant, make_rtype(), and UU.

Here is the call graph for this function:

make_rtype_nonlinear()

rtype make_rtype_nonlinear

(

void

)

Definition at line 359 of file compsec.c.

                                 {
  return make_rtype(is_rtype_nonlinear, UU);
}

References is_rtype_nonlinear, make_rtype(), and UU.

Here is the call graph for this function:

make_simple_section()

simple_section make_simple_section	(	context_info	a1,
		dad_struct	a2
	)

Definition at line 407 of file compsec.c.

                                                                   {
  return (simple_section) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, simple_section_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and simple_section_domain.

Referenced by AllocateSimpleSection(), and SimpUnion().

Here is the call graph for this function:

Here is the caller graph for this function:

read_bound_pair()

bound_pair read_bound_pair

(

FILE *

f

)

Definition at line 51 of file compsec.c.

                                    {
  return (bound_pair) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_desc()

comp_desc read_comp_desc

(

FILE *

f

)

Definition at line 93 of file compsec.c.

                                  {
  return (comp_desc) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_desc_set()

comp_desc_set read_comp_desc_set

(

FILE *

f

)

Definition at line 135 of file compsec.c.

                                          {
  return (comp_desc_set) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_comp_sec()

comp_sec read_comp_sec

(

FILE *

f

)

Definition at line 177 of file compsec.c.

                                {
  return (comp_sec) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_context_info()

context_info read_context_info

(

FILE *

f

)

Definition at line 219 of file compsec.c.

                                        {
  return (context_info) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_dad_struct()

dad_struct read_dad_struct

(

FILE *

f

)

Definition at line 261 of file compsec.c.

                                    {
  return (dad_struct) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_ref_temp()

ref_temp read_ref_temp

(

FILE *

f

)

Definition at line 303 of file compsec.c.

                                {
  return (ref_temp) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_rtype()

rtype read_rtype

(

FILE *

f

)

Definition at line 345 of file compsec.c.

                          {
  return (rtype) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_simple_section()

simple_section read_simple_section

(

FILE *

f

)

Definition at line 404 of file compsec.c.

                                            {
  return (simple_section) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

ref_temp_assign_contents()

void ref_temp_assign_contents	(	ref_temp	r,
		ref_temp	v
	)

Definition at line 289 of file compsec.c.

                                                      {
  check_ref_temp(r);
  check_ref_temp(v);
  message_assert("defined references to domain ref_temp",
                 ref_temp_defined_p(r) && ref_temp_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ref_temp_));
}

References check_ref_temp(), message_assert, and ref_temp_defined_p().

Here is the call graph for this function:

ref_temp_consistent_p()

bool ref_temp_consistent_p

(

ref_temp

p

)

Definition at line 279 of file compsec.c.

                                       {
  check_ref_temp(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_ref_temp(), and gen_consistent_p().

Here is the call graph for this function:

ref_temp_defined_p()

bool ref_temp_defined_p

(

ref_temp

p

)

Definition at line 283 of file compsec.c.

                                    {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by ref_temp_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

ref_temp_non_recursive_free()

void ref_temp_non_recursive_free

(

ref_temp

p

)

Definition at line 296 of file compsec.c.

                                             {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

rtype_assign_contents()

void rtype_assign_contents	(	rtype	r,
		rtype	v
	)

Definition at line 331 of file compsec.c.

                                             {
  check_rtype(r);
  check_rtype(v);
  message_assert("defined references to domain rtype",
                 rtype_defined_p(r) && rtype_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_rtype_));
}

References check_rtype(), message_assert, and rtype_defined_p().

Here is the call graph for this function:

rtype_consistent_p()

bool rtype_consistent_p

(

rtype

p

)

Definition at line 321 of file compsec.c.

                                 {
  check_rtype(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_rtype(), and gen_consistent_p().

Here is the call graph for this function:

rtype_defined_p()

bool rtype_defined_p

(

rtype

p

)

Definition at line 325 of file compsec.c.

                              {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by rtype_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

rtype_non_recursive_free()

void rtype_non_recursive_free

(

rtype

p

)

Definition at line 338 of file compsec.c.

                                       {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

rtype_tag_as_string()

string rtype_tag_as_string

(

enum

rtype_utype

)

Definition at line 348 of file compsec.c.

                                                 {
  switch (tag) {
  case is_rtype_nonlinear: return "nonlinear";
  case is_rtype_linvariant: return "linvariant";
  case is_rtype_lininvariant: return "lininvariant";
  default: return string_undefined;
  }
}

References is_rtype_lininvariant, is_rtype_linvariant, is_rtype_nonlinear, and string_undefined.

simple_section_assign_contents()

void simple_section_assign_contents	(	simple_section	r,
		simple_section	v
	)

Definition at line 390 of file compsec.c.

                                                                        {
  check_simple_section(r);
  check_simple_section(v);
  message_assert("defined references to domain simple_section",
                 simple_section_defined_p(r) && simple_section_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_simple_section_));
}

References check_simple_section(), message_assert, and simple_section_defined_p().

Here is the call graph for this function:

simple_section_consistent_p()

bool simple_section_consistent_p

(

simple_section

p

)

Definition at line 380 of file compsec.c.

                                                   {
  check_simple_section(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_simple_section(), and gen_consistent_p().

Here is the call graph for this function:

simple_section_defined_p()

bool simple_section_defined_p

(

simple_section

p

)

Definition at line 384 of file compsec.c.

                                                {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Referenced by simple_section_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

simple_section_non_recursive_free()

void simple_section_non_recursive_free

(

simple_section

p

)

Definition at line 397 of file compsec.c.

                                                         {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

write_bound_pair()

void write_bound_pair	(	FILE *	f,
		bound_pair	p
	)

Definition at line 48 of file compsec.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_desc()

void write_comp_desc	(	FILE *	f,
		comp_desc	p
	)

Definition at line 90 of file compsec.c.

                                           {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_desc_set()

void write_comp_desc_set	(	FILE *	f,
		comp_desc_set	p
	)

Definition at line 132 of file compsec.c.

                                                   {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_comp_sec()

void write_comp_sec	(	FILE *	f,
		comp_sec	p
	)

Definition at line 174 of file compsec.c.

                                         {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_context_info()

void write_context_info	(	FILE *	f,
		context_info	p
	)

Definition at line 216 of file compsec.c.

                                                 {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_dad_struct()

void write_dad_struct	(	FILE *	f,
		dad_struct	p
	)

Definition at line 258 of file compsec.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_ref_temp()

void write_ref_temp	(	FILE *	f,
		ref_temp	p
	)

Definition at line 300 of file compsec.c.

                                         {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_rtype()

void write_rtype	(	FILE *	f,
		rtype	p
	)

Definition at line 342 of file compsec.c.

                                   {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_simple_section()

void write_simple_section	(	FILE *	f,
		simple_section	p
	)

Definition at line 401 of file compsec.c.

                                                     {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function: