symconst.pas 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl, Pierre Muller
  4. Symbol table constants
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit symconst;
  19. {$i fpcdefs.inc}
  20. interface
  21. const
  22. def_alignment = 4;
  23. { if you change one of the following contants, }
  24. { you have also to change the typinfo unit}
  25. { and the rtl/i386,template/rttip.inc files }
  26. tkUnknown = 0;
  27. tkInteger = 1;
  28. tkChar = 2;
  29. tkEnumeration = 3;
  30. tkFloat = 4;
  31. tkSet = 5;
  32. tkMethod = 6;
  33. tkSString = 7;
  34. tkString = tkSString;
  35. tkLString = 8;
  36. tkAString = 9;
  37. tkWString = 10;
  38. tkVariant = 11;
  39. tkArray = 12;
  40. tkRecord = 13;
  41. tkInterface= 14;
  42. tkClass = 15;
  43. tkObject = 16;
  44. tkWChar = 17;
  45. tkBool = 18;
  46. tkInt64 = 19;
  47. tkQWord = 20;
  48. tkDynArray = 21;
  49. tkInterfaceCorba = 22;
  50. otSByte = 0;
  51. otUByte = 1;
  52. otSWord = 2;
  53. otUWord = 3;
  54. otSLong = 4;
  55. otULong = 5;
  56. ftSingle = 0;
  57. ftDouble = 1;
  58. ftExtended = 2;
  59. ftComp = 3;
  60. ftCurr = 4;
  61. ftFloat128 = 5;
  62. mkProcedure= 0;
  63. mkFunction = 1;
  64. mkConstructor = 2;
  65. mkDestructor = 3;
  66. mkClassProcedure= 4;
  67. mkClassFunction = 5;
  68. pfvar = 1;
  69. pfConst = 2;
  70. pfArray = 4;
  71. pfAddress = 8;
  72. pfReference= 16;
  73. pfOut = 32;
  74. unknown_level = 0;
  75. main_program_level = 1;
  76. normal_function_level = 2;
  77. type
  78. { Deref entry options }
  79. tdereftype = (derefnil,
  80. derefaktrecordindex,
  81. derefaktstaticindex,
  82. derefaktglobalindex,
  83. derefaktlocalindex,
  84. derefunit,
  85. derefrecord,
  86. derefindex,
  87. dereflocal,
  88. derefpara
  89. );
  90. { symbol options }
  91. tsymoption=(sp_none,
  92. sp_public,
  93. sp_private,
  94. sp_published,
  95. sp_protected,
  96. sp_static,
  97. sp_hint_deprecated,
  98. sp_hint_platform,
  99. sp_hint_library,
  100. sp_hint_unimplemented,
  101. sp_has_overloaded
  102. );
  103. tsymoptions=set of tsymoption;
  104. { flags for a definition }
  105. tdefoption=(df_none,
  106. { init data has been generated }
  107. df_has_inittable,
  108. { rtti data has been generated }
  109. df_has_rttitable,
  110. { type is unique, i.e. declared with type = type <tdef>; }
  111. df_unique
  112. );
  113. tdefoptions=set of tdefoption;
  114. { tsymlist entry types }
  115. tsltype = (sl_none,
  116. sl_load,
  117. sl_call,
  118. sl_subscript,
  119. sl_vec
  120. );
  121. { base types for orddef }
  122. tbasetype = (
  123. uvoid,
  124. u8bit,u16bit,u32bit,u64bit,
  125. s8bit,s16bit,s32bit,s64bit,
  126. bool8bit,bool16bit,bool32bit,
  127. uchar,uwidechar,scurrency
  128. );
  129. { float types }
  130. tfloattype = (
  131. s32real,s64real,s80real,
  132. s64comp,s64currency,s128real
  133. );
  134. { string types }
  135. tstringtype = (st_default,
  136. st_shortstring, st_longstring, st_ansistring, st_widestring
  137. );
  138. { set types }
  139. tsettype = (
  140. normset,smallset,varset
  141. );
  142. { basic type for tprocdef and tprocvardef }
  143. tproctypeoption=(potype_none,
  144. potype_proginit, { Program initialization }
  145. potype_unitinit, { unit initialization }
  146. potype_unitfinalize, { unit finalization }
  147. potype_constructor, { Procedure is a constructor }
  148. potype_destructor, { Procedure is a destructor }
  149. potype_operator { Procedure defines an operator }
  150. );
  151. tproctypeoptions=set of tproctypeoption;
  152. { other options for tprocdef and tprocvardef }
  153. tprocoption=(po_none,
  154. po_classmethod, { class method }
  155. po_virtualmethod, { Procedure is a virtual method }
  156. po_abstractmethod, { Procedure is an abstract method }
  157. po_staticmethod, { static method }
  158. po_overridingmethod, { method with override directive }
  159. po_methodpointer, { method pointer, only in procvardef, also used for 'with object do' }
  160. po_interrupt, { Procedure is an interrupt handler }
  161. po_iocheck, { IO checking should be done after a call to the procedure }
  162. po_assembler, { Procedure is written in assembler }
  163. po_msgstr, { method for string message handling }
  164. po_msgint, { method for int message handling }
  165. po_exports, { Procedure has export directive (needed for OS/2) }
  166. po_external, { Procedure is external (in other object or lib)}
  167. po_savestdregs, { save std regs cdecl and stdcall need that ! }
  168. po_saveregisters, { save all registers }
  169. po_overload, { procedure is declared with overload directive }
  170. po_varargs, { printf like arguments }
  171. po_leftright, { push arguments from left to right }
  172. po_clearstack, { caller clears the stack }
  173. po_internconst, { procedure has constant evaluator intern }
  174. po_addressonly, { flag that only the address of a method is returned and not a full methodpointer }
  175. po_public { procedure is exported }
  176. );
  177. tprocoptions=set of tprocoption;
  178. { options for objects and classes }
  179. tobjectdeftype = (odt_none,
  180. odt_class,
  181. odt_object,
  182. odt_interfacecom,
  183. odt_interfacecorba,
  184. odt_cppclass,
  185. odt_dispinterface
  186. );
  187. { options for objects and classes }
  188. tobjectoption=(oo_none,
  189. oo_is_forward, { the class is only a forward declared yet }
  190. oo_has_virtual, { the object/class has virtual methods }
  191. oo_has_private,
  192. oo_has_protected,
  193. oo_has_constructor, { the object/class has a constructor }
  194. oo_has_destructor, { the object/class has a destructor }
  195. oo_has_vmt, { the object/class has a vmt }
  196. oo_has_msgstr,
  197. oo_has_msgint,
  198. oo_has_abstract, { the object/class has an abstract method => no instances can be created }
  199. oo_can_have_published { the class has rtti, i.e. you can publish properties }
  200. );
  201. tobjectoptions=set of tobjectoption;
  202. { options for properties }
  203. tpropertyoption=(ppo_none,
  204. ppo_indexed,
  205. ppo_defaultproperty,
  206. ppo_stored,
  207. ppo_hasparameters,
  208. ppo_is_override
  209. );
  210. tpropertyoptions=set of tpropertyoption;
  211. { options for variables }
  212. tvaroption=(vo_none,
  213. vo_regable,
  214. vo_is_C_var,
  215. vo_is_external,
  216. vo_is_dll_var,
  217. vo_is_thread_var,
  218. vo_fpuregable,
  219. vo_is_local_copy,
  220. vo_is_const, { variable is declared as const (parameter) and can't be written to }
  221. vo_is_exported,
  222. vo_is_high_value,
  223. vo_is_funcret,
  224. vo_is_self,
  225. vo_is_vmt,
  226. vo_is_result { special result variable }
  227. );
  228. tvaroptions=set of tvaroption;
  229. { types of the symtables }
  230. tsymtabletype = (abstractsymtable,
  231. globalsymtable,staticsymtable,
  232. objectsymtable,recordsymtable,
  233. localsymtable,parasymtable,
  234. withsymtable,stt_exceptsymtable,
  235. { used for inline detection }
  236. inlineparasymtable,inlinelocalsymtable
  237. );
  238. { definition contains the informations about a type }
  239. tdeftype = (abstractdef,arraydef,recorddef,pointerdef,orddef,
  240. stringdef,enumdef,procdef,objectdef,errordef,
  241. filedef,formaldef,setdef,procvardef,floatdef,
  242. classrefdef,forwarddef,variantdef);
  243. { possible types for symtable entries }
  244. tsymtyp = (abstractsym,varsym,typesym,procsym,unitsym,
  245. constsym,enumsym,typedconstsym,errorsym,syssym,
  246. labelsym,absolutesym,propertysym,macrosym,rttisym);
  247. { State of the variable, if it's declared, assigned or used }
  248. tvarstate=(vs_none,
  249. vs_declared,vs_declared_and_first_found,
  250. vs_set_but_first_not_passed,vs_assigned,vs_used
  251. );
  252. tvarspez = (vs_value,vs_const,vs_var,vs_out);
  253. absolutetyp = (tovar,toasm,toaddr);
  254. tconsttyp = (constnone,
  255. constord,conststring,constreal,constbool,
  256. constint,constchar,constset,constpointer,constnil,
  257. constresourcestring,constwstring,constwchar,constguid
  258. );
  259. { RTTI information to store }
  260. trttitype = (
  261. fullrtti,initrtti
  262. );
  263. { The order is from low priority to high priority,
  264. Note: the operators > and < are used on this list }
  265. tequaltype = (
  266. te_incompatible,
  267. te_convert_operator,
  268. te_convert_l3, { compatible conversion with possible loss of data }
  269. te_convert_l2, { compatible less prefered conversion }
  270. te_convert_l1, { compatible conversion }
  271. te_equal, { the definitions are equal }
  272. te_exact
  273. );
  274. {$ifdef GDB}
  275. type
  276. tdefstabstatus = (
  277. not_written,
  278. being_written,
  279. written);
  280. const
  281. tagtypes : Set of tdeftype =
  282. [recorddef,enumdef,
  283. {$IfNDef GDBKnowsStrings}
  284. stringdef,
  285. {$EndIf not GDBKnowsStrings}
  286. {$IfNDef GDBKnowsFiles}
  287. filedef,
  288. {$EndIf not GDBKnowsFiles}
  289. objectdef];
  290. {$endif GDB}
  291. const
  292. SymTypeName : array[tsymtyp] of string[12] = (
  293. 'abstractsym','variable','type','proc','unit',
  294. 'const','enum','typed const','errorsym','system sym',
  295. 'label','absolute','property','macrosym','rttisym'
  296. );
  297. DefTypeName : array[tdeftype] of string[12] = (
  298. 'abstractdef','arraydef','recorddef','pointerdef','orddef',
  299. 'stringdef','enumdef','procdef','objectdef','errordef',
  300. 'filedef','formaldef','setdef','procvardef','floatdef',
  301. 'classrefdef','forwarddef','variantdef'
  302. );
  303. EqualTypeName : array[tequaltype] of string[16] = (
  304. 'incompatible','convert_operator','convert_l3','convert_l2',
  305. 'convert_l1','equal','exact'
  306. );
  307. implementation
  308. end.
  309. {
  310. $Log$
  311. Revision 1.57 2003-06-07 20:26:32 peter
  312. * re-resolving added instead of reloading from ppu
  313. * tderef object added to store deref info for resolving
  314. Revision 1.56 2003/05/22 21:31:35 peter
  315. * defer codegeneration for nested procedures
  316. Revision 1.55 2003/05/15 21:10:32 peter
  317. * remove po_containsself
  318. Revision 1.54 2003/05/09 17:47:03 peter
  319. * self moved to hidden parameter
  320. * removed hdisposen,hnewn,selfn
  321. Revision 1.53 2003/05/05 14:53:16 peter
  322. * vs_hidden replaced by is_hidden boolean
  323. Revision 1.52 2003/04/27 11:21:34 peter
  324. * aktprocdef renamed to current_procdef
  325. * procinfo renamed to current_procinfo
  326. * procinfo will now be stored in current_module so it can be
  327. cleaned up properly
  328. * gen_main_procsym changed to create_main_proc and release_main_proc
  329. to also generate a tprocinfo structure
  330. * fixed unit implicit initfinal
  331. Revision 1.51 2003/04/27 07:29:51 peter
  332. * current_procdef cleanup, current_procdef is now always nil when parsing
  333. a new procdef declaration
  334. * aktprocsym removed
  335. * lexlevel removed, use symtable.symtablelevel instead
  336. * implicit init/final code uses the normal genentry/genexit
  337. * funcret state checking updated for new funcret handling
  338. Revision 1.50 2003/04/26 00:33:07 peter
  339. * vo_is_result flag added for the special RESULT symbol
  340. Revision 1.49 2003/04/25 20:59:35 peter
  341. * removed funcretn,funcretsym, function result is now in varsym
  342. and aliases for result and function name are added using absolutesym
  343. * vs_hidden parameter for funcret passed in parameter
  344. * vs_hidden fixes
  345. * writenode changed to printnode and released from extdebug
  346. * -vp option added to generate a tree.log with the nodetree
  347. * nicer printnode for statements, callnode
  348. Revision 1.48 2003/04/23 20:16:04 peter
  349. + added currency support based on int64
  350. + is_64bit for use in cg units instead of is_64bitint
  351. * removed cgmessage from n386add, replace with internalerrors
  352. Revision 1.47 2003/04/23 11:37:33 peter
  353. * po_comp for proc to procvar fixed
  354. Revision 1.46 2003/01/16 22:13:52 peter
  355. * convert_l3 convertlevel added. This level is used for conversions
  356. where information can be lost like converting widestring->ansistring
  357. or dword->byte
  358. Revision 1.45 2003/01/09 21:52:37 peter
  359. * merged some verbosity options.
  360. * V_LineInfo is a verbosity flag to include line info
  361. Revision 1.44 2003/01/06 21:16:52 peter
  362. * po_addressonly added to retrieve the address of a methodpointer
  363. only, this is used for @tclass.method which has no self pointer
  364. Revision 1.43 2003/01/05 15:54:15 florian
  365. + added proper support of type = type <type>; for simple types
  366. Revision 1.42 2003/01/05 13:36:53 florian
  367. * x86-64 compiles
  368. + very basic support for float128 type (x86-64 only)
  369. Revision 1.41 2003/01/01 22:51:03 peter
  370. * high value insertion changed so it works also when 2 parameters
  371. are passed
  372. Revision 1.40 2002/12/29 14:57:50 peter
  373. * unit loading changed to first register units and load them
  374. afterwards. This is needed to support uses xxx in yyy correctly
  375. * unit dependency check fixed
  376. Revision 1.39 2002/12/15 11:26:02 peter
  377. * ignore vs_hidden parameters when choosing overloaded proc
  378. Revision 1.38 2002/12/05 14:44:38 florian
  379. + oo_dispinterface added
  380. Revision 1.37 2002/11/29 22:31:20 carl
  381. + unimplemented hint directive added
  382. * hint directive parsing implemented
  383. * warning on these directives
  384. Revision 1.36 2002/10/20 15:34:16 peter
  385. * removed df_unique flag. It breaks code. For a good type=type <id>
  386. a def copy is required
  387. Revision 1.35 2002/10/06 12:25:05 florian
  388. + proper support of type <id> = type <another id>;
  389. Revision 1.34 2002/08/19 19:36:44 peter
  390. * More fixes for cross unit inlining, all tnodes are now implemented
  391. * Moved pocall_internconst to po_internconst because it is not a
  392. calling type at all and it conflicted when inlining of these small
  393. functions was requested
  394. Revision 1.33 2002/07/01 16:23:54 peter
  395. * cg64 patch
  396. * basics for currency
  397. * asnode updates for class and interface (not finished)
  398. Revision 1.32 2002/05/18 13:34:18 peter
  399. * readded missing revisions
  400. Revision 1.31 2002/05/16 19:46:44 carl
  401. + defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
  402. + try to fix temp allocation (still in ifdef)
  403. + generic constructor calls
  404. + start of tassembler / tmodulebase class cleanup
  405. Revision 1.30 2002/05/14 19:34:50 peter
  406. * removed old logs and updated copyright year
  407. Revision 1.29 2002/05/12 16:53:10 peter
  408. * moved entry and exitcode to ncgutil and cgobj
  409. * foreach gets extra argument for passing local data to the
  410. iterator function
  411. * -CR checks also class typecasts at runtime by changing them
  412. into as
  413. * fixed compiler to cycle with the -CR option
  414. * fixed stabs with elf writer, finally the global variables can
  415. be watched
  416. * removed a lot of routines from cga unit and replaced them by
  417. calls to cgobj
  418. * u32bit-s32bit updates for and,or,xor nodes. When one element is
  419. u32bit then the other is typecasted also to u32bit without giving
  420. a rangecheck warning/error.
  421. * fixed pascal calling method with reversing also the high tree in
  422. the parast, detected by tcalcst3 test
  423. Revision 1.28 2002/01/06 12:08:15 peter
  424. * removed uauto from orddef, use new range_to_basetype generating
  425. the correct ordinal type for a range
  426. }