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 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 : m_pDiscriminantType = pDiscType;
51 0 : switch (pBaseType->getExprType())
52 : {
53 : case ET_long:
54 : case ET_ulong:
55 : case ET_short:
56 : case ET_ushort:
57 : case ET_char:
58 : case ET_boolean:
59 0 : m_discExprType = pBaseType->getExprType();
60 0 : break;
61 : default:
62 0 : m_discExprType = ET_none;
63 0 : m_pDiscriminantType = NULL;
64 0 : break;
65 : }
66 : } else
67 0 : if (pDiscType->getNodeType() == NT_enum)
68 : {
69 0 : m_discExprType = ET_any;
70 0 : m_pDiscriminantType = pDiscType;
71 : } else
72 : {
73 0 : m_discExprType = ET_none;
74 0 : m_pDiscriminantType = NULL;
75 : }
76 :
77 0 : if ( !m_pDiscriminantType )
78 0 : idlc()->error()->error2(EIDL_DISC_TYPE, this, pDiscType);
79 : }
80 :
81 0 : AstUnion::~AstUnion()
82 : {
83 0 : }
84 :
85 0 : AstDeclaration* AstUnion::addDeclaration(AstDeclaration* pDecl)
86 : {
87 0 : if ( pDecl->getNodeType() == NT_union_branch )
88 : {
89 0 : AstUnionBranch* pBranch = (AstUnionBranch*)pDecl;
90 0 : if ( lookupBranch(pBranch) )
91 : {
92 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pDecl);
93 0 : return NULL;
94 : }
95 : }
96 :
97 0 : return AstScope::addDeclaration(pDecl);
98 : }
99 :
100 0 : AstUnionBranch* AstUnion::lookupBranch(AstUnionBranch* pBranch)
101 : {
102 0 : AstUnionLabel* pLabel = NULL;
103 :
104 0 : if ( pBranch )
105 0 : pLabel = pBranch->getLabel();
106 :
107 0 : if ( pLabel )
108 : {
109 0 : if (pLabel->getLabelKind() == UL_default)
110 0 : return lookupDefault();
111 0 : if (m_discExprType == ET_any)
112 : /* CONVENTION: indicates enum discr */
113 0 : return lookupEnum(pBranch);
114 0 : return lookupLabel(pBranch);
115 : }
116 0 : return NULL;
117 : }
118 :
119 0 : AstUnionBranch* AstUnion::lookupDefault(sal_Bool bReportError)
120 : {
121 0 : DeclList::const_iterator iter = getIteratorBegin();
122 0 : DeclList::const_iterator end = getIteratorEnd();
123 0 : AstUnionBranch *pBranch = NULL;
124 0 : AstDeclaration *pDecl = NULL;
125 :
126 0 : while ( iter != end )
127 : {
128 0 : pDecl = *iter;
129 0 : if ( pDecl->getNodeType() == NT_union_branch )
130 : {
131 0 : pBranch = (AstUnionBranch*)pDecl;
132 0 : if (pBranch == NULL)
133 : {
134 0 : ++iter;
135 0 : continue;
136 : }
137 0 : if ( pBranch->getLabel() != NULL &&
138 0 : pBranch->getLabel()->getLabelKind() == UL_default)
139 : {
140 0 : if ( bReportError )
141 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
142 0 : return pBranch;
143 : }
144 : }
145 0 : ++iter;
146 : }
147 0 : return NULL;
148 : }
149 :
150 0 : AstUnionBranch* AstUnion::lookupLabel(AstUnionBranch* pBranch)
151 : {
152 0 : AstUnionLabel* pLabel = pBranch->getLabel();
153 :
154 0 : if ( !pLabel->getLabelValue() )
155 0 : return pBranch;
156 : // pLabel->getLabelValue()->setExprValue(pLabel->getLabelValue()->coerce(m_discExprType, sal_False));
157 : AstExprValue* pLabelValue = pLabel->getLabelValue()->coerce(
158 0 : m_discExprType, sal_False);
159 0 : if ( !pLabelValue )
160 : {
161 0 : idlc()->error()->evalError(pLabel->getLabelValue());
162 0 : return pBranch;
163 : } else
164 : {
165 0 : pLabel->getLabelValue()->setExprValue(pLabelValue);
166 : }
167 :
168 0 : DeclList::const_iterator iter = getIteratorBegin();
169 0 : DeclList::const_iterator end = getIteratorEnd();
170 0 : AstUnionBranch* pB = NULL;
171 0 : AstDeclaration* pDecl = NULL;
172 :
173 0 : while ( iter != end )
174 : {
175 0 : pDecl = *iter;
176 0 : if ( pDecl->getNodeType() == NT_union_branch )
177 : {
178 0 : pB = (AstUnionBranch*)pDecl;
179 0 : if ( !pB )
180 : {
181 0 : ++iter;
182 0 : continue;
183 : }
184 0 : if ( pB->getLabel() != NULL &&
185 0 : pB->getLabel()->getLabelKind() == UL_label &&
186 0 : pB->getLabel()->getLabelValue()->compare(pLabel->getLabelValue()) )
187 : {
188 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
189 0 : return pBranch;
190 : }
191 : }
192 0 : ++iter;
193 : }
194 0 : return NULL;
195 : }
196 :
197 0 : AstUnionBranch* AstUnion::lookupEnum(AstUnionBranch* pBranch)
198 : {
199 0 : AstDeclaration const * pType = resolveTypedefs(m_pDiscriminantType);
200 0 : if ( pType->getNodeType() != NT_enum )
201 0 : return NULL;
202 :
203 0 : AstUnionLabel* pLabel = pBranch->getLabel();
204 0 : AstExpression* pExpr = pLabel->getLabelValue();
205 0 : if ( !pExpr )
206 0 : return pBranch;
207 :
208 : /*
209 : * Expecting a symbol label
210 : */
211 0 : if ( pExpr->getCombOperator() != EC_symbol)
212 : {
213 0 : idlc()->error()->enumValExpected(this);
214 0 : return pBranch;
215 : }
216 :
217 : /*
218 : * See if the symbol defines a constant in the discriminator enum
219 : */
220 0 : AstEnum* pEnum = (AstEnum*)pType;
221 0 : AstDeclaration* pDecl = pEnum->lookupByName(*pExpr->getSymbolicName());
222 0 : if ( pDecl == NULL || pDecl->getScope() != pEnum)
223 : {
224 0 : idlc()->error()->enumValLookupFailure(this, pEnum, *pExpr->getSymbolicName());
225 0 : return pBranch;
226 : }
227 :
228 :
229 0 : DeclList::const_iterator iter = getIteratorBegin();
230 0 : DeclList::const_iterator end = getIteratorEnd();
231 0 : AstUnionBranch* pB = NULL;
232 0 : pDecl = NULL;
233 :
234 0 : while ( iter != end )
235 : {
236 0 : pDecl = *iter;
237 0 : if ( pDecl->getNodeType() == NT_union_branch )
238 : {
239 0 : pB = (AstUnionBranch*)pDecl;
240 0 : if ( !pB )
241 : {
242 0 : ++iter;
243 0 : continue;
244 : }
245 0 : if ( pB->getLabel() != NULL &&
246 0 : pB->getLabel()->getLabelKind() == UL_label &&
247 0 : pB->getLabel()->getLabelValue()->compare(pLabel->getLabelValue()) )
248 : {
249 0 : idlc()->error()->error2(EIDL_MULTIPLE_BRANCH, this, pBranch);
250 0 : return pBranch;
251 : }
252 : }
253 0 : ++iter;
254 : }
255 0 : return NULL;
256 : }
257 :
258 0 : sal_Bool AstUnion::dump(RegistryKey& rKey)
259 : {
260 0 : RegistryKey localKey;
261 0 : if (rKey.createKey( OStringToOUString(getFullName(), RTL_TEXTENCODING_UTF8 ), localKey))
262 : {
263 : fprintf(stderr, "%s: warning, could not create key '%s' in '%s'\n",
264 0 : idlc()->getOptions()->getProgramName().getStr(),
265 0 : getFullName().getStr(), OUStringToOString(rKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
266 0 : return sal_False;
267 : }
268 :
269 0 : sal_uInt16 nMember = getNodeCount(NT_union_branch);
270 :
271 0 : OUString emptyStr;
272 : typereg::Writer aBlob(
273 0 : TYPEREG_VERSION_0, getDocumentation(), emptyStr, RT_TYPE_UNION,
274 0 : false, OStringToOUString(getRelativName(), RTL_TEXTENCODING_UTF8), 1,
275 0 : nMember, 0, 0);
276 : aBlob.setSuperTypeName(
277 : 0,
278 : OStringToOUString(
279 0 : getDiscrimantType()->getScopedName(), RTL_TEXTENCODING_UTF8));
280 :
281 0 : if ( nMember > 0 )
282 : {
283 0 : DeclList::const_iterator iter = getIteratorBegin();
284 0 : DeclList::const_iterator end = getIteratorEnd();
285 0 : AstDeclaration* pDecl = NULL;
286 0 : AstUnionBranch* pBranch = NULL;
287 0 : AstUnionBranch* pDefault = lookupDefault(sal_False);
288 0 : AstUnionLabel* pLabel = NULL;
289 0 : AstExprValue* pExprValue = NULL;
290 0 : RTConstValue aConst;
291 0 : sal_uInt16 index = 0;
292 0 : if ( pDefault )
293 0 : index = 1;
294 :
295 0 : sal_Int64 disc = 0;
296 0 : while ( iter != end )
297 : {
298 0 : pDecl = *iter;
299 0 : if ( pDecl->getNodeType() == NT_union_branch )
300 : {
301 0 : pBranch = (AstUnionBranch*)pDecl;
302 0 : if (pBranch == pDefault)
303 : {
304 0 : ++iter;
305 0 : continue;
306 : }
307 :
308 0 : pLabel = pBranch->getLabel();
309 0 : pExprValue = pLabel->getLabelValue()->coerce(ET_hyper, sal_False);
310 0 : aConst.m_type = RT_TYPE_INT64;
311 0 : aConst.m_value.aHyper = pExprValue->u.hval;
312 0 : if ( aConst.m_value.aHyper > disc )
313 0 : disc = aConst.m_value.aHyper;
314 :
315 : aBlob.setFieldData(
316 0 : index++, pBranch->getDocumentation(), emptyStr, RT_ACCESS_READWRITE,
317 : OStringToOUString(
318 0 : pBranch->getLocalName(), RTL_TEXTENCODING_UTF8),
319 : OStringToOUString(
320 0 : pBranch->getType()->getRelativName(),
321 : RTL_TEXTENCODING_UTF8),
322 0 : aConst);
323 : }
324 0 : ++iter;
325 : }
326 :
327 0 : if ( pDefault )
328 : {
329 0 : aConst.m_type = RT_TYPE_INT64;
330 0 : aConst.m_value.aHyper = disc + 1;
331 : aBlob.setFieldData(
332 0 : 0, pDefault->getDocumentation(), emptyStr, RT_ACCESS_DEFAULT,
333 : OStringToOUString(
334 0 : pDefault->getLocalName(), RTL_TEXTENCODING_UTF8),
335 : OStringToOUString(
336 0 : pDefault->getType()->getRelativName(),
337 : RTL_TEXTENCODING_UTF8),
338 0 : aConst);
339 0 : }
340 : }
341 :
342 : sal_uInt32 aBlobSize;
343 0 : void const * pBlob = aBlob.getBlob(&aBlobSize);
344 :
345 0 : if (localKey.setValue(OUString(), RG_VALUETYPE_BINARY,
346 0 : (RegValue)pBlob, aBlobSize))
347 : {
348 : fprintf(stderr, "%s: warning, could not set value of key \"%s\" in %s\n",
349 0 : idlc()->getOptions()->getProgramName().getStr(),
350 0 : getFullName().getStr(), OUStringToOString(localKey.getRegistryName(), RTL_TEXTENCODING_UTF8).getStr());
351 0 : return sal_False;
352 : }
353 :
354 0 : return sal_True;
355 : }
356 :
357 0 : AstUnionBranch::AstUnionBranch(AstUnionLabel* pLabel, AstType const * pType, const OString& name, AstScope* pScope)
358 : : AstMember(NT_union_branch, pType, name, pScope)
359 0 : , m_pLabel(pLabel)
360 : {
361 0 : }
362 :
363 0 : AstUnionBranch::~AstUnionBranch()
364 : {
365 0 : delete m_pLabel;
366 0 : }
367 :
368 0 : AstUnionLabel::AstUnionLabel(UnionLabel labelKind, AstExpression* pExpr)
369 : : m_label(labelKind)
370 0 : , m_pLabelValue(pExpr)
371 : {
372 0 : if ( m_pLabelValue )
373 0 : m_pLabelValue->evaluate(EK_const);
374 0 : }
375 :
376 0 : AstUnionLabel::~AstUnionLabel()
377 : {
378 0 : delete m_pLabelValue;
379 0 : }
380 :
381 :
382 : /* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|
