tcresolvegenerics.pas 71 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044
  1. unit tcresolvegenerics;
  2. {$mode objfpc}{$H+}
  3. interface
  4. uses
  5. Classes, SysUtils, testregistry, tcresolver, PasResolveEval, PParser,
  6. PScanner;
  7. type
  8. { TTestResolveGenerics }
  9. TTestResolveGenerics = Class(TCustomTestResolver)
  10. Published
  11. // generic types
  12. procedure TestGen_MissingTemplateFail;
  13. procedure TestGen_VarTypeWithoutSpecializeFail;
  14. procedure TestGen_GenTypeWithWrongParamCountFail;
  15. procedure TestGen_GenericNotFoundFail;
  16. procedure TestGen_SameNameSameParamCountFail;
  17. procedure TestGen_TypeAliasWithoutSpecializeFail;
  18. procedure TestGen_TemplNameEqTypeNameFail; // type T<T>
  19. // constraints
  20. procedure TestGen_ConstraintStringFail;
  21. procedure TestGen_ConstraintMultiClassFail;
  22. procedure TestGen_ConstraintRecordExpectedFail;
  23. procedure TestGen_ConstraintClassRecordFail;
  24. procedure TestGen_ConstraintRecordClassFail;
  25. procedure TestGen_ConstraintArrayFail;
  26. procedure TestGen_ConstraintConstructor;
  27. procedure TestGen_ConstraintUnit;
  28. // ToDo: constraint T:Unit2.specialize TGen<word>
  29. procedure TestGen_ConstraintSpecialize;
  30. procedure TestGen_ConstraintTSpecializeWithT;
  31. procedure TestGen_ConstraintTSpecializeAsTFail; // TBird<T; U: T<word>> and no T<>
  32. procedure TestGen_ConstraintTSpecializeWithTFail; // TBird<T: TAnt<T>>
  33. procedure TestGen_ConstraintSameNameFail; // TAnt<T:T>
  34. procedure TestGen_ConstraintInheritedMissingRecordFail;
  35. procedure TestGen_ConstraintInheritedMissingClassTypeFail;
  36. procedure TestGen_ConstraintMultiParam;
  37. procedure TestGen_ConstraintMultiParamClassMismatch;
  38. procedure TestGen_ConstraintClassType_DotIsAsTypeCast;
  39. procedure TestGen_ConstraintClassType_ForInT;
  40. procedure TestGen_ConstraintClassType_IsAs;
  41. // generic record
  42. procedure TestGen_RecordLocalNameDuplicateFail;
  43. procedure TestGen_Record;
  44. procedure TestGen_RecordDelphi;
  45. procedure TestGen_RecordNestedSpecialize_ClassRecord;
  46. procedure TestGen_RecordNestedSpecialize_Self;
  47. procedure TestGen_Record_SpecializeSelfInsideFail;
  48. procedure TestGen_Record_ReferGenericSelfFail;
  49. procedure TestGen_RecordAnoArray;
  50. // ToDo: unitname.specialize TBird<word>.specialize TAnt<word>
  51. // generic class
  52. procedure TestGen_Class;
  53. procedure TestGen_ClassDelphi;
  54. procedure TestGen_ClassDelphi_TypeOverload;
  55. procedure TestGen_ClassObjFPC;
  56. procedure TestGen_ClassObjFPC_OverloadFail;
  57. procedure TestGen_ClassObjFPC_OverloadOtherUnit;
  58. procedure TestGen_ClassGenAncestorWithoutParamFail;
  59. procedure TestGen_ClassForward;
  60. procedure TestGen_ClassForwardConstraints;
  61. procedure TestGen_ClassForwardConstraintNameMismatch;
  62. procedure TestGen_ClassForwardConstraintKeywordMismatch;
  63. procedure TestGen_ClassForwardConstraintTypeMismatch;
  64. procedure TestGen_ClassForward_Circle;
  65. procedure TestGen_Class_RedeclareInUnitImplFail;
  66. procedure TestGen_Class_TypeOverloadInUnitImpl;
  67. procedure TestGen_Class_MethodObjFPC;
  68. procedure TestGen_Class_MethodOverride;
  69. procedure TestGen_Class_MethodDelphi;
  70. procedure TestGen_Class_MethodDelphiTypeParamMissing;
  71. procedure TestGen_Class_MethodImplConstraintFail;
  72. procedure TestGen_Class_MethodImplTypeParamNameMismatch;
  73. procedure TestGen_Class_SpecializeSelfInside;
  74. procedure TestGen_Class_AncestorTFail;
  75. procedure TestGen_Class_GenAncestor;
  76. procedure TestGen_Class_AncestorSelfFail;
  77. procedure TestGen_ClassOfSpecializeFail;
  78. // ToDo: UnitA.impl uses UnitB.intf uses UnitA.intf, UnitB has specialize of UnitA
  79. procedure TestGen_Class_NestedType;
  80. procedure TestGen_Class_NestedRecord;
  81. procedure TestGen_Class_NestedClass;
  82. procedure TestGen_Class_Enums_NotPropagating;
  83. procedure TestGen_Class_Self;
  84. procedure TestGen_Class_MemberTypeConstructor;
  85. procedure TestGen_Class_AliasMemberType;
  86. procedure TestGen_Class_AccessGenericMemberTypeFail;
  87. procedure TestGen_Class_ReferenceTo;
  88. procedure TestGen_Class_TwoSpecsAreNotRelatedWarn;
  89. procedure TestGen_Class_List;
  90. procedure TestGen_Class_Typecast;
  91. // ToDo: different modeswitches at parse time and specialize time
  92. // generic external class
  93. procedure TestGen_ExtClass_Array;
  94. procedure TestGen_ExtClass_VarargsOfType;
  95. // generic interface
  96. procedure TestGen_ClassInterface;
  97. procedure TestGen_ClassInterface_Method;
  98. // generic array
  99. procedure TestGen_DynArray;
  100. procedure TestGen_StaticArray;
  101. procedure TestGen_Array_Anoynmous;
  102. // generic procedure type
  103. procedure TestGen_ProcType;
  104. procedure TestGen_ProcType_AnonymousFunc_Delphi;
  105. // pointer of generic
  106. procedure TestGen_PointerDirectSpecializeFail;
  107. // ToDo: helpers for generics
  108. procedure TestGen_HelperForArray;
  109. // ToDo: default class prop array helper: arr<b>[c]
  110. // generic statements
  111. procedure TestGen_LocalVar;
  112. procedure TestGen_Statements;
  113. procedure TestGen_InlineSpecializeExpr;
  114. // ToDo: a.b<c>(d)
  115. // ToDo: with a do b<c>
  116. procedure TestGen_TryExcept;
  117. procedure TestGen_Call;
  118. procedure TestGen_NestedProc;
  119. // ToDo: obj<b>[c]
  120. // generic functions
  121. procedure TestGenProc_Function;
  122. procedure TestGenProc_FunctionDelphi;
  123. procedure TestGenProc_OverloadDuplicate;
  124. procedure TestGenProc_MissingTemplatesFail;
  125. procedure TestGenProc_SpecializeNonGenericFail;
  126. procedure TestGenProc_Forward;
  127. procedure TestGenProc_External;
  128. procedure TestGenProc_UnitIntf;
  129. procedure TestGenProc_BackRef1Fail;
  130. procedure TestGenProc_BackRef2Fail;
  131. procedure TestGenProc_BackRef3Fail;
  132. procedure TestGenProc_CallSelf;
  133. procedure TestGenProc_CallSelfNoParams;
  134. procedure TestGenProc_ForwardConstraints;
  135. procedure TestGenProc_ForwardConstraintsRepeatFail;
  136. procedure TestGenProc_ForwardTempNameMismatch;
  137. procedure TestGenProc_ForwardOverload;
  138. procedure TestGenProc_NestedFail;
  139. procedure TestGenProc_TypeParamCntOverload;
  140. procedure TestGenProc_TypeParamCntOverloadNoParams;
  141. procedure TestGenProc_TypeParamWithDefaultParamDelphiFail;
  142. procedure TestGenProc_ParamSpecWithT;
  143. // ToDo: NestedResultAssign
  144. // generic function infer types
  145. procedure TestGenProc_Infer_NeedExplicitFail;
  146. procedure TestGenProc_Infer_Overload;
  147. procedure TestGenProc_Infer_OverloadForward;
  148. procedure TestGenProc_Infer_Var_Overload;
  149. procedure TestGenProc_Infer_Widen;
  150. procedure TestGenProc_Infer_DefaultValue;
  151. procedure TestGenProc_Infer_DefaultValueMismatch;
  152. procedure TestGenProc_Infer_ProcT;
  153. procedure TestGenProc_Infer_Mismatch;
  154. procedure TestGenProc_Infer_ArrayOfT;
  155. procedure TestGenProc_Infer_PassAsArgDelphi;
  156. procedure TestGenProc_Infer_PassAsArgObjFPC;
  157. // ToDo procedure TestGenProc_Infer_ProcType;
  158. // generic methods
  159. procedure TestGenMethod_VirtualFail;
  160. procedure TestGenMethod_PublishedFail;
  161. procedure TestGenMethod_ClassInterfaceMethodFail;
  162. procedure TestGenMethod_ClassConstructorFail;
  163. procedure TestGenMethod_TemplNameDifferFail;
  164. procedure TestGenMethod_ImplConstraintFail;
  165. procedure TestGenMethod_NestedSelf;
  166. procedure TestGenMethod_OverloadTypeParamCntObjFPC;
  167. procedure TestGenMethod_OverloadTypeParamCntDelphi;
  168. procedure TestGenMethod_OverloadArgs;
  169. procedure TestGenMethod_TypeCastParam;
  170. procedure TestGenMethod_TypeCastIdentDot;
  171. end;
  172. implementation
  173. { TTestResolveGenerics }
  174. procedure TTestResolveGenerics.TestGen_MissingTemplateFail;
  175. begin
  176. StartProgram(false);
  177. Add([
  178. 'type generic g< > = array of word;',
  179. 'begin',
  180. '']);
  181. CheckParserException('Expected "Identifier"',nParserExpectTokenError);
  182. end;
  183. procedure TTestResolveGenerics.TestGen_VarTypeWithoutSpecializeFail;
  184. begin
  185. StartProgram(false);
  186. Add([
  187. 'type generic TBird<T> = record end;',
  188. 'var b: TBird;',
  189. 'begin',
  190. '']);
  191. CheckResolverException('Generics without specialization cannot be used as a type for a variable',
  192. nGenericsWithoutSpecializationAsType);
  193. end;
  194. procedure TTestResolveGenerics.TestGen_GenTypeWithWrongParamCountFail;
  195. begin
  196. StartProgram(false);
  197. Add([
  198. 'type generic TBird<T> = record end;',
  199. 'var b: specialize TBird<word, byte>;',
  200. 'begin',
  201. '']);
  202. CheckResolverException('identifier not found "TBird<,>"',
  203. nIdentifierNotFound);
  204. end;
  205. procedure TTestResolveGenerics.TestGen_GenericNotFoundFail;
  206. begin
  207. StartProgram(false);
  208. Add([
  209. '{$mode objfpc}',
  210. 'type',
  211. ' TBird = specialize TAnimal<word>;',
  212. 'begin',
  213. '']);
  214. CheckResolverException('identifier not found "TAnimal<>"',
  215. nIdentifierNotFound);
  216. end;
  217. procedure TTestResolveGenerics.TestGen_SameNameSameParamCountFail;
  218. begin
  219. StartProgram(false);
  220. Add([
  221. '{$mode delphi}',
  222. 'type',
  223. ' TBird<S,T> = record w: T; end;',
  224. ' TBird<X,Y> = record f: X; end;',
  225. 'begin',
  226. '']);
  227. CheckResolverException('Duplicate identifier "TBird" at afile.pp(4,8)',
  228. nDuplicateIdentifier);
  229. end;
  230. procedure TTestResolveGenerics.TestGen_TypeAliasWithoutSpecializeFail;
  231. begin
  232. StartProgram(false);
  233. Add([
  234. '{$mode delphi}',
  235. 'type',
  236. ' TBird<T> = record w: T; end;',
  237. ' TBirdAlias = TBird;',
  238. 'begin',
  239. '']);
  240. CheckResolverException('Generics without specialization cannot be used as a type for a variable',
  241. nGenericsWithoutSpecializationAsType);
  242. end;
  243. procedure TTestResolveGenerics.TestGen_TemplNameEqTypeNameFail;
  244. begin
  245. StartProgram(false);
  246. Add([
  247. '{$mode objfpc}',
  248. 'type',
  249. ' generic TBird<TBird> = record v: T; end;',
  250. 'var r: specialize TBird<word>;',
  251. 'begin',
  252. '']);
  253. CheckResolverException('Duplicate identifier "TBird" at afile.pp(4,16)',
  254. nDuplicateIdentifier);
  255. end;
  256. procedure TTestResolveGenerics.TestGen_ConstraintStringFail;
  257. begin
  258. StartProgram(false);
  259. Add([
  260. 'type generic TRec<T:string> = record end;',
  261. 'begin',
  262. '']);
  263. CheckResolverException('"String" is not a valid constraint',
  264. nXIsNotAValidConstraint);
  265. end;
  266. procedure TTestResolveGenerics.TestGen_ConstraintMultiClassFail;
  267. begin
  268. StartProgram(false);
  269. Add([
  270. '{$mode objfpc}',
  271. 'type',
  272. ' TObject = class end;',
  273. ' TBird = class end;',
  274. ' TBear = class end;',
  275. ' generic TRec<T: TBird, TBear> = record end;',
  276. 'begin',
  277. '']);
  278. CheckResolverException('"TBird" constraint and "TBear" constraint cannot be specified together',
  279. nConstraintXAndConstraintYCannotBeTogether);
  280. end;
  281. procedure TTestResolveGenerics.TestGen_ConstraintRecordExpectedFail;
  282. begin
  283. StartProgram(false);
  284. Add([
  285. '{$mode objfpc}',
  286. 'type',
  287. ' generic TBird<T:record> = record v: T; end;',
  288. 'var r: specialize TBird<word>;',
  289. 'begin',
  290. '']);
  291. CheckResolverException('record type expected, but Word found',
  292. nXExpectedButYFound);
  293. end;
  294. procedure TTestResolveGenerics.TestGen_ConstraintClassRecordFail;
  295. begin
  296. StartProgram(false);
  297. Add([
  298. '{$mode objfpc}',
  299. 'type',
  300. ' TRec = record end;',
  301. ' generic TBird<T:class> = record v: T; end;',
  302. 'var r: specialize TBird<TRec>;',
  303. 'begin',
  304. '']);
  305. CheckResolverException('class type expected, but TRec found',
  306. nXExpectedButYFound);
  307. end;
  308. procedure TTestResolveGenerics.TestGen_ConstraintRecordClassFail;
  309. begin
  310. StartProgram(false);
  311. Add([
  312. '{$mode objfpc}',
  313. 'type',
  314. ' TObject = class end;',
  315. ' generic TBird<T:record> = record v: T; end;',
  316. 'var r: specialize TBird<TObject>;',
  317. 'begin',
  318. '']);
  319. CheckResolverException('record type expected, but TObject found',
  320. nXExpectedButYFound);
  321. end;
  322. procedure TTestResolveGenerics.TestGen_ConstraintArrayFail;
  323. begin
  324. StartProgram(false);
  325. Add([
  326. '{$mode objfpc}',
  327. 'type',
  328. ' TArr = array of word;',
  329. ' generic TBird<T:TArr> = record v: T; end;',
  330. 'begin',
  331. '']);
  332. CheckResolverException('"array of Word" is not a valid constraint',
  333. nXIsNotAValidConstraint);
  334. end;
  335. procedure TTestResolveGenerics.TestGen_ConstraintConstructor;
  336. begin
  337. StartProgram(true,[supTObject]);
  338. Add([
  339. '{$mode objfpc}',
  340. 'type',
  341. ' generic TBird<T:constructor> = class',
  342. ' o: T;',
  343. ' procedure Fly;',
  344. ' end;',
  345. ' TAnt = class end;',
  346. 'var a: specialize TBird<TAnt>;',
  347. 'procedure TBird.Fly;',
  348. 'begin',
  349. ' o:=T.Create;',
  350. 'end;',
  351. 'begin',
  352. '']);
  353. ParseProgram;
  354. end;
  355. procedure TTestResolveGenerics.TestGen_ConstraintUnit;
  356. begin
  357. AddModuleWithIntfImplSrc('unit1.pas',
  358. LinesToStr([
  359. 'type',
  360. ' TBird = class b1: word; end;',
  361. ' generic TAnt<T> = class a1: T; end;',
  362. '']),
  363. LinesToStr([
  364. '']));
  365. StartProgram(true,[supTObject]);
  366. Add([
  367. 'uses unit1;',
  368. 'type',
  369. ' generic TCat<T: unit1.TBird> = class v: T; end;',
  370. ' generic TFish<T: specialize TAnt<word>> = class v: T; end;',
  371. ' TEagle = class(unit1.TBird);',
  372. ' TRedAnt = specialize TAnt<word>;',
  373. 'var',
  374. ' eagle: TEagle;',
  375. ' redant: TRedAnt;',
  376. ' cat: specialize TCat<TEagle>;',
  377. ' fish: specialize TFish<TRedAnt>;',
  378. 'begin',
  379. ' cat.v:=eagle;',
  380. ' fish.v:=redant;',
  381. '']);
  382. ParseProgram;
  383. end;
  384. procedure TTestResolveGenerics.TestGen_ConstraintSpecialize;
  385. begin
  386. StartProgram(false);
  387. Add([
  388. '{$mode objfpc}',
  389. 'type',
  390. ' TObject = class end;',
  391. ' generic TAnt<S> = class m: S; end;',
  392. ' generic TBird<T:specialize TAnt<word>> = class',
  393. ' o: T;',
  394. ' end;',
  395. ' TFireAnt = class(specialize TAnt<word>) end;',
  396. 'var',
  397. ' a: specialize TBird<TFireAnt>;',
  398. ' f: TFireAnt;',
  399. 'begin',
  400. ' a.o:=f;',
  401. '']);
  402. ParseProgram;
  403. end;
  404. procedure TTestResolveGenerics.TestGen_ConstraintTSpecializeWithT;
  405. begin
  406. StartProgram(false);
  407. Add([
  408. '{$mode delphi}',
  409. 'type',
  410. ' TObject = class end;',
  411. ' TAnt<S> = class m: S; end;',
  412. ' TBird<X; Y: TAnt<X>> = class',
  413. ' Ant: Y;',
  414. ' end;',
  415. ' TEagle<X; Y:X> = class',
  416. ' e: Y;',
  417. ' end;',
  418. ' TFireAnt<F> = class(TAnt<F>) end;',
  419. ' TAntWord = TAnt<word>;',
  420. ' TBirdAntWord = TBird<word, TAnt<word>>;',
  421. 'var',
  422. ' a: TAnt<word>;',
  423. ' b: TBird<word, TAntWord>;',
  424. ' c: TBird<TBirdAntWord, TAnt<TBirdAntWord>>;',
  425. ' f: TEagle<TAnt<boolean>, TFireAnt<boolean>>;',
  426. ' fb: TFireAnt<boolean>;',
  427. 'begin',
  428. ' b.Ant:=a;',
  429. ' f.e:=fb;',
  430. '']);
  431. ParseProgram;
  432. end;
  433. procedure TTestResolveGenerics.TestGen_ConstraintTSpecializeAsTFail;
  434. begin
  435. StartProgram(false);
  436. Add([
  437. '{$mode objfpc}',
  438. 'type',
  439. ' TObject = class end;',
  440. // Note: would work if generic T<S> exists
  441. ' generic TBird<T; U: specialize T<word>> = record v: T; end;',
  442. 'begin',
  443. '']);
  444. CheckResolverException('identifier not found "T<>"',nIdentifierNotFound);
  445. end;
  446. procedure TTestResolveGenerics.TestGen_ConstraintTSpecializeWithTFail;
  447. begin
  448. StartProgram(false);
  449. Add([
  450. '{$mode objfpc}',
  451. 'type',
  452. ' TObject = class end;',
  453. ' generic TAnt<S> = class v: S; end;',
  454. ' generic TBird<T: specialize TAnt<T>> = class v: T; end;',
  455. ' TEagle = specialize TBird<specialize TAnt<word>>;',
  456. 'begin',
  457. '']);
  458. CheckResolverException('identifier not found "T"',nIdentifierNotFound);
  459. end;
  460. procedure TTestResolveGenerics.TestGen_ConstraintSameNameFail;
  461. begin
  462. StartProgram(false);
  463. Add([
  464. '{$mode objfpc}',
  465. 'type',
  466. ' TObject = class end;',
  467. ' T = TObject;',
  468. ' generic TAnt<T:T> = record v: word; end;',
  469. 'begin',
  470. '']);
  471. CheckResolverException(sTypeCycleFound,nTypeCycleFound);
  472. end;
  473. procedure TTestResolveGenerics.TestGen_ConstraintInheritedMissingRecordFail;
  474. begin
  475. StartProgram(false);
  476. Add([
  477. '{$mode objfpc}',
  478. 'type',
  479. ' TObject = class end;',
  480. ' generic TBird<T: record> = class v: T; end;',
  481. ' generic TEagle<U> = class(specialize TBird<U>)',
  482. ' end;',
  483. 'begin',
  484. '']);
  485. CheckResolverException('Type parameter "U" is missing constraint "record"',
  486. nTypeParamXIsMissingConstraintY);
  487. end;
  488. procedure TTestResolveGenerics.TestGen_ConstraintInheritedMissingClassTypeFail;
  489. begin
  490. StartProgram(false);
  491. Add([
  492. '{$mode objfpc}',
  493. 'type',
  494. ' TObject = class end;',
  495. ' TAnt = class end;',
  496. ' generic TBird<T: TAnt> = class v: T; end;',
  497. ' generic TEagle<U> = class(specialize TBird<U>)',
  498. ' end;',
  499. 'begin',
  500. '']);
  501. CheckResolverException('Type parameter "U" is not compatible with type "TAnt"',
  502. nTypeParamXIsNotCompatibleWithY);
  503. end;
  504. procedure TTestResolveGenerics.TestGen_ConstraintMultiParam;
  505. begin
  506. StartProgram(false);
  507. Add([
  508. '{$mode objfpc}',
  509. 'type',
  510. ' TObject = class end;',
  511. ' TAnt = class end;',
  512. ' generic TBird<S,T: TAnt> = class',
  513. ' x: S;',
  514. ' y: T;',
  515. ' end;',
  516. ' TRedAnt = class(TAnt) end;',
  517. ' TEagle = specialize TBird<TRedAnt,TAnt>;',
  518. 'begin',
  519. '']);
  520. ParseProgram;
  521. end;
  522. procedure TTestResolveGenerics.TestGen_ConstraintMultiParamClassMismatch;
  523. begin
  524. StartProgram(false);
  525. Add([
  526. '{$mode objfpc}',
  527. 'type',
  528. ' TObject = class end;',
  529. ' TAnt = class end;',
  530. ' TRedAnt = class(TAnt) end;',
  531. ' generic TBird<S,T: TRedAnt> = class',
  532. ' x: S;',
  533. ' y: T;',
  534. ' end;',
  535. ' TEagle = specialize TBird<TRedAnt,TAnt>;',
  536. 'begin',
  537. '']);
  538. CheckResolverException('Incompatible types: got "TAnt" expected "TRedAnt"',
  539. nIncompatibleTypesGotExpected);
  540. end;
  541. procedure TTestResolveGenerics.TestGen_ConstraintClassType_DotIsAsTypeCast;
  542. begin
  543. StartProgram(false);
  544. Add([
  545. '{$mode objfpc}',
  546. 'type',
  547. ' TObject = class end;',
  548. ' TAnt = class',
  549. ' procedure Run; external; overload;',
  550. ' end;',
  551. ' TRedAnt = class(TAnt)',
  552. ' procedure Run(w: word); external; overload;',
  553. ' end;',
  554. ' generic TBird<T: TRedAnt> = class',
  555. ' y: T;',
  556. ' procedure Fly;',
  557. ' end;',
  558. ' TFireAnt = class(TRedAnt);',
  559. ' generic TEagle<U: TRedAnt> = class(specialize TBird<U>) end;',
  560. ' TRedEagle = specialize TEagle<TRedAnt>;',
  561. 'procedure TBird.Fly;',
  562. 'var f: TFireAnt;',
  563. 'begin',
  564. ' y.Run;',
  565. ' y.Run(3);',
  566. ' if y is TFireAnt then',
  567. ' f:=y as TFireAnt;',
  568. ' f:=TFireAnt(y);',
  569. ' y:=T(f);',
  570. 'end;',
  571. 'begin',
  572. '']);
  573. ParseProgram;
  574. end;
  575. procedure TTestResolveGenerics.TestGen_ConstraintClassType_ForInT;
  576. begin
  577. StartProgram(false);
  578. Add([
  579. '{$mode objfpc}',
  580. 'type',
  581. ' TObject = class end;',
  582. ' generic TEnumerator<TItem> = class',
  583. ' FCurrent: TItem;',
  584. ' property Current: TItem read FCurrent;',
  585. ' function MoveNext: boolean;',
  586. ' end;',
  587. ' generic TAnt<U> = class',
  588. ' function GetEnumerator: specialize TEnumerator<U>;',
  589. ' end;',
  590. ' generic TBird<S; T: specialize TAnt<S>> = class',
  591. ' m: T;',
  592. ' procedure Fly;',
  593. ' end;',
  594. 'function TEnumerator.MoveNext: boolean;',
  595. 'begin',
  596. 'end;',
  597. 'function TAnt.GetEnumerator: specialize TEnumerator<U>;',
  598. 'begin',
  599. 'end;',
  600. 'procedure TBird.Fly;',
  601. 'var i: S;',
  602. 'begin',
  603. ' for i in m do ;',
  604. 'end;',
  605. 'var',
  606. ' a: specialize TAnt<word>;',
  607. ' w: word;',
  608. ' b: specialize TBird<word,specialize TAnt<word>>;',
  609. 'begin',
  610. ' for w in a do ;',
  611. ' for w in b.m do ;',
  612. '']);
  613. ParseProgram;
  614. end;
  615. procedure TTestResolveGenerics.TestGen_ConstraintClassType_IsAs;
  616. begin
  617. StartProgram(false);
  618. Add([
  619. '{$mode objfpc}',
  620. 'type',
  621. ' TObject = class end;',
  622. ' generic TAnt<U> = class',
  623. ' v: U;',
  624. ' function Run: U;',
  625. ' end;',
  626. 'function TAnt.Run: U;',
  627. 'var a: specialize TAnt<U>;',
  628. 'begin',
  629. ' if v is TObject then ;',
  630. ' if v is specialize TAnt<TObject> then',
  631. ' specialize TAnt<TObject>(v).v:=nil;',
  632. ' a:=v as specialize TAnt<U>;',
  633. ' if (v as specialize TAnt<TObject>).v=nil then ;',
  634. ' if nil=(v as specialize TAnt<TObject>).v then ;',
  635. 'end;',
  636. 'begin',
  637. '']);
  638. ParseProgram;
  639. end;
  640. procedure TTestResolveGenerics.TestGen_RecordLocalNameDuplicateFail;
  641. begin
  642. StartProgram(false);
  643. Add([
  644. '{$mode objfpc}',
  645. 'type',
  646. ' generic TBird<T> = record T: word; end;',
  647. 'begin',
  648. '']);
  649. CheckResolverException('Duplicate identifier "T" at afile.pp(4,18)',
  650. nDuplicateIdentifier);
  651. end;
  652. procedure TTestResolveGenerics.TestGen_Record;
  653. begin
  654. StartProgram(false);
  655. Add([
  656. '{$mode objfpc}',
  657. 'type',
  658. ' {#Typ}T = word;',
  659. ' generic TRec<{#Templ}T> = record',
  660. ' {=Templ}v: T;',
  661. ' end;',
  662. 'var',
  663. ' r: specialize TRec<word>;',
  664. ' {=Typ}w: T;',
  665. 'begin',
  666. ' r.v:=w;',
  667. '']);
  668. ParseProgram;
  669. end;
  670. procedure TTestResolveGenerics.TestGen_RecordDelphi;
  671. begin
  672. StartProgram(false);
  673. Add([
  674. '{$mode delphi}',
  675. 'type',
  676. ' {#Typ}T = word;',
  677. ' TRec<{#Templ}T> = record',
  678. ' {=Templ}v: T;',
  679. ' end;',
  680. 'var',
  681. ' r: TRec<word>;',
  682. ' {=Typ}w: T;',
  683. 'begin',
  684. ' r.v:=w;',
  685. '']);
  686. ParseProgram;
  687. end;
  688. procedure TTestResolveGenerics.TestGen_RecordNestedSpecialize_ClassRecord;
  689. begin
  690. StartProgram(false);
  691. Add([
  692. '{$mode objfpc}',
  693. 'type',
  694. ' TObject = class end;',
  695. ' generic TBird<T> = class v: T; end;',
  696. ' generic TFish<T:class> = record v: T; end;',
  697. 'var f: specialize TFish<specialize TBird<word>>;',
  698. 'begin',
  699. '']);
  700. ParseProgram;
  701. end;
  702. procedure TTestResolveGenerics.TestGen_RecordNestedSpecialize_Self;
  703. begin
  704. StartProgram(false);
  705. Add([
  706. '{$mode objfpc}',
  707. 'type',
  708. ' generic TBird<T> = record v: T; end;',
  709. 'var',
  710. ' a: specialize TBird<specialize TBird<word>>;',
  711. 'begin',
  712. ' a.v.v:=3;',
  713. '']);
  714. ParseProgram;
  715. end;
  716. procedure TTestResolveGenerics.TestGen_Record_SpecializeSelfInsideFail;
  717. begin
  718. StartProgram(false);
  719. Add([
  720. '{$mode objfpc}',
  721. 'type',
  722. ' generic TBird<T> = record',
  723. ' v: specialize TBird<word>;',
  724. ' end;',
  725. 'begin',
  726. '']);
  727. CheckResolverException('type "TBird<>" is not yet completely defined',
  728. nTypeXIsNotYetCompletelyDefined);
  729. end;
  730. procedure TTestResolveGenerics.TestGen_Record_ReferGenericSelfFail;
  731. begin
  732. StartProgram(false);
  733. Add([
  734. '{$mode delphi}',
  735. 'Type',
  736. ' TBird<T> = record',
  737. ' b: TBird<T>;',
  738. ' end;',
  739. 'begin',
  740. '']);
  741. CheckResolverException('type "TBird<>" is not yet completely defined',
  742. nTypeXIsNotYetCompletelyDefined);
  743. end;
  744. procedure TTestResolveGenerics.TestGen_RecordAnoArray;
  745. begin
  746. StartProgram(false);
  747. Add([
  748. '{$mode objfpc}',
  749. 'type',
  750. ' generic TBird<T> = record v: T; end;',
  751. 'var',
  752. ' a: specialize TBird<array of word>;',
  753. ' b: specialize TBird<array of word>;',
  754. 'begin',
  755. ' a:=b;',
  756. '']);
  757. ParseProgram;
  758. end;
  759. procedure TTestResolveGenerics.TestGen_Class;
  760. begin
  761. StartProgram(false);
  762. Add([
  763. '{$mode objfpc}',
  764. 'type',
  765. ' TObject = class end;',
  766. ' {#Typ}T = word;',
  767. ' generic TBird<{#Templ}T> = class',
  768. ' {=Templ}v: T;',
  769. ' end;',
  770. 'var',
  771. ' b: specialize TBird<word>;',
  772. ' {=Typ}w: T;',
  773. 'begin',
  774. ' b.v:=w;',
  775. '']);
  776. ParseProgram;
  777. end;
  778. procedure TTestResolveGenerics.TestGen_ClassDelphi;
  779. begin
  780. StartProgram(false);
  781. Add([
  782. '{$mode delphi}',
  783. 'type',
  784. ' TObject = class end;',
  785. ' {#Typ}T = word;',
  786. ' TBird<{#Templ}T> = class',
  787. ' {=Templ}v: T;',
  788. ' end;',
  789. 'var',
  790. ' b: TBird<word>;',
  791. ' {=Typ}w: T;',
  792. 'begin',
  793. ' b.v:=w;',
  794. '']);
  795. ParseProgram;
  796. end;
  797. procedure TTestResolveGenerics.TestGen_ClassDelphi_TypeOverload;
  798. begin
  799. StartProgram(false);
  800. Add([
  801. '{$mode delphi}',
  802. 'type',
  803. ' TObject = class end;',
  804. ' {#a}TBird = word;',
  805. ' {#b}TBird<T> = class',
  806. ' v: T;',
  807. ' end;',
  808. ' {=b}TEagle = TBird<word>;',
  809. 'var',
  810. ' b: {@b}TBird<word>;',
  811. ' {=a}w: TBird;',
  812. 'begin',
  813. ' b.v:=w;',
  814. '']);
  815. ParseProgram;
  816. end;
  817. procedure TTestResolveGenerics.TestGen_ClassObjFPC;
  818. begin
  819. StartProgram(false);
  820. Add([
  821. '{$mode objfpc}',
  822. 'type',
  823. ' TObject = class end;',
  824. ' generic TBird<T> = class',
  825. ' v: TBird;',
  826. ' end;',
  827. 'var',
  828. ' b: specialize TBird<word>;',
  829. 'begin',
  830. ' b.v:=b;',
  831. '']);
  832. ParseProgram;
  833. end;
  834. procedure TTestResolveGenerics.TestGen_ClassObjFPC_OverloadFail;
  835. begin
  836. StartProgram(false);
  837. Add([
  838. '{$mode objfpc}',
  839. 'type',
  840. ' TObject = class end;',
  841. ' TBird = word;',
  842. ' generic TBird<T> = class',
  843. ' v: T;',
  844. ' end;',
  845. 'begin',
  846. '']);
  847. CheckResolverException('Duplicate identifier "TBird" at afile.pp(5,8)',nDuplicateIdentifier);
  848. end;
  849. procedure TTestResolveGenerics.TestGen_ClassObjFPC_OverloadOtherUnit;
  850. begin
  851. AddModuleWithIntfImplSrc('unit1.pas',
  852. LinesToStr([
  853. 'type',
  854. ' TBird = class b1: word; end;',
  855. ' generic TAnt<T> = class a1: T; end;',
  856. '']),
  857. LinesToStr([
  858. '']));
  859. AddModuleWithIntfImplSrc('unit2.pas',
  860. LinesToStr([
  861. 'type',
  862. ' generic TBird<T> = class b2:T; end;',
  863. ' TAnt = class a2:word; end;',
  864. '']),
  865. LinesToStr([
  866. '']));
  867. StartProgram(true,[supTObject]);
  868. Add([
  869. 'uses unit1, unit2;',
  870. 'var',
  871. ' b1: TBird;',
  872. ' b2: specialize TBird<word>;',
  873. ' a1: specialize TAnt<word>;',
  874. ' a2: TAnt;',
  875. 'begin',
  876. ' b1.b1:=1;',
  877. ' b2.b2:=2;',
  878. ' a1.a1:=3;',
  879. ' a2.a2:=4;',
  880. '']);
  881. ParseProgram;
  882. end;
  883. procedure TTestResolveGenerics.TestGen_ClassGenAncestorWithoutParamFail;
  884. begin
  885. StartProgram(false);
  886. Add([
  887. '{$mode objfpc}',
  888. 'type',
  889. ' TObject = class end;',
  890. ' generic TBird<T> = class end;',
  891. ' generic TEagle<T> = class(TBird)',
  892. ' end;',
  893. 'begin',
  894. '']);
  895. CheckResolverException('Generics without specialization cannot be used as a type for a variable',
  896. nGenericsWithoutSpecializationAsType);
  897. end;
  898. procedure TTestResolveGenerics.TestGen_ClassForward;
  899. begin
  900. StartProgram(false);
  901. Add([
  902. '{$mode objfpc}',
  903. 'type',
  904. ' TObject = class end;',
  905. ' {#Typ}T = word;',
  906. ' generic TBird<{#Templ_Forward}T> = class;',
  907. ' TRec = record',
  908. ' b: specialize TBird<T>;',
  909. ' end;',
  910. ' generic TBird<{#Templ}T> = class',
  911. ' {=Templ}v: T;',
  912. ' r: TRec;',
  913. ' end;',
  914. 'var',
  915. ' s: TRec;',
  916. ' {=Typ}w: T;',
  917. 'begin',
  918. ' s.b.v:=w;',
  919. ' s.b.r:=s;',
  920. '']);
  921. ParseProgram;
  922. end;
  923. procedure TTestResolveGenerics.TestGen_ClassForwardConstraints;
  924. begin
  925. StartProgram(false);
  926. Add([
  927. '{$mode objfpc}',
  928. 'type',
  929. ' TObject = class end;',
  930. ' TAnt = class end;',
  931. ' generic TBird<T: class; U; V: TAnt> = class;',
  932. ' TRec = record',
  933. ' b: specialize TBird<TAnt,word,TAnt>;',
  934. ' end;',
  935. ' generic TBird<T: class; U; V: TAnt> = class',
  936. ' i: U;',
  937. ' r: TRec;',
  938. ' end;',
  939. 'var',
  940. ' s: TRec;',
  941. ' w: word;',
  942. 'begin',
  943. ' s.b.i:=w;',
  944. ' s.b.r:=s;',
  945. '']);
  946. ParseProgram;
  947. end;
  948. procedure TTestResolveGenerics.TestGen_ClassForwardConstraintNameMismatch;
  949. begin
  950. StartProgram(false);
  951. Add([
  952. '{$mode objfpc}',
  953. 'type',
  954. ' TObject = class end;',
  955. ' generic TBird<T> = class;',
  956. ' generic TBird<U> = class',
  957. ' i: U;',
  958. ' end;',
  959. 'begin',
  960. '']);
  961. CheckResolverException('Declaration of "U" differs from previous declaration at afile.pp(5,18)',
  962. nDeclOfXDiffersFromPrevAtY);
  963. end;
  964. procedure TTestResolveGenerics.TestGen_ClassForwardConstraintKeywordMismatch;
  965. begin
  966. StartProgram(false);
  967. Add([
  968. '{$mode objfpc}',
  969. 'type',
  970. ' TObject = class end;',
  971. ' generic TBird<T: class, constructor> = class;',
  972. ' generic TBird<U: class> = class',
  973. ' i: U;',
  974. ' end;',
  975. 'begin',
  976. '']);
  977. CheckResolverException('Declaration of "U" differs from previous declaration at afile.pp(5,18)',
  978. nDeclOfXDiffersFromPrevAtY);
  979. end;
  980. procedure TTestResolveGenerics.TestGen_ClassForwardConstraintTypeMismatch;
  981. begin
  982. StartProgram(false);
  983. Add([
  984. '{$mode objfpc}',
  985. 'type',
  986. ' TObject = class end;',
  987. ' TAnt = class end;',
  988. ' TFish = class end;',
  989. ' generic TBird<T: TAnt> = class;',
  990. ' generic TBird<T: TFish> = class',
  991. ' i: U;',
  992. ' end;',
  993. 'begin',
  994. '']);
  995. CheckResolverException('Declaration of "T" differs from previous declaration at afile.pp(7,18)',
  996. nDeclOfXDiffersFromPrevAtY);
  997. end;
  998. procedure TTestResolveGenerics.TestGen_ClassForward_Circle;
  999. begin
  1000. StartProgram(false);
  1001. Add([
  1002. '{$mode objfpc}',
  1003. 'type',
  1004. ' TObject = class end;',
  1005. ' generic TAnt<T> = class;',
  1006. ' generic TFish<U> = class',
  1007. ' private type AliasU = U;',
  1008. ' var a: specialize TAnt<AliasU>;',
  1009. ' Size: AliasU;',
  1010. ' end;',
  1011. ' generic TAnt<T> = class',
  1012. ' private type AliasT = T;',
  1013. ' var f: specialize TFish<AliasT>;',
  1014. ' Speed: AliasT;',
  1015. ' end;',
  1016. 'var',
  1017. ' WordFish: specialize TFish<word>;',
  1018. ' BoolAnt: specialize TAnt<boolean>;',
  1019. ' w: word;',
  1020. ' b: boolean;',
  1021. 'begin',
  1022. ' WordFish.Size:=w;',
  1023. ' WordFish.a.Speed:=w;',
  1024. ' WordFish.a.f.Size:=w;',
  1025. ' BoolAnt.Speed:=b;',
  1026. ' BoolAnt.f.Size:=b;',
  1027. ' BoolAnt.f.a.Speed:=b;',
  1028. '']);
  1029. ParseProgram;
  1030. end;
  1031. procedure TTestResolveGenerics.TestGen_Class_RedeclareInUnitImplFail;
  1032. begin
  1033. StartUnit(false);
  1034. Add([
  1035. 'interface',
  1036. 'type',
  1037. ' TObject = class end;',
  1038. ' generic TBird<T> = class v: T; end;',
  1039. 'implementation',
  1040. 'type generic TBird<T> = record v: T; end;',
  1041. '']);
  1042. CheckResolverException('Duplicate identifier "TBird" at afile.pp(5,16)',
  1043. nDuplicateIdentifier);
  1044. end;
  1045. procedure TTestResolveGenerics.TestGen_Class_TypeOverloadInUnitImpl;
  1046. begin
  1047. StartUnit(false);
  1048. Add([
  1049. 'interface',
  1050. 'type',
  1051. ' TObject = class end;',
  1052. ' generic TBird<T> = class v: T; end;',
  1053. 'implementation',
  1054. 'type generic TBird<T,U> = record x: T; y: U; end;',
  1055. '']);
  1056. ParseUnit;
  1057. end;
  1058. procedure TTestResolveGenerics.TestGen_Class_MethodObjFPC;
  1059. begin
  1060. StartProgram(false);
  1061. Add([
  1062. '{$mode objfpc}',
  1063. 'type',
  1064. ' TObject = class end;',
  1065. ' {#Typ}T = word;',
  1066. ' generic TBird<{#Templ}T> = class',
  1067. ' function Fly(p:T): T; virtual; abstract;',
  1068. ' function Run(p:T): T;',
  1069. ' procedure Jump(p:T);',
  1070. ' class procedure Go(p:T);',
  1071. ' end;',
  1072. 'function TBird.Run(p:T): T;',
  1073. 'begin',
  1074. 'end;',
  1075. 'generic procedure TBird<T>.Jump(p:T);',
  1076. 'begin',
  1077. 'end;',
  1078. 'generic class procedure TBird<T>.Go(p:T);',
  1079. 'begin',
  1080. 'end;',
  1081. 'var',
  1082. ' b: specialize TBird<word>;',
  1083. ' {=Typ}w: T;',
  1084. 'begin',
  1085. ' w:=b.Fly(w);',
  1086. ' w:=b.Run(w);',
  1087. '']);
  1088. ParseProgram;
  1089. end;
  1090. procedure TTestResolveGenerics.TestGen_Class_MethodOverride;
  1091. begin
  1092. StartProgram(false);
  1093. Add([
  1094. '{$mode objfpc}',
  1095. 'type',
  1096. ' TObject = class end;',
  1097. ' generic TBird<T> = class',
  1098. ' function Fly(p:T): T; virtual; abstract;',
  1099. ' end;',
  1100. ' generic TEagle<S> = class(specialize TBird<S>)',
  1101. ' function Fly(p:S): S; override;',
  1102. ' end;',
  1103. 'function TEagle.Fly(p:S): S;',
  1104. 'begin',
  1105. 'end;',
  1106. 'var',
  1107. ' e: specialize TEagle<word>;',
  1108. ' w: word;',
  1109. 'begin',
  1110. ' w:=e.Fly(w);',
  1111. '']);
  1112. ParseProgram;
  1113. end;
  1114. procedure TTestResolveGenerics.TestGen_Class_MethodDelphi;
  1115. begin
  1116. StartProgram(false);
  1117. Add([
  1118. '{$mode delphi}',
  1119. 'type',
  1120. ' TObject = class end;',
  1121. ' {#Typ}T = word;',
  1122. ' TBird<{#Templ}T> = class',
  1123. ' function Fly(p:T): T; virtual; abstract;',
  1124. ' function Run(p:T): T;',
  1125. ' end;',
  1126. 'function TBird<T>.Run(p:T): T;',
  1127. 'begin',
  1128. 'end;',
  1129. 'var',
  1130. ' b: TBird<word>;',
  1131. ' {=Typ}w: T;',
  1132. 'begin',
  1133. ' w:=b.Fly(w);',
  1134. ' w:=b.Run(w);',
  1135. '']);
  1136. ParseProgram;
  1137. end;
  1138. procedure TTestResolveGenerics.TestGen_Class_MethodDelphiTypeParamMissing;
  1139. begin
  1140. StartProgram(false);
  1141. Add([
  1142. '{$mode delphi}',
  1143. 'type',
  1144. ' TObject = class end;',
  1145. ' TBird<T> = class',
  1146. ' function Run(p:T): T;',
  1147. ' end;',
  1148. 'function TBird.Run(p:T): T;',
  1149. 'begin',
  1150. 'end;',
  1151. 'begin',
  1152. '']);
  1153. CheckResolverException('TBird<> expected, but TBird found',nXExpectedButYFound);
  1154. end;
  1155. procedure TTestResolveGenerics.TestGen_Class_MethodImplConstraintFail;
  1156. begin
  1157. StartProgram(false);
  1158. Add([
  1159. '{$mode delphi}',
  1160. 'type',
  1161. ' TObject = class end;',
  1162. ' TBird<T: record> = class',
  1163. ' function Run(p:T): T;',
  1164. ' end;',
  1165. 'function TBird<T: record>.Run(p:T): T;',
  1166. 'begin',
  1167. 'end;',
  1168. 'begin',
  1169. '']);
  1170. CheckResolverException('illegal qualifier ":" after "T"',nIllegalQualifierAfter);
  1171. end;
  1172. procedure TTestResolveGenerics.TestGen_Class_MethodImplTypeParamNameMismatch;
  1173. begin
  1174. StartProgram(false);
  1175. Add([
  1176. '{$mode delphi}',
  1177. 'type',
  1178. ' TObject = class end;',
  1179. ' TBird<T> = class',
  1180. ' procedure DoIt;',
  1181. ' end;',
  1182. 'procedure TBird<S>.DoIt;',
  1183. 'begin',
  1184. 'end;',
  1185. 'begin',
  1186. '']);
  1187. CheckResolverException('T expected, but S found',nXExpectedButYFound);
  1188. end;
  1189. procedure TTestResolveGenerics.TestGen_Class_SpecializeSelfInside;
  1190. begin
  1191. StartProgram(false);
  1192. Add([
  1193. '{$mode objfpc}',
  1194. 'type',
  1195. ' TObject = class end;',
  1196. ' generic TBird<T> = class',
  1197. ' e: T;',
  1198. ' v: specialize TBird<boolean>;',
  1199. ' end;',
  1200. 'var',
  1201. ' b: specialize TBird<word>;',
  1202. ' w: word;',
  1203. 'begin',
  1204. ' b.e:=w;',
  1205. ' if b.v.e then ;',
  1206. '']);
  1207. ParseProgram;
  1208. end;
  1209. procedure TTestResolveGenerics.TestGen_Class_AncestorTFail;
  1210. begin
  1211. StartProgram(false);
  1212. Add([
  1213. '{$mode objfpc}',
  1214. 'type',
  1215. ' TObject = class end;',
  1216. ' TBird = class end;',
  1217. ' generic TFish<T: TBird> = class(T)',
  1218. ' v: T;',
  1219. ' end;',
  1220. 'begin',
  1221. '']);
  1222. CheckResolverException('class type expected, but T found',nXExpectedButYFound);
  1223. end;
  1224. procedure TTestResolveGenerics.TestGen_Class_GenAncestor;
  1225. begin
  1226. StartProgram(false);
  1227. Add([
  1228. '{$mode objfpc}',
  1229. 'type',
  1230. ' TObject = class end;',
  1231. ' generic TBird<T> = class',
  1232. ' i: T;',
  1233. ' end;',
  1234. ' generic TEagle<T> = class(specialize TBird<T>)',
  1235. ' j: T;',
  1236. ' end;',
  1237. 'var',
  1238. ' e: specialize TEagle<word>;',
  1239. 'begin',
  1240. ' e.i:=e.j;',
  1241. '']);
  1242. ParseProgram;
  1243. end;
  1244. procedure TTestResolveGenerics.TestGen_Class_AncestorSelfFail;
  1245. begin
  1246. StartProgram(false);
  1247. Add([
  1248. '{$mode objfpc}',
  1249. 'type',
  1250. ' TObject = class end;',
  1251. ' generic TBird<T> = class(specialize TBird<word>)',
  1252. ' e: T;',
  1253. ' end;',
  1254. 'var',
  1255. ' b: specialize TBird<word>;',
  1256. 'begin',
  1257. '']);
  1258. CheckResolverException('type "TBird<>" is not yet completely defined',nTypeXIsNotYetCompletelyDefined);
  1259. end;
  1260. procedure TTestResolveGenerics.TestGen_ClassOfSpecializeFail;
  1261. begin
  1262. StartProgram(false);
  1263. Add([
  1264. '{$mode objfpc}',
  1265. 'type',
  1266. ' TObject = class end;',
  1267. ' generic TBird<T> = class',
  1268. ' e: T;',
  1269. ' end;',
  1270. ' TBirdClass = class of specialize TBird<word>;',
  1271. 'begin',
  1272. '']);
  1273. CheckParserException('Expected "Identifier" at token "specialize" in file afile.pp at line 8 column 25',nParserExpectTokenError);
  1274. end;
  1275. procedure TTestResolveGenerics.TestGen_Class_NestedType;
  1276. begin
  1277. StartProgram(false);
  1278. Add([
  1279. '{$mode objfpc}',
  1280. 'type',
  1281. ' TObject = class end;',
  1282. ' generic TBird<T> = class',
  1283. ' public type',
  1284. ' TArrayEvent = reference to procedure(El: T);',
  1285. ' public',
  1286. ' p: TArrayEvent;',
  1287. ' end;',
  1288. ' TBirdWord = specialize TBird<word>;',
  1289. 'var',
  1290. ' b: TBirdWord;',
  1291. 'begin',
  1292. ' b.p:=procedure(El: word) begin end;']);
  1293. ParseProgram;
  1294. end;
  1295. procedure TTestResolveGenerics.TestGen_Class_NestedRecord;
  1296. begin
  1297. StartProgram(false);
  1298. Add([
  1299. '{$mode objfpc}',
  1300. '{$modeswitch advancedrecords}',
  1301. 'type',
  1302. ' TObject = class end;',
  1303. ' generic TBird<T> = class',
  1304. ' public type TWing = record',
  1305. ' s: T;',
  1306. ' function GetIt: T;',
  1307. ' end;',
  1308. ' public',
  1309. ' w: TWing;',
  1310. ' end;',
  1311. ' TBirdWord = specialize TBird<word>;',
  1312. 'function TBird.TWing.GetIt: T;',
  1313. 'begin',
  1314. 'end;',
  1315. 'var',
  1316. ' b: TBirdWord;',
  1317. ' i: word;',
  1318. 'begin',
  1319. ' b.w.s:=i;',
  1320. ' i:=b.w.GetIt;',
  1321. '']);
  1322. ParseProgram;
  1323. end;
  1324. procedure TTestResolveGenerics.TestGen_Class_NestedClass;
  1325. begin
  1326. StartProgram(false);
  1327. Add([
  1328. '{$mode objfpc}',
  1329. 'type',
  1330. ' TObject = class end;',
  1331. ' generic TBird<T> = class',
  1332. ' public type TWing = class',
  1333. ' s: T;',
  1334. ' function GetIt: T;',
  1335. ' end;',
  1336. ' public',
  1337. ' w: TWing;',
  1338. ' end;',
  1339. ' TBirdWord = specialize TBird<word>;',
  1340. 'function TBird.TWing.GetIt: T;',
  1341. 'begin',
  1342. 'end;',
  1343. 'var',
  1344. ' b: TBirdWord;',
  1345. ' i: word;',
  1346. 'begin',
  1347. ' b.w.s:=3;',
  1348. ' i:=b.w.GetIt;',
  1349. '']);
  1350. ParseProgram;
  1351. end;
  1352. procedure TTestResolveGenerics.TestGen_Class_Enums_NotPropagating;
  1353. begin
  1354. StartProgram(false);
  1355. Add([
  1356. '{$mode objfpc}',
  1357. 'type',
  1358. ' TObject = class end;',
  1359. ' generic TBird<T> = class',
  1360. ' public type',
  1361. ' TEnum = (red, blue);',
  1362. ' const',
  1363. ' e = blue;',
  1364. ' end;',
  1365. 'const',
  1366. ' r = red;',
  1367. 'begin']);
  1368. CheckResolverException('identifier not found "red"',nIdentifierNotFound);
  1369. end;
  1370. procedure TTestResolveGenerics.TestGen_Class_Self;
  1371. begin
  1372. StartProgram(false);
  1373. Add([
  1374. '{$mode objfpc}',
  1375. 'type',
  1376. ' TObject = class',
  1377. ' end;',
  1378. ' generic TAnimal<T> = class end;',
  1379. ' generic TBird<T> = class(specialize TAnimal<T>)',
  1380. ' function GetObj: TObject;',
  1381. ' procedure Fly(Obj: TObject); virtual; abstract;',
  1382. ' end;',
  1383. ' TProc = procedure(Obj: TObject) of object;',
  1384. ' TWordBird = specialize TBird<word>;',
  1385. 'function TBird.GetObj: TObject;',
  1386. 'var p: TProc;',
  1387. 'begin',
  1388. ' Result:=Self;',
  1389. ' if Self.GetObj=Result then ;',
  1390. ' Fly(Self);',
  1391. ' p:=@Fly;',
  1392. ' p(Self);',
  1393. 'end;',
  1394. 'begin']);
  1395. ParseProgram;
  1396. end;
  1397. procedure TTestResolveGenerics.TestGen_Class_MemberTypeConstructor;
  1398. begin
  1399. StartProgram(false);
  1400. Add([
  1401. '{$mode delphi}',
  1402. 'type',
  1403. ' TObject = class end;',
  1404. ' TAnimal<A> = class',
  1405. ' end;',
  1406. ' TAnt<L> = class',
  1407. ' constructor Create(A: TAnimal<L>);',
  1408. ' end;',
  1409. ' TBird<T> = class(TAnimal<T>)',
  1410. ' type TMyAnt = TAnt<T>;',
  1411. ' function Fly: TMyAnt;',
  1412. ' end;',
  1413. ' TWordBird = TBird<word>;',
  1414. 'constructor TAnt<L>.Create(A: TAnimal<L>);',
  1415. 'begin',
  1416. 'end;',
  1417. 'function TBird<T>.Fly: TMyAnt;',
  1418. 'begin',
  1419. ' Result:=TMyAnt.Create(Self);',
  1420. 'end;',
  1421. 'begin']);
  1422. ParseProgram;
  1423. end;
  1424. procedure TTestResolveGenerics.TestGen_Class_AliasMemberType;
  1425. begin
  1426. StartProgram(false);
  1427. Add([
  1428. '{$mode objfpc}',
  1429. '{$modeswitch externalclass}',
  1430. 'type',
  1431. ' TObject = class end;',
  1432. '',
  1433. ' generic TBird<T> = class',
  1434. ' public type',
  1435. ' TRun = reference to function (aValue : T) : T;',
  1436. ' end;',
  1437. ' TBirdWord = specialize TBird<Word>;',
  1438. ' TBirdWordRun = TBirdWord.TRun;',
  1439. '',
  1440. ' generic TExt<T> = class external name ''Ext''',
  1441. ' public type',
  1442. ' TRun = reference to function (aValue : T) : T;',
  1443. ' end;',
  1444. ' TExtWord = specialize TExt<Word>;',
  1445. ' TExtWordRun = TExtWord.TRun;',
  1446. 'begin',
  1447. '']);
  1448. ParseProgram;
  1449. end;
  1450. procedure TTestResolveGenerics.TestGen_Class_AccessGenericMemberTypeFail;
  1451. begin
  1452. StartProgram(false);
  1453. Add([
  1454. '{$mode objfpc}',
  1455. 'type',
  1456. ' TObject = class end;',
  1457. '',
  1458. ' generic TBird<T> = class',
  1459. ' public type',
  1460. ' TRun = reference to function (aValue : T) : T;',
  1461. ' end;',
  1462. ' TBirdRun = TBird.TRun;',
  1463. 'begin',
  1464. '']);
  1465. CheckResolverException('Generics without specialization cannot be used as a type for a reference',
  1466. nGenericsWithoutSpecializationAsType);
  1467. end;
  1468. procedure TTestResolveGenerics.TestGen_Class_ReferenceTo;
  1469. begin
  1470. StartProgram(false);
  1471. Add([
  1472. '{$mode objfpc}',
  1473. 'type',
  1474. ' TObject = class end;',
  1475. ' generic TGJSPromise<T> = class',
  1476. ' public type',
  1477. ' TGJSPromiseResolver = reference to function (aValue : T) : T;',
  1478. ' TGJSPromiseExecutor = reference to procedure (resolve,reject : TGJSPromiseResolver);',
  1479. ' public',
  1480. ' constructor new(Executor : TGJSPromiseExecutor);',
  1481. ' end;',
  1482. 'constructor TGJSPromise.new(Executor : TGJSPromiseExecutor);',
  1483. 'begin',
  1484. 'end;',
  1485. '',
  1486. 'type',
  1487. ' TJSPromise = specialize TGJSPromise<Word>;',
  1488. ' TJSPromiseResolver = reference to function (aValue : Word) : Word;',
  1489. '',
  1490. ' TURLLoader = Class(TObject)',
  1491. ' procedure dofetch(resolve, reject: TJSPromiseResolver); virtual; abstract;',
  1492. ' Function fetch : TJSPromise;',
  1493. ' end;',
  1494. 'function TURLLoader.fetch : TJSPromise;',
  1495. 'begin',
  1496. ' Result:=TJSPromise.New(@Dofetch);',
  1497. 'end;',
  1498. 'begin',
  1499. '']);
  1500. ParseProgram;
  1501. end;
  1502. procedure TTestResolveGenerics.TestGen_Class_TwoSpecsAreNotRelatedWarn;
  1503. begin
  1504. StartProgram(false);
  1505. Add([
  1506. '{$mode delphi}',
  1507. 'type',
  1508. ' TObject = class end;',
  1509. ' TBird<T> = class F: T; end;',
  1510. ' TBirdWord = TBird<Word>;',
  1511. ' TBirdChar = TBird<Char>;',
  1512. 'var',
  1513. ' w: TBirdWord;',
  1514. ' c: TBirdChar;',
  1515. 'begin',
  1516. ' w:=TBirdWord(c);',
  1517. '']);
  1518. ParseProgram;
  1519. CheckResolverHint(mtWarning,nClassTypesAreNotRelatedXY,'Class types "TBird<System.Char>" and "TBird<System.Word>" are not related');
  1520. end;
  1521. procedure TTestResolveGenerics.TestGen_Class_List;
  1522. begin
  1523. StartProgram(false);
  1524. Add([
  1525. '{$mode objfpc}',
  1526. 'type',
  1527. ' TObject = class end;',
  1528. ' generic TList<T> = class',
  1529. ' strict private',
  1530. ' FItems: array of T;',
  1531. ' function GetItems(Index: longint): T;',
  1532. ' procedure SetItems(Index: longint; Value: T);',
  1533. ' public',
  1534. ' procedure Alter(w: T);',
  1535. ' property Items[Index: longint]: T read GetItems write SetItems; default;',
  1536. ' end;',
  1537. ' TWordList = specialize TList<word>;',
  1538. 'function TList.GetItems(Index: longint): T;',
  1539. 'begin',
  1540. ' Result:=FItems[Index];',
  1541. 'end;',
  1542. 'procedure TList.SetItems(Index: longint; Value: T);',
  1543. 'begin',
  1544. ' FItems[Index]:=Value;',
  1545. 'end;',
  1546. 'procedure TList.Alter(w: T);',
  1547. 'begin',
  1548. ' SetLength(FItems,length(FItems)+1);',
  1549. ' Insert(w,FItems,2);',
  1550. ' Delete(FItems,2,3);',
  1551. 'end;',
  1552. 'var l: TWordList;',
  1553. ' w: word;',
  1554. 'begin',
  1555. ' l[1]:=w;',
  1556. ' w:=l[2];']);
  1557. ParseProgram;
  1558. end;
  1559. procedure TTestResolveGenerics.TestGen_Class_Typecast;
  1560. begin
  1561. StartProgram(false);
  1562. Add([
  1563. '{$mode delphi}',
  1564. 'type',
  1565. ' TObject = class end;',
  1566. ' TList<T> = class',
  1567. ' end;',
  1568. ' TEagle = class;',
  1569. ' TBird = class',
  1570. ' FLegs: TList<TBird>;',
  1571. ' property Legs: TList<TBird> read FLegs write FLegs;',
  1572. ' end;',
  1573. ' TEagle = class(TBird)',
  1574. ' end;',
  1575. 'var',
  1576. ' B: TBird;',
  1577. ' List: TList<TEagle>;',
  1578. 'begin',
  1579. ' List:=TList<TEagle>(B.Legs);',
  1580. ' TList<TEagle>(B.Legs):=List;',
  1581. '',
  1582. '']);
  1583. ParseProgram;
  1584. // FPC/pas2js: Class types "TList<afile.TBird>" and "TList<afile.TEagle>" are not related
  1585. // Delphi: no warning
  1586. end;
  1587. procedure TTestResolveGenerics.TestGen_ExtClass_Array;
  1588. begin
  1589. StartProgram(false);
  1590. Add([
  1591. '{$mode delphi}',
  1592. '{$ModeSwitch externalclass}',
  1593. 'type',
  1594. ' NativeInt = longint;',
  1595. ' TJSGenArray<T> = Class external name ''Array''',
  1596. ' private',
  1597. ' function GetElements(Index: NativeInt): T; external name ''[]'';',
  1598. ' procedure SetElements(Index: NativeInt; const AValue: T); external name ''[]'';',
  1599. ' public',
  1600. ' type TSelfType = TJSGenArray<T>;',
  1601. ' TArrayEvent = reference to function(El: T; Arr: TSelfType): Boolean;',
  1602. ' TArrayCallback = TArrayEvent;',
  1603. ' public',
  1604. ' FLength : NativeInt; external name ''length'';',
  1605. ' constructor new; overload;',
  1606. ' constructor new(aLength : NativeInt); overload;',
  1607. ' class function _of() : TSelfType; varargs; external name ''of'';',
  1608. ' function every(const aCallback: TArrayCallBack): boolean; overload;',
  1609. ' function fill(aValue : T) : TSelfType; overload;',
  1610. ' function fill(aValue : T; aStartIndex : NativeInt) : TSelfType; overload;',
  1611. ' function fill(aValue : T; aStartIndex,aEndIndex : NativeInt) : TSelfType; overload;',
  1612. ' property Length : NativeInt Read FLength Write FLength;',
  1613. ' property Elements[Index: NativeInt]: T read GetElements write SetElements; default;',
  1614. ' end;',
  1615. ' TJSWordArray = TJSGenArray<word>;',
  1616. 'var',
  1617. ' wa: TJSWordArray;',
  1618. ' w: word;',
  1619. 'begin',
  1620. ' wa:=TJSWordArray.new;',
  1621. ' wa:=TJSWordArray.new(3);',
  1622. ' wa:=TJSWordArray._of(4,5);',
  1623. ' wa:=wa.fill(7);',
  1624. ' wa:=wa.fill(7,8,9);',
  1625. ' w:=wa.length;',
  1626. ' wa.length:=10;',
  1627. ' wa[11]:=w;',
  1628. ' w:=wa[12];',
  1629. ' wa.every(function(El: word; Arr: TJSWordArray): Boolean',
  1630. ' begin',
  1631. ' end',
  1632. ' );',
  1633. '']);
  1634. ParseProgram;
  1635. end;
  1636. procedure TTestResolveGenerics.TestGen_ExtClass_VarargsOfType;
  1637. begin
  1638. StartProgram(false);
  1639. Add([
  1640. '{$mode objfpc}',
  1641. '{$modeswitch externalclass}',
  1642. 'type',
  1643. ' TJSObject = class external name ''Object''',
  1644. ' end;',
  1645. ' generic TGJSSet<T> = class external name ''Set''',
  1646. ' constructor new(aElement1: T); varargs of T; overload;',
  1647. ' function bind(thisArg: TJSObject): T; varargs of T;',
  1648. ' end;',
  1649. ' TJSWordSet = specialize TGJSSet<word>;',
  1650. 'var',
  1651. ' s: TJSWordSet;',
  1652. ' w: word;',
  1653. 'begin',
  1654. ' s:=TJSWordSet.new(3);',
  1655. ' s:=TJSWordSet.new(3,5);',
  1656. ' w:=s.bind(nil);',
  1657. ' w:=s.bind(nil,6);',
  1658. ' w:=s.bind(nil,7,8);',
  1659. '']);
  1660. ParseProgram;
  1661. end;
  1662. procedure TTestResolveGenerics.TestGen_ClassInterface;
  1663. begin
  1664. StartProgram(false);
  1665. Add([
  1666. 'type',
  1667. ' {$interfaces corba}',
  1668. ' generic ICorbaIntf<T> = interface',
  1669. ' procedure Fly(a: T);',
  1670. ' end;',
  1671. ' {$interfaces com}',
  1672. ' IUnknown = interface',
  1673. ' end;',
  1674. ' IInterface = IUnknown;',
  1675. ' generic IComIntf<T> = interface',
  1676. ' procedure Run(b: T);',
  1677. ' end;',
  1678. 'begin']);
  1679. ParseProgram;
  1680. end;
  1681. procedure TTestResolveGenerics.TestGen_ClassInterface_Method;
  1682. begin
  1683. StartProgram(false);
  1684. Add([
  1685. 'type',
  1686. ' {$interfaces corba}',
  1687. ' generic IBird<T> = interface',
  1688. ' procedure Fly(a: T);',
  1689. ' end;',
  1690. ' TObject = class end;',
  1691. ' generic TBird<U> = class(specialize IBird<U>)',
  1692. ' procedure Fly(a: U);',
  1693. ' end;',
  1694. 'procedure TBird.Fly(a: U);',
  1695. 'begin',
  1696. 'end;',
  1697. 'var b: specialize IBird<word>;',
  1698. 'begin',
  1699. ' b.Fly(3);']);
  1700. ParseProgram;
  1701. end;
  1702. procedure TTestResolveGenerics.TestGen_DynArray;
  1703. begin
  1704. StartProgram(false);
  1705. Add([
  1706. 'type',
  1707. ' generic TArray<T> = array of T;',
  1708. ' TWordArray = specialize TArray<word>;',
  1709. 'var',
  1710. ' a: specialize TArray<word>;',
  1711. ' b: TWordArray;',
  1712. ' w: word;',
  1713. 'begin',
  1714. ' a[1]:=2;',
  1715. ' b[2]:=a[3]+b[4];',
  1716. ' a:=b;',
  1717. ' b:=a;',
  1718. ' SetLength(a,5);',
  1719. ' SetLength(b,6);',
  1720. ' w:=length(a)+low(a)+high(a);',
  1721. '']);
  1722. ParseProgram;
  1723. end;
  1724. procedure TTestResolveGenerics.TestGen_StaticArray;
  1725. begin
  1726. StartProgram(false);
  1727. Add([
  1728. 'type',
  1729. ' generic TBird<T> = array[T] of word;',
  1730. ' TByteBird = specialize TBird<byte>;',
  1731. 'var',
  1732. ' a: specialize TBird<byte>;',
  1733. ' b: TByteBird;',
  1734. ' i: byte;',
  1735. 'begin',
  1736. ' a[1]:=2;',
  1737. ' b[2]:=a[3]+b[4];',
  1738. ' a:=b;',
  1739. ' b:=a;',
  1740. ' i:=low(a);',
  1741. ' i:=high(a);',
  1742. ' for i in a do ;',
  1743. '']);
  1744. ParseProgram;
  1745. end;
  1746. procedure TTestResolveGenerics.TestGen_Array_Anoynmous;
  1747. begin
  1748. StartProgram(false);
  1749. Add([
  1750. 'type',
  1751. ' generic TRec<T> = record',
  1752. ' a: array of T;',
  1753. ' end;',
  1754. ' TWordRec = specialize TRec<word>;',
  1755. 'var',
  1756. ' a: specialize TRec<word>;',
  1757. ' b: TWordRec;',
  1758. ' w: word;',
  1759. 'begin',
  1760. ' a:=b;',
  1761. ' a.a:=b.a;',
  1762. ' a.a[1]:=2;',
  1763. ' b.a[2]:=a.a[3]+b.a[4];',
  1764. ' b:=a;',
  1765. ' SetLength(a.a,5);',
  1766. ' SetLength(b.a,6);',
  1767. ' w:=length(a.a)+low(a.a)+high(a.a);',
  1768. '']);
  1769. ParseProgram;
  1770. end;
  1771. procedure TTestResolveGenerics.TestGen_ProcType;
  1772. begin
  1773. StartProgram(false);
  1774. Add([
  1775. 'type',
  1776. ' generic TFunc<T> = function(v: T): T;',
  1777. ' TWordFunc = specialize TFunc<word>;',
  1778. 'function GetIt(w: word): word;',
  1779. 'begin',
  1780. 'end;',
  1781. 'var',
  1782. ' a: specialize TFunc<word>;',
  1783. ' b: TWordFunc;',
  1784. ' w: word;',
  1785. 'begin',
  1786. ' a:=nil;',
  1787. ' b:=nil;',
  1788. ' a:=b;',
  1789. ' b:=a;',
  1790. ' w:=a(w);',
  1791. ' w:=b(w);',
  1792. ' a:=@GetIt;',
  1793. ' b:=@GetIt;',
  1794. '']);
  1795. ParseProgram;
  1796. end;
  1797. procedure TTestResolveGenerics.TestGen_ProcType_AnonymousFunc_Delphi;
  1798. begin
  1799. StartProgram(false);
  1800. Add([
  1801. '{$mode delphi}',
  1802. 'type',
  1803. ' TObject = class',
  1804. ' end;',
  1805. ' IInterface = interface',
  1806. ' end;',
  1807. ' Integer = longint;',
  1808. ' IComparer<T> = interface',
  1809. ' function Compare(const Left, Right: T): Integer; overload;',
  1810. ' end;',
  1811. ' TOnComparison<T> = function(const Left, Right: T): Integer of object;',
  1812. ' TComparisonFunc<T> = reference to function(const Left, Right: T): Integer;',
  1813. ' TComparer<T> = class(TObject, IComparer<T>)',
  1814. ' public',
  1815. ' function Compare(const Left, Right: T): Integer; overload;',
  1816. ' class function Construct(const AComparison: TOnComparison<T>): IComparer<T>; overload;',
  1817. ' class function Construct(const AComparison: TComparisonFunc<T>): IComparer<T>; overload;',
  1818. ' end;',
  1819. 'function TComparer<T>.Compare(const Left, Right: T): Integer; overload;',
  1820. 'begin',
  1821. 'end;',
  1822. 'class function TComparer<T>.Construct(const AComparison: TOnComparison<T>): IComparer<T>;',
  1823. 'begin',
  1824. 'end;',
  1825. 'class function TComparer<T>.Construct(const AComparison: TComparisonFunc<T>): IComparer<T>;',
  1826. 'begin',
  1827. 'end;',
  1828. 'procedure Test;',
  1829. 'var',
  1830. ' aComparer : IComparer<Integer>;',
  1831. 'begin',
  1832. ' aComparer:=TComparer<Integer>.Construct(function (Const a,b : integer) : integer',
  1833. ' begin',
  1834. ' Result:=a-b;',
  1835. ' end);',
  1836. 'end;',
  1837. 'begin',
  1838. ' Test;']);
  1839. ParseModule;
  1840. end;
  1841. procedure TTestResolveGenerics.TestGen_PointerDirectSpecializeFail;
  1842. begin
  1843. StartProgram(false);
  1844. Add([
  1845. 'type',
  1846. ' generic TRec<T> = record v: T; end;',
  1847. ' PRec = ^specialize TRec<word>;',
  1848. 'begin',
  1849. '']);
  1850. CheckParserException('Expected "Identifier or file"',nParserExpectTokenError);
  1851. end;
  1852. procedure TTestResolveGenerics.TestGen_HelperForArray;
  1853. begin
  1854. StartProgram(false);
  1855. Add([
  1856. '{$ModeSwitch typehelpers}',
  1857. 'type',
  1858. ' generic TArr<T> = array[1..2] of T;',
  1859. ' TWordArrHelper = type helper for specialize TArr<word>',
  1860. ' procedure Fly(w: word);',
  1861. ' end;',
  1862. 'procedure TWordArrHelper.Fly(w: word);',
  1863. 'begin',
  1864. 'end;',
  1865. 'var',
  1866. ' a: specialize TArr<word>;',
  1867. 'begin',
  1868. ' a.Fly(3);',
  1869. '']);
  1870. ParseProgram;
  1871. end;
  1872. procedure TTestResolveGenerics.TestGen_LocalVar;
  1873. begin
  1874. StartProgram(false);
  1875. Add([
  1876. '{$mode objfpc}',
  1877. 'type',
  1878. ' TObject = class end;',
  1879. ' generic TBird<{#Templ}T> = class',
  1880. ' function Fly(p:T): T;',
  1881. ' end;',
  1882. 'function TBird.Fly(p:T): T;',
  1883. 'var l: T;',
  1884. 'begin',
  1885. ' l:=p;',
  1886. ' p:=l;',
  1887. ' Result:=p;',
  1888. ' Result:=l;',
  1889. ' l:=Result;',
  1890. 'end;',
  1891. 'var',
  1892. ' b: specialize TBird<word>;',
  1893. ' w: word;',
  1894. 'begin',
  1895. ' w:=b.Fly(w);',
  1896. '']);
  1897. ParseProgram;
  1898. end;
  1899. procedure TTestResolveGenerics.TestGen_Statements;
  1900. begin
  1901. StartProgram(false);
  1902. Add([
  1903. '{$mode objfpc}',
  1904. 'type',
  1905. ' TObject = class end;',
  1906. ' generic TBird<{#Templ}T> = class',
  1907. ' function Fly(p:T): T;',
  1908. ' end;',
  1909. 'function TBird.Fly(p:T): T;',
  1910. 'var',
  1911. ' v1,v2,v3:T;',
  1912. 'begin',
  1913. ' v1:=1;',
  1914. ' v2:=v1+v1*v1+v1 div p;',
  1915. ' v3:=-v1;',
  1916. ' repeat',
  1917. ' v1:=v1+1;',
  1918. ' until v1>=5;',
  1919. ' while v1>=0 do',
  1920. ' v1:=v1-v2;',
  1921. ' for v1:=v2 to v3 do v2:=v1;',
  1922. ' if v1<v2 then v3:=v1 else v3:=v2;',
  1923. ' if v1<v2 then else ;',
  1924. ' case v1 of',
  1925. ' 1: v3:=3;',
  1926. ' end;',
  1927. 'end;',
  1928. 'var',
  1929. ' b: specialize TBird<word>;',
  1930. 'begin',
  1931. ' b.Fly(2);',
  1932. '']);
  1933. ParseProgram;
  1934. end;
  1935. procedure TTestResolveGenerics.TestGen_InlineSpecializeExpr;
  1936. begin
  1937. StartProgram(false);
  1938. Add([
  1939. '{$mode objfpc}',
  1940. 'type',
  1941. ' TObject = class end;',
  1942. ' generic TBird<T> = class',
  1943. ' constructor Create;',
  1944. ' end;',
  1945. ' generic TAnt<U> = class',
  1946. ' constructor Create;',
  1947. ' end;',
  1948. 'constructor TBird.Create;',
  1949. 'var',
  1950. ' a: specialize TAnt<T>;',
  1951. ' b: specialize TAnt<word>;',
  1952. 'begin',
  1953. ' a:=specialize TAnt<T>.create;',
  1954. ' b:=specialize TAnt<word>.create;',
  1955. 'end;',
  1956. 'constructor TAnt.Create;',
  1957. 'var',
  1958. ' i: specialize TBird<U>;',
  1959. ' j: specialize TBird<word>;',
  1960. ' k: specialize TAnt<U>;',
  1961. 'begin',
  1962. ' i:=specialize TBird<U>.create;',
  1963. ' j:=specialize TBird<word>.create;',
  1964. ' k:=specialize TAnt<U>.create;',
  1965. 'end;',
  1966. 'var a: specialize TAnt<word>;',
  1967. 'begin',
  1968. ' a:=specialize TAnt<word>.create;',
  1969. '']);
  1970. ParseProgram;
  1971. end;
  1972. procedure TTestResolveGenerics.TestGen_TryExcept;
  1973. begin
  1974. StartProgram(false);
  1975. Add([
  1976. '{$mode objfpc}',
  1977. 'type',
  1978. ' TObject = class end;',
  1979. ' generic TBird<{#Templ}T> = class',
  1980. ' function Fly(p:T): T;',
  1981. ' end;',
  1982. ' Exception = class',
  1983. ' end;',
  1984. ' generic EMsg<T> = class',
  1985. ' Msg: T;',
  1986. ' end;',
  1987. 'function TBird.Fly(p:T): T;',
  1988. 'var',
  1989. ' v1,v2,v3:T;',
  1990. 'begin',
  1991. ' try',
  1992. ' finally',
  1993. ' end;',
  1994. ' try',
  1995. ' v1:=v2;',
  1996. ' finally',
  1997. ' v2:=v1;',
  1998. ' end;',
  1999. ' try',
  2000. ' except',
  2001. ' on Exception do ;',
  2002. ' on E: Exception do ;',
  2003. ' on E: specialize EMsg<boolean> do E.Msg:=true;',
  2004. ' on E: specialize EMsg<T> do E.Msg:=1;',
  2005. ' end;',
  2006. 'end;',
  2007. 'var',
  2008. ' b: specialize TBird<word>;',
  2009. 'begin',
  2010. ' b.Fly(2);',
  2011. '']);
  2012. ParseProgram;
  2013. end;
  2014. procedure TTestResolveGenerics.TestGen_Call;
  2015. begin
  2016. StartProgram(false);
  2017. Add([
  2018. '{$mode objfpc}',
  2019. 'type',
  2020. ' TObject = class end;',
  2021. ' generic TBird<T> = class',
  2022. ' function Fly(p:T): T;',
  2023. ' end;',
  2024. 'procedure Run(b: boolean); overload;',
  2025. 'begin end;',
  2026. 'procedure Run(w: word); overload;',
  2027. 'begin end;',
  2028. 'function TBird.Fly(p:T): T;',
  2029. 'begin',
  2030. ' Run(p);',
  2031. ' Run(Result);',
  2032. 'end;',
  2033. 'var',
  2034. ' w: specialize TBird<word>;',
  2035. ' b: specialize TBird<boolean>;',
  2036. 'begin',
  2037. '']);
  2038. ParseProgram;
  2039. end;
  2040. procedure TTestResolveGenerics.TestGen_NestedProc;
  2041. begin
  2042. StartProgram(false);
  2043. Add([
  2044. '{$mode objfpc}',
  2045. 'type',
  2046. ' TObject = class end;',
  2047. ' generic TBird<T> = class',
  2048. ' function Fly(p:T): T;',
  2049. ' end;',
  2050. 'function TBird.Fly(p:T): T;',
  2051. ' function Run: T;',
  2052. ' begin',
  2053. ' Fly:=Result;',
  2054. ' end;',
  2055. 'begin',
  2056. ' Run;',
  2057. 'end;',
  2058. 'var',
  2059. ' w: specialize TBird<word>;',
  2060. ' b: specialize TBird<boolean>;',
  2061. 'begin',
  2062. '']);
  2063. ParseProgram;
  2064. end;
  2065. procedure TTestResolveGenerics.TestGenProc_Function;
  2066. begin
  2067. StartProgram(false);
  2068. Add([
  2069. 'generic function DoIt<T>(a: T): T;',
  2070. 'var i: T;',
  2071. 'begin',
  2072. ' a:=i;',
  2073. ' Result:=a;',
  2074. 'end;',
  2075. 'var w: word;',
  2076. 'begin',
  2077. ' w:=specialize DoIt<word>(3);',
  2078. '']);
  2079. ParseProgram;
  2080. end;
  2081. procedure TTestResolveGenerics.TestGenProc_FunctionDelphi;
  2082. begin
  2083. StartProgram(false);
  2084. Add([
  2085. '{$mode delphi}',
  2086. 'function DoIt<T>(a: T): T;',
  2087. 'var i: T;',
  2088. 'begin',
  2089. ' a:=i;',
  2090. ' Result:=a;',
  2091. 'end;',
  2092. 'var w: word;',
  2093. 'begin',
  2094. ' w:=DoIt<word>(3);',
  2095. '']);
  2096. ParseProgram;
  2097. end;
  2098. procedure TTestResolveGenerics.TestGenProc_OverloadDuplicate;
  2099. begin
  2100. StartProgram(false);
  2101. Add([
  2102. 'generic procedure Fly<T>(a: T);',
  2103. 'begin',
  2104. 'end;',
  2105. 'generic procedure Fly<T>(a: T);',
  2106. 'begin',
  2107. 'end;',
  2108. 'begin',
  2109. '']);
  2110. CheckResolverException('Duplicate identifier "Fly" at afile.pp(2,22)',nDuplicateIdentifier);
  2111. end;
  2112. procedure TTestResolveGenerics.TestGenProc_MissingTemplatesFail;
  2113. begin
  2114. StartProgram(false);
  2115. Add([
  2116. 'generic procedure Run;',
  2117. 'begin',
  2118. 'end;',
  2119. 'begin',
  2120. '']);
  2121. CheckParserException('Expected "<"',nParserExpectTokenError);
  2122. end;
  2123. procedure TTestResolveGenerics.TestGenProc_SpecializeNonGenericFail;
  2124. begin
  2125. StartProgram(false);
  2126. Add([
  2127. 'procedure Run;',
  2128. 'begin',
  2129. 'end;',
  2130. 'begin',
  2131. ' specialize Run<word>();',
  2132. '']);
  2133. CheckResolverException('Run expected, but Run<> found',nXExpectedButYFound);
  2134. end;
  2135. procedure TTestResolveGenerics.TestGenProc_Forward;
  2136. begin
  2137. StartProgram(false);
  2138. Add([
  2139. 'generic procedure Fly<T>(a: T); forward;',
  2140. 'procedure Run;',
  2141. 'begin',
  2142. ' specialize Fly<word>(3);',
  2143. 'end;',
  2144. 'generic procedure Fly<T>(a: T);',
  2145. 'var i: T;',
  2146. 'begin',
  2147. ' i:=a;',
  2148. 'end;',
  2149. 'begin',
  2150. ' specialize Fly<boolean>(true);',
  2151. '']);
  2152. ParseProgram;
  2153. end;
  2154. procedure TTestResolveGenerics.TestGenProc_External;
  2155. begin
  2156. StartProgram(false);
  2157. Add([
  2158. 'generic function Fly<T>(a: T): T; external name ''flap'';',
  2159. 'procedure Run;',
  2160. 'begin',
  2161. ' specialize Fly<word>(3);',
  2162. 'end;',
  2163. 'begin',
  2164. ' specialize Fly<boolean>(true);',
  2165. '']);
  2166. ParseProgram;
  2167. end;
  2168. procedure TTestResolveGenerics.TestGenProc_UnitIntf;
  2169. begin
  2170. AddModuleWithIntfImplSrc('unit2.pas',
  2171. LinesToStr([
  2172. 'generic function Fly<T>(a: T): T;',
  2173. '']),
  2174. LinesToStr([
  2175. 'generic function Fly<T>(a: T): T;',
  2176. 'var i: T;',
  2177. 'begin',
  2178. ' i:=a;',
  2179. 'end;',
  2180. '']));
  2181. StartProgram(true);
  2182. Add([
  2183. 'uses unit2;',
  2184. 'var w: word;',
  2185. 'begin',
  2186. ' w:=specialize Fly<word>(3);',
  2187. ' if specialize Fly<boolean>(false) then ;',
  2188. '']);
  2189. ParseProgram;
  2190. end;
  2191. procedure TTestResolveGenerics.TestGenProc_BackRef1Fail;
  2192. begin
  2193. StartProgram(false);
  2194. Add([
  2195. 'generic function Fly<T>(a: Fly): T;',
  2196. 'begin',
  2197. 'end;',
  2198. 'begin',
  2199. '']);
  2200. CheckResolverException('Wrong number of parameters specified for call to "function Fly<>(untyped)"',nWrongNumberOfParametersForCallTo);
  2201. end;
  2202. procedure TTestResolveGenerics.TestGenProc_BackRef2Fail;
  2203. begin
  2204. StartProgram(false);
  2205. Add([
  2206. 'generic function Fly<T>(a: Fly<word>): T;',
  2207. 'begin',
  2208. 'end;',
  2209. 'begin',
  2210. '']);
  2211. CheckResolverException('Wrong number of parameters specified for call to "function Fly<>(untyped)"',nWrongNumberOfParametersForCallTo);
  2212. end;
  2213. procedure TTestResolveGenerics.TestGenProc_BackRef3Fail;
  2214. begin
  2215. StartProgram(false);
  2216. Add([
  2217. 'generic function Fly<T>(a: Fly<T>): T;',
  2218. 'begin',
  2219. 'end;',
  2220. 'begin',
  2221. '']);
  2222. CheckResolverException('Wrong number of parameters specified for call to "function Fly<>(untyped)"',nWrongNumberOfParametersForCallTo);
  2223. end;
  2224. procedure TTestResolveGenerics.TestGenProc_CallSelf;
  2225. begin
  2226. StartProgram(false);
  2227. Add([
  2228. 'generic function Fly<T>(a: T): T;',
  2229. ' procedure Run;',
  2230. ' begin',
  2231. ' specialize Fly<T>(a);',
  2232. ' specialize Fly<word>(3);',
  2233. ' end;',
  2234. 'begin',
  2235. ' specialize Fly<T>(a);',
  2236. ' specialize Fly<boolean>(true);',
  2237. 'end;',
  2238. 'begin',
  2239. ' specialize Fly<string>(''fast'');',
  2240. '']);
  2241. ParseProgram;
  2242. end;
  2243. procedure TTestResolveGenerics.TestGenProc_CallSelfNoParams;
  2244. begin
  2245. StartProgram(false);
  2246. Add([
  2247. 'generic function Fly<T>(a: T = 0): T;',
  2248. ' procedure Run;',
  2249. ' begin',
  2250. ' specialize Fly<T>;',
  2251. ' specialize Fly<word>;',
  2252. ' end;',
  2253. 'begin',
  2254. ' specialize Fly<T>;',
  2255. ' specialize Fly<byte>;',
  2256. 'end;',
  2257. 'begin',
  2258. ' specialize Fly<shortint>;',
  2259. '']);
  2260. ParseProgram;
  2261. end;
  2262. procedure TTestResolveGenerics.TestGenProc_ForwardConstraints;
  2263. begin
  2264. StartProgram(false);
  2265. Add([
  2266. 'type',
  2267. ' TObject = class end;',
  2268. ' TBird = class end;',
  2269. 'var b: TBird;',
  2270. 'generic function Fly<T: class>(a: T): T; forward;',
  2271. 'procedure Run;',
  2272. 'begin',
  2273. ' specialize Fly<TBird>(b);',
  2274. 'end;',
  2275. 'generic function Fly<T>(a: T): T;',
  2276. 'begin',
  2277. 'end;',
  2278. 'begin',
  2279. ' specialize Fly<TBird>(b);',
  2280. '']);
  2281. ParseProgram;
  2282. end;
  2283. procedure TTestResolveGenerics.TestGenProc_ForwardConstraintsRepeatFail;
  2284. begin
  2285. StartProgram(false);
  2286. Add([
  2287. 'type',
  2288. ' TObject = class end;',
  2289. 'generic function Fly<T: class>(a: T): T; forward;',
  2290. 'generic function Fly<T: class>(a: T): T;',
  2291. 'begin',
  2292. 'end;',
  2293. 'begin',
  2294. '']);
  2295. CheckResolverException(sImplMustNotRepeatConstraints,nImplMustNotRepeatConstraints);
  2296. end;
  2297. procedure TTestResolveGenerics.TestGenProc_ForwardTempNameMismatch;
  2298. begin
  2299. StartProgram(false);
  2300. Add([
  2301. 'generic function Fly<T>(a: T): T; forward;',
  2302. 'generic function Fly<B>(a: B): B;',
  2303. 'begin',
  2304. 'end;',
  2305. 'begin',
  2306. '']);
  2307. CheckResolverException('Declaration of "Fly<B>" differs from previous declaration at afile.pp(2,23)',
  2308. nDeclOfXDiffersFromPrevAtY);
  2309. end;
  2310. procedure TTestResolveGenerics.TestGenProc_ForwardOverload;
  2311. begin
  2312. StartProgram(false);
  2313. Add([
  2314. 'generic function {#FlyA}Fly<T>(a: T; b: boolean): T; forward; overload;',
  2315. 'generic function {#FlyB}Fly<T>(a: T; w: word): T; forward; overload;',
  2316. 'procedure {#FlyC}Fly; overload;',
  2317. 'begin',
  2318. ' specialize {@FlyA}Fly<longint>(1,true);',
  2319. ' specialize {@FlyB}Fly<string>(''ABC'',3);',
  2320. 'end;',
  2321. 'generic function Fly<T>(a: T; b: boolean): T;',
  2322. 'begin',
  2323. 'end;',
  2324. 'generic function Fly<T>(a: T; w: word): T;',
  2325. 'begin',
  2326. 'end;',
  2327. 'begin',
  2328. '']);
  2329. ParseProgram;
  2330. end;
  2331. procedure TTestResolveGenerics.TestGenProc_NestedFail;
  2332. begin
  2333. StartProgram(false);
  2334. Add([
  2335. 'procedure Fly;',
  2336. ' generic procedure Run<T>(a: T);',
  2337. ' begin',
  2338. ' end;',
  2339. 'begin',
  2340. ' Run<boolean>(true);',
  2341. 'end;',
  2342. 'begin',
  2343. '']);
  2344. CheckResolverException('Type parameters not allowed on nested procedure',nTypeParamsNotAllowedOnX);
  2345. end;
  2346. procedure TTestResolveGenerics.TestGenProc_TypeParamCntOverload;
  2347. begin
  2348. StartProgram(false);
  2349. Add([
  2350. 'generic procedure {#A}Run<T>(a: T);',
  2351. 'begin',
  2352. 'end;',
  2353. 'generic procedure {#B}Run<M,N>(a: M);',
  2354. 'begin',
  2355. ' specialize {@A}Run<M>(a);',
  2356. ' specialize {@B}Run<double,char>(1.3);',
  2357. 'end;',
  2358. 'begin',
  2359. ' specialize {@A}Run<word>(3);',
  2360. ' specialize {@B}Run<word,char>(4);',
  2361. '']);
  2362. ParseProgram;
  2363. end;
  2364. procedure TTestResolveGenerics.TestGenProc_TypeParamCntOverloadNoParams;
  2365. begin
  2366. StartProgram(false);
  2367. Add([
  2368. 'generic procedure {#A}Run<T>;',
  2369. 'begin',
  2370. 'end;',
  2371. 'generic procedure {#B}Run<M,N>;',
  2372. 'begin',
  2373. ' specialize {@A}Run<M>;',
  2374. ' specialize {@A}Run<M>();',
  2375. ' specialize {@B}Run<double,char>;',
  2376. ' specialize {@B}Run<double,char>();',
  2377. 'end;',
  2378. 'begin',
  2379. ' specialize {@A}Run<word>;',
  2380. ' specialize {@A}Run<word>();',
  2381. ' specialize {@B}Run<word,char>;',
  2382. ' specialize {@B}Run<word,char>();',
  2383. '']);
  2384. ParseProgram;
  2385. end;
  2386. procedure TTestResolveGenerics.TestGenProc_TypeParamWithDefaultParamDelphiFail;
  2387. begin
  2388. // delphi 10.3 does not allow default values for args with generic types
  2389. StartProgram(false);
  2390. Add([
  2391. '{$mode delphi}',
  2392. 'procedure {#A}Run<T>(a: T = 0); overload;',
  2393. 'begin',
  2394. 'end;',
  2395. 'begin',
  2396. '']);
  2397. CheckResolverException(sParamOfThisTypeCannotHaveDefVal,nParamOfThisTypeCannotHaveDefVal);
  2398. end;
  2399. procedure TTestResolveGenerics.TestGenProc_ParamSpecWithT;
  2400. begin
  2401. StartProgram(false);
  2402. Add([
  2403. '{$mode delphi}',
  2404. 'type',
  2405. ' TObject = class end;',
  2406. ' TBird<T> = class v: T; end;',
  2407. ' TAnt = class',
  2408. ' procedure Func<T: class>(Bird: TBird<T>);',
  2409. ' end;',
  2410. 'procedure TAnt.Func<T>(Bird: TBird<T>);',
  2411. 'begin',
  2412. 'end;',
  2413. 'var',
  2414. ' Ant: TAnt;',
  2415. ' Bird: TBird<TObject>;',
  2416. ' BirdOfBird: TBird<TBird<TObject>>;',
  2417. 'begin',
  2418. ' Ant.Func<TObject>(Bird);',
  2419. ' Ant.Func<TBird<TObject>>(BirdOfBird);',
  2420. '']);
  2421. ParseProgram;
  2422. end;
  2423. procedure TTestResolveGenerics.TestGenProc_Infer_NeedExplicitFail;
  2424. begin
  2425. StartProgram(false);
  2426. Add([
  2427. '{$mode delphi}',
  2428. 'function {#A}Run<S,T>(a: S): T; overload;',
  2429. 'begin',
  2430. 'end;',
  2431. 'begin',
  2432. ' {@A}Run(1);',
  2433. '']);
  2434. CheckResolverException('Could not infer generic type argument "T" for method "Run"',
  2435. nCouldNotInferTypeArgXForMethodY);
  2436. end;
  2437. procedure TTestResolveGenerics.TestGenProc_Infer_Overload;
  2438. begin
  2439. StartProgram(false);
  2440. Add([
  2441. '{$mode delphi}',
  2442. 'procedure {#A}Run<S>(a: S; b: boolean); overload;',
  2443. 'begin',
  2444. 'end;',
  2445. 'procedure {#B}Run<T>(a: T; w: word); overload;',
  2446. 'begin',
  2447. 'end;',
  2448. 'procedure {#C}Run<U>(a: U; b: U); overload;',
  2449. 'begin',
  2450. 'end;',
  2451. 'begin',
  2452. ' {@A}Run(1,true);', // non generic take precedence
  2453. ' {@B}Run(2,word(3));', // non generic take precedence
  2454. ' {@C}Run(''foo'',''bar'');',
  2455. '']);
  2456. ParseProgram;
  2457. end;
  2458. procedure TTestResolveGenerics.TestGenProc_Infer_OverloadForward;
  2459. begin
  2460. StartProgram(false);
  2461. Add([
  2462. '{$mode delphi}',
  2463. 'procedure {#A}Run<S>(a: S; b: boolean); forward; overload;',
  2464. 'procedure {#B}Run<T>(a: T; w: word); forward; overload;',
  2465. 'procedure {#C}Run<U>(a: U; b: U); forward; overload;',
  2466. 'procedure {#A2}Run<S>(a: S; b: boolean); overload;',
  2467. 'begin',
  2468. ' {@A}Run(1,true);', // non generic take precedence
  2469. ' {@B}Run(2,word(3));', // non generic take precedence
  2470. ' {@C}Run(''foo'',''bar'');',
  2471. 'end;',
  2472. 'procedure {#B2}Run<T>(a: T; w: word); overload;',
  2473. 'begin',
  2474. 'end;',
  2475. 'procedure {#C2}Run<U>(a: U; b: U); overload;',
  2476. 'begin',
  2477. 'end;',
  2478. 'begin',
  2479. ' {@A}Run(1,true);', // non generic take precedence
  2480. ' {@B}Run(2,word(3));', // non generic take precedence
  2481. ' {@C}Run(''foo'',''bar'');',
  2482. '']);
  2483. ParseProgram;
  2484. end;
  2485. procedure TTestResolveGenerics.TestGenProc_Infer_Var_Overload;
  2486. begin
  2487. StartProgram(false);
  2488. Add([
  2489. '{$mode delphi}',
  2490. 'procedure {#A}Run<S>(var a: S; var b: boolean); overload;',
  2491. 'begin',
  2492. 'end;',
  2493. 'procedure {#B}Run<T>(var a: T; var w: word); overload;',
  2494. 'begin',
  2495. 'end;',
  2496. 'procedure {#C}Run<U>(var a: U; var b: U); overload;',
  2497. 'begin',
  2498. 'end;',
  2499. 'var',
  2500. ' w: word;',
  2501. ' b: boolean;',
  2502. ' s: string;',
  2503. 'begin',
  2504. ' {@A}Run(w,b);',
  2505. ' {@B}Run(s,w);',
  2506. ' {@C}Run(s,s);',
  2507. '']);
  2508. ParseProgram;
  2509. end;
  2510. procedure TTestResolveGenerics.TestGenProc_Infer_Widen;
  2511. begin
  2512. StartProgram(false);
  2513. Add([
  2514. '{$mode delphi}',
  2515. 'procedure {#A}Run<S>(a: S; b: S);',
  2516. 'begin',
  2517. 'end;',
  2518. 'begin',
  2519. ' {@A}Run(word(1),longint(2));',
  2520. ' {@A}Run(int64(1),longint(2));',
  2521. ' {@A}Run(boolean(false),wordbool(2));',
  2522. ' {@A}Run(''a'',''foo'');',
  2523. '']);
  2524. ParseProgram;
  2525. end;
  2526. procedure TTestResolveGenerics.TestGenProc_Infer_DefaultValue;
  2527. begin
  2528. StartProgram(false);
  2529. Add([
  2530. '{$mode objfpc}',
  2531. '{$modeswitch implicitfunctionspecialization}',
  2532. 'generic procedure {#A}Run<S>(a: S = 2; b: S = 10); overload;',
  2533. 'begin',
  2534. 'end;',
  2535. 'begin',
  2536. ' {@A}Run(1,2);',
  2537. ' {@A}Run(3);',
  2538. ' {@A}Run();',
  2539. '']);
  2540. ParseProgram;
  2541. end;
  2542. procedure TTestResolveGenerics.TestGenProc_Infer_DefaultValueMismatch;
  2543. begin
  2544. StartProgram(false);
  2545. Add([
  2546. '{$mode objfpc}',
  2547. '{$modeswitch implicitfunctionspecialization}',
  2548. 'generic procedure {#A}Run<S>(a: S; b: S = 10); overload;',
  2549. 'begin',
  2550. 'end;',
  2551. 'begin',
  2552. ' {@A}Run(false,true);',
  2553. '']);
  2554. CheckResolverException('Incompatible types: got "Longint" expected "Boolean"',
  2555. nIncompatibleTypesGotExpected);
  2556. end;
  2557. procedure TTestResolveGenerics.TestGenProc_Infer_ProcT;
  2558. begin
  2559. StartProgram(false);
  2560. Add([
  2561. '{$mode delphi}',
  2562. 'type',
  2563. ' TProc<S> = reference to procedure(a: S);',
  2564. ' TObject = class',
  2565. ' procedure {#A}Run<T: class>(a: TProc<T>);',
  2566. ' end;',
  2567. ' TBird = class end;',
  2568. 'procedure Tobject.Run<T>(a: TProc<T>);',
  2569. 'begin',
  2570. 'end;',
  2571. 'var obj: TObject;',
  2572. 'begin',
  2573. ' obj.{@A}Run<TBird>(procedure(Bird: TBird) begin end);',
  2574. //' obj.{@A}Run(procedure(Bird: TBird) begin end);', // not supported by Delphi
  2575. '']);
  2576. ParseProgram;
  2577. end;
  2578. procedure TTestResolveGenerics.TestGenProc_Infer_Mismatch;
  2579. begin
  2580. StartProgram(false);
  2581. Add([
  2582. '{$mode delphi}',
  2583. 'procedure Run<T>(a: T; b: T);',
  2584. 'begin',
  2585. 'end;',
  2586. 'begin',
  2587. ' Run(1,true);',
  2588. '']);
  2589. CheckResolverException('Inferred type "T" from different arguments mismatch for method "Run"',
  2590. nInferredTypeXFromDiffArgsMismatchFromMethodY);
  2591. end;
  2592. procedure TTestResolveGenerics.TestGenProc_Infer_ArrayOfT;
  2593. begin
  2594. StartProgram(false);
  2595. Add([
  2596. '{$mode delphi}',
  2597. 'procedure Run<T>(a: array of T);',
  2598. 'var b: T;',
  2599. 'begin',
  2600. ' b:=3;',
  2601. 'end;',
  2602. 'var Arr: array of byte;',
  2603. 'begin',
  2604. ' Run(Arr);',
  2605. '']);
  2606. ParseProgram;
  2607. end;
  2608. procedure TTestResolveGenerics.TestGenProc_Infer_PassAsArgDelphi;
  2609. begin
  2610. StartProgram(false);
  2611. Add([
  2612. '{$mode delphi}',
  2613. 'function Run<T>(a: T): T;',
  2614. 'var b: T;',
  2615. 'begin',
  2616. ' Run(Run<word>(3));',
  2617. ' Run(Run(4));',
  2618. 'end;',
  2619. 'begin',
  2620. ' Run(Run<word>(5));',
  2621. ' Run(Run(6));',
  2622. '']);
  2623. ParseProgram;
  2624. end;
  2625. procedure TTestResolveGenerics.TestGenProc_Infer_PassAsArgObjFPC;
  2626. begin
  2627. StartProgram(false);
  2628. Add([
  2629. '{$mode objfpc}',
  2630. '{$ModeSwitch implicitfunctionspecialization}',
  2631. 'generic function Run<T>(a: T): T;',
  2632. 'var b: T;',
  2633. 'begin',
  2634. ' Run(specialize Run<word>(3));',
  2635. ' Run(Run(4));',
  2636. 'end;',
  2637. 'begin',
  2638. ' Run(specialize Run<word>(5));',
  2639. ' Run(Run(6));',
  2640. '']);
  2641. ParseProgram;
  2642. end;
  2643. procedure TTestResolveGenerics.TestGenMethod_VirtualFail;
  2644. begin
  2645. StartProgram(false);
  2646. Add([
  2647. 'type',
  2648. ' TObject = class',
  2649. ' generic procedure Run<T>(a: T); virtual; abstract;',
  2650. ' end;',
  2651. 'begin',
  2652. '']);
  2653. CheckResolverException('virtual, dynamic or message methods cannot have type parameters',
  2654. nXMethodsCannotHaveTypeParams);
  2655. end;
  2656. procedure TTestResolveGenerics.TestGenMethod_PublishedFail;
  2657. begin
  2658. StartProgram(false);
  2659. Add([
  2660. 'type',
  2661. ' TObject = class',
  2662. ' published',
  2663. ' generic procedure Run<T>(a: T);',
  2664. ' end;',
  2665. 'generic procedure TObject.Run<T>(a: T);',
  2666. 'begin',
  2667. 'end;',
  2668. 'begin',
  2669. '']);
  2670. CheckResolverException('published methods cannot have type parameters',
  2671. nXMethodsCannotHaveTypeParams);
  2672. end;
  2673. procedure TTestResolveGenerics.TestGenMethod_ClassInterfaceMethodFail;
  2674. begin
  2675. StartProgram(false);
  2676. Add([
  2677. 'type',
  2678. ' IUnknown = interface',
  2679. ' generic procedure Run<T>(a: T); virtual; abstract;',
  2680. ' end;',
  2681. 'begin',
  2682. '']);
  2683. CheckParserException('generic is not allowed in interface',nParserXNotAllowedInY);
  2684. end;
  2685. procedure TTestResolveGenerics.TestGenMethod_ClassConstructorFail;
  2686. begin
  2687. StartProgram(false);
  2688. Add([
  2689. 'type',
  2690. ' TObject = class',
  2691. ' generic class constructor Run<T>(a: T);',
  2692. ' end;',
  2693. 'generic class constructor TObject.Run<T>(a: T);',
  2694. 'begin end;',
  2695. 'begin',
  2696. '']);
  2697. CheckParserException('Expected "Procedure" or "Function" at token "constructor" in file afile.pp at line 4 column 19',
  2698. nParserExpectToken2Error);
  2699. end;
  2700. procedure TTestResolveGenerics.TestGenMethod_TemplNameDifferFail;
  2701. begin
  2702. StartProgram(false);
  2703. Add([
  2704. 'type',
  2705. ' TObject = class',
  2706. ' generic procedure Run<T>(a: T);',
  2707. ' end;',
  2708. 'generic procedure TObject.Run<S>(a: S);',
  2709. 'begin',
  2710. 'end;',
  2711. 'begin',
  2712. '']);
  2713. CheckResolverException('Declaration of "TObject.Run<S>" differs from previous declaration at afile.pp(4,28)',
  2714. nDeclOfXDiffersFromPrevAtY);
  2715. end;
  2716. procedure TTestResolveGenerics.TestGenMethod_ImplConstraintFail;
  2717. begin
  2718. StartProgram(false);
  2719. Add([
  2720. 'type',
  2721. ' TObject = class',
  2722. ' generic procedure Run<T>(a: T);',
  2723. ' end;',
  2724. 'generic procedure TObject.Run<T: class>(a: T);',
  2725. 'begin',
  2726. 'end;',
  2727. 'begin',
  2728. '']);
  2729. CheckResolverException(sImplMustNotRepeatConstraints,nImplMustNotRepeatConstraints);
  2730. end;
  2731. procedure TTestResolveGenerics.TestGenMethod_NestedSelf;
  2732. begin
  2733. StartProgram(false);
  2734. Add([
  2735. 'type',
  2736. ' TObject = class',
  2737. ' w: word;',
  2738. ' generic function Fly<T>(a: T): T;',
  2739. ' end;',
  2740. 'generic function TObject.Fly<T>(a: T): T;',
  2741. ' function Sub: T;',
  2742. ' begin',
  2743. ' Result:=w+a;',
  2744. ' Result:=Self.w+a;',
  2745. //' specialize Fly<T> :=', not supported by FPC/Delphi
  2746. ' end;',
  2747. 'begin',
  2748. ' Result:=Sub;',
  2749. ' Result:=Self.w+Sub+a;',
  2750. 'end;',
  2751. 'var Obj: TObject;',
  2752. 'begin',
  2753. ' if Obj.specialize Fly<smallint>(3)=4 then ;',
  2754. '']);
  2755. ParseProgram;
  2756. end;
  2757. procedure TTestResolveGenerics.TestGenMethod_OverloadTypeParamCntObjFPC;
  2758. begin
  2759. StartProgram(false);
  2760. Add([
  2761. 'type',
  2762. ' TObject = class',
  2763. ' generic procedure {#A}Run<T>(a: T);',
  2764. ' generic procedure {#B}Run<M,N>(a: M);',
  2765. ' end;',
  2766. 'generic procedure TObject.Run<T>(a: T);',
  2767. 'begin',
  2768. 'end;',
  2769. 'generic procedure TObject.Run<M,N>(a: M);',
  2770. 'begin',
  2771. ' specialize {@A}Run<M>(a);',
  2772. ' specialize {@B}Run<double,char>(1.3);',
  2773. 'end;',
  2774. 'var obj: TObject;',
  2775. 'begin',
  2776. ' obj.specialize {@A}Run<word>(3);',
  2777. ' obj.specialize {@B}Run<word,char>(4);',
  2778. '']);
  2779. ParseProgram;
  2780. end;
  2781. procedure TTestResolveGenerics.TestGenMethod_OverloadTypeParamCntDelphi;
  2782. begin
  2783. StartProgram(false);
  2784. Add([
  2785. '{$mode delphi}',
  2786. 'type',
  2787. ' TObject = class',
  2788. ' procedure {#A}Run<T>(a: T); overload;',
  2789. ' procedure {#B}Run<M,N>(a: M); overload;',
  2790. ' end;',
  2791. 'procedure TObject.Run<T>(a: T);',
  2792. 'begin',
  2793. 'end;',
  2794. 'procedure TObject.Run<M,N>(a: M);',
  2795. 'begin',
  2796. ' {@A}Run<M>(a);',
  2797. ' {@B}Run<double,char>(1.3);',
  2798. 'end;',
  2799. 'var obj: TObject;',
  2800. 'begin',
  2801. ' obj.{@A}Run<word>(3);',
  2802. ' obj.{@B}Run<word,char>(4);',
  2803. '']);
  2804. ParseProgram;
  2805. end;
  2806. procedure TTestResolveGenerics.TestGenMethod_OverloadArgs;
  2807. begin
  2808. StartProgram(false);
  2809. Add([
  2810. 'type',
  2811. ' TObject = class',
  2812. ' generic function {#A}Run<T>(a: boolean): T;',
  2813. ' generic function {#B}Run<M>(a: word): M;',
  2814. ' end;',
  2815. 'generic function TObject.Run<T>(a: boolean): T;',
  2816. 'begin',
  2817. 'end;',
  2818. 'generic function TObject.Run<M>(a: word): M;',
  2819. 'begin',
  2820. ' Result:=specialize Run<M>(a);',
  2821. ' if specialize {@A}Run<string>(true)=''foo'' then ;',
  2822. ' if specialize {@B}Run<byte>(3)=4 then ;',
  2823. 'end;',
  2824. 'var obj: TObject;',
  2825. 'begin',
  2826. ' if obj.specialize {@A}Run<string>(true)=''bar'' then ;',
  2827. ' if obj.specialize {@B}Run<byte>(5)=6 then ;',
  2828. '']);
  2829. ParseProgram;
  2830. end;
  2831. procedure TTestResolveGenerics.TestGenMethod_TypeCastParam;
  2832. begin
  2833. StartUnit(false);
  2834. Add([
  2835. '{$mode delphi}',
  2836. 'interface',
  2837. 'type',
  2838. ' TObject = class end;',
  2839. ' TAnt = class end;',
  2840. ' TArray<T> = array of T;',
  2841. ' TBird = class',
  2842. ' F: TArray<TObject>;',
  2843. ' procedure Run<S>(a: TArray<S>);',
  2844. ' end;',
  2845. 'implementation',
  2846. 'procedure TBird.Run<S>(a: TArray<S>);',
  2847. 'begin',
  2848. ' a:=TArray<S>(a);',
  2849. ' F:=TArray<TObject>(a);',
  2850. 'end;',
  2851. 'var B: TBird;',
  2852. 'initialization',
  2853. ' B.Run<TAnt>(nil);',
  2854. '']);
  2855. ParseUnit;
  2856. end;
  2857. procedure TTestResolveGenerics.TestGenMethod_TypeCastIdentDot;
  2858. begin
  2859. StartUnit(false);
  2860. Add([
  2861. '{$mode delphi}',
  2862. 'interface',
  2863. 'type',
  2864. ' TObject = class end;',
  2865. ' TBird = class end;',
  2866. ' TEagle = class(TBird)',
  2867. ' procedure Run<S>(p: S);',
  2868. ' procedure Fly;',
  2869. ' end;',
  2870. 'implementation',
  2871. 'procedure TEagle.Run<S>(p: S);',
  2872. 'begin',
  2873. 'end;',
  2874. 'procedure TEagle.Fly;',
  2875. 'var Bird: TBird;',
  2876. 'begin',
  2877. ' TEagle(Bird).Run<word>(3);',
  2878. 'end;',
  2879. '']);
  2880. ParseUnit;
  2881. end;
  2882. initialization
  2883. RegisterTests([TTestResolveGenerics]);
  2884. end.