source: dev/trunk/abdev/BasicCompiler_Common/ParamImpl.cpp@ 152

Last change on this file since 152 was 140, checked in by dai_9181, 17 years ago

traceログ機能を搭載
動的メンバをstl::vectorにまとめた
シンボルをクラス化した

File size: 8.1 KB
Line 
1#include "common.h"
2
3#ifdef _AMD64_
4#include "../BasicCompiler64/opcode.h"
5#else
6#include "../BasicCompiler32/opcode.h"
7#endif
8
9#define OVERLOAD_MIN_LEVEL 0
10#define OVERLOAD_MAX_LEVEL 6
11#define OVERLOAD_LEVEL0 0 // 型調整なし。厳密に等しい
12#define OVERLOAD_LEVEL1 1 // 型調整なし。レベル1以上はオブジェクトの場合は派生関係を考慮
13#define OVERLOAD_LEVEL2 2 // 型調整なし。整数型/実数型レベルでの同一性チェック(サイズ照合あり)
14#define OVERLOAD_LEVEL3 3 // 型調整なし。整数型/実数型レベルでの同一性チェック
15#define OVERLOAD_LEVEL4 4 // 型調整あり。厳密に等しい
16#define OVERLOAD_LEVEL5 5 // 型調整あり。整数型/実数型レベルでの同一性チェック
17#define OVERLOAD_LEVEL6 6 // 型調整あり。数値型/クラス型レベルでの同一性チェック
18
19ParamImpl::ParamImpl(const char *buffer):
20 returnType()
21{
22 ///////////////////////////
23 // パラメータ文字列を整理
24 ///////////////////////////
25
26 extern HANDLE hHeap;
27 int i,i2,i3;
28 char temporary[VN_SIZE];
29
30 i=0;
31 ParmsNum=0;
32 while(1){
33 if(buffer[i]=='\0') break;
34
35 for(i2=0;;i2++,i++){
36 if(buffer[i]=='\"'){
37 temporary[i2]=buffer[i];
38 for(i++,i2++;;i++,i2++){
39 temporary[i2]=buffer[i];
40 if(buffer[i]=='\"') break;
41 }
42 continue;
43 }
44
45 if(buffer[i]=='('){
46 i3=GetStringInPare(temporary+i2,buffer+i);
47 i2+=i3-1;
48 i+=i3-1;
49 continue;
50 }
51 if(buffer[i]=='['){
52 i3=GetStringInBracket(temporary+i2,buffer+i);
53 i2+=i3-1;
54 i+=i3-1;
55 continue;
56 }
57
58 if(buffer[i]==','||buffer[i]=='\0'){
59 temporary[i2]=0;
60 break;
61 }
62 temporary[i2]=buffer[i];
63 }
64
65 Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
66 lstrcpy(Parms[ParmsNum],temporary);
67 ParmsNum++;
68
69 types.push_back( Type() );
70
71 if(buffer[i]==',') i++;
72 }
73}
74ParamImpl::ParamImpl(const Parameters &params):
75 returnType()
76{
77 ParmsNum = 0;
78 foreach( Parameter *pParam, params ){
79 Parms[ParmsNum]=0;
80 ParmsNum++;
81
82 types.push_back( *pParam );
83 }
84}
85ParamImpl::~ParamImpl(){
86 int i2;
87
88 //パラメータ文字列を解放
89 for(i2=0;i2<ParmsNum;i2++){
90 if(Parms[i2]==(char *)-1) continue;
91
92 if(Parms[i2]) HeapDefaultFree(Parms[i2]);
93 }
94}
95
96void ParamImpl::SetReturnType( const Type &returnType ){
97 this->returnType = returnType;
98}
99
100bool ParamImpl::EvaluateOverloadScore( int level, const Parameters &targetParms, const Type &targetResultType ){
101 //パラメータを識別してオーバーロードを解決
102
103 //パラメータの個数が不一致の場合
104 int max = (int)targetParms.size();
105
106 if( ParmsNum > max ){
107 // 実引数が駆り引数より多いとき
108 // ※無条件で不一致
109 return false;
110 }
111
112 Type argType;
113 for(int i=0;i<max;i++){
114 Parameter &param = *targetParms[i];
115
116 if( i >= ParmsNum ){
117 // 引数が多いとき
118 if( param.GetInitValue().size() > 0 ){
119 // 初期値が指定されているパラメータを考慮
120 return true;
121 }
122 else{
123 return false;
124 }
125 }
126
127 if(Parms[i]){
128 Type nullParam( DEF_NON );
129
130 NumOpe_GetType(Parms[i],
131 ( level <= OVERLOAD_LEVEL3 )? nullParam : param,
132 argType);
133 }
134 else{
135 argType = types[i];
136 }
137
138 if(argType.GetBasicType()!=param.GetBasicType()){
139 if( level == OVERLOAD_LEVEL0 || level == OVERLOAD_LEVEL1 || level==OVERLOAD_LEVEL4 ){
140 return false;
141 }
142 else if( level == OVERLOAD_LEVEL2 ){
143 if( !(argType.IsWhole() && param.IsWhole() && argType.GetBasicSize() == param.GetBasicSize() ) ){
144 // サイズ違い
145 return false;
146 }
147 }
148 else if( level == OVERLOAD_LEVEL3 || level==OVERLOAD_LEVEL5){
149 if(!(
150 argType.IsWhole()&&param.IsWhole()||
151 argType.IsReal()&&param.IsReal()
152 )){
153 return false;
154 }
155 if( argType.IsPointer() || param.IsPointer() )
156 {
157 // ポインタ型の不整合は認めない
158 return false;
159 }
160 }
161 else if(level==OVERLOAD_LEVEL6){
162 if(argType.IsObject()||param.IsObject()) return false;
163 }
164 }
165 else{
166 //if(NATURAL_TYPE(argType.GetBasicType())==DEF_OBJECT || NATURAL_TYPE(argType.GetBasicType())==DEF_STRUCT){
167 if( NATURAL_TYPE(argType.GetBasicType())==DEF_STRUCT){
168 if(argType.GetIndex()!=param.GetIndex()){
169 return false;
170 }
171 }
172 else if( NATURAL_TYPE(argType.GetBasicType())==DEF_OBJECT ){
173 if( level == OVERLOAD_LEVEL0 ){
174 if( !param.GetClass().IsEquals( &argType.GetClass() ) ){
175 return false;
176 }
177 }
178 else{
179 if( !param.GetClass().IsEqualsOrSubClass( &argType.GetClass() ) ){
180 return false;
181 }
182 }
183 }
184 }
185 }
186
187 if( !targetResultType.IsNull() ){
188 //戻り値も比較対象にする
189 if( !returnType.Equals( targetResultType ) ){
190 return false;
191 }
192 }
193
194 return true;
195}
196
197UserProc *ParamImpl::_OverloadSolution( const char *name, std::vector<UserProc *> &subs, bool isEnabledReturnType ){
198 int sw=0;
199 UserProc *pUserProc;
200 pUserProc=0;
201
202 for( int level=OVERLOAD_MIN_LEVEL; level<=OVERLOAD_MAX_LEVEL; level++ ){
203
204 foreach( UserProc *pTempUserProc, subs ){
205
206 if(EvaluateOverloadScore( level, pTempUserProc->Params(), isEnabledReturnType?pTempUserProc->ReturnType():Type() )){
207 trace( "レベル" << level << " ○適合..." << pTempUserProc->_paramStr );
208
209 if(sw){
210 if( isEnabledReturnType ){
211 SetError(52,name,cp);
212
213 return 0;
214 }
215 else{
216 // 戻り値も比較するモードにして再びオーバーロード解決を試みる
217
218 trace( "戻り値も比較するモードに切り替えてオーバーロード解決を試みる" );
219
220 return OverloadSolution(name,subs, true);
221 }
222 }
223 sw=1;
224
225 pUserProc = pTempUserProc;
226 }
227 else
228 {
229 trace( "レベル" << level << " ×不適合..." << pTempUserProc->_paramStr );
230 }
231 }
232
233 if( sw ) break;
234 }
235
236 if(!sw){
237 foreach( UserProc *pTempUserProc, subs ){
238
239 //エラーチェック
240 if(pTempUserProc->Params().size()==this->ParmsNum){
241 if(sw){
242 sw=0;
243 break;
244 }
245 sw=1;
246
247 pUserProc=pTempUserProc;
248 }
249 }
250 }
251
252 if(!sw){
253 SetError(52,name,cp);
254
255 return 0;
256 }
257
258
259 return pUserProc;
260}
261UserProc *ParamImpl::OverloadSolution( const char *name, std::vector<UserProc *> &subs, bool isEnabledReturnType ){
262 trace( "" );
263 trace( "■■■■■■■■■■■■■■■■■■" );
264 trace( "■■■ オーバーロード解決(" << name << ")" );
265
266 UserProc *result = _OverloadSolution( name, subs, isEnabledReturnType );
267
268 trace( "■■■ ここまで" );
269 trace( "■■■■■■■■■■■■■■■■■■" );
270 trace( "" );
271
272 return result;
273}
274
275void ParamImpl::ApplyDefaultParameters( const Parameters &params ){
276 if( ParmsNum == (int)params.size() ){
277 // デフォルト引数の適用が不必要なとき
278 return;
279 }
280
281 while( ParmsNum < (int)params.size() ){
282 Parameter &param = *params[ParmsNum];
283
284 Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,param.GetInitValue().size() + 1 );
285 lstrcpy(Parms[ParmsNum],param.GetInitValue().c_str() );
286 ParmsNum++;
287 }
288}
289
290bool ParamImpl::ErrorCheck( const string &procName, const Parameters &params, int SecondParmNum ){
291 if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
292
293 if(ParmsNum>(int)params.size() && params.size() != 0){
294 if(params[params.size()-1]->GetBasicType()!=DEF_ELLIPSE){
295 //パラメータが多すぎるとき
296 SetError(10,procName,cp);
297 return false;
298 }
299 }
300 else if(ParmsNum<(int)params.size()){
301 if(ParmsNum<SecondParmNum){
302 if(params[ParmsNum]->GetBasicType()==DEF_ELLIPSE){
303 return true;
304 }
305
306 //パラメータが少なすぎるとき
307 SetError(10,procName,cp);
308 return false;
309 }
310
311 //省略パラメータに "0" を指定する
312 for(;ParmsNum < (int)params.size();ParmsNum++){
313 extern HANDLE hHeap;
314 char temporary[64];
315 if(params[ParmsNum]->IsRef() == false) lstrcpy(temporary,"0");
316 else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
317 Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
318 lstrcpy(Parms[ParmsNum],temporary);
319 }
320 }
321
322 return true;
323}
324
325void ParamImpl::MacroParameterSupport( const Parameters &params ){
326 for(int i=0;i<ParmsNum;i++){
327 if(Parms[i][0]=='\0'){
328 extern HANDLE hHeap;
329 char temporary[64];
330 if( params[i]->IsRef() == false ) lstrcpy(temporary,"0");
331 else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
332 HeapDefaultFree(Parms[i]);
333 Parms[i]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
334 lstrcpy(Parms[i],temporary);
335 }
336 }
337}
Note: See TracBrowser for help on using the repository browser.