WebSVN – tendra.SVN – Diff – /branches/tendra5/src/utilities/calculus/obj_tok/type_ops.h



#ifndef TYPE_OPS_H_INCLUDED
#define TYPE_OPS_H_INCLUDED
 
/* Operations for union TYPE */
 
#pragma token PROC(EXP : TYPE :) EXP : unsigned : TAG_type #
#pragma interface TAG_type
 
 
/* Operations for component size of union TYPE */
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(zero_int) : type_size #
#pragma interface type_size
 
/* Operations for field primitive of union TYPE */
 
#pragma token EXP const : unsigned : type_primitive_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_primitive #
#pragma interface type_primitive_tag IS_type_primitive
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(PRIMITIVE_P) : type_primitive_prim #
#pragma interface type_primitive_prim
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : PRIMITIVE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_primitive #
#pragma interface MAKE_type_primitive
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : PRIMITIVE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_primitive #
#pragma interface DECONS_type_primitive
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : PRIMITIVE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_primitive #
#pragma interface DESTROY_type_primitive
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_primitive #
#pragma interface NEW_ALIAS_type_primitive
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_primitive #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_primitive #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_primitive #
 
#pragma interface GET_ALIAS_type_primitive SET_ALIAS_type_primitive FIND_ALIAS_type_primitive
 
#endif
 
 
/* Operations for field ident of union TYPE */
 
#pragma token EXP const : unsigned : type_ident_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ident #
#pragma interface type_ident_tag IS_type_ident
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(IDENTITY_P) : type_ident_id #
#pragma interface type_ident_id
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : IDENTITY_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_ident #
#pragma interface MAKE_type_ident
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : IDENTITY_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_ident #
#pragma interface DECONS_type_ident
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : IDENTITY_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_ident #
#pragma interface DESTROY_type_ident
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_ident #
#pragma interface NEW_ALIAS_type_ident
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_ident #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_ident #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_ident #
 
#pragma interface GET_ALIAS_type_ident SET_ALIAS_type_ident FIND_ALIAS_type_ident
 
#endif
 
 
/* Operations for field enumeration of union TYPE */
 
#pragma token EXP const : unsigned : type_enumeration_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_enumeration #
#pragma interface type_enumeration_tag IS_type_enumeration
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(ENUM_P) : type_enumeration_en #
#pragma interface type_enumeration_en
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : ENUM_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_enumeration #
#pragma interface MAKE_type_enumeration
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : ENUM_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_enumeration #
#pragma interface DECONS_type_enumeration
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : ENUM_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_enumeration #
#pragma interface DESTROY_type_enumeration
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_enumeration #
#pragma interface NEW_ALIAS_type_enumeration
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_enumeration #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_enumeration #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_enumeration #
 
#pragma interface GET_ALIAS_type_enumeration SET_ALIAS_type_enumeration FIND_ALIAS_type_enumeration
 
#endif
 
 
/* Operations for field structure of union TYPE */
 
#pragma token EXP const : unsigned : type_structure_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_structure #
#pragma interface type_structure_tag IS_type_structure
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(STRUCTURE_P) : type_structure_struc #
#pragma interface type_structure_struc
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : STRUCTURE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_structure #
#pragma interface MAKE_type_structure
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : STRUCTURE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_structure #
#pragma interface DECONS_type_structure
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : STRUCTURE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_structure #
#pragma interface DESTROY_type_structure
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_structure #
#pragma interface NEW_ALIAS_type_structure
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_structure #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_structure #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_structure #
 
#pragma interface GET_ALIAS_type_structure SET_ALIAS_type_structure FIND_ALIAS_type_structure
 
#endif
 
 
/* Operations for field onion of union TYPE */
 
#pragma token EXP const : unsigned : type_onion_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_onion #
#pragma interface type_onion_tag IS_type_onion
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(UNION_P) : type_onion_un #
#pragma interface type_onion_un
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : UNION_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_onion #
#pragma interface MAKE_type_onion
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : UNION_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_onion #
#pragma interface DECONS_type_onion
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : UNION_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_onion #
#pragma interface DESTROY_type_onion
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_onion #
#pragma interface NEW_ALIAS_type_onion
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_onion #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_onion #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_onion #
 
#pragma interface GET_ALIAS_type_onion SET_ALIAS_type_onion FIND_ALIAS_type_onion
 
#endif
 
 
/* Operations for field set ptr_etc of union TYPE */
 
#pragma token EXP const : unsigned : type_ptr_etc_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ptr_etc #
#pragma interface type_ptr_etc_tag IS_type_ptr_etc
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_ptr_etc_sub #
#pragma interface type_ptr_etc_sub
 
#pragma token PROC(\
	EXP : unsigned :,\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_ptr_etc #
#pragma interface MAKE_type_ptr_etc
 
#pragma token PROC(\
	EXP : unsigned :,\
	EXP : TYPE :\
    ) STATEMENT MODIFY_type_ptr_etc #
#pragma interface MODIFY_type_ptr_etc
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_ptr_etc #
#pragma interface DECONS_type_ptr_etc
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_ptr_etc #

 
 
/* Operations for field ptr of union TYPE */
 
#pragma token EXP const : unsigned : type_ptr_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ptr #
#pragma interface type_ptr_tag IS_type_ptr
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_ptr_sub #
#pragma interface type_ptr_sub
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_ptr #
#pragma interface MAKE_type_ptr
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_ptr #
#pragma interface DECONS_type_ptr
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_ptr #
#pragma interface DESTROY_type_ptr
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_ptr #
#pragma interface NEW_ALIAS_type_ptr
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_ptr #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_ptr #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_ptr #
 
#pragma interface GET_ALIAS_type_ptr SET_ALIAS_type_ptr FIND_ALIAS_type_ptr
 
#endif
 
 
/* Operations for field list of union TYPE */
 
#pragma token EXP const : unsigned : type_list_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_list #
#pragma interface type_list_tag IS_type_list
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_list_sub #
#pragma interface type_list_sub
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_list #
#pragma interface MAKE_type_list
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_list #
#pragma interface DECONS_type_list
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_list #
#pragma interface DESTROY_type_list
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_list #
#pragma interface NEW_ALIAS_type_list
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_list #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_list #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_list #
 
#pragma interface GET_ALIAS_type_list SET_ALIAS_type_list FIND_ALIAS_type_list
 
#endif
 
 
/* Operations for field stack of union TYPE */
 
#pragma token EXP const : unsigned : type_stack_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_stack #
#pragma interface type_stack_tag IS_type_stack
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_stack_sub #
#pragma interface type_stack_sub
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_stack #
#pragma interface MAKE_type_stack
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_stack #
#pragma interface DECONS_type_stack
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_stack #
#pragma interface DESTROY_type_stack
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_stack #
#pragma interface NEW_ALIAS_type_stack
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_stack #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_stack #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_stack #
 
#pragma interface GET_ALIAS_type_stack SET_ALIAS_type_stack FIND_ALIAS_type_stack
 
#endif
 
 
/* Operations for field vec of union TYPE */
 
#pragma token EXP const : unsigned : type_vec_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_vec #
#pragma interface type_vec_tag IS_type_vec
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_vec_sub #
#pragma interface type_vec_sub
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_vec #
#pragma interface MAKE_type_vec
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_vec #
#pragma interface DECONS_type_vec
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_vec #
#pragma interface DESTROY_type_vec
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_vec #
#pragma interface NEW_ALIAS_type_vec
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_vec #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_vec #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_vec #
 
#pragma interface GET_ALIAS_type_vec SET_ALIAS_type_vec FIND_ALIAS_type_vec
 
#endif
 
 
/* Operations for field vec_ptr of union TYPE */
 
#pragma token EXP const : unsigned : type_vec_ptr_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_vec_ptr #
#pragma interface type_vec_ptr_tag IS_type_vec_ptr
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(TYPE_P) : type_vec_ptr_sub #
#pragma interface type_vec_ptr_sub
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : TYPE_P :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_vec_ptr #
#pragma interface MAKE_type_vec_ptr
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_vec_ptr #
#pragma interface DECONS_type_vec_ptr
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : TYPE_P :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_vec_ptr #
#pragma interface DESTROY_type_vec_ptr
 
#ifdef calculus_IO_ROUTINES
 
#pragma token PROC(\
	EXP lvalue : TYPE :,\
	EXP : unsigned :\
    ) STATEMENT NEW_ALIAS_type_vec_ptr #
#pragma interface NEW_ALIAS_type_vec_ptr
 
#pragma token PROC(EXP : TYPE :)\
    EXP : unsigned : GET_ALIAS_type_vec_ptr #
#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\
    EXP : void : SET_ALIAS_type_vec_ptr #
#pragma token PROC(EXP : unsigned :)\
    EXP : TYPE : FIND_ALIAS_type_vec_ptr #
 
#pragma interface GET_ALIAS_type_vec_ptr SET_ALIAS_type_vec_ptr FIND_ALIAS_type_vec_ptr
 
#endif
 
 
/* Operations for field quote of union TYPE */
 
#pragma token EXP const : unsigned : type_quote_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_quote #
#pragma interface type_quote_tag IS_type_quote
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(string) : type_quote_defn #
#pragma interface type_quote_defn
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : string :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_quote #
#pragma interface MAKE_type_quote
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : string :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_quote #
#pragma interface DECONS_type_quote
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : string :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_quote #

 
 
/* Operations for field undef of union TYPE */
 
#pragma token EXP const : unsigned : type_undef_tag #
#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_undef #
#pragma interface type_undef_tag IS_type_undef
 
#pragma token PROC(EXP : TYPE :)\
    EXP : PTR(string) : type_undef_name #
#pragma interface type_undef_name
 
#pragma token PROC(\
	EXP : zero_int :,\
	EXP : string :,\
	EXP lvalue : TYPE :\
    ) STATEMENT MAKE_type_undef #
#pragma interface MAKE_type_undef
 
#pragma token PROC(\
	EXP lvalue : zero_int :,\
	EXP lvalue : string :,\
	EXP : TYPE :\
    ) STATEMENT DECONS_type_undef #
#pragma interface DECONS_type_undef
 
#pragma token PROC(\
	EXP : DESTROYER :,\
	EXP lvalue : zero_int :,\
	EXP lvalue : string :,\
	EXP : TYPE :\
    ) STATEMENT DESTROY_type_undef #

Rev 5	Rev 6
Line 35...	Line 35...
35	`#ifndef TYPE_OPS_H_INCLUDED`	35	`#ifndef TYPE_OPS_H_INCLUDED`
36	`#define TYPE_OPS_H_INCLUDED`	36	`#define TYPE_OPS_H_INCLUDED`
37		37
38	`/* Operations for union TYPE */`	38	`/* Operations for union TYPE */`
39		39
40	`#pragma token PROC ( EXP : TYPE : ) EXP : unsigned : TAG_type #`	40	`#pragma token PROC(EXP : TYPE :) EXP : unsigned : TAG_type #`
41	`#pragma interface TAG_type`	41	`#pragma interface TAG_type`
42		42
43		43
44	`/* Operations for component size of union TYPE */`	44	`/* Operations for component size of union TYPE */`
45		45
46	`#pragma token PROC ( EXP : TYPE : )\`	46	`#pragma token PROC(EXP : TYPE :)\`
47	`EXP : PTR ( zero_int ) : type_size #`	47	`EXP : PTR(zero_int) : type_size #`
48	`#pragma interface type_size`	48	`#pragma interface type_size`
49		49
50	`/* Operations for field primitive of union TYPE */`	50	`/* Operations for field primitive of union TYPE */`
51		51
52	`#pragma token EXP const : unsigned : type_primitive_tag #`	52	`#pragma token EXP const : unsigned : type_primitive_tag #`
53	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_primitive #`	53	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_primitive #`
54	`#pragma interface type_primitive_tag IS_type_primitive`	54	`#pragma interface type_primitive_tag IS_type_primitive`
55		55
56	`#pragma token PROC ( EXP : TYPE : )\`	56	`#pragma token PROC(EXP : TYPE :)\`
57	`EXP : PTR ( PRIMITIVE_P ) : type_primitive_prim #`	57	`EXP : PTR(PRIMITIVE_P) : type_primitive_prim #`
58	`#pragma interface type_primitive_prim`	58	`#pragma interface type_primitive_prim`
59		59
60	`#pragma token PROC (\`	60	`#pragma token PROC(\`
61	`EXP : zero_int :,\`	61	`EXP : zero_int :,\`
62	`EXP : PRIMITIVE_P :,\`	62	`EXP : PRIMITIVE_P :,\`
63	`EXP lvalue : TYPE :\`	63	`EXP lvalue : TYPE :\`
64	`) STATEMENT MAKE_type_primitive #`	64	`) STATEMENT MAKE_type_primitive #`
65	`#pragma interface MAKE_type_primitive`	65	`#pragma interface MAKE_type_primitive`
66		66
67	`#pragma token PROC (\`	67	`#pragma token PROC(\`
68	`EXP lvalue : zero_int :,\`	68	`EXP lvalue : zero_int :,\`
69	`EXP lvalue : PRIMITIVE_P :,\`	69	`EXP lvalue : PRIMITIVE_P :,\`
70	`EXP : TYPE :\`	70	`EXP : TYPE :\`
71	`) STATEMENT DECONS_type_primitive #`	71	`) STATEMENT DECONS_type_primitive #`
72	`#pragma interface DECONS_type_primitive`	72	`#pragma interface DECONS_type_primitive`
73		73
74	`#pragma token PROC (\`	74	`#pragma token PROC(\`
75	`EXP : DESTROYER :,\`	75	`EXP : DESTROYER :,\`
76	`EXP lvalue : zero_int :,\`	76	`EXP lvalue : zero_int :,\`
77	`EXP lvalue : PRIMITIVE_P :,\`	77	`EXP lvalue : PRIMITIVE_P :,\`
78	`EXP : TYPE :\`	78	`EXP : TYPE :\`
79	`) STATEMENT DESTROY_type_primitive #`	79	`) STATEMENT DESTROY_type_primitive #`
80	`#pragma interface DESTROY_type_primitive`	80	`#pragma interface DESTROY_type_primitive`
81		81
82	`#ifdef calculus_IO_ROUTINES`	82	`#ifdef calculus_IO_ROUTINES`
83		83
84	`#pragma token PROC (\`	84	`#pragma token PROC(\`
85	`EXP lvalue : TYPE :,\`	85	`EXP lvalue : TYPE :,\`
86	`EXP : unsigned :\`	86	`EXP : unsigned :\`
87	`) STATEMENT NEW_ALIAS_type_primitive #`	87	`) STATEMENT NEW_ALIAS_type_primitive #`
88	`#pragma interface NEW_ALIAS_type_primitive`	88	`#pragma interface NEW_ALIAS_type_primitive`
89		89
90	`#pragma token PROC ( EXP : TYPE : )\`	90	`#pragma token PROC(EXP : TYPE :)\`
91	`EXP : unsigned : GET_ALIAS_type_primitive #`	91	`EXP : unsigned : GET_ALIAS_type_primitive #`
92	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	92	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
93	`EXP : void : SET_ALIAS_type_primitive #`	93	`EXP : void : SET_ALIAS_type_primitive #`
94	`#pragma token PROC ( EXP : unsigned : )\`	94	`#pragma token PROC(EXP : unsigned :)\`
95	`EXP : TYPE : FIND_ALIAS_type_primitive #`	95	`EXP : TYPE : FIND_ALIAS_type_primitive #`
96		96
97	`#pragma interface GET_ALIAS_type_primitive SET_ALIAS_type_primitive FIND_ALIAS_type_primitive`	97	`#pragma interface GET_ALIAS_type_primitive SET_ALIAS_type_primitive FIND_ALIAS_type_primitive`
98		98
99	`#endif`	99	`#endif`
100		100
101		101
102	`/* Operations for field ident of union TYPE */`	102	`/* Operations for field ident of union TYPE */`
103		103
104	`#pragma token EXP const : unsigned : type_ident_tag #`	104	`#pragma token EXP const : unsigned : type_ident_tag #`
105	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_ident #`	105	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ident #`
106	`#pragma interface type_ident_tag IS_type_ident`	106	`#pragma interface type_ident_tag IS_type_ident`
107		107
108	`#pragma token PROC ( EXP : TYPE : )\`	108	`#pragma token PROC(EXP : TYPE :)\`
109	`EXP : PTR ( IDENTITY_P ) : type_ident_id #`	109	`EXP : PTR(IDENTITY_P) : type_ident_id #`
110	`#pragma interface type_ident_id`	110	`#pragma interface type_ident_id`
111		111
112	`#pragma token PROC (\`	112	`#pragma token PROC(\`
113	`EXP : zero_int :,\`	113	`EXP : zero_int :,\`
114	`EXP : IDENTITY_P :,\`	114	`EXP : IDENTITY_P :,\`
115	`EXP lvalue : TYPE :\`	115	`EXP lvalue : TYPE :\`
116	`) STATEMENT MAKE_type_ident #`	116	`) STATEMENT MAKE_type_ident #`
117	`#pragma interface MAKE_type_ident`	117	`#pragma interface MAKE_type_ident`
118		118
119	`#pragma token PROC (\`	119	`#pragma token PROC(\`
120	`EXP lvalue : zero_int :,\`	120	`EXP lvalue : zero_int :,\`
121	`EXP lvalue : IDENTITY_P :,\`	121	`EXP lvalue : IDENTITY_P :,\`
122	`EXP : TYPE :\`	122	`EXP : TYPE :\`
123	`) STATEMENT DECONS_type_ident #`	123	`) STATEMENT DECONS_type_ident #`
124	`#pragma interface DECONS_type_ident`	124	`#pragma interface DECONS_type_ident`
125		125
126	`#pragma token PROC (\`	126	`#pragma token PROC(\`
127	`EXP : DESTROYER :,\`	127	`EXP : DESTROYER :,\`
128	`EXP lvalue : zero_int :,\`	128	`EXP lvalue : zero_int :,\`
129	`EXP lvalue : IDENTITY_P :,\`	129	`EXP lvalue : IDENTITY_P :,\`
130	`EXP : TYPE :\`	130	`EXP : TYPE :\`
131	`) STATEMENT DESTROY_type_ident #`	131	`) STATEMENT DESTROY_type_ident #`
132	`#pragma interface DESTROY_type_ident`	132	`#pragma interface DESTROY_type_ident`
133		133
134	`#ifdef calculus_IO_ROUTINES`	134	`#ifdef calculus_IO_ROUTINES`
135		135
136	`#pragma token PROC (\`	136	`#pragma token PROC(\`
137	`EXP lvalue : TYPE :,\`	137	`EXP lvalue : TYPE :,\`
138	`EXP : unsigned :\`	138	`EXP : unsigned :\`
139	`) STATEMENT NEW_ALIAS_type_ident #`	139	`) STATEMENT NEW_ALIAS_type_ident #`
140	`#pragma interface NEW_ALIAS_type_ident`	140	`#pragma interface NEW_ALIAS_type_ident`
141		141
142	`#pragma token PROC ( EXP : TYPE : )\`	142	`#pragma token PROC(EXP : TYPE :)\`
143	`EXP : unsigned : GET_ALIAS_type_ident #`	143	`EXP : unsigned : GET_ALIAS_type_ident #`
144	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	144	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
145	`EXP : void : SET_ALIAS_type_ident #`	145	`EXP : void : SET_ALIAS_type_ident #`
146	`#pragma token PROC ( EXP : unsigned : )\`	146	`#pragma token PROC(EXP : unsigned :)\`
147	`EXP : TYPE : FIND_ALIAS_type_ident #`	147	`EXP : TYPE : FIND_ALIAS_type_ident #`
148		148
149	`#pragma interface GET_ALIAS_type_ident SET_ALIAS_type_ident FIND_ALIAS_type_ident`	149	`#pragma interface GET_ALIAS_type_ident SET_ALIAS_type_ident FIND_ALIAS_type_ident`
150		150
151	`#endif`	151	`#endif`
152		152
153		153
154	`/* Operations for field enumeration of union TYPE */`	154	`/* Operations for field enumeration of union TYPE */`
155		155
156	`#pragma token EXP const : unsigned : type_enumeration_tag #`	156	`#pragma token EXP const : unsigned : type_enumeration_tag #`
157	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_enumeration #`	157	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_enumeration #`
158	`#pragma interface type_enumeration_tag IS_type_enumeration`	158	`#pragma interface type_enumeration_tag IS_type_enumeration`
159		159
160	`#pragma token PROC ( EXP : TYPE : )\`	160	`#pragma token PROC(EXP : TYPE :)\`
161	`EXP : PTR ( ENUM_P ) : type_enumeration_en #`	161	`EXP : PTR(ENUM_P) : type_enumeration_en #`
162	`#pragma interface type_enumeration_en`	162	`#pragma interface type_enumeration_en`
163		163
164	`#pragma token PROC (\`	164	`#pragma token PROC(\`
165	`EXP : zero_int :,\`	165	`EXP : zero_int :,\`
166	`EXP : ENUM_P :,\`	166	`EXP : ENUM_P :,\`
167	`EXP lvalue : TYPE :\`	167	`EXP lvalue : TYPE :\`
168	`) STATEMENT MAKE_type_enumeration #`	168	`) STATEMENT MAKE_type_enumeration #`
169	`#pragma interface MAKE_type_enumeration`	169	`#pragma interface MAKE_type_enumeration`
170		170
171	`#pragma token PROC (\`	171	`#pragma token PROC(\`
172	`EXP lvalue : zero_int :,\`	172	`EXP lvalue : zero_int :,\`
173	`EXP lvalue : ENUM_P :,\`	173	`EXP lvalue : ENUM_P :,\`
174	`EXP : TYPE :\`	174	`EXP : TYPE :\`
175	`) STATEMENT DECONS_type_enumeration #`	175	`) STATEMENT DECONS_type_enumeration #`
176	`#pragma interface DECONS_type_enumeration`	176	`#pragma interface DECONS_type_enumeration`
177		177
178	`#pragma token PROC (\`	178	`#pragma token PROC(\`
179	`EXP : DESTROYER :,\`	179	`EXP : DESTROYER :,\`
180	`EXP lvalue : zero_int :,\`	180	`EXP lvalue : zero_int :,\`
181	`EXP lvalue : ENUM_P :,\`	181	`EXP lvalue : ENUM_P :,\`
182	`EXP : TYPE :\`	182	`EXP : TYPE :\`
183	`) STATEMENT DESTROY_type_enumeration #`	183	`) STATEMENT DESTROY_type_enumeration #`
184	`#pragma interface DESTROY_type_enumeration`	184	`#pragma interface DESTROY_type_enumeration`
185		185
186	`#ifdef calculus_IO_ROUTINES`	186	`#ifdef calculus_IO_ROUTINES`
187		187
188	`#pragma token PROC (\`	188	`#pragma token PROC(\`
189	`EXP lvalue : TYPE :,\`	189	`EXP lvalue : TYPE :,\`
190	`EXP : unsigned :\`	190	`EXP : unsigned :\`
191	`) STATEMENT NEW_ALIAS_type_enumeration #`	191	`) STATEMENT NEW_ALIAS_type_enumeration #`
192	`#pragma interface NEW_ALIAS_type_enumeration`	192	`#pragma interface NEW_ALIAS_type_enumeration`
193		193
194	`#pragma token PROC ( EXP : TYPE : )\`	194	`#pragma token PROC(EXP : TYPE :)\`
195	`EXP : unsigned : GET_ALIAS_type_enumeration #`	195	`EXP : unsigned : GET_ALIAS_type_enumeration #`
196	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	196	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
197	`EXP : void : SET_ALIAS_type_enumeration #`	197	`EXP : void : SET_ALIAS_type_enumeration #`
198	`#pragma token PROC ( EXP : unsigned : )\`	198	`#pragma token PROC(EXP : unsigned :)\`
199	`EXP : TYPE : FIND_ALIAS_type_enumeration #`	199	`EXP : TYPE : FIND_ALIAS_type_enumeration #`
200		200
201	`#pragma interface GET_ALIAS_type_enumeration SET_ALIAS_type_enumeration FIND_ALIAS_type_enumeration`	201	`#pragma interface GET_ALIAS_type_enumeration SET_ALIAS_type_enumeration FIND_ALIAS_type_enumeration`
202		202
203	`#endif`	203	`#endif`
204		204
205		205
206	`/* Operations for field structure of union TYPE */`	206	`/* Operations for field structure of union TYPE */`
207		207
208	`#pragma token EXP const : unsigned : type_structure_tag #`	208	`#pragma token EXP const : unsigned : type_structure_tag #`
209	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_structure #`	209	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_structure #`
210	`#pragma interface type_structure_tag IS_type_structure`	210	`#pragma interface type_structure_tag IS_type_structure`
211		211
212	`#pragma token PROC ( EXP : TYPE : )\`	212	`#pragma token PROC(EXP : TYPE :)\`
213	`EXP : PTR ( STRUCTURE_P ) : type_structure_struc #`	213	`EXP : PTR(STRUCTURE_P) : type_structure_struc #`
214	`#pragma interface type_structure_struc`	214	`#pragma interface type_structure_struc`
215		215
216	`#pragma token PROC (\`	216	`#pragma token PROC(\`
217	`EXP : zero_int :,\`	217	`EXP : zero_int :,\`
218	`EXP : STRUCTURE_P :,\`	218	`EXP : STRUCTURE_P :,\`
219	`EXP lvalue : TYPE :\`	219	`EXP lvalue : TYPE :\`
220	`) STATEMENT MAKE_type_structure #`	220	`) STATEMENT MAKE_type_structure #`
221	`#pragma interface MAKE_type_structure`	221	`#pragma interface MAKE_type_structure`
222		222
223	`#pragma token PROC (\`	223	`#pragma token PROC(\`
224	`EXP lvalue : zero_int :,\`	224	`EXP lvalue : zero_int :,\`
225	`EXP lvalue : STRUCTURE_P :,\`	225	`EXP lvalue : STRUCTURE_P :,\`
226	`EXP : TYPE :\`	226	`EXP : TYPE :\`
227	`) STATEMENT DECONS_type_structure #`	227	`) STATEMENT DECONS_type_structure #`
228	`#pragma interface DECONS_type_structure`	228	`#pragma interface DECONS_type_structure`
229		229
230	`#pragma token PROC (\`	230	`#pragma token PROC(\`
231	`EXP : DESTROYER :,\`	231	`EXP : DESTROYER :,\`
232	`EXP lvalue : zero_int :,\`	232	`EXP lvalue : zero_int :,\`
233	`EXP lvalue : STRUCTURE_P :,\`	233	`EXP lvalue : STRUCTURE_P :,\`
234	`EXP : TYPE :\`	234	`EXP : TYPE :\`
235	`) STATEMENT DESTROY_type_structure #`	235	`) STATEMENT DESTROY_type_structure #`
236	`#pragma interface DESTROY_type_structure`	236	`#pragma interface DESTROY_type_structure`
237		237
238	`#ifdef calculus_IO_ROUTINES`	238	`#ifdef calculus_IO_ROUTINES`
239		239
240	`#pragma token PROC (\`	240	`#pragma token PROC(\`
241	`EXP lvalue : TYPE :,\`	241	`EXP lvalue : TYPE :,\`
242	`EXP : unsigned :\`	242	`EXP : unsigned :\`
243	`) STATEMENT NEW_ALIAS_type_structure #`	243	`) STATEMENT NEW_ALIAS_type_structure #`
244	`#pragma interface NEW_ALIAS_type_structure`	244	`#pragma interface NEW_ALIAS_type_structure`
245		245
246	`#pragma token PROC ( EXP : TYPE : )\`	246	`#pragma token PROC(EXP : TYPE :)\`
247	`EXP : unsigned : GET_ALIAS_type_structure #`	247	`EXP : unsigned : GET_ALIAS_type_structure #`
248	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	248	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
249	`EXP : void : SET_ALIAS_type_structure #`	249	`EXP : void : SET_ALIAS_type_structure #`
250	`#pragma token PROC ( EXP : unsigned : )\`	250	`#pragma token PROC(EXP : unsigned :)\`
251	`EXP : TYPE : FIND_ALIAS_type_structure #`	251	`EXP : TYPE : FIND_ALIAS_type_structure #`
252		252
253	`#pragma interface GET_ALIAS_type_structure SET_ALIAS_type_structure FIND_ALIAS_type_structure`	253	`#pragma interface GET_ALIAS_type_structure SET_ALIAS_type_structure FIND_ALIAS_type_structure`
254		254
255	`#endif`	255	`#endif`
256		256
257		257
258	`/* Operations for field onion of union TYPE */`	258	`/* Operations for field onion of union TYPE */`
259		259
260	`#pragma token EXP const : unsigned : type_onion_tag #`	260	`#pragma token EXP const : unsigned : type_onion_tag #`
261	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_onion #`	261	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_onion #`
262	`#pragma interface type_onion_tag IS_type_onion`	262	`#pragma interface type_onion_tag IS_type_onion`
263		263
264	`#pragma token PROC ( EXP : TYPE : )\`	264	`#pragma token PROC(EXP : TYPE :)\`
265	`EXP : PTR ( UNION_P ) : type_onion_un #`	265	`EXP : PTR(UNION_P) : type_onion_un #`
266	`#pragma interface type_onion_un`	266	`#pragma interface type_onion_un`
267		267
268	`#pragma token PROC (\`	268	`#pragma token PROC(\`
269	`EXP : zero_int :,\`	269	`EXP : zero_int :,\`
270	`EXP : UNION_P :,\`	270	`EXP : UNION_P :,\`
271	`EXP lvalue : TYPE :\`	271	`EXP lvalue : TYPE :\`
272	`) STATEMENT MAKE_type_onion #`	272	`) STATEMENT MAKE_type_onion #`
273	`#pragma interface MAKE_type_onion`	273	`#pragma interface MAKE_type_onion`
274		274
275	`#pragma token PROC (\`	275	`#pragma token PROC(\`
276	`EXP lvalue : zero_int :,\`	276	`EXP lvalue : zero_int :,\`
277	`EXP lvalue : UNION_P :,\`	277	`EXP lvalue : UNION_P :,\`
278	`EXP : TYPE :\`	278	`EXP : TYPE :\`
279	`) STATEMENT DECONS_type_onion #`	279	`) STATEMENT DECONS_type_onion #`
280	`#pragma interface DECONS_type_onion`	280	`#pragma interface DECONS_type_onion`
281		281
282	`#pragma token PROC (\`	282	`#pragma token PROC(\`
283	`EXP : DESTROYER :,\`	283	`EXP : DESTROYER :,\`
284	`EXP lvalue : zero_int :,\`	284	`EXP lvalue : zero_int :,\`
285	`EXP lvalue : UNION_P :,\`	285	`EXP lvalue : UNION_P :,\`
286	`EXP : TYPE :\`	286	`EXP : TYPE :\`
287	`) STATEMENT DESTROY_type_onion #`	287	`) STATEMENT DESTROY_type_onion #`
288	`#pragma interface DESTROY_type_onion`	288	`#pragma interface DESTROY_type_onion`
289		289
290	`#ifdef calculus_IO_ROUTINES`	290	`#ifdef calculus_IO_ROUTINES`
291		291
292	`#pragma token PROC (\`	292	`#pragma token PROC(\`
293	`EXP lvalue : TYPE :,\`	293	`EXP lvalue : TYPE :,\`
294	`EXP : unsigned :\`	294	`EXP : unsigned :\`
295	`) STATEMENT NEW_ALIAS_type_onion #`	295	`) STATEMENT NEW_ALIAS_type_onion #`
296	`#pragma interface NEW_ALIAS_type_onion`	296	`#pragma interface NEW_ALIAS_type_onion`
297		297
298	`#pragma token PROC ( EXP : TYPE : )\`	298	`#pragma token PROC(EXP : TYPE :)\`
299	`EXP : unsigned : GET_ALIAS_type_onion #`	299	`EXP : unsigned : GET_ALIAS_type_onion #`
300	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	300	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
301	`EXP : void : SET_ALIAS_type_onion #`	301	`EXP : void : SET_ALIAS_type_onion #`
302	`#pragma token PROC ( EXP : unsigned : )\`	302	`#pragma token PROC(EXP : unsigned :)\`
303	`EXP : TYPE : FIND_ALIAS_type_onion #`	303	`EXP : TYPE : FIND_ALIAS_type_onion #`
304		304
305	`#pragma interface GET_ALIAS_type_onion SET_ALIAS_type_onion FIND_ALIAS_type_onion`	305	`#pragma interface GET_ALIAS_type_onion SET_ALIAS_type_onion FIND_ALIAS_type_onion`
306		306
307	`#endif`	307	`#endif`
308		308
309		309
310	`/* Operations for field set ptr_etc of union TYPE */`	310	`/* Operations for field set ptr_etc of union TYPE */`
311		311
312	`#pragma token EXP const : unsigned : type_ptr_etc_tag #`	312	`#pragma token EXP const : unsigned : type_ptr_etc_tag #`
313	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_ptr_etc #`	313	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ptr_etc #`
314	`#pragma interface type_ptr_etc_tag IS_type_ptr_etc`	314	`#pragma interface type_ptr_etc_tag IS_type_ptr_etc`
315		315
316	`#pragma token PROC ( EXP : TYPE : )\`	316	`#pragma token PROC(EXP : TYPE :)\`
317	`EXP : PTR ( TYPE_P ) : type_ptr_etc_sub #`	317	`EXP : PTR(TYPE_P) : type_ptr_etc_sub #`
318	`#pragma interface type_ptr_etc_sub`	318	`#pragma interface type_ptr_etc_sub`
319		319
320	`#pragma token PROC (\`	320	`#pragma token PROC(\`
321	`EXP : unsigned :,\`	321	`EXP : unsigned :,\`
322	`EXP : zero_int :,\`	322	`EXP : zero_int :,\`
323	`EXP : TYPE_P :,\`	323	`EXP : TYPE_P :,\`
324	`EXP lvalue : TYPE :\`	324	`EXP lvalue : TYPE :\`
325	`) STATEMENT MAKE_type_ptr_etc #`	325	`) STATEMENT MAKE_type_ptr_etc #`
326	`#pragma interface MAKE_type_ptr_etc`	326	`#pragma interface MAKE_type_ptr_etc`
327		327
328	`#pragma token PROC (\`	328	`#pragma token PROC(\`
329	`EXP : unsigned :,\`	329	`EXP : unsigned :,\`
330	`EXP : TYPE :\`	330	`EXP : TYPE :\`
331	`) STATEMENT MODIFY_type_ptr_etc #`	331	`) STATEMENT MODIFY_type_ptr_etc #`
332	`#pragma interface MODIFY_type_ptr_etc`	332	`#pragma interface MODIFY_type_ptr_etc`
333		333
334	`#pragma token PROC (\`	334	`#pragma token PROC(\`
335	`EXP lvalue : zero_int :,\`	335	`EXP lvalue : zero_int :,\`
336	`EXP lvalue : TYPE_P :,\`	336	`EXP lvalue : TYPE_P :,\`
337	`EXP : TYPE :\`	337	`EXP : TYPE :\`
338	`) STATEMENT DECONS_type_ptr_etc #`	338	`) STATEMENT DECONS_type_ptr_etc #`
339	`#pragma interface DECONS_type_ptr_etc`	339	`#pragma interface DECONS_type_ptr_etc`
340		340
341	`#pragma token PROC (\`	341	`#pragma token PROC(\`
342	`EXP : DESTROYER :,\`	342	`EXP : DESTROYER :,\`
343	`EXP lvalue : zero_int :,\`	343	`EXP lvalue : zero_int :,\`
344	`EXP lvalue : TYPE_P :,\`	344	`EXP lvalue : TYPE_P :,\`
345	`EXP : TYPE :\`	345	`EXP : TYPE :\`
346	`) STATEMENT DESTROY_type_ptr_etc #`	346	`) STATEMENT DESTROY_type_ptr_etc #`
Line 348...	Line 348...
348		348
349		349
350	`/* Operations for field ptr of union TYPE */`	350	`/* Operations for field ptr of union TYPE */`
351		351
352	`#pragma token EXP const : unsigned : type_ptr_tag #`	352	`#pragma token EXP const : unsigned : type_ptr_tag #`
353	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_ptr #`	353	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_ptr #`
354	`#pragma interface type_ptr_tag IS_type_ptr`	354	`#pragma interface type_ptr_tag IS_type_ptr`
355		355
356	`#pragma token PROC ( EXP : TYPE : )\`	356	`#pragma token PROC(EXP : TYPE :)\`
357	`EXP : PTR ( TYPE_P ) : type_ptr_sub #`	357	`EXP : PTR(TYPE_P) : type_ptr_sub #`
358	`#pragma interface type_ptr_sub`	358	`#pragma interface type_ptr_sub`
359		359
360	`#pragma token PROC (\`	360	`#pragma token PROC(\`
361	`EXP : zero_int :,\`	361	`EXP : zero_int :,\`
362	`EXP : TYPE_P :,\`	362	`EXP : TYPE_P :,\`
363	`EXP lvalue : TYPE :\`	363	`EXP lvalue : TYPE :\`
364	`) STATEMENT MAKE_type_ptr #`	364	`) STATEMENT MAKE_type_ptr #`
365	`#pragma interface MAKE_type_ptr`	365	`#pragma interface MAKE_type_ptr`
366		366
367	`#pragma token PROC (\`	367	`#pragma token PROC(\`
368	`EXP lvalue : zero_int :,\`	368	`EXP lvalue : zero_int :,\`
369	`EXP lvalue : TYPE_P :,\`	369	`EXP lvalue : TYPE_P :,\`
370	`EXP : TYPE :\`	370	`EXP : TYPE :\`
371	`) STATEMENT DECONS_type_ptr #`	371	`) STATEMENT DECONS_type_ptr #`
372	`#pragma interface DECONS_type_ptr`	372	`#pragma interface DECONS_type_ptr`
373		373
374	`#pragma token PROC (\`	374	`#pragma token PROC(\`
375	`EXP : DESTROYER :,\`	375	`EXP : DESTROYER :,\`
376	`EXP lvalue : zero_int :,\`	376	`EXP lvalue : zero_int :,\`
377	`EXP lvalue : TYPE_P :,\`	377	`EXP lvalue : TYPE_P :,\`
378	`EXP : TYPE :\`	378	`EXP : TYPE :\`
379	`) STATEMENT DESTROY_type_ptr #`	379	`) STATEMENT DESTROY_type_ptr #`
380	`#pragma interface DESTROY_type_ptr`	380	`#pragma interface DESTROY_type_ptr`
381		381
382	`#ifdef calculus_IO_ROUTINES`	382	`#ifdef calculus_IO_ROUTINES`
383		383
384	`#pragma token PROC (\`	384	`#pragma token PROC(\`
385	`EXP lvalue : TYPE :,\`	385	`EXP lvalue : TYPE :,\`
386	`EXP : unsigned :\`	386	`EXP : unsigned :\`
387	`) STATEMENT NEW_ALIAS_type_ptr #`	387	`) STATEMENT NEW_ALIAS_type_ptr #`
388	`#pragma interface NEW_ALIAS_type_ptr`	388	`#pragma interface NEW_ALIAS_type_ptr`
389		389
390	`#pragma token PROC ( EXP : TYPE : )\`	390	`#pragma token PROC(EXP : TYPE :)\`
391	`EXP : unsigned : GET_ALIAS_type_ptr #`	391	`EXP : unsigned : GET_ALIAS_type_ptr #`
392	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	392	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
393	`EXP : void : SET_ALIAS_type_ptr #`	393	`EXP : void : SET_ALIAS_type_ptr #`
394	`#pragma token PROC ( EXP : unsigned : )\`	394	`#pragma token PROC(EXP : unsigned :)\`
395	`EXP : TYPE : FIND_ALIAS_type_ptr #`	395	`EXP : TYPE : FIND_ALIAS_type_ptr #`
396		396
397	`#pragma interface GET_ALIAS_type_ptr SET_ALIAS_type_ptr FIND_ALIAS_type_ptr`	397	`#pragma interface GET_ALIAS_type_ptr SET_ALIAS_type_ptr FIND_ALIAS_type_ptr`
398		398
399	`#endif`	399	`#endif`
400		400
401		401
402	`/* Operations for field list of union TYPE */`	402	`/* Operations for field list of union TYPE */`
403		403
404	`#pragma token EXP const : unsigned : type_list_tag #`	404	`#pragma token EXP const : unsigned : type_list_tag #`
405	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_list #`	405	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_list #`
406	`#pragma interface type_list_tag IS_type_list`	406	`#pragma interface type_list_tag IS_type_list`
407		407
408	`#pragma token PROC ( EXP : TYPE : )\`	408	`#pragma token PROC(EXP : TYPE :)\`
409	`EXP : PTR ( TYPE_P ) : type_list_sub #`	409	`EXP : PTR(TYPE_P) : type_list_sub #`
410	`#pragma interface type_list_sub`	410	`#pragma interface type_list_sub`
411		411
412	`#pragma token PROC (\`	412	`#pragma token PROC(\`
413	`EXP : zero_int :,\`	413	`EXP : zero_int :,\`
414	`EXP : TYPE_P :,\`	414	`EXP : TYPE_P :,\`
415	`EXP lvalue : TYPE :\`	415	`EXP lvalue : TYPE :\`
416	`) STATEMENT MAKE_type_list #`	416	`) STATEMENT MAKE_type_list #`
417	`#pragma interface MAKE_type_list`	417	`#pragma interface MAKE_type_list`
418		418
419	`#pragma token PROC (\`	419	`#pragma token PROC(\`
420	`EXP lvalue : zero_int :,\`	420	`EXP lvalue : zero_int :,\`
421	`EXP lvalue : TYPE_P :,\`	421	`EXP lvalue : TYPE_P :,\`
422	`EXP : TYPE :\`	422	`EXP : TYPE :\`
423	`) STATEMENT DECONS_type_list #`	423	`) STATEMENT DECONS_type_list #`
424	`#pragma interface DECONS_type_list`	424	`#pragma interface DECONS_type_list`
425		425
426	`#pragma token PROC (\`	426	`#pragma token PROC(\`
427	`EXP : DESTROYER :,\`	427	`EXP : DESTROYER :,\`
428	`EXP lvalue : zero_int :,\`	428	`EXP lvalue : zero_int :,\`
429	`EXP lvalue : TYPE_P :,\`	429	`EXP lvalue : TYPE_P :,\`
430	`EXP : TYPE :\`	430	`EXP : TYPE :\`
431	`) STATEMENT DESTROY_type_list #`	431	`) STATEMENT DESTROY_type_list #`
432	`#pragma interface DESTROY_type_list`	432	`#pragma interface DESTROY_type_list`
433		433
434	`#ifdef calculus_IO_ROUTINES`	434	`#ifdef calculus_IO_ROUTINES`
435		435
436	`#pragma token PROC (\`	436	`#pragma token PROC(\`
437	`EXP lvalue : TYPE :,\`	437	`EXP lvalue : TYPE :,\`
438	`EXP : unsigned :\`	438	`EXP : unsigned :\`
439	`) STATEMENT NEW_ALIAS_type_list #`	439	`) STATEMENT NEW_ALIAS_type_list #`
440	`#pragma interface NEW_ALIAS_type_list`	440	`#pragma interface NEW_ALIAS_type_list`
441		441
442	`#pragma token PROC ( EXP : TYPE : )\`	442	`#pragma token PROC(EXP : TYPE :)\`
443	`EXP : unsigned : GET_ALIAS_type_list #`	443	`EXP : unsigned : GET_ALIAS_type_list #`
444	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	444	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
445	`EXP : void : SET_ALIAS_type_list #`	445	`EXP : void : SET_ALIAS_type_list #`
446	`#pragma token PROC ( EXP : unsigned : )\`	446	`#pragma token PROC(EXP : unsigned :)\`
447	`EXP : TYPE : FIND_ALIAS_type_list #`	447	`EXP : TYPE : FIND_ALIAS_type_list #`
448		448
449	`#pragma interface GET_ALIAS_type_list SET_ALIAS_type_list FIND_ALIAS_type_list`	449	`#pragma interface GET_ALIAS_type_list SET_ALIAS_type_list FIND_ALIAS_type_list`
450		450
451	`#endif`	451	`#endif`
452		452
453		453
454	`/* Operations for field stack of union TYPE */`	454	`/* Operations for field stack of union TYPE */`
455		455
456	`#pragma token EXP const : unsigned : type_stack_tag #`	456	`#pragma token EXP const : unsigned : type_stack_tag #`
457	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_stack #`	457	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_stack #`
458	`#pragma interface type_stack_tag IS_type_stack`	458	`#pragma interface type_stack_tag IS_type_stack`
459		459
460	`#pragma token PROC ( EXP : TYPE : )\`	460	`#pragma token PROC(EXP : TYPE :)\`
461	`EXP : PTR ( TYPE_P ) : type_stack_sub #`	461	`EXP : PTR(TYPE_P) : type_stack_sub #`
462	`#pragma interface type_stack_sub`	462	`#pragma interface type_stack_sub`
463		463
464	`#pragma token PROC (\`	464	`#pragma token PROC(\`
465	`EXP : zero_int :,\`	465	`EXP : zero_int :,\`
466	`EXP : TYPE_P :,\`	466	`EXP : TYPE_P :,\`
467	`EXP lvalue : TYPE :\`	467	`EXP lvalue : TYPE :\`
468	`) STATEMENT MAKE_type_stack #`	468	`) STATEMENT MAKE_type_stack #`
469	`#pragma interface MAKE_type_stack`	469	`#pragma interface MAKE_type_stack`
470		470
471	`#pragma token PROC (\`	471	`#pragma token PROC(\`
472	`EXP lvalue : zero_int :,\`	472	`EXP lvalue : zero_int :,\`
473	`EXP lvalue : TYPE_P :,\`	473	`EXP lvalue : TYPE_P :,\`
474	`EXP : TYPE :\`	474	`EXP : TYPE :\`
475	`) STATEMENT DECONS_type_stack #`	475	`) STATEMENT DECONS_type_stack #`
476	`#pragma interface DECONS_type_stack`	476	`#pragma interface DECONS_type_stack`
477		477
478	`#pragma token PROC (\`	478	`#pragma token PROC(\`
479	`EXP : DESTROYER :,\`	479	`EXP : DESTROYER :,\`
480	`EXP lvalue : zero_int :,\`	480	`EXP lvalue : zero_int :,\`
481	`EXP lvalue : TYPE_P :,\`	481	`EXP lvalue : TYPE_P :,\`
482	`EXP : TYPE :\`	482	`EXP : TYPE :\`
483	`) STATEMENT DESTROY_type_stack #`	483	`) STATEMENT DESTROY_type_stack #`
484	`#pragma interface DESTROY_type_stack`	484	`#pragma interface DESTROY_type_stack`
485		485
486	`#ifdef calculus_IO_ROUTINES`	486	`#ifdef calculus_IO_ROUTINES`
487		487
488	`#pragma token PROC (\`	488	`#pragma token PROC(\`
489	`EXP lvalue : TYPE :,\`	489	`EXP lvalue : TYPE :,\`
490	`EXP : unsigned :\`	490	`EXP : unsigned :\`
491	`) STATEMENT NEW_ALIAS_type_stack #`	491	`) STATEMENT NEW_ALIAS_type_stack #`
492	`#pragma interface NEW_ALIAS_type_stack`	492	`#pragma interface NEW_ALIAS_type_stack`
493		493
494	`#pragma token PROC ( EXP : TYPE : )\`	494	`#pragma token PROC(EXP : TYPE :)\`
495	`EXP : unsigned : GET_ALIAS_type_stack #`	495	`EXP : unsigned : GET_ALIAS_type_stack #`
496	`#pragma token PROC ( EXP : TYPE :, EXP : unsigned : )\`	496	`#pragma token PROC(EXP : TYPE :, EXP : unsigned :)\`
497	`EXP : void : SET_ALIAS_type_stack #`	497	`EXP : void : SET_ALIAS_type_stack #`
498	`#pragma token PROC ( EXP : unsigned : )\`	498	`#pragma token PROC(EXP : unsigned :)\`
499	`EXP : TYPE : FIND_ALIAS_type_stack #`	499	`EXP : TYPE : FIND_ALIAS_type_stack #`
500		500
501	`#pragma interface GET_ALIAS_type_stack SET_ALIAS_type_stack FIND_ALIAS_type_stack`	501	`#pragma interface GET_ALIAS_type_stack SET_ALIAS_type_stack FIND_ALIAS_type_stack`
502		502
503	`#endif`	503	`#endif`
504		504
505		505
506	`/* Operations for field vec of union TYPE */`	506	`/* Operations for field vec of union TYPE */`
507		507
508	`#pragma token EXP const : unsigned : type_vec_tag #`	508	`#pragma token EXP const : unsigned : type_vec_tag #`
509	`#pragma token PROC ( EXP : TYPE : ) EXP : int : IS_type_vec #`	509	`#pragma token PROC(EXP : TYPE :) EXP : int : IS_type_vec #`
510	`#pragma interface type_vec_tag IS_type_vec`	510	`#pragma interface type_vec_tag IS_type_vec`
511		511
512	`#pragma token PROC ( EXP : TYPE : )\`	512	`#pragma token PROC(EXP : TYPE :)\`
513	`EXP : PTR ( TYPE_P ) : type_vec_sub #`	513	`EXP : PTR(TYPE_P) : type_vec_sub #`
514	`#pragma interface type_vec_sub`	514	`#pragma interface type_vec_sub`
515		515
516	`#pragma token PROC (\`	516	`#pragma token PROC(\`
517	`EXP : zero_int :,\`	517	`EXP : zero_int :,\`
518	`EXP : TYPE_P :,\`	518	`EXP : TYPE_P :,\`
519	`EXP lvalue : TYPE :\`	519	`EXP lvalue : TYPE :\`
520	`) STATEMENT MAKE_type_vec #`	520	`) STATEMENT MAKE_type_vec #`
521	`#pragma interface MAKE_type_vec`	521	`#pragma interface MAKE_type_vec`
522		522
523	`#pragma token PROC (\`	523	`#pragma token PROC(\`
524	`EXP lvalue : zero_int :,\`	524	`EXP lvalue : zero_int :,\`
525	`EXP lvalue : TYPE_P :,\`	525	`EXP lvalue : TYPE_P :,\`
526	`EXP : TYPE :\`	526	`EXP : TYPE :\`
527	`) STATEMENT DECONS_type_vec #`	527	`) STATEMENT DECONS_type_vec #`
528	`#pragma interface DECONS_type_vec`	528	`#pragma interface DECONS_type_vec`
529		529
530	`#pragma token PROC (\`	530	`#pragma token PROC(\`
531	`EXP : DESTROYER :,\`	531	`EXP : DESTROYER :,\`
532	`EXP lvalue : zero_int :,\`	532	`EXP lvalue : zero_int :,\`
533	`EXP lvalue : TYPE_P :,\`	533	`EXP lvalue : TYPE_P :,\`

Subversion Repositories tendra.SVN

(root)/branches/tendra5/src/utilities/calculus/obj_tok/type_ops.h – Rev 5 → 6