source: dev/trunk/ab5.0/abdev/BasicCompiler_Common/src/Procedure.cpp @ 572

Last change on this file since 572 was 572, checked in by dai_9181, 15 years ago

ParseDllProc?/SetParamsAndReturnTypeForUserProcを実装。
File size: 11.4 KB
Line 
1#include "stdafx.h"
2
3#include <Compiler.h>
4#include <Procedure.h>
5
6#include "../common.h"
7#ifdef _AMD64_
8#include "../../compiler_x64/opcode.h"
9#else
10#include "../../compiler_x86/opcode.h"
11#endif
12
13using namespace ActiveBasic::Compiler;
14
15
16bool UserProc::IsEqualForOverride( const Types &actualTypeParametersForThisProc, const UserProc *pUserProc ) const
17{
18    if( this->GetName() == pUserProc->GetName()                     // 名前空間及び名前が等しい
19        && this->Params().Equals( actualTypeParametersForThisProc, pUserProc->Params() ) )          // パラメータが等しい
20    {
21        if( this->returnType.Equals( pUserProc->returnType ) )
22        {
23            // 戻り値が等しい
24            return true;
25        }
26        else if( this->returnType.IsCovariant( pUserProc->returnType ) )
27        {
28            // 戻り値が共変
29            return true;
30        }
31        else if( this->returnType.IsTypeParameter() )
32        {
33            // 型パラメータだったとき
34
35            if( actualTypeParametersForThisProc[this->returnType.GetFormalTypeIndex()].Equals( pUserProc->returnType ) )
36            {
37                // 戻り値が等しい
38                return true;
39            }
40            else if( actualTypeParametersForThisProc[this->returnType.GetFormalTypeIndex()].IsCovariant( pUserProc->returnType ) )
41            {
42                // 戻り値が共変
43                return true;
44            }
45        }
46    }
47    return false;
48}
49   
50
51std::string UserProc::GetFullName() const
52{
53    if( HasParentClass() ){
54        return GetParentClass().GetName() + "." + GetName();
55    }
56
57    return GetName();
58}
59bool UserProc::IsCastOperator() const
60{
61    if( GetName()[0] == 1 && GetName()[1] == ESC_OPERATOR && GetName()[2] == CALC_AS )
62    {
63        return true;
64    }
65    return false;
66}
67const NamespaceScopes &UserProc::GetNamespaceScopes() const
68{
69    if( HasParentClass() ){
70        return GetParentClassPtr()->GetNamespaceScopes();
71    }
72    return Symbol::GetNamespaceScopes();
73}
74const NamespaceScopesCollection &UserProc::GetImportedNamespaces() const
75{
76    if( pParentClass )
77    {
78        return pParentClass->GetImportedNamespaces();
79    }
80    return importedNamespaces;
81}
82bool UserProc::IsVirtual() const
83{
84    if( pMethod == NULL ){
85        return false;
86    }
87    return ( pMethod->IsVirtual() != 0 );
88}
89const CMethod &UserProc::GetMethod() const
90{
91    if( !HasParentClass() )
92    {
93        Jenga::Throw( "グローバル関数に対してUserProc::GetMethodメソッドが呼ばれた" );
94    }
95    return *pMethod;
96}
97
98const UserProc *UserProc::pGlobalProc = NULL;
99
100
101bool UserProcs::Insert( UserProc *pUserProc, int nowLine )
102{
103    /////////////////////////////////
104    // ハッシュデータに追加
105    /////////////////////////////////
106
107    if( !Put( pUserProc ) )
108    {
109        // 重複しているため、失敗
110        compiler.errorMessenger.Output(15,pUserProc->GetName().c_str(),nowLine);
111        return false;
112    }
113
114    return true;
115}
116
117void UserProcs::EnumGlobalProcs( const char *simpleName, const char *localName, std::vector<const UserProc *> &subs )
118{
119    ///////////////////////////
120    // グローバル関数を検索
121    ///////////////////////////
122
123    // ハッシュ値を取得
124    UserProc *pUserProc = GetHashArrayElement( simpleName );
125    while(pUserProc){
126        if( pUserProc->IsGlobalProcedure() ){
127            if( pUserProc->IsEqualSymbol( LexicalAnalyzer::FullNameToSymbol( localName ) ) ){
128                subs.push_back( pUserProc );
129            }
130        }
131
132        pUserProc=pUserProc->GetChainNext();
133    }
134}
135
136bool DllProc::SetParamsAndReturnType( const char *sourceOfParams, int nowLine ){
137    int i = 0;
138    int i2,i3,sw;
139    char temporary[8192],temp2[VN_SIZE];
140
141    //ソースコードの位置
142    this->codePos = nowLine;
143
144    //パラメータ
145    if(sourceOfParams[i]!='('){
146        compiler.errorMessenger.Output(1,NULL,nowLine);
147        return 0;
148    }
149    i++;
150
151    while(1){
152        if(sourceOfParams[i]==')') break;
153
154        //ByRef
155        bool isRef;
156        if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_BYVAL){
157            isRef = false;
158            i+=2;
159        }
160        else if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_BYREF){
161            isRef = true;
162            i+=2;
163        }
164        else isRef = false;
165
166        //パラメータ名
167        bool isArray = false;
168        Subscripts subscripts;
169        char name[VN_SIZE];
170        sw=0;
171        for(i2=0;;i++,i2++){
172            if(sourceOfParams[i]=='('){
173                if(!sw) sw=1;
174
175                i3=GetStringInPare(name+i2,sourceOfParams+i);
176                i2+=i3-1;
177                i+=i3-1;
178                continue;
179            }
180            if(sourceOfParams[i]=='['){
181                if(!sw) sw=1;
182
183                i3=GetStringInBracket(name+i2,sourceOfParams+i);
184                i2+=i3-1;
185                i+=i3-1;
186                continue;
187            }
188            if(!IsVariableChar(sourceOfParams[i])){
189                name[i2]=0;
190                break;
191            }
192            name[i2]=sourceOfParams[i];
193        }
194        if(sw){
195            //配列パラメータ
196            if( isRef == false ) compiler.errorMessenger.Output(29,NULL,nowLine);
197            isArray = true;
198
199            if((name[i2-2]=='('&&name[i2-1]==')')||
200                (name[i2-2]=='['&&name[i2-1]==']'))
201            {
202                subscripts.push_back( LONG_MAX );
203
204                name[i2-2]=0;
205            }
206            else{
207                GetArrange(name,temp2,subscripts);
208                lstrcpy(name,temp2);
209            }
210
211            i2=lstrlen(name);
212        }
213
214        //型
215        Type type( DEF_NON );
216        if(lstrcmp(name,"...")==0) type.SetBasicType( DEF_ELLIPSE );
217        else if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_AS){
218            i+=2;
219
220            i2=0;
221            while(sourceOfParams[i]=='*'){
222                temporary[i2]=sourceOfParams[i];
223                i++;
224                i2++;
225            }
226            for(;;i++,i2++){
227                if(!IsVariableChar(sourceOfParams[i])){
228                    if(sourceOfParams[i]==1&&(sourceOfParams[i+1]==ESC_FUNCTION||sourceOfParams[i+1]==ESC_SUB)){
229                        temporary[i2++]=sourceOfParams[i++];
230                        temporary[i2]=sourceOfParams[i];
231                        continue;
232                    }
233                    temporary[i2]=0;
234                    break;
235                }
236                temporary[i2]=sourceOfParams[i];
237            }
238
239            compiler.StringToType( temporary, type );
240
241            if( type.IsNull() ){
242                compiler.errorMessenger.Output(3,temporary,nowLine);
243                type.SetBasicType( DEF_PTR_VOID );
244            }
245        }
246        else{
247            type.SetBasicType( Type::GetBasicTypeFromSimpleName(temporary) );
248            compiler.errorMessenger.Output(-103,temporary,nowLine);
249        }
250
251        Parameter *pParam = new Parameter( name, type, isRef );
252        if( isArray ){
253            pParam->SetArray( subscripts );
254        }
255
256        //パラメータを追加
257        this->GetParameters().push_back( pParam );
258
259        if(sourceOfParams[i]==','){
260            i++;
261            continue;
262        }
263        else if(sourceOfParams[i]==')') continue;
264        else{
265            compiler.errorMessenger.Output(1,NULL,nowLine);
266            break;
267        }
268    }
269    i++;
270
271    if(sourceOfParams[i]){
272        ///////////////////
273        // 戻り値を取得
274        ///////////////////
275
276        i2=lstrlen(sourceOfParams)-2;
277
278        int sw_as=0;
279        for(;i2>0;i2--){
280            if(sourceOfParams[i2]==')') break;
281
282            if(sourceOfParams[i2]==1&&sourceOfParams[i2+1]==ESC_AS){
283                i2+=2;
284                i3=0;
285                while(sourceOfParams[i2]=='*') temporary[i3++]=sourceOfParams[i2++];
286                for(;;i2++,i3++){
287                    if(!IsVariableChar(sourceOfParams[i2])){
288                        temporary[i3]=0;
289                        break;
290                    }
291                    temporary[i3]=sourceOfParams[i2];
292                }
293                compiler.StringToType( temporary, this->returnType );
294                if( this->returnType.IsNull() ) compiler.errorMessenger.Output(3,temporary,nowLine);
295
296                sw_as=1;
297                break;
298            }
299        }
300    }
301    else{
302        //戻り値なしのSub定義
303        this->returnType.SetNull();
304    }
305
306    return true;
307}
308
309bool ProcPointer::SetParamsAndReturnType( const char *sourceOfParams, int nowLine ){
310    int i = 0;
311    int i2,i3,sw;
312    char temporary[8192],temp2[VN_SIZE];
313
314    //ソースコードの位置
315    this->codePos = nowLine;
316
317    //パラメータ
318    if(sourceOfParams[i]!='('){
319        compiler.errorMessenger.Output(1,NULL,nowLine);
320        return 0;
321    }
322    i++;
323    while(1){
324        if(sourceOfParams[i]==')') break;
325
326        //ByRef
327        bool isRef;
328        if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_BYVAL){
329            isRef = false;
330            i+=2;
331        }
332        else if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_BYREF){
333            isRef = true;
334            i+=2;
335        }
336        else isRef = false;
337
338        //パラメータ名
339        bool isArray = false;
340        Subscripts subscripts;
341        char name[VN_SIZE];
342        sw=0;
343        for(i2=0;;i++,i2++){
344            if(sourceOfParams[i]=='('){
345                if(!sw) sw=1;
346
347                i3=GetStringInPare(name+i2,sourceOfParams+i);
348                i2+=i3-1;
349                i+=i3-1;
350                continue;
351            }
352            if(sourceOfParams[i]=='['){
353                if(!sw) sw=1;
354
355                i3=GetStringInBracket(name+i2,sourceOfParams+i);
356                i2+=i3-1;
357                i+=i3-1;
358                continue;
359            }
360            if(!IsVariableChar(sourceOfParams[i])){
361                name[i2]=0;
362                break;
363            }
364            name[i2]=sourceOfParams[i];
365        }
366        if(sw){
367            //配列パラメータ
368            if( isRef == false ) compiler.errorMessenger.Output(29,NULL,nowLine);
369            isArray = true;
370
371            if((name[i2-2]=='('&&name[i2-1]==')')||
372                (name[i2-2]=='['&&name[i2-1]==']'))
373            {
374                subscripts.push_back( LONG_MAX );
375
376                name[i2-2]=0;
377            }
378            else{
379                GetArrange(name,temp2,subscripts);
380                lstrcpy(name,temp2);
381            }
382
383            i2=lstrlen(name);
384        }
385
386        //型
387        Type type( DEF_NON );
388        if(sourceOfParams[i]==1&&sourceOfParams[i+1]==ESC_AS){
389            i+=2;
390
391            i2=0;
392            while(sourceOfParams[i]=='*'){
393                temporary[i2]=sourceOfParams[i];
394                i++;
395                i2++;
396            }
397            for(;;i++,i2++){
398                if(!IsVariableChar(sourceOfParams[i])){
399                    if(sourceOfParams[i]==1&&(sourceOfParams[i+1]==ESC_FUNCTION||sourceOfParams[i+1]==ESC_SUB)){
400                        temporary[i2++]=sourceOfParams[i++];
401                        temporary[i2]=sourceOfParams[i];
402                        continue;
403                    }
404                    temporary[i2]=0;
405                    break;
406                }
407                temporary[i2]=sourceOfParams[i];
408            }
409
410            compiler.StringToType( temporary, type );
411
412            if( type.IsNull() ){
413                compiler.errorMessenger.Output(3,temporary,nowLine);
414                type.SetBasicType( DEF_PTR_VOID );
415            }
416        }
417        else{
418            type.SetBasicType( Type::GetBasicTypeFromSimpleName(temporary) );
419            compiler.errorMessenger.Output(-103,temporary,nowLine);
420        }
421
422        Parameter *pParam = new Parameter( name, type, isRef );
423        if( isArray ){
424            pParam->SetArray( subscripts );
425        }
426
427        //パラメータを追加
428        this->GetParameters().push_back( pParam );
429
430        if(sourceOfParams[i]==','){
431            i++;
432            continue;
433        }
434        else if(sourceOfParams[i]==')') continue;
435        else{
436            compiler.errorMessenger.Output(1,NULL,nowLine);
437            break;
438        }
439    }
440    i++;
441
442    if(sourceOfParams[i]){
443        ///////////////////
444        // 戻り値を取得
445        ///////////////////
446
447        i2=lstrlen(sourceOfParams)-2;
448
449        int sw_as=0;
450        for(;i2>0;i2--){
451            if(sourceOfParams[i2]==')') break;
452
453            if(sourceOfParams[i2]==1&&sourceOfParams[i2+1]==ESC_AS){
454                i2+=2;
455                i3=0;
456                while(sourceOfParams[i2]=='*') temporary[i3++]=sourceOfParams[i2++];
457                for(;;i2++,i3++){
458                    if(!IsVariableChar(sourceOfParams[i2])){
459                        temporary[i3]=0;
460                        break;
461                    }
462                    temporary[i3]=sourceOfParams[i2];
463                }
464                compiler.StringToType( temporary, this->returnType );
465                if( this->returnType.IsNull() ) compiler.errorMessenger.Output(3,temporary,nowLine);
466
467                sw_as=1;
468                break;
469            }
470        }
471    }
472    else{
473        //戻り値なしのSub定義
474        this->returnType.SetNull();
475    }
476
477    //戻り値のエラーチェック
478    if( IsFunction() ){
479        // Function定義
480
481        if( this->ReturnType().IsNull() ){
482            // 戻り値がない
483            compiler.errorMessenger.Output(26,this->GetName(),nowLine);
484        }
485    }
486    else{
487        if( !this->ReturnType().IsNull() ){
488            // Sub定義なのに、戻り値がある
489            compiler.errorMessenger.Output(38,this->GetName(),nowLine);
490        }
491    }
492
493    return true;
494}
495
496int ProcPointers::Add( const std::string &typeExpression )
497{
498    DWORD dwProcType = (DWORD)typeExpression[2];
499    const std::string &paramStr = typeExpression.substr( 3 );
500
501    Procedure::Kind kind = Procedure::Sub;
502    if( dwProcType == ESC_FUNCTION ){
503        kind = Procedure::Function;
504    }
505
506    ProcPointer *pProcPointer = new ProcPointer( kind );
507
508    //buffer[0]は'('となっている
509    extern int cp;
510    pProcPointer->SetParamsAndReturnType( paramStr.c_str(), cp );
511
512    this->push_back( pProcPointer );
513
514    return (int)this->size()-1;
515}
516
517void ProcPointers::Clear()
518{
519    ProcPointers &procPointers = *this;
520    BOOST_FOREACH( ProcPointer *pProcPointer, procPointers ){
521        delete pProcPointer;
522    }
523    this->clear();
524}
Note: See TracBrowser for help on using the repository browser.