xref: /trunk/main/basic/source/comp/exprgen.cxx (revision 07a3d7f1)
1 /**************************************************************
2  *
3  * Licensed to the Apache Software Foundation (ASF) under one
4  * or more contributor license agreements.  See the NOTICE file
5  * distributed with this work for additional information
6  * regarding copyright ownership.  The ASF licenses this file
7  * to you under the Apache License, Version 2.0 (the
8  * "License"); you may not use this file except in compliance
9  * with the License.  You may obtain a copy of the License at
10  *
11  *   http://www.apache.org/licenses/LICENSE-2.0
12  *
13  * Unless required by applicable law or agreed to in writing,
14  * software distributed under the License is distributed on an
15  * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
16  * KIND, either express or implied.  See the License for the
17  * specific language governing permissions and limitations
18  * under the License.
19  *
20  *************************************************************/
21 
22 
23 
24 // MARKER(update_precomp.py): autogen include statement, do not remove
25 #include "precompiled_basic.hxx"
26 
27 #include "sbcomp.hxx"
28 #include "expr.hxx"
29 
30 // Umsetztabelle fuer Token-Operatoren und Opcodes
31 
32 typedef struct {
33 		SbiToken  eTok; 				// Token
34 		SbiOpcode eOp;  				// Opcode
35 } OpTable;
36 
37 static OpTable aOpTable [] = {
38 	{ EXPON,_EXP },
39 	{ MUL,	_MUL },
40 	{ DIV,	_DIV },
41 	{ IDIV,	_IDIV },
42 	{ MOD,	_MOD },
43 	{ PLUS,	_PLUS },
44 	{ MINUS,_MINUS },
45 	{ EQ,	_EQ },
46 	{ NE,	_NE },
47 	{ LE,	_LE },
48 	{ GE,	_GE },
49 	{ LT,	_LT },
50 	{ GT,	_GT },
51 	{ AND,	_AND },
52 	{ OR,	_OR },
53 	{ XOR,	_XOR },
54 	{ EQV,	_EQV },
55 	{ IMP,	_IMP },
56 	{ NOT,	_NOT },
57 	{ NEG,	_NEG },
58 	{ CAT,	_CAT },
59 	{ LIKE, _LIKE },
60 	{ IS,   _IS },
61 	{ NIL,  _NOP }};
62 
63 // Ausgabe eines Elements
Gen(RecursiveMode eRecMode)64 void SbiExprNode::Gen( RecursiveMode eRecMode )
65 {
66 	if( IsConstant() )
67 	{
68 		switch( GetType() )
69 		{
70 			case SbxEMPTY:	 pGen->Gen( _EMPTY ); break;
71 			case SbxINTEGER: pGen->Gen( _CONST,  (short) nVal ); break;
72 			case SbxSTRING:
73 			{
74 				sal_uInt16 nStringId = pGen->GetParser()->aGblStrings.Add( aStrVal, sal_True );
75 				pGen->Gen( _SCONST, nStringId ); break;
76 			}
77 			default:
78 			{
79 				sal_uInt16 nStringId = pGen->GetParser()->aGblStrings.Add( nVal, eType );
80 				pGen->Gen( _NUMBER, nStringId );
81 			}
82 		}
83 	}
84 	else if( IsOperand() )
85 	{
86 		SbiExprNode* pWithParent_ = NULL;
87 		SbiOpcode eOp;
88 		if( aVar.pDef->GetScope() == SbPARAM )
89         {
90             eOp = _PARAM;
91             if( 0 == aVar.pDef->GetPos() )
92 			{
93 				bool bTreatFunctionAsParam = true;
94 				if( eRecMode == FORCE_CALL )
95 				{
96 					bTreatFunctionAsParam = false;
97 				}
98 				else if( eRecMode == UNDEFINED )
99 				{
100 					if( aVar.pPar && aVar.pPar->IsBracket() )
101 				 		bTreatFunctionAsParam = false;
102 				}
103 				if( !bTreatFunctionAsParam )
104 					eOp = aVar.pDef->IsGlobal() ? _FIND_G : _FIND;
105 			}
106         }
107 		// AB: 17.12.1995, Spezialbehandlung fuer WITH
108 		else if( (pWithParent_ = GetWithParent()) != NULL )
109 		{
110 			eOp = _ELEM;			// .-Ausdruck in WITH
111 		}
112 		else
113 		{
114             eOp = ( aVar.pDef->GetScope() == SbRTL ) ? _RTL :
115                 (aVar.pDef->IsGlobal() ? _FIND_G : _FIND);
116 		}
117 
118 		if( eOp == _FIND )
119 		{
120 
121 			SbiProcDef* pProc = aVar.pDef->GetProcDef();
122 			if ( pGen->GetParser()->bClassModule )
123 				eOp = _FIND_CM;
124 			else if ( aVar.pDef->IsStatic() || (pProc && pProc->IsStatic()) )
125 			{
126 				eOp = _FIND_STATIC;
127 			}
128 		}
129 		for( SbiExprNode* p = this; p; p = p->aVar.pNext )
130 		{
131 			if( p == this && pWithParent_ != NULL )
132 				pWithParent_->Gen();
133 			p->GenElement( eOp );
134 			eOp = _ELEM;
135 		}
136 	}
137 	else if( IsTypeOf() )
138 	{
139 		pLeft->Gen();
140 		pGen->Gen( _TESTCLASS, nTypeStrId );
141 	}
142 	else if( IsNew() )
143 	{
144 		pGen->Gen( _CREATE, 0, nTypeStrId );
145 	}
146 	else
147 	{
148 		pLeft->Gen();
149 		if( pRight )
150 			pRight->Gen();
151 		for( OpTable* p = aOpTable; p->eTok != NIL; p++ )
152 		{
153 			if( p->eTok == eTok )
154 			{
155 				pGen->Gen( p->eOp ); break;
156 			}
157 		}
158 	}
159 }
160 
161 // Ausgabe eines Operanden-Elements
162 
GenElement(SbiOpcode eOp)163 void SbiExprNode::GenElement( SbiOpcode eOp )
164 {
165 #ifdef DBG_UTIL
166 	if( (eOp < _RTL || eOp > _CALLC) && eOp != _FIND_G && eOp != _FIND_CM )
167 		pGen->GetParser()->Error( SbERR_INTERNAL_ERROR, "Opcode" );
168 #endif
169 	SbiSymDef* pDef = aVar.pDef;
170 	// Das ID ist entweder die Position oder das String-ID
171 	// Falls das Bit 0x8000 gesetzt ist, hat die Variable
172 	// eine Parameterliste.
173 	sal_uInt16 nId = ( eOp == _PARAM ) ? pDef->GetPos() : pDef->GetId();
174 	// Parameterliste aufbauen
175 	if( aVar.pPar && aVar.pPar->GetSize() )
176 	{
177 		nId |= 0x8000;
178 		aVar.pPar->Gen();
179 	}
180 
181 	pGen->Gen( eOp, nId, sal::static_int_cast< sal_uInt16 >( GetType() ) );
182 
183 	if( aVar.pvMorePar )
184 	{
185 		SbiExprListVector* pvMorePar = aVar.pvMorePar;
186 		SbiExprListVector::iterator it;
187 		for( it = pvMorePar->begin() ; it != pvMorePar->end() ; ++it )
188 		{
189 			SbiExprList* pExprList = *it;
190 			pExprList->Gen();
191 			pGen->Gen( _ARRAYACCESS );
192 		}
193 	}
194 }
195 
196 // Erzeugen einer Argv-Tabelle
197 // Das erste Element bleibt immer frei fuer Returnwerte etc.
198 // Siehe auch SbiProcDef::SbiProcDef() in symtbl.cxx
199 
Gen()200 void SbiExprList::Gen()
201 {
202 	if( pFirst )
203 	{
204 		pParser->aGen.Gen( _ARGC );
205 		// AB 10.1.96: Typ-Anpassung bei DECLARE
206 		sal_uInt16 nCount = 1 /*, nParAnz = 0*/;
207 //		SbiSymPool* pPool = NULL;
208 		for( SbiExpression* pExpr = pFirst; pExpr; pExpr = pExpr->pNext,nCount++ )
209 		{
210 			pExpr->Gen();
211 			if( pExpr->GetName().Len() )
212 			{
213 				// named arg
214 				sal_uInt16 nSid = pParser->aGblStrings.Add( pExpr->GetName() );
215 				pParser->aGen.Gen( _ARGN, nSid );
216 
217 				/* TODO: Check after Declare concept change
218 				// AB 10.1.96: Typanpassung bei named -> passenden Parameter suchen
219 				if( pProc )
220 				{
221 					// Vorerst: Error ausloesen
222 					pParser->Error( SbERR_NO_NAMED_ARGS );
223 
224 					// Spaeter, wenn Named Args bei DECLARE moeglich
225 					//for( sal_uInt16 i = 1 ; i < nParAnz ; i++ )
226 					//{
227 					//	SbiSymDef* pDef = pPool->Get( i );
228 					//	const String& rName = pDef->GetName();
229 					//	if( rName.Len() )
230 					//	{
231 					//		if( pExpr->GetName().ICompare( rName )
232 					//			== COMPARE_EQUAL )
233 					//		{
234 					//			pParser->aGen.Gen( _ARGTYP, pDef->GetType() );
235 					//			break;
236 					//		}
237 					//	}
238 					//}
239 				}
240 				*/
241 			}
242 			else
243 			{
244 				pParser->aGen.Gen( _ARGV );
245 			}
246 		}
247 	}
248 }
249 
Gen(RecursiveMode eRecMode)250 void SbiExpression::Gen( RecursiveMode eRecMode )
251 {
252 	// AB: 17.12.1995, Spezialbehandlung fuer WITH
253 	// Wenn pExpr == .-Ausdruck in With, zunaechst Gen fuer Basis-Objekt
254 	pExpr->Gen( eRecMode );
255 	if( bByVal )
256 		pParser->aGen.Gen( _BYVAL );
257 	if( bBased )
258 	{
259 		sal_uInt16 uBase = pParser->nBase;
260 		if( pParser->IsCompatible() )
261 			uBase |= 0x8000;		// #109275 Flag compatibility
262 		pParser->aGen.Gen( _BASED, uBase );
263 		pParser->aGen.Gen( _ARGV );
264 	}
265 }
266 
267