pdecl.pas 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl
  4. Does declaration (but not type) parsing for Free Pascal
  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 pdecl;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. { global }
  23. globals,
  24. { symtable }
  25. symsym,
  26. { pass_1 }
  27. node;
  28. function readconstant(const orgname:string;const filepos:tfileposinfo):tconstsym;
  29. procedure const_dec;
  30. procedure label_dec;
  31. procedure type_dec;
  32. procedure var_dec;
  33. procedure threadvar_dec;
  34. procedure property_dec;
  35. procedure resourcestring_dec;
  36. implementation
  37. uses
  38. { common }
  39. cutils,cclasses,
  40. { global }
  41. globtype,tokens,verbose,
  42. systems,
  43. { aasm }
  44. aasmbase,aasmtai,fmodule,
  45. { symtable }
  46. symconst,symbase,symtype,symdef,symtable,paramgr,
  47. { pass 1 }
  48. nmat,nadd,ncal,nset,ncnv,ninl,ncon,nld,nflw,nobj,
  49. { codegen }
  50. ncgutil,
  51. { parser }
  52. scanner,
  53. pbase,pexpr,ptype,ptconst,pdecsub,pdecvar,pdecobj,
  54. { cpu-information }
  55. cpuinfo
  56. ;
  57. function readconstant(const orgname:string;const filepos:tfileposinfo):tconstsym;
  58. var
  59. hp : tconstsym;
  60. p : tnode;
  61. ps : pconstset;
  62. pd : pbestreal;
  63. pg : pguid;
  64. sp : pchar;
  65. storetokenpos : tfileposinfo;
  66. begin
  67. readconstant:=nil;
  68. if orgname='' then
  69. internalerror(9584582);
  70. hp:=nil;
  71. p:=comp_expr(true);
  72. storetokenpos:=akttokenpos;
  73. akttokenpos:=filepos;
  74. case p.nodetype of
  75. ordconstn:
  76. begin
  77. if is_constintnode(p) then
  78. hp:=tconstsym.create_ord_typed(orgname,constint,tordconstnode(p).value,tordconstnode(p).resulttype)
  79. else if is_constcharnode(p) then
  80. hp:=tconstsym.create_ord(orgname,constchar,tordconstnode(p).value)
  81. else if is_constboolnode(p) then
  82. hp:=tconstsym.create_ord(orgname,constbool,tordconstnode(p).value)
  83. else if is_constwidecharnode(p) then
  84. hp:=tconstsym.create_ord(orgname,constwchar,tordconstnode(p).value)
  85. else if p.resulttype.def.deftype=enumdef then
  86. hp:=tconstsym.create_ord_typed(orgname,constord,tordconstnode(p).value,p.resulttype)
  87. else if p.resulttype.def.deftype=pointerdef then
  88. hp:=tconstsym.create_ordptr_typed(orgname,constpointer,tordconstnode(p).value,p.resulttype)
  89. else internalerror(111);
  90. end;
  91. stringconstn:
  92. begin
  93. getmem(sp,tstringconstnode(p).len+1);
  94. move(tstringconstnode(p).value_str^,sp^,tstringconstnode(p).len+1);
  95. hp:=tconstsym.create_string(orgname,conststring,sp,tstringconstnode(p).len);
  96. end;
  97. realconstn :
  98. begin
  99. new(pd);
  100. pd^:=trealconstnode(p).value_real;
  101. hp:=tconstsym.create_ptr(orgname,constreal,pd);
  102. end;
  103. setconstn :
  104. begin
  105. new(ps);
  106. ps^:=tsetconstnode(p).value_set^;
  107. hp:=tconstsym.create_ptr_typed(orgname,constset,ps,p.resulttype);
  108. end;
  109. pointerconstn :
  110. begin
  111. hp:=tconstsym.create_ordptr_typed(orgname,constpointer,tpointerconstnode(p).value,p.resulttype);
  112. end;
  113. niln :
  114. begin
  115. hp:=tconstsym.create_ord_typed(orgname,constnil,0,p.resulttype);
  116. end;
  117. typen :
  118. begin
  119. if is_interface(p.resulttype.def) then
  120. begin
  121. if assigned(tobjectdef(p.resulttype.def).iidguid) then
  122. begin
  123. new(pg);
  124. pg^:=tobjectdef(p.resulttype.def).iidguid^;
  125. hp:=tconstsym.create_ptr(orgname,constguid,pg);
  126. end
  127. else
  128. Message1(parser_e_interface_has_no_guid,tobjectdef(p.resulttype.def).objrealname^);
  129. end
  130. else
  131. Message(cg_e_illegal_expression);
  132. end;
  133. else
  134. Message(cg_e_illegal_expression);
  135. end;
  136. akttokenpos:=storetokenpos;
  137. p.free;
  138. readconstant:=hp;
  139. end;
  140. procedure const_dec;
  141. var
  142. orgname : stringid;
  143. tt : ttype;
  144. sym : tsym;
  145. storetokenpos,filepos : tfileposinfo;
  146. old_block_type : tblock_type;
  147. skipequal : boolean;
  148. begin
  149. consume(_CONST);
  150. old_block_type:=block_type;
  151. block_type:=bt_const;
  152. repeat
  153. orgname:=orgpattern;
  154. filepos:=akttokenpos;
  155. consume(_ID);
  156. case token of
  157. _EQUAL:
  158. begin
  159. consume(_EQUAL);
  160. sym:=readconstant(orgname,filepos);
  161. if assigned(sym) then
  162. symtablestack.insert(sym);
  163. try_consume_hintdirective(sym.symoptions);
  164. consume(_SEMICOLON);
  165. end;
  166. _COLON:
  167. begin
  168. { set the blocktype first so a consume also supports a
  169. caret, to support const s : ^string = nil }
  170. block_type:=bt_type;
  171. consume(_COLON);
  172. ignore_equal:=true;
  173. read_type(tt,'',false);
  174. ignore_equal:=false;
  175. block_type:=bt_const;
  176. skipequal:=false;
  177. { create symbol }
  178. storetokenpos:=akttokenpos;
  179. akttokenpos:=filepos;
  180. sym:=ttypedconstsym.createtype(orgname,tt,(cs_typed_const_writable in aktlocalswitches));
  181. akttokenpos:=storetokenpos;
  182. symtablestack.insert(sym);
  183. insertconstdata(ttypedconstsym(sym));
  184. { procvar can have proc directives, but not type references }
  185. if (tt.def.deftype=procvardef) and
  186. (tt.sym=nil) then
  187. begin
  188. { support p : procedure;stdcall=nil; }
  189. if try_to_consume(_SEMICOLON) then
  190. begin
  191. if is_proc_directive(token,true) then
  192. parse_var_proc_directives(sym)
  193. else
  194. begin
  195. Message(parser_e_proc_directive_expected);
  196. skipequal:=true;
  197. end;
  198. end
  199. else
  200. { support p : procedure stdcall=nil; }
  201. begin
  202. if is_proc_directive(token,true) then
  203. parse_var_proc_directives(sym);
  204. end;
  205. { add default calling convention }
  206. handle_calling_convention(tabstractprocdef(tt.def));
  207. calc_parast(tprocvardef(tt.def));
  208. end;
  209. if not skipequal then
  210. begin
  211. { get init value }
  212. consume(_EQUAL);
  213. readtypedconst(tt,ttypedconstsym(sym),(cs_typed_const_writable in aktlocalswitches));
  214. try_consume_hintdirective(sym.symoptions);
  215. consume(_SEMICOLON);
  216. end;
  217. end;
  218. else
  219. { generate an error }
  220. consume(_EQUAL);
  221. end;
  222. until token<>_ID;
  223. block_type:=old_block_type;
  224. end;
  225. procedure label_dec;
  226. var
  227. hl : tasmlabel;
  228. begin
  229. consume(_LABEL);
  230. if not(cs_support_goto in aktmoduleswitches) then
  231. Message(sym_e_goto_and_label_not_supported);
  232. repeat
  233. if not(token in [_ID,_INTCONST]) then
  234. consume(_ID)
  235. else
  236. begin
  237. if (cs_create_smart in aktmoduleswitches) then
  238. begin
  239. objectlibrary.getdatalabel(hl);
  240. { we still want a warning if unused }
  241. hl.decrefs;
  242. end
  243. else
  244. objectlibrary.getlabel(hl);
  245. if token=_ID then
  246. symtablestack.insert(tlabelsym.create(orgpattern,hl))
  247. else
  248. symtablestack.insert(tlabelsym.create(pattern,hl));
  249. consume(token);
  250. end;
  251. if token<>_SEMICOLON then consume(_COMMA);
  252. until not(token in [_ID,_INTCONST]);
  253. consume(_SEMICOLON);
  254. end;
  255. { search in symtablestack used, but not defined type }
  256. procedure resolve_type_forward(p : tnamedindexitem;arg:pointer);
  257. var
  258. hpd,pd : tdef;
  259. stpos : tfileposinfo;
  260. again : boolean;
  261. srsym : tsym;
  262. srsymtable : tsymtable;
  263. begin
  264. { Check only typesyms or record/object fields }
  265. case tsym(p).typ of
  266. typesym :
  267. pd:=ttypesym(p).restype.def;
  268. varsym :
  269. if (tsym(p).owner.symtabletype in [objectsymtable,recordsymtable]) then
  270. pd:=tvarsym(p).vartype.def
  271. else
  272. exit;
  273. else
  274. exit;
  275. end;
  276. repeat
  277. again:=false;
  278. case pd.deftype of
  279. arraydef :
  280. begin
  281. { elementtype could also be defined using a forwarddef }
  282. pd:=tarraydef(pd).elementtype.def;
  283. again:=true;
  284. end;
  285. pointerdef,
  286. classrefdef :
  287. begin
  288. { classrefdef inherits from pointerdef }
  289. hpd:=tpointerdef(pd).pointertype.def;
  290. { still a forward def ? }
  291. if hpd.deftype=forwarddef then
  292. begin
  293. { try to resolve the forward }
  294. { get the correct position for it }
  295. stpos:=akttokenpos;
  296. akttokenpos:=tforwarddef(hpd).forwardpos;
  297. resolving_forward:=true;
  298. make_ref:=false;
  299. if not assigned(tforwarddef(hpd).tosymname) then
  300. internalerror(20021120);
  301. searchsym(tforwarddef(hpd).tosymname^,srsym,srsymtable);
  302. make_ref:=true;
  303. resolving_forward:=false;
  304. akttokenpos:=stpos;
  305. { we don't need the forwarddef anymore, dispose it }
  306. hpd.free;
  307. tpointerdef(pd).pointertype.def:=nil; { if error occurs }
  308. { was a type sym found ? }
  309. if assigned(srsym) and
  310. (srsym.typ=typesym) then
  311. begin
  312. tpointerdef(pd).pointertype.setsym(srsym);
  313. { avoid wrong unused warnings web bug 801 PM }
  314. inc(tstoredsym(srsym).refs);
  315. {$ifdef GDB}
  316. if (cs_debuginfo in aktmoduleswitches) and assigned(debuglist) and
  317. (tsym(p).owner.symtabletype in [globalsymtable,staticsymtable]) then
  318. begin
  319. ttypesym(p).isusedinstab := true;
  320. ttypesym(p).concatstabto(debuglist);
  321. end;
  322. {$endif GDB}
  323. { we need a class type for classrefdef }
  324. if (pd.deftype=classrefdef) and
  325. not(is_class(ttypesym(srsym).restype.def)) then
  326. Message1(type_e_class_type_expected,ttypesym(srsym).restype.def.typename);
  327. end
  328. else
  329. begin
  330. MessagePos1(tsym(p).fileinfo,sym_e_forward_type_not_resolved,tsym(p).realname);
  331. { try to recover }
  332. tpointerdef(pd).pointertype:=generrortype;
  333. end;
  334. end;
  335. end;
  336. recorddef :
  337. trecorddef(pd).symtable.foreach_static({$ifdef FPCPROCVAR}@{$endif}resolve_type_forward,nil);
  338. objectdef :
  339. begin
  340. if not(m_fpc in aktmodeswitches) and
  341. (oo_is_forward in tobjectdef(pd).objectoptions) then
  342. begin
  343. { only give an error as the implementation may follow in an
  344. other type block which is allowed by FPC modes }
  345. MessagePos1(tsym(p).fileinfo,sym_e_forward_type_not_resolved,tsym(p).realname);
  346. end
  347. else
  348. begin
  349. { Check all fields of the object declaration, but don't
  350. check objectdefs in objects/records, because these
  351. can't exist (anonymous objects aren't allowed) }
  352. if not(tsym(p).owner.symtabletype in [objectsymtable,recordsymtable]) then
  353. tobjectdef(pd).symtable.foreach_static({$ifdef FPCPROCVAR}@{$endif}resolve_type_forward,nil);
  354. end;
  355. end;
  356. end;
  357. until not again;
  358. end;
  359. { reads a type declaration to the symbol table }
  360. procedure type_dec;
  361. var
  362. typename,orgtypename : stringid;
  363. newtype : ttypesym;
  364. sym : tsym;
  365. srsymtable : tsymtable;
  366. tt : ttype;
  367. oldfilepos,
  368. defpos,storetokenpos : tfileposinfo;
  369. old_block_type : tblock_type;
  370. ch : tclassheader;
  371. unique,istyperenaming : boolean;
  372. begin
  373. old_block_type:=block_type;
  374. block_type:=bt_type;
  375. consume(_TYPE);
  376. typecanbeforward:=true;
  377. repeat
  378. typename:=pattern;
  379. orgtypename:=orgpattern;
  380. defpos:=akttokenpos;
  381. istyperenaming:=false;
  382. consume(_ID);
  383. consume(_EQUAL);
  384. { support 'ttype=type word' syntax }
  385. if token=_TYPE then
  386. begin
  387. Consume(_TYPE);
  388. unique:=true;
  389. end
  390. else
  391. unique:=false;
  392. { is the type already defined? }
  393. searchsym(typename,sym,srsymtable);
  394. newtype:=nil;
  395. { found a symbol with this name? }
  396. if assigned(sym) then
  397. begin
  398. if (sym.typ=typesym) then
  399. begin
  400. if ((token=_CLASS) or
  401. (token=_INTERFACE)) and
  402. (assigned(ttypesym(sym).restype.def)) and
  403. is_class_or_interface(ttypesym(sym).restype.def) and
  404. (oo_is_forward in tobjectdef(ttypesym(sym).restype.def).objectoptions) then
  405. begin
  406. { we can ignore the result }
  407. { the definition is modified }
  408. object_dec(orgtypename,tobjectdef(ttypesym(sym).restype.def));
  409. newtype:=ttypesym(sym);
  410. tt:=newtype.restype;
  411. end
  412. else
  413. message1(parser_h_type_redef,typename);
  414. end;
  415. end;
  416. { no old type reused ? Then insert this new type }
  417. if not assigned(newtype) then
  418. begin
  419. { insert the new type first with an errordef, so that
  420. referencing the type before it's really set it
  421. will give an error (PFV) }
  422. tt:=generrortype;
  423. storetokenpos:=akttokenpos;
  424. newtype:=ttypesym.create(orgtypename,tt);
  425. symtablestack.insert(newtype);
  426. akttokenpos:=defpos;
  427. akttokenpos:=storetokenpos;
  428. { read the type definition }
  429. read_type(tt,orgtypename,false);
  430. { update the definition of the type }
  431. newtype.restype:=tt;
  432. if assigned(tt.sym) then
  433. istyperenaming:=true
  434. else
  435. tt.sym:=newtype;
  436. if unique and assigned(tt.def) then
  437. begin
  438. tt.setdef(tstoreddef(tt.def).getcopy);
  439. include(tt.def.defoptions,df_unique);
  440. newtype.restype:=tt;
  441. end;
  442. if assigned(tt.def) and not assigned(tt.def.typesym) then
  443. tt.def.typesym:=newtype;
  444. { KAZ: handle TGUID declaration in system unit }
  445. if (cs_compilesystem in aktmoduleswitches) and not assigned(rec_tguid) and
  446. (typename='TGUID') and { name: TGUID and size=16 bytes that is 128 bits }
  447. assigned(tt.def) and (tt.def.deftype=recorddef) and (tt.def.size=16) then
  448. rec_tguid:=trecorddef(tt.def);
  449. end;
  450. if assigned(tt.def) then
  451. begin
  452. case tt.def.deftype of
  453. pointerdef :
  454. begin
  455. consume(_SEMICOLON);
  456. if try_to_consume(_FAR) then
  457. begin
  458. tpointerdef(tt.def).is_far:=true;
  459. consume(_SEMICOLON);
  460. end;
  461. end;
  462. procvardef :
  463. begin
  464. { in case of type renaming, don't parse proc directives }
  465. if istyperenaming then
  466. consume(_SEMICOLON)
  467. else
  468. begin
  469. if not is_proc_directive(token,true) then
  470. consume(_SEMICOLON);
  471. parse_var_proc_directives(tsym(newtype));
  472. handle_calling_convention(tprocvardef(tt.def));
  473. calc_parast(tprocvardef(tt.def));
  474. end;
  475. end;
  476. objectdef,
  477. recorddef :
  478. begin
  479. try_consume_hintdirective(newtype.symoptions);
  480. consume(_SEMICOLON);
  481. end;
  482. else
  483. consume(_SEMICOLON);
  484. end;
  485. end;
  486. { Write tables if we are the typesym that defines
  487. this type. This will not be done for simple type renamings }
  488. if (tt.def.typesym=newtype) then
  489. begin
  490. { file position }
  491. oldfilepos:=aktfilepos;
  492. aktfilepos:=newtype.fileinfo;
  493. { generate persistent init/final tables when it's declared in the interface so it can
  494. be reused in other used }
  495. if current_module.in_interface and
  496. ((is_class(tt.def) and
  497. tobjectdef(tt.def).members_need_inittable) or
  498. tt.def.needs_inittable) then
  499. generate_inittable(newtype);
  500. { for objects we should write the vmt and interfaces.
  501. This need to be done after the rtti has been written, because
  502. it can contain a reference to that data (PFV)
  503. This is not for forward classes }
  504. if (tt.def.deftype=objectdef) then
  505. begin
  506. if not(oo_is_forward in tobjectdef(tt.def).objectoptions) then
  507. begin
  508. ch:=cclassheader.create(tobjectdef(tt.def));
  509. { generate and check virtual methods, must be done
  510. before RTTI is written }
  511. ch.genvmt;
  512. { Generate RTTI for class }
  513. generate_rtti(newtype);
  514. if is_interface(tobjectdef(tt.def)) then
  515. ch.writeinterfaceids;
  516. if (oo_has_vmt in tobjectdef(tt.def).objectoptions) then
  517. ch.writevmt;
  518. ch.free;
  519. end;
  520. end
  521. else
  522. begin
  523. { Always generate RTTI info for all types. This is to have typeinfo() return
  524. the same pointer }
  525. generate_rtti(newtype);
  526. end;
  527. aktfilepos:=oldfilepos;
  528. end;
  529. until token<>_ID;
  530. typecanbeforward:=false;
  531. symtablestack.foreach_static({$ifdef FPCPROCVAR}@{$endif}resolve_type_forward,nil);
  532. block_type:=old_block_type;
  533. end;
  534. procedure var_dec;
  535. { parses variable declarations and inserts them in }
  536. { the top symbol table of symtablestack }
  537. begin
  538. consume(_VAR);
  539. read_var_decs(false,false,false);
  540. end;
  541. procedure property_dec;
  542. var
  543. old_block_type : tblock_type;
  544. begin
  545. consume(_PROPERTY);
  546. if not(symtablestack.symtabletype in [staticsymtable,globalsymtable]) then
  547. message(parser_e_resourcestring_only_sg);
  548. old_block_type:=block_type;
  549. block_type:=bt_const;
  550. repeat
  551. read_property_dec(nil);
  552. consume(_SEMICOLON);
  553. until token<>_ID;
  554. block_type:=old_block_type;
  555. end;
  556. procedure threadvar_dec;
  557. { parses thread variable declarations and inserts them in }
  558. { the top symbol table of symtablestack }
  559. begin
  560. consume(_THREADVAR);
  561. if not(symtablestack.symtabletype in [staticsymtable,globalsymtable]) then
  562. message(parser_e_threadvars_only_sg);
  563. if not(cs_threading in aktmoduleswitches) and
  564. not(cs_compilesystem in aktmoduleswitches) then
  565. Comment(V_Error,'Threading is turned off');
  566. read_var_decs(false,false,true);
  567. end;
  568. procedure resourcestring_dec;
  569. var
  570. orgname : stringid;
  571. p : tnode;
  572. storetokenpos,filepos : tfileposinfo;
  573. old_block_type : tblock_type;
  574. sp : pchar;
  575. begin
  576. consume(_RESOURCESTRING);
  577. if not(symtablestack.symtabletype in [staticsymtable,globalsymtable]) then
  578. message(parser_e_resourcestring_only_sg);
  579. old_block_type:=block_type;
  580. block_type:=bt_const;
  581. repeat
  582. orgname:=orgpattern;
  583. filepos:=akttokenpos;
  584. consume(_ID);
  585. case token of
  586. _EQUAL:
  587. begin
  588. consume(_EQUAL);
  589. p:=comp_expr(true);
  590. storetokenpos:=akttokenpos;
  591. akttokenpos:=filepos;
  592. case p.nodetype of
  593. ordconstn:
  594. begin
  595. if is_constcharnode(p) then
  596. begin
  597. getmem(sp,2);
  598. sp[0]:=chr(tordconstnode(p).value);
  599. sp[1]:=#0;
  600. symtablestack.insert(tconstsym.create_string(orgname,constresourcestring,sp,1));
  601. end
  602. else
  603. Message(cg_e_illegal_expression);
  604. end;
  605. stringconstn:
  606. begin
  607. getmem(sp,tstringconstnode(p).len+1);
  608. move(tstringconstnode(p).value_str^,sp^,tstringconstnode(p).len+1);
  609. symtablestack.insert(tconstsym.create_string(orgname,constresourcestring,sp,tstringconstnode(p).len));
  610. end;
  611. else
  612. Message(cg_e_illegal_expression);
  613. end;
  614. akttokenpos:=storetokenpos;
  615. consume(_SEMICOLON);
  616. p.free;
  617. end;
  618. else consume(_EQUAL);
  619. end;
  620. until token<>_ID;
  621. block_type:=old_block_type;
  622. end;
  623. end.
  624. {
  625. $Log$
  626. Revision 1.75 2003-12-15 21:25:48 peter
  627. * reg allocations for imaginary register are now inserted just
  628. before reg allocation
  629. * tregister changed to enum to allow compile time check
  630. * fixed several tregister-tsuperregister errors
  631. Revision 1.74 2003/12/12 12:09:40 marco
  632. * always generate RTTI patch from peter
  633. Revision 1.73 2003/12/10 16:37:01 peter
  634. * global property support for fpc modes
  635. Revision 1.72 2003/11/12 15:48:48 peter
  636. * don't give redefinition warning for forward classes
  637. Revision 1.71 2003/10/03 14:45:09 peter
  638. * more proc directive for procvar fixes
  639. Revision 1.70 2003/10/02 21:13:09 peter
  640. * procvar directive parsing fixes
  641. Revision 1.69 2003/09/23 17:56:05 peter
  642. * locals and paras are allocated in the code generation
  643. * tvarsym.localloc contains the location of para/local when
  644. generating code for the current procedure
  645. Revision 1.68 2003/07/02 22:18:04 peter
  646. * paraloc splitted in callerparaloc,calleeparaloc
  647. * sparc calling convention updates
  648. Revision 1.67 2003/04/27 11:21:33 peter
  649. * aktprocdef renamed to current_procdef
  650. * procinfo renamed to current_procinfo
  651. * procinfo will now be stored in current_module so it can be
  652. cleaned up properly
  653. * gen_main_procsym changed to create_main_proc and release_main_proc
  654. to also generate a tprocinfo structure
  655. * fixed unit implicit initfinal
  656. Revision 1.66 2003/04/27 07:29:50 peter
  657. * current_procdef cleanup, current_procdef is now always nil when parsing
  658. a new procdef declaration
  659. * aktprocsym removed
  660. * lexlevel removed, use symtable.symtablelevel instead
  661. * implicit init/final code uses the normal genentry/genexit
  662. * funcret state checking updated for new funcret handling
  663. Revision 1.65 2003/04/01 16:17:15 peter
  664. * reset symbol for unique types
  665. Revision 1.64 2003/01/05 15:54:15 florian
  666. + added proper support of type = type <type>; for simple types
  667. Revision 1.63 2002/12/29 14:57:50 peter
  668. * unit loading changed to first register units and load them
  669. afterwards. This is needed to support uses xxx in yyy correctly
  670. * unit dependency check fixed
  671. Revision 1.62 2002/12/05 19:27:40 carl
  672. - remove lower in hint
  673. Revision 1.61 2002/11/25 18:43:32 carl
  674. - removed the invalid if <> checking (Delphi is strange on this)
  675. + implemented abstract warning on instance creation of class with
  676. abstract methods.
  677. * some error message cleanups
  678. Revision 1.60 2002/11/23 22:50:06 carl
  679. * some small speed optimizations
  680. + added several new warnings/hints
  681. Revision 1.59 2002/11/17 16:31:56 carl
  682. * memory optimization (3-4%) : cleanup of tai fields,
  683. cleanup of tdef and tsym fields.
  684. * make it work for m68k
  685. Revision 1.58 2002/11/15 16:29:30 peter
  686. * made tasmsymbol.refs private (merged)
  687. Revision 1.57 2002/10/20 15:34:16 peter
  688. * removed df_unique flag. It breaks code. For a good type=type <id>
  689. a def copy is required
  690. Revision 1.56 2002/10/19 15:09:25 peter
  691. + tobjectdef.members_need_inittable that is used to generate only the
  692. inittable when it is really used. This saves a lot of useless calls
  693. to fpc_finalize when destroying classes
  694. Revision 1.55 2002/10/14 19:45:02 peter
  695. * only allow threadvar when threading switch is defined
  696. Revision 1.54 2002/10/06 12:25:05 florian
  697. + proper support of type <id> = type <another id>;
  698. Revision 1.53 2002/08/25 19:25:19 peter
  699. * sym.insert_in_data removed
  700. * symtable.insertvardata/insertconstdata added
  701. * removed insert_in_data call from symtable.insert, it needs to be
  702. called separatly. This allows to deref the address calculation
  703. * procedures now calculate the parast addresses after the procedure
  704. directives are parsed. This fixes the cdecl parast problem
  705. * push_addr_param has an extra argument that specifies if cdecl is used
  706. or not
  707. Revision 1.52 2002/08/12 15:08:40 carl
  708. + stab register indexes for powerpc (moved from gdb to cpubase)
  709. + tprocessor enumeration moved to cpuinfo
  710. + linker in target_info is now a class
  711. * many many updates for m68k (will soon start to compile)
  712. - removed some ifdef or correct them for correct cpu
  713. Revision 1.51 2002/08/11 14:32:27 peter
  714. * renamed current_library to objectlibrary
  715. Revision 1.50 2002/08/11 13:24:12 peter
  716. * saving of asmsymbols in ppu supported
  717. * asmsymbollist global is removed and moved into a new class
  718. tasmlibrarydata that will hold the info of a .a file which
  719. corresponds with a single module. Added librarydata to tmodule
  720. to keep the library info stored for the module. In the future the
  721. objectfiles will also be stored to the tasmlibrarydata class
  722. * all getlabel/newasmsymbol and friends are moved to the new class
  723. Revision 1.49 2002/07/29 21:23:43 florian
  724. * more fixes for the ppc
  725. + wrappers for the tcnvnode.first_* stuff introduced
  726. Revision 1.48 2002/07/01 18:46:25 peter
  727. * internal linker
  728. * reorganized aasm layer
  729. Revision 1.47 2002/06/12 13:20:29 jonas
  730. * fix from Florian for init/final info of forward classes
  731. Revision 1.46 2002/05/18 13:34:12 peter
  732. * readded missing revisions
  733. Revision 1.45 2002/05/16 19:46:42 carl
  734. + defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
  735. + try to fix temp allocation (still in ifdef)
  736. + generic constructor calls
  737. + start of tassembler / tmodulebase class cleanup
  738. Revision 1.43 2002/05/12 16:53:08 peter
  739. * moved entry and exitcode to ncgutil and cgobj
  740. * foreach gets extra argument for passing local data to the
  741. iterator function
  742. * -CR checks also class typecasts at runtime by changing them
  743. into as
  744. * fixed compiler to cycle with the -CR option
  745. * fixed stabs with elf writer, finally the global variables can
  746. be watched
  747. * removed a lot of routines from cga unit and replaced them by
  748. calls to cgobj
  749. * u32bit-s32bit updates for and,or,xor nodes. When one element is
  750. u32bit then the other is typecasted also to u32bit without giving
  751. a rangecheck warning/error.
  752. * fixed pascal calling method with reversing also the high tree in
  753. the parast, detected by tcalcst3 test
  754. Revision 1.42 2002/04/19 15:46:02 peter
  755. * mangledname rewrite, tprocdef.mangledname is now created dynamicly
  756. in most cases and not written to the ppu
  757. * add mangeledname_prefix() routine to generate the prefix of
  758. manglednames depending on the current procedure, object and module
  759. * removed static procprefix since the mangledname is now build only
  760. on demand from tprocdef.mangledname
  761. Revision 1.41 2002/03/04 17:54:59 peter
  762. * allow oridinal labels again
  763. }