Branch data Line data Source code
1 : : /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2 : : /*
3 : : * This file is part of the LibreOffice project.
4 : : *
5 : : * This Source Code Form is subject to the terms of the Mozilla Public
6 : : * License, v. 2.0. If a copy of the MPL was not distributed with this
7 : : * file, You can obtain one at http://mozilla.org/MPL/2.0/.
8 : : *
9 : : * This file incorporates work covered by the following license notice:
10 : : *
11 : : * Licensed to the Apache Software Foundation (ASF) under one or more
12 : : * contributor license agreements. See the NOTICE file distributed
13 : : * with this work for additional information regarding copyright
14 : : * ownership. The ASF licenses this file to you under the Apache
15 : : * License, Version 2.0 (the "License"); you may not use this file
16 : : * except in compliance with the License. You may obtain a copy of
17 : : * the License at http://www.apache.org/licenses/LICENSE-2.0 .
18 : : */
19 : :
20 : : #include <idlc/astunion.hxx>
21 : : #include <idlc/astbasetype.hxx>
22 : : #include <idlc/errorhandler.hxx>
23 : :
24 : : #include "registry/version.h"
25 : : #include "registry/writer.hxx"
26 : :
27 : : using namespace ::rtl;
28 : :
29 : 0 : AstUnion::AstUnion(const ::rtl::OString& name, AstType* pDiscType, AstScope* pScope)
30 : : : AstStruct(NT_union, name, NULL, pScope)
31 : : , m_pDiscriminantType(pDiscType)
32 : 0 : , m_discExprType(ET_long)
33 : : {
34 : : AstBaseType* pBaseType;
35 : :
36 [ # # ]: 0 : if ( !pDiscType )
37 : : {
38 : 0 : m_pDiscriminantType = NULL;
39 : 0 : m_discExprType = ET_none;
40 : 0 : return;
41 : : }
42 : : /*
43 : : * If the discriminator type is a predefined type
44 : : * then install the equivalent coercion target type in
45 : : * the pd_udisc_type field.
46 : : */
47 [ # # ]: 0 : if ( pDiscType->getNodeType() == NT_predefined )
48 : : {
49 : 0 : pBaseType = (AstBaseType*)pDiscType;
50 [ # # ]: 0 : if ( !pBaseType )
51 : : {
52 : 0 : m_pDiscriminantType = NULL;
53 : 0 : m_discExprType = ET_none;
54 : 0 : return;
55 : : }
56 : 0 : m_pDiscriminantType = pDiscType;
57 [ # # ]: 0 : switch (pBaseType->getExprType())
58 : : {
59 : : case ET_long:
60 : : case ET_ulong:
61 : : case ET_short:
62 : : case ET_ushort:
63 : : case ET_char:
64 : : case ET_boolean:
65 : 0 : m_discExprType = pBaseType->getExprType();
66 : 0 : break;
67 : : default:
68 : 0 : m_discExprType = ET_none;
69 : 0 : m_pDiscriminantType = NULL;
70 : 0 : break;
71 : : }
72 : : } else
73 [ # # ]: 0 : if (pDiscType->getNodeType() == NT_enum)
74 : : {
75 : 0 : m_discExprType = ET_any;
76 : 0 : m_pDiscriminantType = pDiscType;
77 : : } else
78 : : {
79 : 0 : m_discExprType = ET_none;
80 : 0 : m_pDiscriminantType = NULL;
81 : : }
82 : :
83 [ # # ]: 0 : if ( !m_pDiscriminantType )
84 [ # # ][ # # ]: 0 : idlc()->error()->error2(EIDL_DISC_TYPE, this, pDiscType);
85 : : }
86 : :
87 : 0 : AstUnion::~AstUnion()
88 : : {
89 [ # # ]: 0 : }
90 : :
91 : 0 : AstDeclaration* AstUnion::addDeclaration(AstDeclaration* pDecl)
92 : : {
93 [ # # ]: 0 : if ( pDecl->getNodeType() == NT_union_branch )
94 : : {
95 : 0 : AstUnionBranch* pBranch = (AstUnionBranch*)pDecl;
96 [ # # ]: 0 : if ( lookupBranch(pBranch) )
97 : : {
98 : 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pDecl);
99 : 0 : return NULL;
100 : : }
101 : : }
102 : :
103 : 0 : return AstScope::addDeclaration(pDecl);
104 : : }
105 : :
106 : 0 : AstUnionBranch* AstUnion::lookupBranch(AstUnionBranch* pBranch)
107 : : {
108 : 0 : AstUnionLabel* pLabel = NULL;
109 : :
110 [ # # ]: 0 : if ( pBranch )
111 : 0 : pLabel = pBranch->getLabel();
112 : :
113 [ # # ]: 0 : if ( pLabel )
114 : : {
115 [ # # ]: 0 : if (pLabel->getLabelKind() == UL_default)
116 : 0 : return lookupDefault();
117 [ # # ]: 0 : if (m_discExprType == ET_any)
118 : : /* CONVENTION: indicates enum discr */
119 : 0 : return lookupEnum(pBranch);
120 : 0 : return lookupLabel(pBranch);
121 : : }
122 : 0 : return NULL;
123 : : }
124 : :
125 : 0 : AstUnionBranch* AstUnion::lookupDefault(sal_Bool bReportError)
126 : : {
127 : 0 : DeclList::const_iterator iter = getIteratorBegin();
128 : 0 : DeclList::const_iterator end = getIteratorEnd();
129 : 0 : AstUnionBranch *pBranch = NULL;
130 : 0 : AstDeclaration *pDecl = NULL;
131 : :
132 [ # # ]: 0 : while ( iter != end )
133 : : {
134 : 0 : pDecl = *iter;
135 [ # # ]: 0 : if ( pDecl->getNodeType() == NT_union_branch )
136 : : {
137 : 0 : pBranch = (AstUnionBranch*)pDecl;
138 [ # # ]: 0 : if (pBranch == NULL)
139 : : {
140 : 0 : ++iter;
141 : 0 : continue;
142 : : }
143 [ # # # # ]: 0 : if ( pBranch->getLabel() != NULL &&
[ # # ]
144 : 0 : pBranch->getLabel()->getLabelKind() == UL_default)
145 : : {
146 [ # # ]: 0 : if ( bReportError )
147 [ # # ][ # # ]: 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
148 : 0 : return pBranch;
149 : : }
150 : : }
151 : 0 : ++iter;
152 : : }
153 : 0 : return NULL;
154 : : }
155 : :
156 : 0 : AstUnionBranch* AstUnion::lookupLabel(AstUnionBranch* pBranch)
157 : : {
158 : 0 : AstUnionLabel* pLabel = pBranch->getLabel();
159 : :
160 [ # # ]: 0 : if ( !pLabel->getLabelValue() )
161 : 0 : return pBranch;
162 : : // pLabel->getLabelValue()->setExprValue(pLabel->getLabelValue()->coerce(m_discExprType, sal_False));
163 : : AstExprValue* pLabelValue = pLabel->getLabelValue()->coerce(
164 [ # # ]: 0 : m_discExprType, sal_False);
165 [ # # ]: 0 : if ( !pLabelValue )
166 : : {
167 [ # # ][ # # ]: 0 : idlc()->error()->evalError(pLabel->getLabelValue());
168 : 0 : return pBranch;
169 : : } else
170 : : {
171 : 0 : pLabel->getLabelValue()->setExprValue(pLabelValue);
172 : : }
173 : :
174 : 0 : DeclList::const_iterator iter = getIteratorBegin();
175 : 0 : DeclList::const_iterator end = getIteratorEnd();
176 : 0 : AstUnionBranch* pB = NULL;
177 : 0 : AstDeclaration* pDecl = NULL;
178 : :
179 [ # # ]: 0 : while ( iter != end )
180 : : {
181 : 0 : pDecl = *iter;
182 [ # # ]: 0 : if ( pDecl->getNodeType() == NT_union_branch )
183 : : {
184 : 0 : pB = (AstUnionBranch*)pDecl;
185 [ # # ]: 0 : if ( !pB )
186 : : {
187 : 0 : ++iter;
188 : 0 : continue;
189 : : }
190 [ # # # # ]: 0 : if ( pB->getLabel() != NULL &&
[ # # ][ # # ]
191 : 0 : pB->getLabel()->getLabelKind() == UL_label &&
192 [ # # ]: 0 : pB->getLabel()->getLabelValue()->compare(pLabel->getLabelValue()) )
193 : : {
194 [ # # ][ # # ]: 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
195 : 0 : return pBranch;
196 : : }
197 : : }
198 : 0 : ++iter;
199 : : }
200 : 0 : return NULL;
201 : : }
202 : :
203 : 0 : AstUnionBranch* AstUnion::lookupEnum(AstUnionBranch* pBranch)
204 : : {
205 [ # # ]: 0 : AstDeclaration const * pType = resolveTypedefs(m_pDiscriminantType);
206 [ # # ]: 0 : if ( pType->getNodeType() != NT_enum )
207 : 0 : return NULL;
208 : :
209 : 0 : AstUnionLabel* pLabel = pBranch->getLabel();
210 : 0 : AstExpression* pExpr = pLabel->getLabelValue();
211 [ # # ]: 0 : if ( !pExpr )
212 : 0 : return pBranch;
213 : :
214 : : /*
215 : : * Expecting a symbol label
216 : : */
217 [ # # ]: 0 : if ( pExpr->getCombOperator() != EC_symbol)
218 : : {
219 [ # # ][ # # ]: 0 : idlc()->error()->enumValExpected(this);
220 : 0 : return pBranch;
221 : : }
222 : :
223 : : /*
224 : : * See if the symbol defines a constant in the discriminator enum
225 : : */
226 : 0 : AstEnum* pEnum = (AstEnum*)pType;
227 [ # # ]: 0 : AstDeclaration* pDecl = pEnum->lookupByName(*pExpr->getSymbolicName());
228 [ # # ][ # # ]: 0 : if ( pDecl == NULL || pDecl->getScope() != pEnum)
[ # # ][ # # ]
229 : : {
230 [ # # ][ # # ]: 0 : idlc()->error()->enumValLookupFailure(this, pEnum, *pExpr->getSymbolicName());
231 : 0 : return pBranch;
232 : : }
233 : :
234 : :
235 : 0 : DeclList::const_iterator iter = getIteratorBegin();
236 : 0 : DeclList::const_iterator end = getIteratorEnd();
237 : 0 : AstUnionBranch* pB = NULL;
238 : 0 : pDecl = NULL;
239 : :
240 [ # # ]: 0 : while ( iter != end )
241 : : {
242 : 0 : pDecl = *iter;
243 [ # # ]: 0 : if ( pDecl->getNodeType() == NT_union_branch )
244 : : {
245 : 0 : pB = (AstUnionBranch*)pDecl;
246 [ # # ]: 0 : if ( !pB )
247 : : {
248 : 0 : ++iter;
249 : 0 : continue;
250 : : }
251 [ # # # # ]: 0 : if ( pB->getLabel() != NULL &&
[ # # ][ # # ]
252 : 0 : pB->getLabel()->getLabelKind() == UL_label &&
253 [ # # ]: 0 : pB->getLabel()->getLabelValue()->compare(pLabel->getLabelValue()) )
254 : : {
255 [ # # ][ # # ]: 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
256 : 0 : return pBranch;
257 : : }
258 : : }
259 : 0 : ++iter;
260 : : }
261 : 0 : return NULL;
262 : : }
263 : :
264 : 0 : sal_Bool AstUnion::dump(RegistryKey& rKey)
265 : : {
266 [ # # ]: 0 : RegistryKey localKey;
267 [ # # ][ # # ]: 0 : if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey))
[ # # ]
268 : : {
269 : : fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
270 [ # # ][ # # ]: 0 : idlc()->getOptions()->getProgramName().getStr(),
271 [ # # ][ # # ]: 0 : getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
[ # # ]
272 : 0 : return sal_False;
273 : : }
274 : :
275 [ # # ]: 0 : sal_uInt16 nMember = getNodeCount(NT_union_branch);
276 : :
277 : 0 : OUString emptyStr;
278 : : typereg::Writer aBlob(
279 : 0 : TYPEREG_VERSION_0, getDocumentation(), emptyStr, RT_TYPE_UNION,
280 [ # # ]: 0 : false, OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 1,
281 [ # # # # ]: 0 : nMember, 0, 0);
282 : : aBlob.setSuperTypeName(
283 : : 0,
284 : : OStringToOUString(
285 [ # # ][ # # ]: 0 : getDiscrimantType()->getScopedName(), RTL_TEXTENCODING_UTF8));
286 : :
287 [ # # ]: 0 : if ( nMember > 0 )
288 : : {
289 : 0 : DeclList::const_iterator iter = getIteratorBegin();
290 : 0 : DeclList::const_iterator end = getIteratorEnd();
291 : 0 : AstDeclaration* pDecl = NULL;
292 : 0 : AstUnionBranch* pBranch = NULL;
293 [ # # ]: 0 : AstUnionBranch* pDefault = lookupDefault(sal_False);
294 : 0 : AstUnionLabel* pLabel = NULL;
295 : 0 : AstExprValue* pExprValue = NULL;
296 : 0 : RTConstValue aConst;
297 : 0 : sal_uInt16 index = 0;
298 [ # # ]: 0 : if ( pDefault )
299 : 0 : index = 1;
300 : :
301 : 0 : sal_Int64 disc = 0;
302 [ # # ]: 0 : while ( iter != end )
303 : : {
304 : 0 : pDecl = *iter;
305 [ # # ]: 0 : if ( pDecl->getNodeType() == NT_union_branch )
306 : : {
307 : 0 : pBranch = (AstUnionBranch*)pDecl;
308 [ # # ]: 0 : if (pBranch == pDefault)
309 : : {
310 : 0 : ++iter;
311 : 0 : continue;
312 : : }
313 : :
314 : 0 : pLabel = pBranch->getLabel();
315 [ # # ]: 0 : pExprValue = pLabel->getLabelValue()->coerce(ET_hyper, sal_False);
316 : 0 : aConst.m_type = RT_TYPE_INT64;
317 : 0 : aConst.m_value.aHyper = pExprValue->u.hval;
318 [ # # ]: 0 : if ( aConst.m_value.aHyper > disc )
319 : 0 : disc = aConst.m_value.aHyper;
320 : :
321 : : aBlob.setFieldData(
322 : 0 : index++, pBranch->getDocumentation(), emptyStr, RT_ACCESS_READWRITE,
323 : : OStringToOUString(
324 : 0 : pBranch->getLocalName(), RTL_TEXTENCODING_UTF8),
325 : : OStringToOUString(
326 [ # # ]: 0 : pBranch->getType()->getRelativName(),
327 : : RTL_TEXTENCODING_UTF8),
328 [ # # # # : 0 : aConst);
# # ]
329 : : }
330 : 0 : ++iter;
331 : : }
332 : :
333 [ # # ]: 0 : if ( pDefault )
334 : : {
335 : 0 : aConst.m_type = RT_TYPE_INT64;
336 : 0 : aConst.m_value.aHyper = disc + 1;
337 : : aBlob.setFieldData(
338 : 0 : 0, pDefault->getDocumentation(), emptyStr, RT_ACCESS_DEFAULT,
339 : : OStringToOUString(
340 : 0 : pDefault->getLocalName(), RTL_TEXTENCODING_UTF8),
341 : : OStringToOUString(
342 [ # # ]: 0 : pDefault->getType()->getRelativName(),
343 : : RTL_TEXTENCODING_UTF8),
344 [ # # # # : 0 : aConst);
# # ]
345 : 0 : }
346 : : }
347 : :
348 : : sal_uInt32 aBlobSize;
349 [ # # ]: 0 : void const * pBlob = aBlob.getBlob(&aBlobSize);
350 : :
351 [ # # ]: 0 : if (localKey.setValue(OUString(), RG_VALUETYPE_BINARY,
352 [ # # ]: 0 : (RegValue)pBlob, aBlobSize))
353 : : {
354 : : fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
355 [ # # ][ # # ]: 0 : idlc()->getOptions()->getProgramName().getStr(),
356 [ # # ][ # # ]: 0 : getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
[ # # ]
357 : 0 : return sal_False;
358 : : }
359 : :
360 [ # # ]: 0 : return sal_True;
361 : : }
362 : :
363 : 0 : AstUnionBranch::AstUnionBranch(AstUnionLabel* pLabel, AstType const * pType, const ::rtl::OString& name, AstScope* pScope)
364 : : : AstMember(NT_union_branch, pType, name, pScope)
365 : 0 : , m_pLabel(pLabel)
366 : : {
367 : 0 : }
368 : :
369 : 0 : AstUnionBranch::~AstUnionBranch()
370 : : {
371 [ # # ]: 0 : if ( m_pLabel )
372 [ # # ][ # # ]: 0 : delete m_pLabel;
373 [ # # ]: 0 : }
374 : :
375 : 0 : AstUnionLabel::AstUnionLabel(UnionLabel labelKind, AstExpression* pExpr)
376 : : : m_label(labelKind)
377 : 0 : , m_pLabelValue(pExpr)
378 : : {
379 [ # # ]: 0 : if ( m_pLabelValue )
380 : 0 : m_pLabelValue->evaluate(EK_const);
381 : 0 : }
382 : :
383 : 0 : AstUnionLabel::~AstUnionLabel()
384 : : {
385 [ # # ]: 0 : if ( m_pLabelValue )
386 [ # # ]: 0 : delete m_pLabelValue;
387 [ # # ]: 0 : }
388 : :
389 : :
390 : : /* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|
