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