1*b1cdbd2cSJim Jagielski /**************************************************************
2*b1cdbd2cSJim Jagielski *
3*b1cdbd2cSJim Jagielski * Licensed to the Apache Software Foundation (ASF) under one
4*b1cdbd2cSJim Jagielski * or more contributor license agreements. See the NOTICE file
5*b1cdbd2cSJim Jagielski * distributed with this work for additional information
6*b1cdbd2cSJim Jagielski * regarding copyright ownership. The ASF licenses this file
7*b1cdbd2cSJim Jagielski * to you under the Apache License, Version 2.0 (the
8*b1cdbd2cSJim Jagielski * "License"); you may not use this file except in compliance
9*b1cdbd2cSJim Jagielski * with the License. You may obtain a copy of the License at
10*b1cdbd2cSJim Jagielski *
11*b1cdbd2cSJim Jagielski * http://www.apache.org/licenses/LICENSE-2.0
12*b1cdbd2cSJim Jagielski *
13*b1cdbd2cSJim Jagielski * Unless required by applicable law or agreed to in writing,
14*b1cdbd2cSJim Jagielski * software distributed under the License is distributed on an
15*b1cdbd2cSJim Jagielski * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
16*b1cdbd2cSJim Jagielski * KIND, either express or implied. See the License for the
17*b1cdbd2cSJim Jagielski * specific language governing permissions and limitations
18*b1cdbd2cSJim Jagielski * under the License.
19*b1cdbd2cSJim Jagielski *
20*b1cdbd2cSJim Jagielski *************************************************************/
21*b1cdbd2cSJim Jagielski
22*b1cdbd2cSJim Jagielski
23*b1cdbd2cSJim Jagielski
24*b1cdbd2cSJim Jagielski
25*b1cdbd2cSJim Jagielski #ifndef ADC_CPP_PE_VAFU_HXX
26*b1cdbd2cSJim Jagielski #define ADC_CPP_PE_VAFU_HXX
27*b1cdbd2cSJim Jagielski
28*b1cdbd2cSJim Jagielski // BASE CLASSES
29*b1cdbd2cSJim Jagielski #include "cpp_pe.hxx"
30*b1cdbd2cSJim Jagielski // USED SERVICES
31*b1cdbd2cSJim Jagielski #include <semantic/callf.hxx>
32*b1cdbd2cSJim Jagielski #include <semantic/sub_peu.hxx>
33*b1cdbd2cSJim Jagielski #include <ary/cpp/c_types4cpp.hxx>
34*b1cdbd2cSJim Jagielski #include <ary/cpp/c_vfflag.hxx>
35*b1cdbd2cSJim Jagielski
36*b1cdbd2cSJim Jagielski
37*b1cdbd2cSJim Jagielski
38*b1cdbd2cSJim Jagielski namespace cpp
39*b1cdbd2cSJim Jagielski {
40*b1cdbd2cSJim Jagielski
41*b1cdbd2cSJim Jagielski class PE_Type;
42*b1cdbd2cSJim Jagielski class PE_Variable;
43*b1cdbd2cSJim Jagielski class PE_Function;
44*b1cdbd2cSJim Jagielski class PE_Ignore;
45*b1cdbd2cSJim Jagielski
46*b1cdbd2cSJim Jagielski
47*b1cdbd2cSJim Jagielski
48*b1cdbd2cSJim Jagielski
49*b1cdbd2cSJim Jagielski class PE_VarFunc : public Cpp_PE
50*b1cdbd2cSJim Jagielski {
51*b1cdbd2cSJim Jagielski public:
52*b1cdbd2cSJim Jagielski enum E_State
53*b1cdbd2cSJim Jagielski {
54*b1cdbd2cSJim Jagielski start,
55*b1cdbd2cSJim Jagielski expectCtor,
56*b1cdbd2cSJim Jagielski afterClassDecl, // Also used for after enum declaration.
57*b1cdbd2cSJim Jagielski expectName,
58*b1cdbd2cSJim Jagielski afterName,
59*b1cdbd2cSJim Jagielski afterName_inErraneousTemplate,
60*b1cdbd2cSJim Jagielski finished,
61*b1cdbd2cSJim Jagielski finishedIncludingFunctionImplementation,
62*b1cdbd2cSJim Jagielski size_of_states
63*b1cdbd2cSJim Jagielski };
64*b1cdbd2cSJim Jagielski enum E_ResultType
65*b1cdbd2cSJim Jagielski {
66*b1cdbd2cSJim Jagielski result_unknown = 0,
67*b1cdbd2cSJim Jagielski result_ignore, /// Used for class and enum declarations and predeclarations and for extern variables and functions.
68*b1cdbd2cSJim Jagielski result_variable,
69*b1cdbd2cSJim Jagielski result_function
70*b1cdbd2cSJim Jagielski };
71*b1cdbd2cSJim Jagielski
72*b1cdbd2cSJim Jagielski typedef ary::cpp::E_Protection E_Protection;
73*b1cdbd2cSJim Jagielski
74*b1cdbd2cSJim Jagielski
75*b1cdbd2cSJim Jagielski PE_VarFunc(
76*b1cdbd2cSJim Jagielski Cpp_PE * i_pParent );
77*b1cdbd2cSJim Jagielski ~PE_VarFunc();
78*b1cdbd2cSJim Jagielski
79*b1cdbd2cSJim Jagielski virtual void Call_Handler(
80*b1cdbd2cSJim Jagielski const cpp::Token & i_rTok );
81*b1cdbd2cSJim Jagielski
82*b1cdbd2cSJim Jagielski const std::vector<ary::cpp::Ce_id> &
83*b1cdbd2cSJim Jagielski Result_Ids() const;
84*b1cdbd2cSJim Jagielski ary::cpp::Type_id Result_FrontType() const;
85*b1cdbd2cSJim Jagielski const StringVector &
86*b1cdbd2cSJim Jagielski Result_Names() const;
87*b1cdbd2cSJim Jagielski E_ResultType Result_CeType() const;
88*b1cdbd2cSJim Jagielski
89*b1cdbd2cSJim Jagielski private:
90*b1cdbd2cSJim Jagielski typedef SubPe< PE_VarFunc, PE_Type > SP_Type;
91*b1cdbd2cSJim Jagielski typedef SubPeUse< PE_VarFunc, PE_Type > SPU_Type;
92*b1cdbd2cSJim Jagielski typedef SubPe< PE_VarFunc, PE_Variable > SP_Variable;
93*b1cdbd2cSJim Jagielski typedef SubPeUse< PE_VarFunc, PE_Variable > SPU_Variable;
94*b1cdbd2cSJim Jagielski typedef SubPe< PE_VarFunc, PE_Function > SP_Function;
95*b1cdbd2cSJim Jagielski typedef SubPeUse< PE_VarFunc, PE_Function > SPU_Function;
96*b1cdbd2cSJim Jagielski typedef SubPe< PE_VarFunc, PE_Ignore > SP_Ignore;
97*b1cdbd2cSJim Jagielski typedef SubPeUse< PE_VarFunc, PE_Ignore > SPU_Ignore;
98*b1cdbd2cSJim Jagielski
99*b1cdbd2cSJim Jagielski void Setup_StatusFunctions();
100*b1cdbd2cSJim Jagielski virtual void InitData();
101*b1cdbd2cSJim Jagielski virtual void TransferData();
102*b1cdbd2cSJim Jagielski void Hdl_UnknownToken( const char *);
103*b1cdbd2cSJim Jagielski
104*b1cdbd2cSJim Jagielski void SpInit_FunctionStd();
105*b1cdbd2cSJim Jagielski void SpInit_FunctionCtor();
106*b1cdbd2cSJim Jagielski void SpInit_FunctionDtor();
107*b1cdbd2cSJim Jagielski void SpInit_FunctionCastOperator();
108*b1cdbd2cSJim Jagielski void SpInit_FunctionNormalOperator();
109*b1cdbd2cSJim Jagielski void SpReturn_Type();
110*b1cdbd2cSJim Jagielski void SpReturn_Variable();
111*b1cdbd2cSJim Jagielski void SpReturn_FunctionStd();
112*b1cdbd2cSJim Jagielski void SpReturn_Ignore();
113*b1cdbd2cSJim Jagielski
114*b1cdbd2cSJim Jagielski void On_start_Identifier(const char * i_sText);
115*b1cdbd2cSJim Jagielski void On_start_operator(const char * i_sText);
116*b1cdbd2cSJim Jagielski void On_start_TypeKey(const char * i_sText);
117*b1cdbd2cSJim Jagielski void On_start_virtual(const char * i_sText);
118*b1cdbd2cSJim Jagielski void On_start_Tilde(const char * i_sText);
119*b1cdbd2cSJim Jagielski void On_start_const(const char * i_sText);
120*b1cdbd2cSJim Jagielski void On_start_volatile(const char * i_sText);
121*b1cdbd2cSJim Jagielski void On_start_extern(const char * i_sText);
122*b1cdbd2cSJim Jagielski void On_start_static(const char * i_sText);
123*b1cdbd2cSJim Jagielski void On_start_mutable(const char * i_sText);
124*b1cdbd2cSJim Jagielski void On_start_register(const char * i_sText);
125*b1cdbd2cSJim Jagielski void On_start_inline(const char * i_sText);
126*b1cdbd2cSJim Jagielski void On_start_explicit(const char * i_sText);
127*b1cdbd2cSJim Jagielski void On_start_Bracket_Right(const char * i_sText);
128*b1cdbd2cSJim Jagielski void On_start_typename(const char * i_sText);
129*b1cdbd2cSJim Jagielski
130*b1cdbd2cSJim Jagielski void On_expectCtor_Bracket_Left(const char * i_sText);
131*b1cdbd2cSJim Jagielski
132*b1cdbd2cSJim Jagielski void On_afterClassDecl_Semicolon(const char * i_sText);
133*b1cdbd2cSJim Jagielski
134*b1cdbd2cSJim Jagielski void On_expectName_Identifier(const char * i_sText);
135*b1cdbd2cSJim Jagielski void On_expectName_operator(const char * i_sText);
136*b1cdbd2cSJim Jagielski void On_expectName_Bracket_Left(const char * i_sText);
137*b1cdbd2cSJim Jagielski
138*b1cdbd2cSJim Jagielski void On_afterName_ArrayBracket_Left(const char * i_sText);
139*b1cdbd2cSJim Jagielski void On_afterName_Bracket_Left(const char * i_sText);
140*b1cdbd2cSJim Jagielski void On_afterName_DoubleColon(const char * i_sText);
141*b1cdbd2cSJim Jagielski void On_afterName_Semicolon(const char * i_sText);
142*b1cdbd2cSJim Jagielski void On_afterName_Comma(const char * i_sText);
143*b1cdbd2cSJim Jagielski void On_afterName_Assign(const char * i_sText);
144*b1cdbd2cSJim Jagielski void On_afterName_Less(const char * i_sText);
145*b1cdbd2cSJim Jagielski
146*b1cdbd2cSJim Jagielski void On_afterName_inErraneousTemplate_Less(const char * i_sText);
147*b1cdbd2cSJim Jagielski void On_afterName_inErraneousTemplate_Greater(const char * i_sText);
148*b1cdbd2cSJim Jagielski void On_afterName_inErraneousTemplate_Default(const char * i_sText);
149*b1cdbd2cSJim Jagielski
150*b1cdbd2cSJim Jagielski void On_finished_Semicolon(const char * i_sText);
151*b1cdbd2cSJim Jagielski void On_finished_Comma(const char * i_sText);
152*b1cdbd2cSJim Jagielski void On_finished_Default(const char * i_sText);
153*b1cdbd2cSJim Jagielski
154*b1cdbd2cSJim Jagielski void On_finishedIncludingFunctionImplementation_Default(const char * i_sText);
155*b1cdbd2cSJim Jagielski
156*b1cdbd2cSJim Jagielski ary::cpp::FunctionFlags
157*b1cdbd2cSJim Jagielski CreateFunctionFlags();
158*b1cdbd2cSJim Jagielski
159*b1cdbd2cSJim Jagielski // DATA
160*b1cdbd2cSJim Jagielski Dyn< PeStatusArray<PE_VarFunc> >
161*b1cdbd2cSJim Jagielski pStati;
162*b1cdbd2cSJim Jagielski
163*b1cdbd2cSJim Jagielski Dyn<SP_Type> pSpType;
164*b1cdbd2cSJim Jagielski Dyn<SPU_Type> pSpuType;
165*b1cdbd2cSJim Jagielski Dyn<SP_Variable> pSpVariable;
166*b1cdbd2cSJim Jagielski Dyn<SPU_Variable> pSpuVariable;
167*b1cdbd2cSJim Jagielski Dyn<SP_Function> pSpFunction;
168*b1cdbd2cSJim Jagielski Dyn<SPU_Function> pSpuFunctionStd;
169*b1cdbd2cSJim Jagielski Dyn<SPU_Function> pSpuFunctionCtor;
170*b1cdbd2cSJim Jagielski Dyn<SPU_Function> pSpuFunctionDtor;
171*b1cdbd2cSJim Jagielski Dyn<SPU_Function> pSpuFunctionCastOperator;
172*b1cdbd2cSJim Jagielski Dyn<SPU_Function> pSpuFunctionNormalOperator;
173*b1cdbd2cSJim Jagielski Dyn<SP_Ignore> pSpIgnore;
174*b1cdbd2cSJim Jagielski Dyn<SPU_Ignore> pSpuIgnore;
175*b1cdbd2cSJim Jagielski
176*b1cdbd2cSJim Jagielski intt nCounter_TemplateBrackets;
177*b1cdbd2cSJim Jagielski bool bInDestructor;
178*b1cdbd2cSJim Jagielski
179*b1cdbd2cSJim Jagielski std::vector<ary::cpp::Ce_id>
180*b1cdbd2cSJim Jagielski aResultIds;
181*b1cdbd2cSJim Jagielski ary::cpp::Type_id nResultFrontType;
182*b1cdbd2cSJim Jagielski E_ResultType eResultType;
183*b1cdbd2cSJim Jagielski
184*b1cdbd2cSJim Jagielski // Pre-Results
185*b1cdbd2cSJim Jagielski String sName;
186*b1cdbd2cSJim Jagielski
187*b1cdbd2cSJim Jagielski bool bVirtual;
188*b1cdbd2cSJim Jagielski bool bStatic;
189*b1cdbd2cSJim Jagielski bool bExtern;
190*b1cdbd2cSJim Jagielski bool bExternC;
191*b1cdbd2cSJim Jagielski bool bMutable;
192*b1cdbd2cSJim Jagielski bool bInline;
193*b1cdbd2cSJim Jagielski bool bRegister;
194*b1cdbd2cSJim Jagielski bool bExplicit;
195*b1cdbd2cSJim Jagielski };
196*b1cdbd2cSJim Jagielski
197*b1cdbd2cSJim Jagielski
198*b1cdbd2cSJim Jagielski
199*b1cdbd2cSJim Jagielski // IMPLEMENTATION
200*b1cdbd2cSJim Jagielski
201*b1cdbd2cSJim Jagielski inline const std::vector<ary::cpp::Ce_id> &
Result_Ids() const202*b1cdbd2cSJim Jagielski PE_VarFunc::Result_Ids() const
203*b1cdbd2cSJim Jagielski { return aResultIds; }
204*b1cdbd2cSJim Jagielski inline ary::cpp::Type_id
Result_FrontType() const205*b1cdbd2cSJim Jagielski PE_VarFunc::Result_FrontType() const
206*b1cdbd2cSJim Jagielski { return nResultFrontType; }
207*b1cdbd2cSJim Jagielski inline PE_VarFunc::E_ResultType
Result_CeType() const208*b1cdbd2cSJim Jagielski PE_VarFunc::Result_CeType() const
209*b1cdbd2cSJim Jagielski { return eResultType; }
210*b1cdbd2cSJim Jagielski
211*b1cdbd2cSJim Jagielski
212*b1cdbd2cSJim Jagielski
213*b1cdbd2cSJim Jagielski } // namespace cpp
214*b1cdbd2cSJim Jagielski
215*b1cdbd2cSJim Jagielski
216*b1cdbd2cSJim Jagielski
217*b1cdbd2cSJim Jagielski
218*b1cdbd2cSJim Jagielski #endif
219*b1cdbd2cSJim Jagielski
220*b1cdbd2cSJim Jagielski
221*b1cdbd2cSJim Jagielski /* // Overview of Stati
222*b1cdbd2cSJim Jagielski
223*b1cdbd2cSJim Jagielski Undecided
224*b1cdbd2cSJim Jagielski ---------
225*b1cdbd2cSJim Jagielski
226*b1cdbd2cSJim Jagielski start // vor und w�hrend storage class specifiern
227*b1cdbd2cSJim Jagielski any ->stay
228*b1cdbd2cSJim Jagielski operaator ->goto Function
229*b1cdbd2cSJim Jagielski
230*b1cdbd2cSJim Jagielski ->Typ
231*b1cdbd2cSJim Jagielski
232*b1cdbd2cSJim Jagielski expectName
233*b1cdbd2cSJim Jagielski Identifier ->stay
234*b1cdbd2cSJim Jagielski operator ->goto Function
235*b1cdbd2cSJim Jagielski
236*b1cdbd2cSJim Jagielski afterName ->goto Variable or Function
237*b1cdbd2cSJim Jagielski
238*b1cdbd2cSJim Jagielski
239*b1cdbd2cSJim Jagielski
240*b1cdbd2cSJim Jagielski
241*b1cdbd2cSJim Jagielski Variable
242*b1cdbd2cSJim Jagielski --------
243*b1cdbd2cSJim Jagielski
244*b1cdbd2cSJim Jagielski start // vor und w�hrend storage class specifiern
245*b1cdbd2cSJim Jagielski
246*b1cdbd2cSJim Jagielski ->Typ
247*b1cdbd2cSJim Jagielski
248*b1cdbd2cSJim Jagielski expectName // Typ ist da -> im Falle von '(': notyetimplemented
249*b1cdbd2cSJim Jagielski afterName
250*b1cdbd2cSJim Jagielski
251*b1cdbd2cSJim Jagielski expectSize // after [
252*b1cdbd2cSJim Jagielski expectFinish
253*b1cdbd2cSJim Jagielski // vor ; oder ,
254*b1cdbd2cSJim Jagielski expectNextVarName // anders als bei expectName kann hier auch * oder & kommen
255*b1cdbd2cSJim Jagielski
256*b1cdbd2cSJim Jagielski
257*b1cdbd2cSJim Jagielski
258*b1cdbd2cSJim Jagielski
259*b1cdbd2cSJim Jagielski
260*b1cdbd2cSJim Jagielski Function
261*b1cdbd2cSJim Jagielski --------
262*b1cdbd2cSJim Jagielski
263*b1cdbd2cSJim Jagielski start // vor und w�hrend storage class specifiern
264*b1cdbd2cSJim Jagielski
265*b1cdbd2cSJim Jagielski ->Typ
266*b1cdbd2cSJim Jagielski
267*b1cdbd2cSJim Jagielski expectName // Typ ist da
268*b1cdbd2cSJim Jagielski expectBracket // Nach Name
269*b1cdbd2cSJim Jagielski expectParameter // nach ( oder ,
270*b1cdbd2cSJim Jagielski -> Parameter
271*b1cdbd2cSJim Jagielski after Parameters // before const, volatile throw or = 0.
272*b1cdbd2cSJim Jagielski after throw // expect (
273*b1cdbd2cSJim Jagielski expectException // after (
274*b1cdbd2cSJim Jagielski after exceptions // = 0 oder ; oder ,
275*b1cdbd2cSJim Jagielski
276*b1cdbd2cSJim Jagielski
277*b1cdbd2cSJim Jagielski expectNextVarName // anders als bei expectName kann hier auch * oder & kommen
278*b1cdbd2cSJim Jagielski
279*b1cdbd2cSJim Jagielski
280*b1cdbd2cSJim Jagielski
281*b1cdbd2cSJim Jagielski
282*b1cdbd2cSJim Jagielski
283*b1cdbd2cSJim Jagielski
284*b1cdbd2cSJim Jagielski
285*b1cdbd2cSJim Jagielski */
286