From e104b2e37916d3e10c76c69ccfb860c2fcbefb0d Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Thu, 15 Oct 2015 13:56:12 +0200 Subject: [PATCH] =?UTF-8?q?Test=20anf=C3=BCgen?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../.LambdaTest2_3.jav.log.swp | Bin 0 -> 69632 bytes .../TypeInsertTests/LambdaTest2_3.jav | 5 ++++ .../TypeInsertTests/LambdaTest2_3.java | 23 ++++++++++++++++++ 3 files changed, 28 insertions(+) create mode 100644 test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp create mode 100644 test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav create mode 100644 test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java diff --git a/test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp b/test/plugindevelopment/TypeInsertTests/.LambdaTest2_3.jav.log.swp new file mode 100644 index 0000000000000000000000000000000000000000..457a36417383307ca69e0830c90be29a51cf2880 GIT binary patch literal 69632 zcmeI&2XvIxy8rQ^s&r7m1`I_7flw6)Z9)hk5PImKgk(YjAqmNZ-V{ZOf`Eu12o?kp z3nBv26i`G|z=9M3u~96jAVu08oZoZK-Cxe-p1b~s|G8`3u-1_BndkZKcklhaGn1LV zHM_*L@zx8g>k0lV=J9-WpkSA%LP?&V@Ai25$ERhdW~L-0U$(3KOHEIRPfbqG3WWXj zU1Ivc_>{DNaR1SNYgnVXf3QC_J!7ChEl|UskeZT_4W=ape3eX9oUn&Ol*Lo!Yf(UOx7U70P>WEYbP@<}~CSbHzq@SOX7t_Sp z{1ld3|1fwF`BBx!!i&ncX`=hXPh1N9%dPv3mfO7iF27YiR&MwIOJN##OQ4LIY^ZW#_2LDlhyYge;$58KwAC=qqAA}!4{Q~%5)USj8fcky# z@8$J0{xk6JG}0 z1M+BjCGBI&-!E?}9{~Rfz68Ec?o<6y_+EJvc@oAKMej6`mcmfeR*@uPXj&R zSpIu*Tc1(z&G2{No6tXx9?ON73$@x2Hi179e&@o#{?Ah+x1 z1^Dym-{?j+|2fo;gg=Y=HSh&;8{awjeDrUiCn9$I&%lSm=gDpVu7uB(M`(V}!=IMh z^`~)3_xR_??fe-FpN;y>@TcUhm496+xBo1;txrezlkjQqnR1)o9q=bmU!=5~KLg$d zJ{|oZg-=8Mhw#VcJ{|uJH@o>$<&ESq@G0p3F#IujwCXp*A4UIyx48L}<+lFO@JVu8 z|4HzPsQ&~$0rkc8Ldy2{Bk<1f@p9WAv*8cJcf%i&+x(Ws>+o@??*xBPo=5XL9j;$r z@g+XdVk4+y1ZwrIB3c=gT z;A3TM@Kz%Dn7tzSyrEn0Rxo(`Gx!{4VDNS@_+06};O$`WIoo}~+y3Bl$6mqPzTk7% z9>Lpz;B)D|!Q1}49#7BUZBOtZx(08b2VdND3f^`G7olzNc6p3jHNGpqB>KY=llu94Z5U|HMrM1Qz9_!)>)Z_mW^?7pe~F7c_^{@#E6W`wtAZ*O&P zT=(`-F>PB!b&P5o8RhwZ97ETuk0B{FJw9-ahtTEfLr6_e>vxSu(D~{kNJ+caQxJFc z0c0hoXI|?ebh`Qw`VI?R>#f-F>LW-9emo~W(;t_9?M{Xc|Mn5IzxoI=gC9l8%);kh4u_4vLifyngiw7|970WGdRfVAv^ef^p3 zlHxMsQ&NLlv4=l1{Tfb3)IT?xSbu!tKQWm9{>fWH@Uy33ZHC!LQNz6z|LK2MJ`=pM znfLM&(vJRw^t7x%W_Cg#B|WWrL~6hE%#=X#!0fEx_&UW!bd2*>yrv`l@0))GHJE>OVzn*JXuI%mk*OT-}@4#x_-c`KS zn}nX02cLxhb%&1rKz3$Y=y!j+b2D$!KfH70q_FsmjMQP5n}*s4l2fuOU;egAm1?1c z;MXe~|EIh4u5x)4|JrB&k^j}qc?bThqk>cOk6-L~lm69F5&u=xU-R4Z@1NPe%2h1* zR5SP~?{IJMR7p&^yg%Yo{X;V{{aIPT?}GzwAJMT>R7cOXxm%ms*D9e!cG`f;N0XK4 zA7DG*J1`~S4Zd7WP0#YDdD{oihk^cpKQk@-ua&`pdj4k}E^i}t2xN@;>;3=W%k01Y z+3SD%yN7+%pBFCK`^R_b{^l2ThqC&;{T;^q0=zHk&&%!o-LddZAJ+>$Sl&p- zzYv}+x8pkm56GLS{*H2?Z!AAcZtIr-&y+V*{d4d^sNWCIklXlg_qzG%sP6_(llwwt zo>}mL^2YKn;i>3Ya z66$Bc{qmNo-wRKa+xk|h=;kNLBUB#`?~D59;PG;szeDgoa-aH_tK{b255FINAACN% zH~b*Hm)yoz?hZG&oCxm%UkvXI z{|O!^xBXF5e}J|8PI4RnP7lCe;(c(^-Zg~`H}E( z@MdzmK5T(Up#J)5ZhxQLu5YpMrgA&}Dexxno$$u!e^YfgzmeR=-v! z@CNWQVQzkXcs#tG+>U=C{9gDG_&xBdHQfBV@HBWGxvkGKcx}|5fY*ZGThq<2DYy9> z2CpHv^;riGgI|PKm)rQ8>Vy1teXAz7`F#Lh6}}mMx7@D(*VT59uL|m8;g#if{8Qm~ z$?f<*gWrk%H`Q_T?|^rOSAx%hSCrfQ?T1%DeYv`BetEf#zc1X2{?Eh9q5t>rvglv= z9yh-X>Qmsi%WeIZ!f!+UZ}3~?wtjW*b@OkL+x!iM-;DaV;ics^e;47UP~Wtkn_m+3 zRZU1kE-w401zT3Zq+>Wmmyg2e7g%^W=3@<9T`7P4G%`XD)2rn$R<9iZb2=#m5 z1?4vXWy0P30_cAq{08{5@ayF^f8W8cL;an4p_MB%3{QT!%})wEAL?I$=au`^?^k#p zxs9);UdUL!%C7igum5wa-sUe8^|>&<igf8|a0ejqjq|)_)ZI0_xv^ zpO@S5=hYKg>wga30{$oRC&16bx53Y#e-S+qxBSznZx26(`Wf&);9tN`!b@wTSpErl zgmyr8`0sL?|2gpAW{&HlIz!=Fl~ffI^G}U zc6{mZW5|C4eiZd5;YZ;06lD2_={l7;4R`7#zJN_x~19DBPXFGg9@{8+*n&p3m`Z)ML_>=Ixa+{ys@I7)H z|LxJCjb-_}(Z4tROZa^FF8Cq%7jiATr(#Pt|8u#GKMDRBd)^}bo(^vRH{g-*WpW$ec=+pbZEMdq_-k@KZS|Du=;psFxB2Y= ze?@NVHyyqd{ssJH_|2W%{3UWbzMk-xR*DtAh-GX5&k?pth1Z{oZOCo5d2xWp7wg)f-gY-lkoZQdR^T7XW+x(^W-)^>)>tWwB13p`B*Z)26r_jGtH#dKlyiVxXo{sP*C4t=h-k9(+>3y%5D8;!yka}hL44pzRw-s7Xu0kGneb7l{|r7-Zu`5${cipU z)OUgphfjwOllwHqJK;m+HvZy$-25Tv-wr-lZr7(N@N9X*P+QOE@POQ|??vN7cg&^x zXUT2<#=$e?wtt_34?_Juc!u1@U#_p4pDwra+Ye8Z+x#tp50p36@q71K=IyzEGKG3A}^c zo?jhg1431`o02hBe(r`1Rg85{Z(~ISMChAe|>lhcs+Tn#y1Im zuiVyu7yKT%PxU1Sx%qYFcKzuLuY>yO@Y?WC;kD4eM5dcx6ZP%jHQ-a>Veswn>T;W( zqFHW!HM#A-w(zQQyS`6_-;Mf@;Z@{On*SmJH@~vnt}mV7cgb!4%!JOq5f5PLAkBpZ}0-}IwRfu8{paS>*Y4S zmGJA}=ivF_O-H%;`Q)}g#=%4PzVd&2{ht^8-$#8O^e-^l&CiYcHt<}ip9c5HZT>%p zU%KFaexTGCH~*sCj=u-|0(>6)Jp60;Ik}Cm;#fETPq-g`7QP6627VNNT5kKN>H}{6 zDR?^k54p|Ha`;KqpMsx|+wq4#=;r^9`jPP8Q2!46SJdYo=k`C2`WEnCP(K0wGwMHr z|0ItL#d?Z7bt{#fX{<}FSp}61pf~8 zmBzdI-=aPl{tf(P_#yQF1^zYaYd_-VAB1Pa55QN!_ruS@zmnVhHksh&?}I-G-z&HC z<9+xZ`1KRr{=4P2KU%@RME+#>F8Fr%7w{V=x%r>VZGUuye}?)w@J~^H0KOCT^^C%kBK`2VaH!#qgD=KL&qGZsV&u-OXPCPlvw=Uk+am zKMj9FZtK@@hMT_(^`qdgqyAm^Yw$czxcy(1+y0G$zXG2CUyAetUN|X&=o#L z9xh)1AC3Nd;iKeseJuBEs8KHU8!5N-OMs6+{X+O~xgGye_%ONc&uY)P`9tMRG@bx_ z2>QPPA1t@y`vaaWZ>IhYo_F&Ds2>5(lDAU*26(32_U8>Rxcvtqzd1Yu`Qzc~sQ(b2 zhWbJa-TZ-aTc7suRC#+H-wgNwd1Lvv@cwd}U+;@_Qx@J zlH8~I%8T55Kl&%b6H)&XJVD-6{g1-?!YeO!^W)_<|NY>7P`?CzKkARd?~^yz_^Q3+ z=J%FI$ur=+P`?7+Q*P^X7T!Z{>l41j&F?O^`5OxFhW;zzUFANF{|vkf`qzKi&F>5! z0*^!fTkuZs)9{XRoB#St-TV%6TmO;p_Ndr4LE-24{uza2k3N^a{j5#AjBF+37p z{B<|KncUW=Gdx0Wbt=2MEz{|9q|3|O6XsHm78A?^@;Ebs9y{(kNO|sUU-ewZhkqronKk-vZ!AHFC(|} z=Pdko)HizD&A$!xW8t^TTZPIzo8Y&|?e$CHHE#c#<#v6HhL@Jx^)rf9@(#*RfEScEl)nitAh-Q_9DakmrRr;KaPzO1`{cvm*TGlARd&S}d;OnZ^^J6o zv#8G}xAnQ_ozNX~>Hc};P4x3%cpi-JO?YnfKMBu;`g`6D1zEmFZu>JEe(8MZ^8<}T zWuCX;7v*+-oQ7YJTmSHlZvJ`r82CB4?XS)7Kjje`-}Rf^{%7Sj{uuZfxli@u;iu(I z#!@rW-^=}7!pWLVVBHP^j zy>i=MZQ*<1)8M=1cK&=0|59$_zxg9Kf0x{@553`E$nE&%!aqm;UifEnJHE0XyZN8W zTWEgb;XCDR<%{4u(Ektkc6qew>wn_re2%kBAf@m+5I zYjWFPo#3y^ZGX*zzk>R`@TGEF|FU1Y`7g_D{S)C!A-BI@q`+s$ZT!!}r^CO4PlMlaz|DVLZpW7dpDMTWX9;`?>VJkmCb#3Sb@*RQYmVz2)nQN5iX8&N-A z?o)^B4u!t4{DrKU?4r!t;IO=070!DL)cERvsZA2Oop_&G6Ci zyx+R{qvXxhzd3v)d^~)F-1hGW@Zs`E^)K|Dn?Fq6O5P4WRBrP-8$LwtQ~j6l!E)PQ zrN4Lcv*BIf0p!nwXQBQxc&6OOSKP!6O=J!B-XLxtH z?T^{;ZgO9!t!FR1E9!6k+0E~Q{GRa6a@$|?;c@bo%Krx5Np9DdyMJ->JId|xH3i-Q z`3vFg<#v7_fwz;}`CI+Co8MO6UgIAGZ-e}I;jwa`>hu2U_HQk>@im9HlH2~B2#=B5 z^?e(>CGv0h&CQR7$G}^_C&HuPTj9;+w!Sy~?&e3Lz9qaF>L;6BtBI^pIw zmD~EahBuMh{+%W@CNc0@;&hSs4w@2n_o|E z`{#c6y{MlDzX!e_URQ39pJh(D`E^j=172Hh*S9(FTBzR#uL-~Hw3}Z;ZtK$%9wxWz z&jNULx$Tdy;ML@|zsj9)^Q)ph0e&~?UxZgd{V{lDx$Up&XWjg};HmICk^eIM4!K>Q zj>9XVzSf^^enq*>UpBk~>Q}+b!_ULLaNjvMzZ~)(f|o`87I+!d7d-Fwzg=$ot1bLC z)X#w53f~341%Ar~H~(h2T_1YEOUrG4JO?j@{)gZt<+i^oU3BwrLVYs)M!C(;%kUC% z8{e<+;&NXo)>Gq>n_mq1>F}cH{|3AW>VJb5mfP{y_2l|%0HOaqouRcf)hbZGLXf=65mtxZIBKF#H#I#}W8Gxy^s&!fyUvCk`Xu<9(7)I%ZvIl#$H8Al{Vezr z_&)eca=ZSOyVcEK43CE|LjULCFUoCx4#OA9?eXRA+uZyY1b-g+ufd;#pMXCr zx4%EvyWP!SAn&g0>lpZaxm{m&!=I7c{FW}`_MayYSO4ztx$;`_8Stl3zZpJ9Zm&Ns z!e_%9mUYMXl-yq54TaB=+x78H_>*#5zmxEpsIOhl&3^)(37;Xi=Lc`Vr_1g5Ps69l zZGYDFy7`aGZT*J8ry_qfd!XJbC%DefG%5D4)!Y9Kwz$d}a!?mrh_+qdBC#v4o zuR#TOd=uoh{zKr8Ab%x%Jo=x6KPWoM zd{x~1fpUBO5dlv{{Uh)Ja@*gV;Qi&czWMHU^Hb!uJ~8lQxjp}W6y8s6^ZNxn34T*m zH{TEM1W%OP`c8)@$Rl)x+X3&3{>7`g`SEf)f7`?R$ZdWfhu;tX6n>xF=KrSZZhmjM z&3`v|FS+fHr{O*2cKnCnJ>+(L6~f&7?s9wl=?m|M`uXs#a$BE+@Gf%OA7yH|`JK_f z7d%dGkNo$#jclJ~gzP2@Iz-QkVpHveABW$J{si@3(9SNABXF*aK#sU z{a--!HorSje*^MMM!Ms>9`)Ve*I|5f;rZn@zx(0&kYBF3o1Yin7oG?G7s7MPZT=3! zbD@9bC^z4O`T_7ue}+CkVEbb!{384~{DR!pr*;cB|GeDBKNx-vz7qZ?^3TA}BEMm@ zn}0@buTRFnPs{D~?|bl5$j{Z%?f(bzo5N3{eggai>bJpvm)qYLipIG4zsc?Iw_V}C z%5DCq!H*;VQ}{2aFV)J;{~7gN;Xlc3{7=JwlsD8B;9K}Hxt)JyTf6y3k>3Y?1obb# z56f-;{{a6%Zu_T7tegM6+^)~*@bBdI`tmjSx5)nm{*By@zg8PJ{}Af4;9tulG{0}b z56bQQJq`**G38{|IKkA$yB{#y7t zx$VzC;cMk~{kylTJH9o@&xXH^`W5iiayx%c!dJ;{|AlvR^H<7ke`LeolH2}Y4PPO* z^*aZDQ*QI?>+a?+mq%#+$HL!`+x)%@UnaM|k6wVkF1Ps)@8RaZCb#`H4E`$WSHfR` zpMo!i-_z60e_3wFAAm2B+vD>J_)G9J@WpalpN75M{6%s*{;}{E;p^cG<+i@(;V+=R zQExZ@dAY66aQJiZ)$nJLe+IrlZu3|FJ~w~9-1h$n_%o>A0G}tf^Dp=PZvVM*JHD3i zr{%VPAA!$7{bu-Vxy^r`K5qU~ayx$_;j`p6KV#re%58ib;WOoSeYgaF0{tW6-SN$k z+x$NSpAP>3K22`NU#PF!|8cqP?^yU$xvkG6_!N1Bu1{OxkD-5o1ULUtxt)J4;c9!u z7km9bS@kymkD-2&+}7_y_(ZwQZ{b9Dd=uau;E$mHO!#=Y&ChQ5!*ZMdTl{YRLvow{ zuJCbkTi++)55jlBACTMemr8Q;$I5MdJ>X+d{}g<*+~)r)_$btu>*wZ=l-v1}03U(= z3*p02e*``Z^>-(``9tM4KLg=I(0>_xuslLL_yjx~^>tI+{D9o%Z!kOyz8anhKMx;- z{HFcg{0zB`{{eWq+~#K^JPn?IfZKnd+>WmmJQewm!3W4~e|!S(4=ua+|+f2Dj_*bI{qUpk z`{32m-TdCjPlxxC+x#tq_mtcG{0{E{zc<6p?=H9F8xHS={B`iIa-08)@GfxQAUD4= z{6Tmed^5b0+{T|j)9v38^)c`csGkgPFSq&q1l|t)OJuqEZRHWV{>8!DpnfJiR&K}l zCA>BK)_|Me3f>zYgZu^Xmhf-j(Q=!gO4)9H3wSa-N^Zxu6y98J^LHE`DYyMsbFiD= z4E;0V5vX4Q_rXuYo1%Y%A#Q#X)Q^NWmfQTThc`n1+(X^|4beXe9xk`}dj#G9{Xc-$ zhZh{?=GTL_h2JZ;^_d302lb!9>&k8XrG~rtbx_|GUR!SSI|p7%ZsR)uuZeu`2sgh5 z>f_;Ia@*g}!>h~f_2CcjYI1viUu~qDUlsjR;CI89!mG$_evZQ{qrT24H~%iV{e5#V z{7$+3eQ7=X4)i|@uLN&2+Rd*hxABjGSCHHKZi1JG=Nsep_sZ?{MKrt|@*jbhMgMK^ zGN>;+*3G|NZlB-m0KZLc?{Ce4--`Ut;kU?bf0lZ{&A%Dm9bOv!=fX?L?e*;ecuBdv zzN+}3n|~AXmq7gycyV~uac+Jwx$U1ccu~3SkJsTv^g_VfIV~k=n76t&(eKZQ zOifSohkNVQ_OwYK=uZp8r+HJ-vikY6;s*x2gZ-IVfy|VIWPh69d%0D(w{ER^b?XJ+ zu^APtkL%t(DyD6VsE$!>BZF_EHHv7~#_Jy%@TVnad0S+s)oRrAZ$Cyfi>>Bu>dnf| z@Mn6PHL2!}{2Rs9u2rW&-MV$^*T1KJlPl}m{Jk!+i8npN+t^!qU=?rmCf>?Pe|;H| z6c(S6kvgn$AUP$g+Q2Fey_x<%c4nIQ^3M%N1>arINX_n-l9uQn>`zV4xO|XdalqicrM>5B`wLH z=}$`tPF+-Rj{K>qf#88f2j?j`U4QT1K0PHZIBC&cV%mp$|0VNt#kA)vM9xCwoDu)| GLi8V(j8-H7 literal 0 HcmV?d00001 diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav new file mode 100644 index 00000000..fdb3d7b0 --- /dev/null +++ b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.jav @@ -0,0 +1,5 @@ +class LambdaTest{ + +op = (m) -> (f) -> {f.apply(this,m); return this;}; + +} diff --git a/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java new file mode 100644 index 00000000..e7cfc2ca --- /dev/null +++ b/test/plugindevelopment/TypeInsertTests/LambdaTest2_3.java @@ -0,0 +1,23 @@ +package plugindevelopment.TypeInsertTests; + +import de.dhbwstuttgart.typeinference.Menge; + +import org.junit.Test; + +import de.dhbwstuttgart.logger.Logger; +import de.dhbwstuttgart.logger.LoggerConfiguration; +import de.dhbwstuttgart.logger.Section; + +public class LambdaTest2_3 { + + private static final String TEST_FILE = "LambdaTest2_3.jav"; + + @Test + public void run(){ + Menge mustContain = new Menge(); + //mustContain.add("S m"); + MultipleTypesInsertTester.test(this.TEST_FILE, mustContain, + new LoggerConfiguration().setOutput(Section.ASSUMPTIONS, System.out)); + } + +}