1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
|
//
// $Id$
//
// ============================================================================
//
// = LIBRARY
// TAO IDL
//
// = FILENAME
// array_cs.cpp
//
// = DESCRIPTION
// Visitor for code generation of Arrays in the client stubs
//
// = AUTHOR
// Aniruddha Gokhale
//
// ============================================================================
#include "idl.h"
#include "idl_extern.h"
#include "be.h"
#include "be_visitor_array.h"
ACE_RCSID(be_visitor_array, array_cs, "$Id$")
// ************************************************************************
// visitor for array declaration in client stubs
// ************************************************************************
be_visitor_array_cs::be_visitor_array_cs (be_visitor_context *ctx)
: be_visitor_array (ctx)
{
}
be_visitor_array_cs::~be_visitor_array_cs (void)
{
}
int be_visitor_array_cs::visit_array (be_array *node)
{
TAO_OutStream *os = this->ctx_->stream (); // get output stream
be_type *bt; // base type
be_decl *scope = this->ctx_->scope (); // scope in which it is used
unsigned long i;
// nothing to do if we are imported or code is already generated
if (node->imported () || (node->cli_stub_gen ()))
return 0;
this->ctx_->node (node); // save the array node
// retrieve the type
bt = be_type::narrow_from_decl (node->base_type ());
if (!bt)
{
ACE_ERROR_RETURN ((LM_ERROR,
"be_visitor_array_ci::"
"visit_array - "
"Bad base type\n"),
-1);
}
// dup method
os->indent ();
*os << node->name () << "_slice *" << be_nl
<< node->name () << "_dup (const " << node->name ()
<< "_slice *_tao_src_array)" << be_nl;
*os << "{" << be_idt_nl;
*os << node->name () << "_slice *_tao_dup_array = " << node->name ()
<< "_alloc ();" << be_nl;
*os << "if (!_tao_dup_array) return (" << node->name ()
<< "_slice *)0;" << be_nl;
*os << node->name () << "_copy (_tao_dup_array, _tao_src_array);" << be_nl;
*os << "return _tao_dup_array;" << be_uidt_nl;
*os << "}\n\n";
// copy method
*os << "void " << be_nl;
*os << node->name () << "_copy (" << node->name () << "_slice * _tao_to, "
<< "const " << node->name () << "_slice *_tao_from)" << be_nl;
*os << "{" << be_idt_nl;
*os << "// copy each individual elements" << be_nl;
// generate nested loops for as many dimensions as there are
for (i = 0; i < node->n_dims (); i++)
{
// retrieve the ith dimension value
AST_Expression *expr = node->dims ()[i];
// dimension value
if ((expr == NULL) || ((expr != NULL) && (expr->ev () == NULL)))
{
ACE_ERROR_RETURN ((LM_ERROR,
"(%N:%l) be_visitor_array_cs::"
"visit_array - "
"bad array dimension\n"),
-1);
}
if (expr->ev ()->et == AST_Expression::EV_ulong)
{
// generate a loop for each dimension
*os << "for (CORBA::ULong i" << i << " = 0; i" << i << " < "
<< expr->ev ()->u.ulval << "; i" << i << "++)" << be_idt_nl;
}
else
{
ACE_ERROR_RETURN ((LM_ERROR,
"(%N:%l) be_visitor_array_cs::"
"visit_array - "
"bad array dimension value\n"),
-1);
}
}
// now generate code such that every element of the array gets assigned
// inside the innermost level of the nested loops generated above
be_array *primitive_type = 0;
if (bt->node_type () == AST_Decl::NT_typedef)
{
// base type of the array node is a typedef. We need to make sure that
// this typedef is not to another array type. If it is, then we cannot
// assign an array to another. We will have to invoke the underlying
// array type's copy method for every array dimension.
be_typedef *tdef = be_typedef::narrow_from_decl (bt);
// check if the base type of the typedef node is an Array node
primitive_type = be_array::narrow_from_decl (tdef->base_type ());
}
if (primitive_type)
{
// the base type is not a typedef to a possibly another array type. In
// such a case, assign each element.
*os << "// call the underlying _copy" << be_nl;
if (bt->accept (this) == -1)
{
ACE_ERROR_RETURN ((LM_ERROR,
"be_visitor_array_cs::"
"visit_array - "
"base type decl failed\n"),
-1);
}
*os << "_copy (_tao_to";
for (i = 0; i < node->n_dims (); i++)
{
*os << "[i" << i << "]";
}
*os << ", ";
*os << "_tao_from"; // generate the rvalue
for (i = 0; i < node->n_dims (); i++)
{
*os << "[i" << i << "]";
}
*os << ");";
}
else
{
// the base type is not a typedef to a possibly another array type. In
// such a case, assign each element.
*os << "_tao_to"; // generate the lvalue
for (i = 0; i < node->n_dims (); i++)
{
*os << "[i" << i << "]";
}
*os << " = ";
*os << "_tao_from"; // generate the rvalue
for (i = 0; i < node->n_dims (); i++)
{
*os << "[i" << i << "]";
}
*os << ";";
}
for (i = 0; i < node->n_dims (); i++)
{
// decrement indentation as many times as the number of dimensions
*os << be_uidt;
}
*os << be_uidt_nl << "}\n\n";
// is this a typedefined array? if so, then let the typedef deal with
// generation of the typecode
if (!this->ctx_->tdef ())
{
// by using a visitor to declare and define the TypeCode, we have the
// added advantage to conditionally not generate any code. This will be
// based on the command line options. This is still TO-DO
be_visitor_context ctx = *this->ctx_;
ctx.state (TAO_CodeGen::TAO_TYPECODE_DEFN);
be_visitor *visitor = tao_cg->make_visitor (&ctx);
if (!visitor || (node->accept (visitor) == -1))
{
ACE_ERROR_RETURN ((LM_ERROR,
"(%N:%l) be_visitor_array_cs::"
"visit_array - "
"TypeCode definition failed\n"
), -1);
}
delete visitor;
}
node->cli_stub_gen (1);
return 0;
}
|
