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 :
21 : #include "codegen.hxx"
22 : #include "expr.hxx"
23 : #include "parser.hxx"
24 :
25 : // Transform table for token operators and opcodes
26 :
27 : typedef struct {
28 : SbiToken eTok; // Token
29 : SbiOpcode eOp; // Opcode
30 : } OpTable;
31 :
32 : static const OpTable aOpTable [] = {
33 : { EXPON,_EXP },
34 : { MUL, _MUL },
35 : { DIV, _DIV },
36 : { IDIV, _IDIV },
37 : { MOD, _MOD },
38 : { PLUS, _PLUS },
39 : { MINUS,_MINUS },
40 : { EQ, _EQ },
41 : { NE, _NE },
42 : { LE, _LE },
43 : { GE, _GE },
44 : { LT, _LT },
45 : { GT, _GT },
46 : { AND, _AND },
47 : { OR, _OR },
48 : { XOR, _XOR },
49 : { EQV, _EQV },
50 : { IMP, _IMP },
51 : { NOT, _NOT },
52 : { NEG, _NEG },
53 : { CAT, _CAT },
54 : { LIKE, _LIKE },
55 : { IS, _IS },
56 : { NIL, _NOP }};
57 :
58 : // Output of an element
59 18176 : void SbiExprNode::Gen( RecursiveMode eRecMode )
60 : {
61 : sal_uInt16 nStringId;
62 :
63 18176 : if( IsConstant() )
64 : {
65 5388 : switch( GetType() )
66 : {
67 : case SbxEMPTY:
68 4 : pGen->Gen( _EMPTY );
69 4 : break;
70 : case SbxINTEGER:
71 1872 : pGen->Gen( _CONST, (short) nVal );
72 1872 : break;
73 : case SbxSTRING:
74 3418 : nStringId = pGen->GetParser()->aGblStrings.Add( aStrVal, true );
75 3418 : pGen->Gen( _SCONST, nStringId );
76 3418 : break;
77 : default:
78 94 : nStringId = pGen->GetParser()->aGblStrings.Add( nVal, eType );
79 94 : pGen->Gen( _NUMBER, nStringId );
80 94 : break;
81 : }
82 : }
83 12788 : else if( IsOperand() )
84 : {
85 9944 : SbiExprNode* pWithParent_ = NULL;
86 : SbiOpcode eOp;
87 9944 : if( aVar.pDef->GetScope() == SbPARAM )
88 : {
89 709 : eOp = _PARAM;
90 709 : if( 0 == aVar.pDef->GetPos() )
91 : {
92 277 : bool bTreatFunctionAsParam = true;
93 277 : if( eRecMode == FORCE_CALL )
94 : {
95 0 : bTreatFunctionAsParam = false;
96 : }
97 277 : else if( eRecMode == UNDEFINED )
98 : {
99 0 : if( aVar.pPar && aVar.pPar->IsBracket() )
100 : {
101 0 : bTreatFunctionAsParam = false;
102 : }
103 : }
104 277 : if( !bTreatFunctionAsParam )
105 : {
106 0 : eOp = aVar.pDef->IsGlobal() ? _FIND_G : _FIND;
107 : }
108 : }
109 : }
110 : // special treatment for WITH
111 9235 : else if( (pWithParent_ = GetWithParent()) != NULL )
112 : {
113 113 : eOp = _ELEM; // .-Term in WITH
114 : }
115 : else
116 : {
117 9122 : eOp = ( aVar.pDef->GetScope() == SbRTL ) ? _RTL :
118 9122 : (aVar.pDef->IsGlobal() ? _FIND_G : _FIND);
119 : }
120 :
121 9944 : if( eOp == _FIND )
122 : {
123 :
124 8034 : SbiProcDef* pProc = aVar.pDef->GetProcDef();
125 8034 : if ( pGen->GetParser()->bClassModule )
126 : {
127 0 : eOp = _FIND_CM;
128 : }
129 8034 : else if ( aVar.pDef->IsStatic() || (pProc && pProc->IsStatic()) )
130 : {
131 0 : eOp = _FIND_STATIC;
132 : }
133 : }
134 22762 : for( SbiExprNode* p = this; p; p = p->aVar.pNext )
135 : {
136 12818 : if( p == this && pWithParent_ != NULL )
137 : {
138 113 : pWithParent_->Gen();
139 : }
140 12818 : p->GenElement( eOp );
141 12818 : eOp = _ELEM;
142 : }
143 : }
144 2844 : else if( IsTypeOf() )
145 : {
146 0 : pLeft->Gen();
147 0 : pGen->Gen( _TESTCLASS, nTypeStrId );
148 : }
149 2844 : else if( IsNew() )
150 : {
151 0 : pGen->Gen( _CREATE, 0, nTypeStrId );
152 : }
153 : else
154 : {
155 2844 : pLeft->Gen();
156 2844 : if( pRight )
157 : {
158 2719 : pRight->Gen();
159 : }
160 37517 : for( const OpTable* p = aOpTable; p->eTok != NIL; p++ )
161 : {
162 37517 : if( p->eTok == eTok )
163 : {
164 2844 : pGen->Gen( p->eOp ); break;
165 : }
166 : }
167 : }
168 18176 : }
169 :
170 : // Output of an operand element
171 :
172 12818 : void SbiExprNode::GenElement( SbiOpcode eOp )
173 : {
174 : #ifdef DBG_UTIL
175 : if ((eOp < _RTL || eOp > _CALLC) && eOp != _FIND_G && eOp != _FIND_CM && eOp != _FIND_STATIC)
176 : pGen->GetParser()->Error( SbERR_INTERNAL_ERROR, "Opcode" );
177 : #endif
178 12818 : SbiSymDef* pDef = aVar.pDef;
179 : // The ID is either the position or the String-ID
180 : // If the bit Bit 0x8000 is set, the variable have
181 : // a parameter list.
182 12818 : sal_uInt16 nId = ( eOp == _PARAM ) ? pDef->GetPos() : pDef->GetId();
183 : // Build a parameter list
184 12818 : if( aVar.pPar && aVar.pPar->GetSize() )
185 : {
186 3347 : nId |= 0x8000;
187 3347 : aVar.pPar->Gen();
188 : }
189 :
190 12818 : pGen->Gen( eOp, nId, sal::static_int_cast< sal_uInt16 >( GetType() ) );
191 :
192 12818 : if( aVar.pvMorePar )
193 : {
194 0 : SbiExprListVector* pvMorePar = aVar.pvMorePar;
195 0 : SbiExprListVector::iterator it;
196 0 : for( it = pvMorePar->begin() ; it != pvMorePar->end() ; ++it )
197 : {
198 0 : SbiExprList* pExprList = *it;
199 0 : pExprList->Gen();
200 0 : pGen->Gen( _ARRAYACCESS );
201 : }
202 : }
203 12818 : }
204 :
205 : // Create an Argv-Table
206 : // The first element remain available for return value etc.
207 : // See as well SbiProcDef::SbiProcDef() in symtbl.cxx
208 :
209 3347 : void SbiExprList::Gen()
210 : {
211 3347 : if( pFirst )
212 : {
213 3347 : pParser->aGen.Gen( _ARGC );
214 : // Type adjustment at DECLARE
215 3347 : sal_uInt16 nCount = 1;
216 :
217 8424 : for( SbiExpression* pExpr = pFirst; pExpr; pExpr = pExpr->pNext,nCount++ )
218 : {
219 5077 : pExpr->Gen();
220 5077 : if( !pExpr->GetName().isEmpty() )
221 : {
222 : // named arg
223 156 : sal_uInt16 nSid = pParser->aGblStrings.Add( pExpr->GetName() );
224 156 : pParser->aGen.Gen( _ARGN, nSid );
225 :
226 : /* TODO: Check after Declare concept change
227 : // From 1996-01-10: Type adjustment at named -> search suitable parameter
228 : if( pProc )
229 : {
230 : // For the present: trigger an error
231 : pParser->Error( SbERR_NO_NAMED_ARGS );
232 :
233 : // Later, if Named Args at DECLARE is possible
234 : //for( sal_uInt16 i = 1 ; i < nParAnz ; i++ )
235 : //{
236 : // SbiSymDef* pDef = pPool->Get( i );
237 : // const String& rName = pDef->GetName();
238 : // if( rName.Len() )
239 : // {
240 : // if( pExpr->GetName().ICompare( rName )
241 : // == COMPARE_EQUAL )
242 : // {
243 : // pParser->aGen.Gen( _ARGTYP, pDef->GetType() );
244 : // break;
245 : // }
246 : // }
247 : //}
248 : }
249 : */
250 : }
251 : else
252 : {
253 4921 : pParser->aGen.Gen( _ARGV );
254 : }
255 : }
256 : }
257 3347 : }
258 :
259 12500 : void SbiExpression::Gen( RecursiveMode eRecMode )
260 : {
261 : // special treatment for WITH
262 : // If pExpr == .-term in With, approximately Gen for Basis-Object
263 12500 : pExpr->Gen( eRecMode );
264 12500 : if( bByVal )
265 : {
266 0 : pParser->aGen.Gen( _BYVAL );
267 : }
268 12500 : if( bBased )
269 : {
270 28 : sal_uInt16 uBase = pParser->nBase;
271 28 : if( pParser->IsCompatible() )
272 : {
273 4 : uBase |= 0x8000; // #109275 Flag compatibility
274 : }
275 28 : pParser->aGen.Gen( _BASED, uBase );
276 28 : pParser->aGen.Gen( _ARGV );
277 : }
278 12500 : }
279 :
280 : /* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|
