Subversion Repositories tendra.SVN

Rev

Rev 5 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5 Rev 6
Line 35... Line 35...
35 
#ifndef SPEC_OPS_H_INCLUDED
 35 
#ifndef SPEC_OPS_H_INCLUDED
36 
#define SPEC_OPS_H_INCLUDED
 36 
#define SPEC_OPS_H_INCLUDED
37 
 
 37 
 
38 
/* Operations for union SPECIFICATION */
 38 
/* Operations for union SPECIFICATION */
39 
 
 39 
 
40 
#pragma token PROC ( EXP : SPECIFICATION : ) EXP : unsigned : TAG_spec #
 40 
#pragma token PROC(EXP : SPECIFICATION :) EXP : unsigned : TAG_spec #
41 
#pragma interface TAG_spec
 41 
#pragma interface TAG_spec
42 
 
 42 
 
43 
 
 43 
 
44 
/* Operations for component major of union SPECIFICATION */
 44 
/* Operations for component major of union SPECIFICATION */
45 
 
 45 
 
46 
#pragma token PROC ( EXP : SPECIFICATION : )\
 46 
#pragma token PROC(EXP : SPECIFICATION :)\
47 
    EXP : PTR ( unsigned ) : spec_major #
 47 
    EXP : PTR(unsigned) : spec_major #
48 
#pragma interface spec_major
 48 
#pragma interface spec_major
49 
 
 49 
 
50 
/* Operations for component minor of union SPECIFICATION */
 50 
/* Operations for component minor of union SPECIFICATION */
51 
 
 51 
 
52 
#pragma token PROC ( EXP : SPECIFICATION : )\
 52 
#pragma token PROC(EXP : SPECIFICATION :)\
53 
    EXP : PTR ( unsigned ) : spec_minor #
 53 
    EXP : PTR(unsigned) : spec_minor #
54 
#pragma interface spec_minor
 54 
#pragma interface spec_minor
55 
 
 55 
 
56 
/* Operations for component sorts of union SPECIFICATION */
 56 
/* Operations for component sorts of union SPECIFICATION */
57 
 
 57 
 
58 
#pragma token PROC ( EXP : SPECIFICATION : )\
 58 
#pragma token PROC(EXP : SPECIFICATION :)\
59 
    EXP : PTR ( LIST ( SORT ) ) : spec_sorts #
 59 
    EXP : PTR(LIST(SORT)) : spec_sorts #
60 
#pragma interface spec_sorts
 60 
#pragma interface spec_sorts
61 
 
 61 
 
62 
/* Operations for component vars of union SPECIFICATION */
 62 
/* Operations for component vars of union SPECIFICATION */
63 
 
 63 
 
64 
#pragma token PROC ( EXP : SPECIFICATION : )\
 64 
#pragma token PROC(EXP : SPECIFICATION :)\
65 
    EXP : PTR ( LIST ( LINKAGE ) ) : spec_vars #
 65 
    EXP : PTR(LIST(LINKAGE)) : spec_vars #
66 
#pragma interface spec_vars
 66 
#pragma interface spec_vars
67 
 
 67 
 
68 
/* Operations for component eqns of union SPECIFICATION */
 68 
/* Operations for component eqns of union SPECIFICATION */
69 
 
 69 
 
70 
#pragma token PROC ( EXP : SPECIFICATION : )\
 70 
#pragma token PROC(EXP : SPECIFICATION :)\
71 
    EXP : PTR ( LIST ( LINKAGE ) ) : spec_eqns #
 71 
    EXP : PTR(LIST(LINKAGE)) : spec_eqns #
72 
#pragma interface spec_eqns
 72 
#pragma interface spec_eqns
73 
 
 73 
 
74 
/* Operations for component foreign of union SPECIFICATION */
 74 
/* Operations for component foreign of union SPECIFICATION */
75 
 
 75 
 
76 
#pragma token PROC ( EXP : SPECIFICATION : )\
 76 
#pragma token PROC(EXP : SPECIFICATION :)\
77 
    EXP : PTR ( LIST ( LINKAGE ) ) : spec_foreign #
 77 
    EXP : PTR(LIST(LINKAGE)) : spec_foreign #
78 
#pragma interface spec_foreign
 78 
#pragma interface spec_foreign
79 
 
 79 
 
80 
/* Operations for field basic of union SPECIFICATION */
 80 
/* Operations for field basic of union SPECIFICATION */
81 
 
 81 
 
82 
#pragma token EXP const : unsigned : spec_basic_tag #
 82 
#pragma token EXP const : unsigned : spec_basic_tag #
83 
#pragma token PROC ( EXP : SPECIFICATION : ) EXP : int : IS_spec_basic #
 83 
#pragma token PROC(EXP : SPECIFICATION :) EXP : int : IS_spec_basic #
84 
#pragma interface spec_basic_tag IS_spec_basic
 84 
#pragma interface spec_basic_tag IS_spec_basic
85 
 
 85 
 
86 
#pragma token PROC (\
 86 
#pragma token PROC(\
87 
	EXP : unsigned :,\
 87 
	EXP : unsigned :,\
88 
	EXP : unsigned :,\
 88 
	EXP : unsigned :,\
89 
	EXP : LIST ( SORT ) :,\
 89 
	EXP : LIST(SORT) :,\
90 
	EXP : LIST ( LINKAGE ) :,\
 90 
	EXP : LIST(LINKAGE) :,\
91 
	EXP : LIST ( LINKAGE ) :,\
 91 
	EXP : LIST(LINKAGE) :,\
92 
	EXP : LIST ( LINKAGE ) :,\
 92 
	EXP : LIST(LINKAGE) :,\
93 
	EXP lvalue : SPECIFICATION :\
 93 
	EXP lvalue : SPECIFICATION :\
94 
    ) STATEMENT MAKE_spec_basic #
 94 
    ) STATEMENT MAKE_spec_basic #
95 
#pragma interface MAKE_spec_basic
 95 
#pragma interface MAKE_spec_basic
96 
 
 96 
 
97 
#pragma token PROC (\
 97 
#pragma token PROC(\
98 
	EXP lvalue : unsigned :,\
 98 
	EXP lvalue : unsigned :,\
99 
	EXP lvalue : unsigned :,\
 99 
	EXP lvalue : unsigned :,\
100 
	EXP lvalue : LIST ( SORT ) :,\
 100 
	EXP lvalue : LIST(SORT) :,\
101 
	EXP lvalue : LIST ( LINKAGE ) :,\
 101 
	EXP lvalue : LIST(LINKAGE) :,\
102 
	EXP lvalue : LIST ( LINKAGE ) :,\
 102 
	EXP lvalue : LIST(LINKAGE) :,\
103 
	EXP lvalue : LIST ( LINKAGE ) :,\
 103 
	EXP lvalue : LIST(LINKAGE) :,\
104 
	EXP : SPECIFICATION :\
 104 
	EXP : SPECIFICATION :\
105 
    ) STATEMENT DECONS_spec_basic #
 105 
    ) STATEMENT DECONS_spec_basic #
106 
#pragma interface DECONS_spec_basic
 106 
#pragma interface DECONS_spec_basic
107 
 
 107 
 
108 
#pragma token PROC (\
 108 
#pragma token PROC(\
109 
	EXP : DESTROYER :,\
 109 
	EXP : DESTROYER :,\
110 
	EXP lvalue : unsigned :,\
 110 
	EXP lvalue : unsigned :,\
111 
	EXP lvalue : unsigned :,\
 111 
	EXP lvalue : unsigned :,\
112 
	EXP lvalue : LIST ( SORT ) :,\
 112 
	EXP lvalue : LIST(SORT) :,\
113 
	EXP lvalue : LIST ( LINKAGE ) :,\
 113 
	EXP lvalue : LIST(LINKAGE) :,\
114 
	EXP lvalue : LIST ( LINKAGE ) :,\
 114 
	EXP lvalue : LIST(LINKAGE) :,\
115 
	EXP lvalue : LIST ( LINKAGE ) :,\
 115 
	EXP lvalue : LIST(LINKAGE) :,\
116 
	EXP : SPECIFICATION :\
 116 
	EXP : SPECIFICATION :\
117 
    ) STATEMENT DESTROY_spec_basic #
 117 
    ) STATEMENT DESTROY_spec_basic #
118 
#pragma interface DESTROY_spec_basic
 118 
#pragma interface DESTROY_spec_basic
119 
 
 119 
 
120 
 
 120