From be02a80607bf7be580b36b456e841e4cf381fa71 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:09:35 +0000 Subject: [PATCH 01/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20classes=20pattern=20and=20matcher?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../RegexMatches01/RegexMatches01.class | Bin 0 -> 1272 bytes .../RegexMatches01/RegexMatches01.java | 25 ++++++++++++++++++ regression/strings/RegexMatches01/test.desc | 8 ++++++ .../RegexMatches02/RegexMatches02.class | Bin 0 -> 1273 bytes .../RegexMatches02/RegexMatches02.java | 25 ++++++++++++++++++ regression/strings/RegexMatches02/test.desc | 8 ++++++ 6 files changed, 66 insertions(+) create mode 100644 regression/strings/RegexMatches01/RegexMatches01.class create mode 100644 regression/strings/RegexMatches01/RegexMatches01.java create mode 100644 regression/strings/RegexMatches01/test.desc create mode 100644 regression/strings/RegexMatches02/RegexMatches02.class create mode 100644 regression/strings/RegexMatches02/RegexMatches02.java create mode 100644 regression/strings/RegexMatches02/test.desc diff --git a/regression/strings/RegexMatches01/RegexMatches01.class b/regression/strings/RegexMatches01/RegexMatches01.class new file mode 100644 index 0000000000000000000000000000000000000000..4006de70b283584550ab36dbe0f60853d85c75b5 GIT binary patch literal 1272 zcmaJ=*-{fh6g{17l3^er5Ec;)iV&8`0)zlTc5nlv#1dJ27?L&&CK;TWSn?mf$Pe%= zRs~C|^xZdq2)#352}{`z-M9NL=iH@#pM3ubUe1oFJrVcO>BR%<>=Mz9hz~vJ zwWK}~{g8d|BkDy=L>vhL10rhCAz)CXC`kds3=N%%VQ}44wW2Yn8p?K_XBpTAgJ)bV zs^$cPGt%>l!8NO8IfH*uE%N13VVmnOEn`v?6t&3E6xm$dRX!-Oyi&}?R!v}q;w=qU{b)8glWu3n8locc?k=6 zBq4|fhPM9%p^8X&j3*2&7bToN>&v{ZYdS;S<+2EPD&ZL>83GqR&$oAZ#-uvgPbE{$ z$8@Whu@%KMxlV1WGOqOK2IETU2~x;tg+03`a^!~QR-Ue-P#c7T-9CyjSnWBxqv)&r zeTf${Jl%86{}h<~U2oMQ%^{5*O=30YeZ%AhQfMVgGgOJ7YOxg>Hh2F$L`WiO(Uok`u%iA=;bh)=np*)7^Uv_Qf(pGwmMx(FGq`&`Ppp z`UwuW>6{5VzQMT|bS?Gum*HNP%kX?g^auh;-ZFgFG3Gjgcz{r=D_B#8bby*4s9irs z-LJ#He=Hn_jnfN}WG~%(gjqv-fCvW(uMuG)*+tR>Sxys=TVxr4^8|hYZ31o!XpcI` p_s)4TLpE!mKIktaZ~(z|2$%CK#0$W)#H?U$IHV~n{kt}w@IN{HCpG{8 literal 0 HcmV?d00001 diff --git a/regression/strings/RegexMatches01/RegexMatches01.java b/regression/strings/RegexMatches01/RegexMatches01.java new file mode 100644 index 00000000000..79e05c1432d --- /dev/null +++ b/regression/strings/RegexMatches01/RegexMatches01.java @@ -0,0 +1,25 @@ +import java.util.regex.Matcher; +import java.util.regex.Pattern; + +public class RegexMatches01 +{ + public static void main(String[] args) + { + Pattern expression = + Pattern.compile("W.*\\d[0-35-9]-\\d\\d-\\d\\d"); + + String string1 = "XXXX's Birthday is 05-12-75\n" + + "YYYY's Birthday is 11-04-68\n" + + "ZZZZ's Birthday is 04-28-73\n" + + "WWWW's Birthday is 12-17-77"; + + Matcher matcher = expression.matcher(string1); + + while (matcher.find()) + { + System.out.println(matcher.group()); + String tmp=matcher.group(); + assert tmp.equals("WWWW's Birthday is 12-17-77"); + } + } +} diff --git a/regression/strings/RegexMatches01/test.desc b/regression/strings/RegexMatches01/test.desc new file mode 100644 index 00000000000..45cc542b352 --- /dev/null +++ b/regression/strings/RegexMatches01/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexMatches01.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/RegexMatches02/RegexMatches02.class b/regression/strings/RegexMatches02/RegexMatches02.class new file mode 100644 index 0000000000000000000000000000000000000000..d696c5eb047587506e9d98de3ecc4d09b9b53ef4 GIT binary patch literal 1273 zcmZ`&SyK~15dJ0yn=A_nfp92jP=s)74z6&?4PJnhSR#iHOESV@lEvMPCI7=0`2#$Q zRl(9KefP~jg!XJW!r?s3^h|eu{q-@wPrm;I(2oTfHE8wWo{alw^WlLw+hueh>PIKK zgw!pg2dWhm2~QO~!vsU{!sq$cE>GK3DCenQ z>)E&|su^F_Y@3_Zr!wPGlWs6B)t*91X(PAiG)0Zx(B0D0^(fQ_Dd+T$F#5_pXLdAm zg}*QGe43ATUh_W{WU9fN%lhG?L@!g=(-k47|+ zEKEPa1uvb`A=fv!7eb!J?w%sNOKK4npAkEPM3S!vzc@xbN01K?Zt{dGi% Date: Wed, 22 Feb 2017 14:13:08 +0000 Subject: [PATCH 02/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20methods=20replaceFirst,=20replaceAll=20and=20split?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../RegexSubstitution01.class | Bin 0 -> 2003 bytes .../RegexSubstitution01.java | 39 ++++++++++++++++++ .../strings/RegexSubstitution01/test.desc | 8 ++++ .../RegexSubstitution02.class | Bin 0 -> 1739 bytes .../RegexSubstitution02.java | 32 ++++++++++++++ .../strings/RegexSubstitution02/test.desc | 8 ++++ .../RegexSubstitution03.class | Bin 0 -> 1684 bytes .../RegexSubstitution03.java | 33 +++++++++++++++ .../strings/RegexSubstitution03/test.desc | 8 ++++ 9 files changed, 128 insertions(+) create mode 100644 regression/strings/RegexSubstitution01/RegexSubstitution01.class create mode 100644 regression/strings/RegexSubstitution01/RegexSubstitution01.java create mode 100644 regression/strings/RegexSubstitution01/test.desc create mode 100644 regression/strings/RegexSubstitution02/RegexSubstitution02.class create mode 100644 regression/strings/RegexSubstitution02/RegexSubstitution02.java create mode 100644 regression/strings/RegexSubstitution02/test.desc create mode 100644 regression/strings/RegexSubstitution03/RegexSubstitution03.class create mode 100644 regression/strings/RegexSubstitution03/RegexSubstitution03.java create mode 100644 regression/strings/RegexSubstitution03/test.desc diff --git a/regression/strings/RegexSubstitution01/RegexSubstitution01.class b/regression/strings/RegexSubstitution01/RegexSubstitution01.class new file mode 100644 index 0000000000000000000000000000000000000000..fe4106df4e88e5371dab6ade809873b87cf42302 GIT binary patch literal 2003 zcmZ`(NmCm~6#g1XOe2pC9u_OMu?Ml3MOa25i4BAxvt?m%5HVp1&PZy=;E_h289}(@ zl&YNa2ROP?rw5wBbFD z_c=b`xXp1VhzU%#pdV8lAIgtu1s??wl&Bewcnj`gmSaxAd=Lv*7@6?Pfg`wZ6=j%V6gcg}Q; zq$Sb}Y>T0J%FLSHG=pz&=stsg)=mqC)+IA5R`QvoaMmT56dA+JGIR}YFC7?%M$|I0 z`_Y8wnA!bF`S5(gGg1$ija(70;DLg#8TeGnD%%ex?7Wi_3#POdS`+)?+eAL;dZw3` zZrvKYDebBl!Z3q6XYTFYwemtA9;VN0@w{he49`sI>%#T)S;H0jqR0w|WH!0gv_mMi zOSCEsBvstNV7-;y-CY$aP|Ts4_wh6-OD|PLkCpvs+KE#Ph)40o!6vzKz1Z}l!z zW^i+s>FI{2r|e9|a3^#X7Bb|KzT*z7$ih~TQ}GCn3Rf!n&T>^HRZ@B{lR}3qGefYx z(CrNxM}emzkHb?bFS$sa-=JT~W;v;G%VM}ac($d_N`}sgXnMq>ykWTvo%J?K<(?d( z@v3Wr#IfrMN`lYMQ*fOnbEX}=M>FJ+yTZs!lE1~SIV~ohoCNJLOx5$0Vw|jxutNP7 z>uNdf1=Eok4iwG4;eFYv9O^)^!VEVWunyJJmfuw3rHQtpamO)^DK*@)OKNGS{?Tb) z>lX@xQuNHC(Qd7c(X2&Vj5<9nT+ip8`@$#gg6}E*QTCr`kgIQZhZUMUaz~ok; z{}KA?rjyYb7=8}+iv%J<|IJ0A4=otQO}Z15y#R-w&al?Br1_RdG`|)opn2&jloND} zXuN=y6P)`E!OiD5_eVriwezH3eu@iPtN$h1Hhqyq0T(wSnnutKDQ_>yN3;&Dldwg# zly^12`=+~_A47|1m$Xm;?<{}sV^98jRbr25mrt`xBUcKz8qvB7xVA!{qc3p10KJIs z8ui7ro;P1m7+s_Om=>|GQPtV{6OcARG^=59X~_IGb-jwgz*=8@d|y6qo4JVwJ0%M z1^)*F3U1NwHP+bQXzzNBF$H6xP>8r=)q;-~D+^rI`U@C1f#QDxzwa58n$wlyOTz&) NsWY-g-Yv#7{y%!!^?LvS literal 0 HcmV?d00001 diff --git a/regression/strings/RegexSubstitution01/RegexSubstitution01.java b/regression/strings/RegexSubstitution01/RegexSubstitution01.java new file mode 100644 index 00000000000..06b9e7aaa10 --- /dev/null +++ b/regression/strings/RegexSubstitution01/RegexSubstitution01.java @@ -0,0 +1,39 @@ +import java.util.Arrays; + +public class RegexSubstitution01 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + assert firstString.equals("DiffBlue ^^^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + assert secondString.equals("automatedautomatedautomatedAutomated Test Case Generation"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + assert results[0].equals("automatedautomatedautomatedAutomated"); + assert results[1].equals("Test"); + assert results[2].equals("Case"); + assert results[3].equals("Generation"); + } +} diff --git a/regression/strings/RegexSubstitution01/test.desc b/regression/strings/RegexSubstitution01/test.desc new file mode 100644 index 00000000000..bc7ed3648f3 --- /dev/null +++ b/regression/strings/RegexSubstitution01/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/RegexSubstitution02/RegexSubstitution02.class b/regression/strings/RegexSubstitution02/RegexSubstitution02.class new file mode 100644 index 0000000000000000000000000000000000000000..834c403b3b2d7d0856df177aaeb7f199af9ec69e GIT binary patch literal 1739 zcmZux&sQ5&6#gEQFpptc=pdL{pwkpAgwRk#t$;|%k5=VJZBT?_?Id}LLnoOyGoi9^ zrEB*ryQwa%=cJzYsC)kz_a0C6zDYtra?YH2Z|?o>z2E)jzW3*=7rz6TK}kb5rZ{eJ zOmn=&F{9yayu$IULhhgps}74sV2#{$O((!0o!=D5YN#Iek=!m%pNw>j=e*oPb+ z$?uOftYKYRHo9P9ljE+6Pc#f;O2s`58Ei51jaa@fyufzL{<7^`Sx4j<*e*loyj`|~ z1qNko{4<8glA9L{J!^JZY*b5G;cZDUIZBpYW*8W|zqW53SSiOU7gL$Qv&+Rf8F(%e zSh+{*Rwcx%_*4a1`Fzf4HtU1Gi)acFx=qeqb(HzA$f#vhc{}60MFsLa_%_R>w9zXXrYPXzfK_ z#g2|$+-FF}j{$MhZ}Jd%v*3DW(N+j;|n}!aiiFF+;n`2 zhYVL&4up4TK6bsl>4}PC*%y~h(IwX~7co1R^?%a&u-Wj3c9WIFcJ z)Ra}1MC5f?vg23-#}HgY=RxXLhk zoUYBLA(b4NSWAd>bD~x}&-G}=+Wb=$`#K)MIi+BoC)x@tK-l|PxM8AJzBZ}h!tdp@y@hIRi3uPYaxw`lmE8Lpj7*Yuy{)vz@Mp~L2+ z(w=7>5*Hr0b+^oOGN{R`ov>=i%%M})(;9{)hb|bJ*}U*=PvnnhgKmYON)EbRc5#L7 zr*66rS#L~E9qkk_dEn{&CVdUj%4m%yo`d}?fw)HR&d{i!3u73kJwe$BI3ncx$>>-! zl=TTCVnl1`TuU0N!D+Mp3|)p6`3>DWN-|S}zMVAA)o^}W+I#Bu38UAzK-kbN?M55C zvM|*71V+;6GhVBqfBid!J^lADi5{ro^`sH2;o=5;PX3BFYPj?agGU&cRHls~s&<6# zml)o8j>~_@b~?g#Hqb|Vm3rsYnuZ?eh~Yf7){7|^SS0^4t#{Cm9SqNdH8QH6h literal 0 HcmV?d00001 diff --git a/regression/strings/RegexSubstitution02/RegexSubstitution02.java b/regression/strings/RegexSubstitution02/RegexSubstitution02.java new file mode 100644 index 00000000000..476c0921553 --- /dev/null +++ b/regression/strings/RegexSubstitution02/RegexSubstitution02.java @@ -0,0 +1,32 @@ +import java.util.Arrays; + +public class RegexSubstitution02 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + assert results[0].equals("automatedautomatedautomatedaAutomated"); + } +} diff --git a/regression/strings/RegexSubstitution02/test.desc b/regression/strings/RegexSubstitution02/test.desc new file mode 100644 index 00000000000..eb2c03599a1 --- /dev/null +++ b/regression/strings/RegexSubstitution02/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/RegexSubstitution03/RegexSubstitution03.class b/regression/strings/RegexSubstitution03/RegexSubstitution03.class new file mode 100644 index 0000000000000000000000000000000000000000..fa382774918546a8738294bd1b81a64513954537 GIT binary patch literal 1684 zcmZ`(Npl-T6#m*Hds>r8tc>kMB-oxfnw`$~&USz}6UgChUqG zOfo2=v4;$yX}2gCdNX!KEL6*R;VnxrDaw{zVK_Isp4qmZSV_mKY$bDnXIHjT^5W@S zU=iT6)W0A`8$psm{wpG+;Z9S$4wod!Xm5Y zh9B3FM?nSM5h&@{l8U|)N~hv89X7U)kZw3&(3%9&j>B+o^my+am&A^Xs7=M^Rm<@i z20CptQk#lVA9o}?x910k0bOXAv)$waYSw@P6IMAzRO%HvDkeWW5>#TC==9TI zlj>~!mh1nqt~Ytl*`7~9bl1)PC;FyUIX&I=N-$hM!E3D3ZSzixFHMh=OnaWSN2%d~ z+fYk8otKWr+BvxlYCSTC#;CX5veOPd7t~cn;oF`l9?lBQcu*w;y%lS?M2}a5UN;tr z%88?$0wyPz{@3UW(}A2p@t3+QhtQm4y%=8X|5Yx N`jo81je68K{{_$BnAQLQ literal 0 HcmV?d00001 diff --git a/regression/strings/RegexSubstitution03/RegexSubstitution03.java b/regression/strings/RegexSubstitution03/RegexSubstitution03.java new file mode 100644 index 00000000000..9ea91639e2c --- /dev/null +++ b/regression/strings/RegexSubstitution03/RegexSubstitution03.java @@ -0,0 +1,33 @@ +import java.util.Arrays; + +public class RegexSubstitution03 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + assert firstString.equals("DiffBlue ^^^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + } +} diff --git a/regression/strings/RegexSubstitution03/test.desc b/regression/strings/RegexSubstitution03/test.desc new file mode 100644 index 00000000000..20da1478b1a --- /dev/null +++ b/regression/strings/RegexSubstitution03/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring From 2d726bee4e7e0c23515c7670ceb8bf87fd075b48 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:14:59 +0000 Subject: [PATCH 03/18] =?UTF-8?q?=C2=A0added=20character=20static=20method?= =?UTF-8?q?s=20for=20testing=20characters=20and=20converting=20case?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StaticCharMethods01.class | Bin 0 -> 1067 bytes .../StaticCharMethods01.java | 16 +++++++++ .../strings/StaticCharMethods01/test.desc | 8 +++++ .../StaticCharMethods02.class | Bin 0 -> 644 bytes .../StaticCharMethods02.java | 8 +++++ .../strings/StaticCharMethods02/test.desc | 8 +++++ .../StaticCharMethods03.class | Bin 0 -> 614 bytes .../StaticCharMethods03.java | 8 +++++ .../strings/StaticCharMethods03/test.desc | 8 +++++ .../StaticCharMethods04.class | Bin 0 -> 614 bytes .../StaticCharMethods04.java | 8 +++++ .../strings/StaticCharMethods04/test.desc | 8 +++++ .../StaticCharMethods05.class | Bin 0 -> 1522 bytes .../StaticCharMethods05.java | 33 ++++++++++++++++++ .../strings/StaticCharMethods05/test.desc | 8 +++++ .../StaticCharMethods06.class | Bin 0 -> 917 bytes .../StaticCharMethods06.java | 19 ++++++++++ .../strings/StaticCharMethods06/test.desc | 8 +++++ 18 files changed, 140 insertions(+) create mode 100644 regression/strings/StaticCharMethods01/StaticCharMethods01.class create mode 100644 regression/strings/StaticCharMethods01/StaticCharMethods01.java create mode 100644 regression/strings/StaticCharMethods01/test.desc create mode 100644 regression/strings/StaticCharMethods02/StaticCharMethods02.class create mode 100644 regression/strings/StaticCharMethods02/StaticCharMethods02.java create mode 100644 regression/strings/StaticCharMethods02/test.desc create mode 100644 regression/strings/StaticCharMethods03/StaticCharMethods03.class create mode 100644 regression/strings/StaticCharMethods03/StaticCharMethods03.java create mode 100644 regression/strings/StaticCharMethods03/test.desc create mode 100644 regression/strings/StaticCharMethods04/StaticCharMethods04.class create mode 100644 regression/strings/StaticCharMethods04/StaticCharMethods04.java create mode 100644 regression/strings/StaticCharMethods04/test.desc create mode 100644 regression/strings/StaticCharMethods05/StaticCharMethods05.class create mode 100644 regression/strings/StaticCharMethods05/StaticCharMethods05.java create mode 100644 regression/strings/StaticCharMethods05/test.desc create mode 100644 regression/strings/StaticCharMethods06/StaticCharMethods06.class create mode 100644 regression/strings/StaticCharMethods06/StaticCharMethods06.java create mode 100644 regression/strings/StaticCharMethods06/test.desc diff --git a/regression/strings/StaticCharMethods01/StaticCharMethods01.class b/regression/strings/StaticCharMethods01/StaticCharMethods01.class new file mode 100644 index 0000000000000000000000000000000000000000..9236c2521e11657d1630d0ed02aee55588a90dac GIT binary patch literal 1067 zcmZuwO-~b16g{sUI_-3zP}*8SP!zSG@+E$@B3d-jfS6Q`;%eGH;9;2|ZwB4_CyZ=d zx^bf>Vl>f}F8oc#c<+SLrs+)P%)95^&+}&f{QLF;z&sW$3}7^Y6pmXsfiV*&Ef^SO z;}pX+Q%2mOF zK(sLNM8GI}bt#ZqR<3-oyIqy~5j)eywxe8uT;cihmh;k?ZaD77bS2Qr-6(QkZzXVQ zFIJqL1OIrb);P#)RlHqYlXn&8$&+88YUNEwugGB2tNSyvQ=HL823Z?v44Rm+F^f5J zZk4*#?Ej9|p0;rjb2dpuaEakE!xe_B4A&U0qiCaqB8}grsEHdk7I0Ibzg1VsTKV!T&UmmQxZBkS?b&Y=}}Z5FptCYQi#3rMwf-=Kr1W2;MFX<0v1 zkp$PmM}-w2)zZpdnWfGKC&Z@5XM51WI-NBX-%$T z2obu0-_g=1MD{Q^{1s8-9g^Q+JljXl&yYg3EC>1%72XN`ojP9aI_9R4SMkbefULk4v}{s5`U2w wnM^iASDqq<4<(%swF3sysW0f?gK4~n5&euvt7KDNPDO?7MLvXMVMinX0ZQ)T{r~^~ literal 0 HcmV?d00001 diff --git a/regression/strings/StaticCharMethods01/StaticCharMethods01.java b/regression/strings/StaticCharMethods01/StaticCharMethods01.java new file mode 100644 index 00000000000..d8e2f9d261b --- /dev/null +++ b/regression/strings/StaticCharMethods01/StaticCharMethods01.java @@ -0,0 +1,16 @@ +public class StaticCharMethods01 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.isDefined(c)==true; + assert Character.isDigit(c)==false; + assert Character.isJavaIdentifierStart(c)==false; + assert Character.isJavaIdentifierPart(c)==true; + assert Character.isLetter(c)==false; + assert Character.isLetterOrDigit(c)==false; + assert Character.isLowerCase(c)==false; + assert Character.isUpperCase(c)==false; + assert Character.toUpperCase(c)==Character.toLowerCase(c); + } +} diff --git a/regression/strings/StaticCharMethods01/test.desc b/regression/strings/StaticCharMethods01/test.desc new file mode 100644 index 00000000000..4b633e92bcf --- /dev/null +++ b/regression/strings/StaticCharMethods01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods02/StaticCharMethods02.class b/regression/strings/StaticCharMethods02/StaticCharMethods02.class new file mode 100644 index 0000000000000000000000000000000000000000..78ad3dbdc778f1bd3920af2b50b3ca56d49e9763 GIT binary patch literal 644 zcmZvZ&rcIU6vw~QZ98SV(DK7tDWG80;z11IW@9jmghPQt!NhW!?oP^J*==U0_`h)S z=2=OAXrg!jCSrWEq0|G}?99A3?|t6)z4`O^$1eaIc;R9Kl?iY>bWz14yUcUcT;x#U zSa7k3C631ovvrXqQX3UV$(Bk)w=Y8m)?vsuRiw;Y2B)$5fg$V1p=2nvR3!I?r(LNJ zY%pD%3KcO_8b_@YaVFOKBI>QRjaE_bjZK_v8xefk6@%OOLNn;!lHGPZ)PdYqmQ$rT zqXPd}=v`@!<1l%>{>lY!!lMpJjDuSjO)D{HSu2SSW{c~z&Pq2p5Zw| zd7QZ4J&}Q-gt5yi5P^||DVq3jFp%08iS4xEullL86@MN%OaCSIX_hpJP$o*t@J^G} zGNcO{WQXK)dK-Y1tF|RNIbgO!TBpcbq@B^8dwB)+%?6@GYd&={N-blW&Ng%h8Tx<) zr}-V3b5v^AaOlr|LGdSYAFq)AZ3&r_Fhzw3OI98=5-~#-QEyOVC}8$Zz(!gLn4aO6 cD4c_5zar~gATvgd#8?CYy-h25F0J(7A5^q|OaK4? literal 0 HcmV?d00001 diff --git a/regression/strings/StaticCharMethods02/StaticCharMethods02.java b/regression/strings/StaticCharMethods02/StaticCharMethods02.java new file mode 100644 index 00000000000..658186e9603 --- /dev/null +++ b/regression/strings/StaticCharMethods02/StaticCharMethods02.java @@ -0,0 +1,8 @@ +public class StaticCharMethods02 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.toUpperCase(c)!=Character.toLowerCase(c); + } +} diff --git a/regression/strings/StaticCharMethods02/test.desc b/regression/strings/StaticCharMethods02/test.desc new file mode 100644 index 00000000000..496814588a7 --- /dev/null +++ b/regression/strings/StaticCharMethods02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods03/StaticCharMethods03.class b/regression/strings/StaticCharMethods03/StaticCharMethods03.class new file mode 100644 index 0000000000000000000000000000000000000000..264331b2fbec8488bb351cb190da21a20bc14000 GIT binary patch literal 614 zcmZuuT`vPc6g|^jyX{(9t&jTtd?*hp;Y}l?<;llGMS`d4?$D{)mD#QT!XNOA1R>$w zZxV5*K|RPMGxyG%d(OFc-ansT0jyxoK@tNgSQvCLguIPm2POt=j5rv@n2m9U+#HW0 zp<)>ZQAI|)))YPiJ7Ta(GLZ2agHf12U@*&}FBsC>G7!71^O{im8cYx8Tm}q-h2!l8 zzvRUx4^E5KSjpgYRTuVDWA2^p@QZJJvg9?tnVo9bQl8k7nkP@VSbF6;S34rEhkmrQ zyr>ynbi;L#f@5RC#U!Q(+>zS&@xQ55sHmfVcx+6&n87SVrc=0AYX~oRg{CULqaQ{Eqlh=H9lI4v1Vz0F`XHjWwWb`lAOQb)$(V0hIR>d1iU;fl+c zVWDx>x#ZvY=77iNn?0>$e7@ONJ^GpQX_W2&ZM(zTm1W z^hFY-pPC=lsO3CVwN(Jd_q7yVQ%c+%xr+!Ip+@UHC+1#Z0i=eiPWePBSC`xj;Xhj HIlXxS5x96E literal 0 HcmV?d00001 diff --git a/regression/strings/StaticCharMethods04/StaticCharMethods04.java b/regression/strings/StaticCharMethods04/StaticCharMethods04.java new file mode 100644 index 00000000000..70fa2be2f36 --- /dev/null +++ b/regression/strings/StaticCharMethods04/StaticCharMethods04.java @@ -0,0 +1,8 @@ +public class StaticCharMethods04 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.isLetter(c)==true; + } +} diff --git a/regression/strings/StaticCharMethods04/test.desc b/regression/strings/StaticCharMethods04/test.desc new file mode 100644 index 00000000000..93eebbae1da --- /dev/null +++ b/regression/strings/StaticCharMethods04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods05/StaticCharMethods05.class b/regression/strings/StaticCharMethods05/StaticCharMethods05.class new file mode 100644 index 0000000000000000000000000000000000000000..c58f3d328afb757005812bcbc2145c7350cb5c38 GIT binary patch literal 1522 zcmZuxOLH4V5dKD5?a1r3Ez6c45D^9PketK{kO=ULIBSO}v111XCw5+}rHQkNyz5%6 z4EzHQ965z5C{7&U5~oUbB^9{ym#9k7y^<|C<-_*OPIrIZ{dLd$`}Wn}04~Bd(1X(w zXS$F@&OiiXEY5ae80RF;8<057y74&j1}@;^I6jg1)F9tWEDC)1Ssb6U+ZP5VFd4@b zYo-m%;7f_i24-=DstAZR0e#AGonS^Fn$4{UXqHz|0(}dP zt8Uge*Oh;pjY+X-JFdV`_TIu%d)v-eZFeJI3Vg@im}JMEQec;#E!tb5JryMopDI^d z;6}--`(<_2VW<%@4V<#|#P%0e@WiXsE?gRCP!sRtm_UCRpdL8Ye5q`^uJR=;6LXkn zgR3UK!Zj14c#ojkxyFd=cn!~zxtj$59)O@uTR znZV1GDIL2^))SdiHA5iLhF)5Ks>*@HO%qF4HgOAIn<(M7Kyn|y?QP;4tVrB3aTlu{ zfetJ z<|NURJyOB_lCJtbD7rz|_##QKPWv{{GIh2MG!T+O_#MZDvBgGJPM{U&-Kl8$g{R!^ zkY5^%$DTjO4H1ZCi^ZHpP}_F3u9hBi&Q`8t#17o396gLjHd9B0>zvDG!zNoehtnn; zjcXSe%ytH9&GKQA!}+Gb+`L(G(XwH-v9N!fy;aN+dCiFp%OpzGhVuEQ6g%Nt=M=rK zJy=$it|ggPRL${KJFm2&=$@%5SwP9Z_VsLe~!WQFNml0-_iXV za&;H+f6{-F&yVy)=;KhMt^I=?bR~@jy4k;=@t>)^LCxRQ1izuMkIr8GO^jr;fq{a~Cxa~=0 && choice<3; + + switch (choice) + { + case 1: // convert digit to character + System.out.println("Enter a digit:"); + int digit = scanner.nextInt(); + System.out.printf("Convert digit to character: %s\n", + Character.forDigit(digit, radix)); + char tmp=Character.forDigit(digit, radix); + assert tmp=='t'; + break; + + case 2: // convert character to digit + System.out.println("Enter a character:"); + char character = scanner.next().charAt(0); + System.out.printf("Convert character to digit: %s\n", + Character.digit(character, radix)); + break; + } + } +} diff --git a/regression/strings/StaticCharMethods05/test.desc b/regression/strings/StaticCharMethods05/test.desc new file mode 100644 index 00000000000..e009650a853 --- /dev/null +++ b/regression/strings/StaticCharMethods05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods06/StaticCharMethods06.class b/regression/strings/StaticCharMethods06/StaticCharMethods06.class new file mode 100644 index 0000000000000000000000000000000000000000..10f416854e6eeca224d6bab498a22308a30ec85c GIT binary patch literal 917 zcmZuwT~8B16g|_g-EOz^1ByiiilVfD6cDPW#7L?>wPI3ZB0f#GBP?!rad%7fr^p}R zSxk!2MBn{S8t-g@wh75*_U_zs&pmVQ?4N%>egW9TV+~16Yq*6Oxy;5fhk}ZE4YzSe z#X=kj+*NQ-Lmblz7Bv)6Qn17@zQ8?CxW4Jw-ZRtVElac+*d9Y{+q6yp2}8J8dczQ@ zIc>p^s++cW+3mE1`&xo2(cz}eFj;(8Kjg=}Y;k+P-1J@3-ml8SWYg!yhXy|i@Cue0 z)NRAMAlI5s*EPfoQ&Qy#>YGOGfV&OhA2@Aqt+Fafb)=D@QXMO}uVWQu1#3FivB5B5 ztQWZ5E*KjH?uvr=*yWa{;DJuQY!T;Z+IIX4h>kI&C_fOrbLqr$*L7U-<{CK)DmotG z5kq=VxZ64uhED~9EqMlR_=0GZV{UcD?tAK0td)jLy24b+?LfE3kSh)$`oz@|jbo@? z^RwrR4h_cXQqx=?Z#v~y1&4GjNZ|ubFi-xh;dqD!6u^%Ie{F- z68Z@tDh4X)o$mY%}; Rcu5pRNPjAiI2H82`5(=T#Owe7 literal 0 HcmV?d00001 diff --git a/regression/strings/StaticCharMethods06/StaticCharMethods06.java b/regression/strings/StaticCharMethods06/StaticCharMethods06.java new file mode 100644 index 00000000000..ca8ff1604ac --- /dev/null +++ b/regression/strings/StaticCharMethods06/StaticCharMethods06.java @@ -0,0 +1,19 @@ +public class StaticCharMethods06 +{ + public static void main(String[] args) + { + Character c1 = 'A'; + Character c2 = 'A'; + + if (c1.equals(c2)) + { + System.out.println("c1 and c2 are equal\n"); + assert true; + } + else + { + System.out.println("c1 and c2 are not equal\n"); + assert false; + } + } +} diff --git a/regression/strings/StaticCharMethods06/test.desc b/regression/strings/StaticCharMethods06/test.desc new file mode 100644 index 00000000000..6f351b2c7cf --- /dev/null +++ b/regression/strings/StaticCharMethods06/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods06.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring From 756e15ef453cffecad1444d9639d8541b263cc4d Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:16:01 +0000 Subject: [PATCH 04/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20sringBuilder=20append=20methods?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringBuilderAppend01.class | Bin 0 -> 1860 bytes .../StringBuilderAppend01.java | 43 ++++++++++++++++++ .../strings/StringBuilderAppend01/test.desc | 8 ++++ .../StringBuilderAppend02.class | Bin 0 -> 1861 bytes .../StringBuilderAppend02.java | 43 ++++++++++++++++++ .../strings/StringBuilderAppend02/test.desc | 8 ++++ 6 files changed, 102 insertions(+) create mode 100644 regression/strings/StringBuilderAppend01/StringBuilderAppend01.class create mode 100644 regression/strings/StringBuilderAppend01/StringBuilderAppend01.java create mode 100644 regression/strings/StringBuilderAppend01/test.desc create mode 100644 regression/strings/StringBuilderAppend02/StringBuilderAppend02.class create mode 100644 regression/strings/StringBuilderAppend02/StringBuilderAppend02.java create mode 100644 regression/strings/StringBuilderAppend02/test.desc diff --git a/regression/strings/StringBuilderAppend01/StringBuilderAppend01.class b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.class new file mode 100644 index 0000000000000000000000000000000000000000..b6202d6fc9ac4595ee3ca4131f90ffa63a33fd5a GIT binary patch literal 1860 zcmah}&vV;E7=3HYT3MD8;lxgyCQX1EoVNK@r%9WHlGJG+B}ogh+uEUkY|BN(l~dWy zfg=Yl%)o_HF1>Vyfdey8MqwzF87?pk!weTLTsZW`{{Va|$4N*t#HGHE)qA`9 z^WWb*0x*fPil>oMFsa~dfZq5rp~sNshX8qg{Q>dREm}3BP%%pkEYBd%S+-Tbz~D~~Ut^Hc)so53xnkMoTH{W^bTT5D0(T6{W{4#> zR&E{bP>qhaNRb$i3=eR=Sa$Mzjl|Gh1nJZRy2U6Fo4X0=> zS)y!Tv&6-QRVkUy!se!Fm&PYX#Sj`!AVED#R=HfLG{hY0X06W9b9e%~y%|CkqgEd( zG|FYu5#3+Yu#OCaFJTLo6>v?!bpba7ZMbfA12#fxc*epr1Y@}&` z7_-Aq^x5@b_E3Ing|x{ZNN%Lt)f=Sv@^ZV3{$##=xNZIZ9-AM-Mrf{?V{OMVWnPeS=gO?vOIYpQyHUDJLGQ5Jlgi1`^zRxOOi5UC9`HZW@&E$ z(uS@#C_o28o=&tux&fy5iXB1B4<Ii3z3ND31#mkqeCi*Vd9j^ zeuaciYNd#8CE{PzwQmDCzrK~tNxGTM1#~BylXWYb<9a!pQv}mxy-3J)gHX}yghB7U zs#l4JbUV8yO-XuwDxmWzxf{|nkI3hO-QefdhY02(>JCCPnxH$-X2S9CDHq{Lhl|eB zbbDmPh2A87*~L>HjY=*eO%`y`)npXy_E?O&hLKDCP5%`p^?KK(fkoajZhYRnjd36*myVO^CB1j529= z7dqZW1n;2>@1q+ZAc~I=!^h~sHhOUnaok5AKE*M7j($8Kd%nhTd`Bk!fFb-yR{laZ z{zhZ|PA2|AHvUQ8JSLa^!Z7pWBwe5g`-dLF9H%%=bBu6|GR7pIpJUAXk5HC^@x5g* m>G=(kZ_vfiHn{W&B>w~S?SE)%Nr(Xg@M-g6;Y@fsocR|#Be9hL literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java new file mode 100644 index 00000000000..26e164c02c9 --- /dev/null +++ b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java @@ -0,0 +1,43 @@ +public class StringBuilderAppend01 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'Z'; + int integerValue = 7; + long longValue = 10000000000L; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder lastBuffer = new StringBuilder("last buffer"); + StringBuilder buffer = new StringBuilder(); + + buffer.append(objectRef) + .append("%n") + .append(string) + .append("%n") + .append(charArray) + .append("%n") + .append(charArray, 0, 3) + .append("%n") + .append(booleanValue) + .append("%n") + .append(characterValue) + .append("%n") + .append(integerValue) + .append("%n") + .append(longValue) + .append("%n") + .append(floatValue) + .append("%n") + .append(doubleValue) + .append("%n") + .append(lastBuffer); + + String tmp=buffer.toString(); + assert tmp.equals("diffblue%ntest%nverification%nver%ntrue%nZ%n7%n10000000000%n2.5%n33.333%nlast buffer"); + } +} diff --git a/regression/strings/StringBuilderAppend01/test.desc b/regression/strings/StringBuilderAppend01/test.desc new file mode 100644 index 00000000000..f1f89b629be --- /dev/null +++ b/regression/strings/StringBuilderAppend01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderAppend01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderAppend02/StringBuilderAppend02.class b/regression/strings/StringBuilderAppend02/StringBuilderAppend02.class new file mode 100644 index 0000000000000000000000000000000000000000..bf07da6a61302cc8589caf7a84d69ba8c0046853 GIT binary patch literal 1861 zcmah}&vV;E7=3HYT3MD8;W$5>CQX0}oVNMVI8E9ll%!4rDM?yL+|~{SWLqvOuAItt z4jegfVFoUoa_OZr3>=t&G73YX%y5BW7-qO|;liOe{s-V&IZi^FF_!iAN#D2MuHM_- zpa1^m5r7GlR6LE8f(Zp@L-Z!F9(fFDZV-^?=03akXzQo1I3^WLsR-kofRupq3Z_Ln zBVbm*3j!_(cu~NdfO!EI1*8Qm2)Go+02URzq~c{Paa>l>j}*r%DweUrvC7bK!mL&; zw`NzI>VjQ0^JS~Zz;X=otnJvf3k<>J&@~1rT`5`&?aQ`ft=8}4Eq7fcQ{awiI}BaP zjpf_smN{BBom-=8HP?1-&4`ZCwVGLYXT{v~^Es~2xExnGUZsy^P-Y9|-GS7#O5H73 zi?%4++bD6dZkLOeJHNSUImNN@5ix{@6ELV}(Jqzp<+_+d&8pTIx(`oaw>LwiY*uT7 z`Fg2jxuW}P8rHDR5HK9UG6Jp%xGvy^fUJO=fDHk!3%DuZ4GnMNEe+4$S%yq=5{4t@ zU^rWrYnSYTDHQdeDB#vD!!dG(Gi5ku#`b=OGd^RUm;nj_~L|iH(w^%SM_8NFME|Z2E363?EEr zj4?CxM4w#~W)9^ymq?5J{^UlwRlNaLGWV=Fz@y-(NOqT9TC6RkW(MYZdnv zAnoW{odR?+2B*GCHM_7$Q!o z>{m!=r&fvumSe#cUHdka4eDE&tfX6+Y)E%ASy{I;S+18dSw%2i)(eDOHwhKJMi}+-F_fL#NNW!ydYP)}wmp_E|#n&~rTz^^llu z`x3p|=uEW5j(OXW~q8z6 Date: Wed, 22 Feb 2017 14:17:03 +0000 Subject: [PATCH 05/18] =?UTF-8?q?=C2=A0added=20stringBuilder=20methods=20l?= =?UTF-8?q?ength,=20setLength,=20capacity=20and=20ensureCapacity?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringBuilderCapLen01.class | Bin 0 -> 1092 bytes .../StringBuilderCapLen01.java | 18 ++++++++++++++++++ .../strings/StringBuilderCapLen01/test.desc | 8 ++++++++ .../StringBuilderCapLen02.class | Bin 0 -> 871 bytes .../StringBuilderCapLen02.java | 8 ++++++++ .../strings/StringBuilderCapLen02/test.desc | 8 ++++++++ .../StringBuilderCapLen03.class | Bin 0 -> 725 bytes .../StringBuilderCapLen03.java | 8 ++++++++ .../strings/StringBuilderCapLen03/test.desc | 8 ++++++++ .../StringBuilderCapLen04.class | Bin 0 -> 727 bytes .../StringBuilderCapLen04.java | 8 ++++++++ .../strings/StringBuilderCapLen04/test.desc | 8 ++++++++ 12 files changed, 74 insertions(+) create mode 100644 regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class create mode 100644 regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.java create mode 100644 regression/strings/StringBuilderCapLen01/test.desc create mode 100644 regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.class create mode 100644 regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java create mode 100644 regression/strings/StringBuilderCapLen02/test.desc create mode 100644 regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class create mode 100644 regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java create mode 100644 regression/strings/StringBuilderCapLen03/test.desc create mode 100644 regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class create mode 100644 regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.java create mode 100644 regression/strings/StringBuilderCapLen04/test.desc diff --git a/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class b/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class new file mode 100644 index 0000000000000000000000000000000000000000..caf6da81f4b50a3500f4fec45cf9f42fdcba13d6 GIT binary patch literal 1092 zcmZuwTTc^F5dKbYyKEPFftHIPi&kwxxoEu>5d}?%RTD8r@aeQY)Wv06_d?=dF!2xY z;v>GQNl7HpcmI$t#yDr8v>-2YX6N$F%r~>Y{(k=fpom2cDU2&HR7_|H;am?AI4`xF zh6}i;;F1Ovyp4-Jw0iriq2D?Hjnkd)}Ozhu$r(Bf;tH62kq;)(X{`Q)IxS;qvOW{R$sC5I%< zq=iA_AVV@sUt{z#dZUwjU|(b)21&*OBbCMwhDn#9zbQ3D@8^Al*3#iUM9ND<`mjwTeMAzwMAZmI_9FHNIR$63*|E`K qN*F!js~8Xiq|%8Nk~>f$yNHCpA=;_d=1w9-5z-eW!(%}+Xa50k= zxt4Ur>!{xm{#zxci$0ew!%Fp}b;dvPy2IUGy&d|}?d_|;Y&+!k`&ayYtfvYY^aIY+D*F)USU|7!k%O_eF}A>vMOg*r*K zU!xDt%?oHcG!^uxT@grMbZ1YYuM8u)ppiJnI!#!XhL7dTs)OXkL77pYwMe@)vW#qU zYXtUL39(3PYJA9O5|^+{zLK^nG)8vw0F literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java new file mode 100644 index 00000000000..5397130cde4 --- /dev/null +++ b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java @@ -0,0 +1,8 @@ +public class StringBuilderCapLen02 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + assert buffer.toString().equals("Diffblue is leader in automatic test case generation"); + } +} diff --git a/regression/strings/StringBuilderCapLen02/test.desc b/regression/strings/StringBuilderCapLen02/test.desc new file mode 100644 index 00000000000..cf2a98acf6d --- /dev/null +++ b/regression/strings/StringBuilderCapLen02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class new file mode 100644 index 0000000000000000000000000000000000000000..a14ea26291a431c2b0a62f01437efa88299aaa90 GIT binary patch literal 725 zcmZuvT~8B16g{_J+b#=~@>NlEi>L(?F`;h~qZUm}>PJ#z0zOT5hdQ{OCA+i!7+!qz zSxsmniN5=rjPcG2G%>u)y)*Zob5G8lUw^*;0MNmviz!@juu{cU7X@6ap@vnPU3YN9 zg=34pix$=#+$7Aei!_yqQL#>URVoIN3<c*iY%=VO)FSF4= zCU0yr7e+#9!czNP?@)XcTanPit-eW=9zL+Z>An%chZo`~?`LI%>P`@yk-PmkO9J^! zS*n$PuqT;{LYZ{MQBUgo+xIN3hZ)Qgmj54d)=TK@s)K_;lu2Kuek27G_)7aCGx10m z75GM`#t%d){h`z{;kQ^@)^!garaj!kZ9;Rx|M=XOr%4hggvCq6Ik@AYjSWJ50(~_& zl!0ML`*KSvk<>%;KDYKcdpbdOBVGra8Ol^8GQ7~h9-52`yo-I_U5%FvP`zoTb5;ad zfB3BPZIvT&EN_lMUu+}h_^jlQ#NYSqD#;E?ZJcXQRhA~VIml<39p%(a71^q_L!6Ii%7eYGuL}0E_JAr!)r}P=6;y08h TWapwRNf`z2k(Iuj&uab!BFvcu literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java new file mode 100644 index 00000000000..86ac16fcdf6 --- /dev/null +++ b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java @@ -0,0 +1,8 @@ +public class StringBuilderCapLen03 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + assert buffer.length()==51; + } +} diff --git a/regression/strings/StringBuilderCapLen03/test.desc b/regression/strings/StringBuilderCapLen03/test.desc new file mode 100644 index 00000000000..7095d79fe5f --- /dev/null +++ b/regression/strings/StringBuilderCapLen03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class b/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class new file mode 100644 index 0000000000000000000000000000000000000000..7350cb80672ee89e07c8972ee8afefd266904144 GIT binary patch literal 727 zcmZuvU279T6g`u#-E6mQntsJZxZp&+BP74nR{pMJ?9?IonL>x{{Ya&wudR)aIoUyriTJthD949owIxaehQ@5$riew>Lwra>$?5d=~NJTu9V z8yN;hq$UV?DuRJfLepEKEbE33AJaZIahIVn;eUGR%f8l$W>~ydoP&ElTG(Q!O`xy) zCn7WiX?tkG?iBBNN|9)o?cjhLgel0Py6*D+7IZ9O1pf#TXZ3WxRL7^Uu4luxm6{|uGd z{wGYG!#Nzo{b_j$InNAXh#Vd Date: Wed, 22 Feb 2017 14:17:56 +0000 Subject: [PATCH 06/18] =?UTF-8?q?=C2=A0added=20stringBuilder=20methods=20c?= =?UTF-8?q?harAt,=20setCharAt,=20getChars=20and=20reverse?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringBuilderChars01.class | Bin 0 -> 1413 bytes .../StringBuilderChars01.java | 28 ++++++++++++++++++ .../strings/StringBuilderChars01/test.desc | 8 +++++ .../StringBuilderChars02.class | Bin 0 -> 797 bytes .../StringBuilderChars02.java | 8 +++++ .../strings/StringBuilderChars02/test.desc | 8 +++++ .../StringBuilderChars03.class | Bin 0 -> 692 bytes .../StringBuilderChars03.java | 8 +++++ .../strings/StringBuilderChars03/test.desc | 8 +++++ .../StringBuilderChars04.class | Bin 0 -> 1018 bytes .../StringBuilderChars04.java | 18 +++++++++++ .../strings/StringBuilderChars04/test.desc | 8 +++++ .../StringBuilderChars05.class | Bin 0 -> 850 bytes .../StringBuilderChars05.java | 10 +++++++ .../strings/StringBuilderChars05/test.desc | 8 +++++ .../StringBuilderChars06.class | Bin 0 -> 856 bytes .../StringBuilderChars06.java | 9 ++++++ .../strings/StringBuilderChars06/test.desc | 8 +++++ 18 files changed, 129 insertions(+) create mode 100644 regression/strings/StringBuilderChars01/StringBuilderChars01.class create mode 100644 regression/strings/StringBuilderChars01/StringBuilderChars01.java create mode 100644 regression/strings/StringBuilderChars01/test.desc create mode 100644 regression/strings/StringBuilderChars02/StringBuilderChars02.class create mode 100644 regression/strings/StringBuilderChars02/StringBuilderChars02.java create mode 100644 regression/strings/StringBuilderChars02/test.desc create mode 100644 regression/strings/StringBuilderChars03/StringBuilderChars03.class create mode 100644 regression/strings/StringBuilderChars03/StringBuilderChars03.java create mode 100644 regression/strings/StringBuilderChars03/test.desc create mode 100644 regression/strings/StringBuilderChars04/StringBuilderChars04.class create mode 100644 regression/strings/StringBuilderChars04/StringBuilderChars04.java create mode 100644 regression/strings/StringBuilderChars04/test.desc create mode 100644 regression/strings/StringBuilderChars05/StringBuilderChars05.class create mode 100644 regression/strings/StringBuilderChars05/StringBuilderChars05.java create mode 100644 regression/strings/StringBuilderChars05/test.desc create mode 100644 regression/strings/StringBuilderChars06/StringBuilderChars06.class create mode 100644 regression/strings/StringBuilderChars06/StringBuilderChars06.java create mode 100644 regression/strings/StringBuilderChars06/test.desc diff --git a/regression/strings/StringBuilderChars01/StringBuilderChars01.class b/regression/strings/StringBuilderChars01/StringBuilderChars01.class new file mode 100644 index 0000000000000000000000000000000000000000..f2645ec7774fe7282656930ac6aaece797a417a8 GIT binary patch literal 1413 zcmZuw-%}G;6#j1Z#|_IOA-F=YDk`=cgP?-Z3Mvpp(gw9AYL%xYx!}@Gg1Z}MeD|?4 zed-I-nRYsz@mZXK8FBETZ=L=N^)GS6b2nhX^00T$J@>okJLfy+{`2w87JyOwXu!f5 zj<4hR#y|{q8@iE})>#7?404<^5XTwm8IsGeT+X-Q0xlXD!KmC`iX$ukm*cp?@vVWY z7~>dc=pJx_K=`3suLaX?;4FBe!oVIg=;Ln94X-mOcKQK>nyXg?LubLQiQA3pg78Zc zOb1oRtuY+2=L^fuGiTUyYD>e#(06M~WAb80F?7m5%{eO(p6cMZ#zAr8<7ID$!YI}o zep$@8GGMBCd8*-h72)TeIDT;c!jOz@q8BNKo-cWJpbUv=cX4sbYl!}WTXjQGkvDFb zID#G%6PV@;rWP07S%$+0mBVr0!~;B}8?8j{EG&z1NIf|~Nru>bj={1I z7C9c)n>55{r~i-H$Fqyn#nXo41z$vMW-*qQBTy#sCn+P<&Zmi8_e5uE;A1|86>KgLOV zU>3bSmgtp}LzV)X7^GB&XIVURjDr2%3id)_FLd^D``?U`m|aI_CZQ)v z^xuN#Oq|(s7EC1^<8njuU;`wC5cCWOJNk@+18};2hf~4z+ax*vH9p p>T|0`qn-d=$?kO=UIkZQLRDTvYo)x~Hc6==W=_cFo{lOS_yi#cGPD2y literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderChars01/StringBuilderChars01.java b/regression/strings/StringBuilderChars01/StringBuilderChars01.java new file mode 100644 index 00000000000..10265254980 --- /dev/null +++ b/regression/strings/StringBuilderChars01/StringBuilderChars01.java @@ -0,0 +1,28 @@ +public class StringBuilderChars01 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + + assert buffer.toString().equals("DiffBlue Limited"); + assert buffer.charAt(0)!=buffer.charAt(4); + + char[] charArray = new char[buffer.length()]; + buffer.getChars(0, buffer.length(), charArray, 0); + + int i=0; + for (char character : charArray) + { + System.out.print(character); + assert character==buffer.charAt(i); + ++i; + } + + buffer.setCharAt(0, 'H'); + buffer.setCharAt(6, 'T'); + assert buffer.toString().equals("HiffBlTe Limited"); + + buffer.reverse(); + assert buffer.toString().equals("detimiL eTlBffiH"); + } +} diff --git a/regression/strings/StringBuilderChars01/test.desc b/regression/strings/StringBuilderChars01/test.desc new file mode 100644 index 00000000000..41dfe54abeb --- /dev/null +++ b/regression/strings/StringBuilderChars01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars01.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars02/StringBuilderChars02.class b/regression/strings/StringBuilderChars02/StringBuilderChars02.class new file mode 100644 index 0000000000000000000000000000000000000000..bcfdcce9aa6e031c442128bd7dc67b6a8ef3e37b GIT binary patch literal 797 zcmZvaOH&g;5Xb+sdF*DhArBr2Dhe2M14@wM24yKhPf-uCtO8Dx?0|!tUEPNtCSSm_ zT9s5umEQeKmSxX|kOH|(_w4-p*S+2S`|ppR0Cuo#qJY~v?ig4yq2X>0dE8UpvVj#7 ztGKVDZX%~dYbGAxp$?m2w$8&)1d;T;@IZ#V>k5Z~9WiA0q$i`N3@N+ujv?Lh9l=m+ zOHaIx`&|*dRbqPRbLlZG*vIWN{+Tyj?wvL}Q6Rn3T@_g9M7;Om75|v%sX_*0ujgLC z&5j=jJ@Ha1)Z#d7KbEc|g4TN;gj?I2ifW;RGDG!xh6^b}=|G;G?7Oj8Zp*%mgrg!F z7G_Yiu#OFe@>K;%bUd=~7@G{WDfjuL9WR2w4;bcds!2!F!WN!T-f85U?wROC4DX_hnzM}#sE&gGxb0HT;4Xpl!( zp}i>3%CJ&RHHW+uC^O1*R_L}wmXXb@kHEevA!g~!CLbB?&m88-SJDoJYGl{Wp&eFI zBc$8kkQt!5F+{ea4`B?DKS%Cx1oM|dX$fkE!iW!(pmpe2pql~q2X!4)@@kj0>?BEn hawR{6HGrP}f^_OTGE>;3E(OUzv!1Ey7n5AK{sFA-s>%QW literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderChars02/StringBuilderChars02.java b/regression/strings/StringBuilderChars02/StringBuilderChars02.java new file mode 100644 index 00000000000..c5a2bb276f3 --- /dev/null +++ b/regression/strings/StringBuilderChars02/StringBuilderChars02.java @@ -0,0 +1,8 @@ +public class StringBuilderChars02 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + assert buffer.toString().equals("DiffBlue Limitted"); + } +} diff --git a/regression/strings/StringBuilderChars02/test.desc b/regression/strings/StringBuilderChars02/test.desc new file mode 100644 index 00000000000..3a6bde6ef78 --- /dev/null +++ b/regression/strings/StringBuilderChars02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars02.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars03/StringBuilderChars03.class b/regression/strings/StringBuilderChars03/StringBuilderChars03.class new file mode 100644 index 0000000000000000000000000000000000000000..d124e87d09212ea4e7e130ef347a2a79978fc31b GIT binary patch literal 692 zcmZuv-%ry}6#h=z?QW&O7{7*!A~5VA5fgcn7-48)GUZ{!1bph+3tsFxbKCmI@ZzJ- zYQhpp^xeP77|*T162r?q=k|QxcfNCOfBpIX1Hcy6U5sHt;8q27x%F&utJz#4boKVObwEBPo+UGmJxxD2<2^+sO%}h_FHcVPJ0kZ!emD!@^#+t zNqu0zT<8ZXArsnRmK_Q31OaxU#%MQ;dH*DbcV);eU9>m;Nugm+t literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderChars03/StringBuilderChars03.java b/regression/strings/StringBuilderChars03/StringBuilderChars03.java new file mode 100644 index 00000000000..f226901e113 --- /dev/null +++ b/regression/strings/StringBuilderChars03/StringBuilderChars03.java @@ -0,0 +1,8 @@ +public class StringBuilderChars03 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + assert buffer.charAt(0)==buffer.charAt(4); + } +} diff --git a/regression/strings/StringBuilderChars03/test.desc b/regression/strings/StringBuilderChars03/test.desc new file mode 100644 index 00000000000..12f20189434 --- /dev/null +++ b/regression/strings/StringBuilderChars03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars03.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars04/StringBuilderChars04.class b/regression/strings/StringBuilderChars04/StringBuilderChars04.class new file mode 100644 index 0000000000000000000000000000000000000000..41be0e006830ee6c5258b9a9dd7c23d0ab8554da GIT binary patch literal 1018 zcmZuwTTc@~6#k}rnRZzyw*{&eK~Y-@6r~mg(|Cje4dHW0>jj-eoi4FqsQnw!#$ zgm4SD4ctL2gm%Q`*(gWCK${F0Gcb+`jwD0Rh+VG>*K=ys`ifJxH_M{Pz}6Y`Ij8D) z^9)KX{*pn>)QW;3oO7z;X``|!+!qo|7Zuy7GW5kZay#~0J6X1?rDWc7ooZ=T2Daxt zyYOb!-u3YulSG)~E<( z|8>rx44o^^*4A>lA%=2J#qmT@M%*(og_Mc=NOMe^cz}l-GbUy+XQC5bCLV#>9B5@- zx{&0t>(*R`-pd$qESOlt5>;(QKHJ<81&?ICL=1+&Mux$PU9OW}7S)os?dzQ-bxOkX zdnY%R&2D6}Qp~?f<=@pkQ6YG(K?SX|q)sjQoRs&7u&^t$M8xOz?=ge6D?#*jv5d^B z7f9qKf1iyL#c->kOqu3`UbiUfjw_0Pl%YrU8gxO!v5sMyu`rD!>l~1RlBa;lw<6n1 zyC|)UR&DeM?4tz2BCGp{3?cNPpL_}Z0S!S~?PCPix|JiSxkMA%7i~46NM}rGLRaR; zX4Hs!lGc>8Zt0fx0aFpx(o<=E2yXEvf`m%2itA=Xv>FMZMEuBv{a$Kv@y1{rY5Kl5R=xYg`L*H1$00BG5i6a z)dUio=)1qk81F!VSo<>f&dj;zoVj;?{rUa_Km|_>EZ~NQ6&*JXL~u(kt8tiEli6(@ zcMPoKu7-OC42isNz(PU82E*dI?fcvdM6c@~2;XkH++koR4C=1vir^_j)GEATh*f(I zXGqjUm%j=-P3|=$m@YcD=rUxix3#wY$u7Be_pDS8JkdSdk%ja1z;3;NX@3~u$tHuo z+j1|+je0NiTKu_?RQYk)ekfdrd)0Tg=WlIqN>&poq#3f86)vC*$pdkEy6=X3wI(_u z;Et>)ns|VRCK5=R*hGmTbu@yxjVVsUmWfAr%#fRr?@fAg=y^SlVd*Mk8p6wnrGndQp`f(u3ZZpM8ZeoE%Zh&cm=a)rLEN;Wj)p`%PXSvu9hexs}*M_GPqu`==kq|)X9^L=Qs&xl38 VL7kCK>`D>^5%ZaR)U}c3^}k&QvyK1& literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderChars05/StringBuilderChars05.java b/regression/strings/StringBuilderChars05/StringBuilderChars05.java new file mode 100644 index 00000000000..120871f8a9d --- /dev/null +++ b/regression/strings/StringBuilderChars05/StringBuilderChars05.java @@ -0,0 +1,10 @@ +public class StringBuilderChars05 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + buffer.setCharAt(0, 'H'); + buffer.setCharAt(6, 'T'); + assert buffer.toString().equals("HiffBllTe Limited"); + } +} diff --git a/regression/strings/StringBuilderChars05/test.desc b/regression/strings/StringBuilderChars05/test.desc new file mode 100644 index 00000000000..2bcbdbab934 --- /dev/null +++ b/regression/strings/StringBuilderChars05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars05.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars06/StringBuilderChars06.class b/regression/strings/StringBuilderChars06/StringBuilderChars06.class new file mode 100644 index 0000000000000000000000000000000000000000..e3597f40f878e29533d15df6a564a8735982154e GIT binary patch literal 856 zcmZuvU2hUW6g|Vo?y}t$*nU8*RjO5iYN=ZLLSqzK;{)mgji%L?g&peD1$1_|KZZZx zvzkC+6MgqL8RH$G#Z+Eq?(Up>&bc4I{(S!dU>iFo=5STVs)1`JBDk)OTmlx>RCL3@ zO%v<5rQ@~8;V;8>gUbU2riZp8It)wsx3v@J)G2vR=eSf4r05)%RpM+taGD=pI3I_2vdLiV zHoY;qS?`9j$)5>DwLD6zgu-*VtiE@ozqPZeSS_SsGh{9+jG+vvJ<)1aypZQ=qAddM zs*DW_cX7``5-AItC^4j69?*L&#}B+pt0ly99a|Re;{ii%vM z)c!{#KFNI5IN{BJVKG0w8@lADT>4b(O1|(PWL!>}S`>6gnj}62NQi$#&ygDc6gr-N zNquCgT%egICq}Ct4W7p4a$iX9UQ|re3PO6IsUKmDmS~QajHR-wi4;XaO@vM7JbkUw z&FGF72Vh?m5DRo_!=DTZEMkdb1${@U5xR?Kh#cC{0b;d{KH_h_LhB(zp>7*}Bzl-R zgLyc>%umG^8S>ePQ5>h`)yRg90t{s6j{){u?Qxc(Hq)$ literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderChars06/StringBuilderChars06.java b/regression/strings/StringBuilderChars06/StringBuilderChars06.java new file mode 100644 index 00000000000..f3b3b6bc8d8 --- /dev/null +++ b/regression/strings/StringBuilderChars06/StringBuilderChars06.java @@ -0,0 +1,9 @@ +public class StringBuilderChars06 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + buffer.reverse(); + assert buffer.toString().equals("detimiL eTlBffiiH"); + } +} diff --git a/regression/strings/StringBuilderChars06/test.desc b/regression/strings/StringBuilderChars06/test.desc new file mode 100644 index 00000000000..4a711edf496 --- /dev/null +++ b/regression/strings/StringBuilderChars06/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars06.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From 8ec84770535ced8517ad6488b5a8bd663ebf5124 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:18:42 +0000 Subject: [PATCH 07/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20stringBuilder=20constructors?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringBuilderConstructors01.class | Bin 0 -> 797 bytes .../StringBuilderConstructors01.java | 13 +++++++++++++ .../strings/StringBuilderConstructors01/test.desc | 8 ++++++++ .../StringBuilderConstructors02.class | Bin 0 -> 711 bytes .../StringBuilderConstructors02.java | 8 ++++++++ .../strings/StringBuilderConstructors02/test.desc | 8 ++++++++ 6 files changed, 37 insertions(+) create mode 100644 regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class create mode 100644 regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java create mode 100644 regression/strings/StringBuilderConstructors01/test.desc create mode 100644 regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class create mode 100644 regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.java create mode 100644 regression/strings/StringBuilderConstructors02/test.desc diff --git a/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class new file mode 100644 index 0000000000000000000000000000000000000000..c7052b38c1f2d4b0cf579a5014877469af80212a GIT binary patch literal 797 zcmaJ;-%ry}6#nkoty|a0Rt8K52#7j`ax##qp@0|O6-~Ds(^A~_ktedEyX<*t!4o!8;6fvvf-4e=} zQ`x+M1rsF&yJun%_YFK?7+-Xvh|5@nLG(gIPT%Jq13O?SY>7a`PZ+e;(i;Z76MCFs ztSbV(mz?yue67ILIB`V4Fxfin9y=eM4c`d{8@*VHVDMNCR(i4HzTb5|qLKQWJsedoJoKWqDwB8d(M}0rx z>c3^-7RD?rVVR+k4L-Y){Zh(MGBp2lw}BN4t5{>GW(!{RkGUI@{??9?InlaVe!=I# zAbywHxI_MB3pzeoPsVvX5|Vq@gvhTrp$7SWfO&ep3cWF_Hk1y^G!PBc=(Oo?h9aYw zUmk*eQ$UQE)^`_z)6+dT4#UPh5n1w-k9!26}Q$9^x+Ay(Af(~I}lDbuB7ib%p8h!OT pp&QrIHd75i%`Tt8I)$Nsg|7X8kzH~nQ!UFQXFXMB+)g>%`3wBgq3Qqt literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java new file mode 100644 index 00000000000..efb5524c2b8 --- /dev/null +++ b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java @@ -0,0 +1,13 @@ +public class StringBuilderConstructors01 +{ + public static void main(String[] args) + { + StringBuilder buffer1 = new StringBuilder(); + StringBuilder buffer2 = new StringBuilder(10); + StringBuilder buffer3 = new StringBuilder("diffblue"); + + assert buffer1.length()==0; + assert buffer2.length()==0; + assert buffer3.length()>0; + } +} diff --git a/regression/strings/StringBuilderConstructors01/test.desc b/regression/strings/StringBuilderConstructors01/test.desc new file mode 100644 index 00000000000..2c60f9bbbda --- /dev/null +++ b/regression/strings/StringBuilderConstructors01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringBuilderConstructors01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class b/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class new file mode 100644 index 0000000000000000000000000000000000000000..2bfe2e70d3b3e6c08aaebe6686cc1326c7249f56 GIT binary patch literal 711 zcmaJfvG^o5LlGTq_EN2)qisVR@1?^3_*$Iic&?04-togLakm#|+Ly1C zky^T>?Pe+rr0#G@sm}Z~*2&{1kBqp72~-Jlw-a44SUFIKhy5^<2D$3N!?=evtP>g| z&hzVzUuqp|!oq*jI(Xorg*Kr!5_sD`mVQc@Y5lw9l03^qnA`$fvbNhi+v-TG6Y>Ih ze1S}qmcdPJJhe3A08f9Pw^iW{0#s|5me{jFW)^(b__oNF*cLa2pf3i9Nj^*YBQd#- zDfSKY9aAl~%NMZr>h=(Y?pG8Cn0{Ed&rup+>;lf-5apjn$I5jkn8V_5S+U7qXqs Date: Wed, 22 Feb 2017 14:19:25 +0000 Subject: [PATCH 08/18] =?UTF-8?q?=C2=A0added=20stringBuilder=20methods=20i?= =?UTF-8?q?nsert,=20delete=20and=20deleteCharAt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringBuilderInsertDelete01.class | Bin 0 -> 1924 bytes .../StringBuilderInsertDelete01.java | 46 ++++++++++++++++++ .../StringBuilderInsertDelete01/test.desc | 8 +++ .../StringBuilderInsertDelete02.class | Bin 0 -> 1725 bytes .../StringBuilderInsertDelete02.java | 40 +++++++++++++++ .../StringBuilderInsertDelete02/test.desc | 8 +++ .../StringBuilderInsertDelete03.class | Bin 0 -> 1819 bytes .../StringBuilderInsertDelete03.java | 43 ++++++++++++++++ .../StringBuilderInsertDelete03/test.desc | 8 +++ 9 files changed, 153 insertions(+) create mode 100644 regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class create mode 100644 regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.java create mode 100644 regression/strings/StringBuilderInsertDelete01/test.desc create mode 100644 regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.class create mode 100644 regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java create mode 100644 regression/strings/StringBuilderInsertDelete02/test.desc create mode 100644 regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class create mode 100644 regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.java create mode 100644 regression/strings/StringBuilderInsertDelete03/test.desc diff --git a/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class b/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class new file mode 100644 index 0000000000000000000000000000000000000000..7858a392c3fa16230e3ae30f6ebaf25aecdb7726 GIT binary patch literal 1924 zcmb7FOK%%h6#lLsbM48vnK*GAH!o94ahikQo|^=j3y zY_n3XE}2z5S279=Y>Po!Fw3TWp1~a(xys;4RSE_}=c-vY)@wI&hP5fkq`0Y@Wrp6^ z_Ua9NS069w<(=^j+cL{L^I~IQ!`Acft?BRA`5c$&T#hRouhC^0d<*$f^B{SnQnT{L zvMJ0)8zwH)%u>Oy(q-Y~l2I~jV`4Hc4pMLuFVOyiSuEyCHQ|YERBeXv({40vD0m$k zbT>^1n*uTdt_rv&;JSdUfGq*r0^U&YCf-tT0?#wdClc{QBB4#i&uEhqjgK~~t!TDY zGc>bkYP*I-LtYp0)Py@)%RRcXg17MwL*KrCi>=sSw5*DyKu1nN9$AKi*6o&pb zapNc`Fi>Pr_kFmWyJ6%hY~BBnzeB`^VFuTBimJn`XM`ahOCQL4!`S@Dfu%$K%s;)M zp>4ZiD3;z%wX+x%gmk(cWiXcBIzr#}2-<&?{YyvKUp_*=)K2fSE3NSN#GWNmSS90w znqI0hgklGR-^vH|vr?#cPwHLWTBLLj#M)j+YOtx{_bVk;qPK!NysEI&S&wRDvR>87WF^(iWVu?*WPL(XB{fgTRh`hM+Jyf4x~x`6 z?oi8_bY&3NR2&4{V*(nY=HOUM zlq3h8%}L1PKyArh2VE_hIKige%N=w#<*?sDPgCxb9fYn$=&0Vgz;_7mAruJ&`y52} z(D4w*$))}uBZ^A20it*o}D3N|G{qA$l9e7HhU-h_{|6=gPfGh=l<>cCiZR5PA0sS?Q5L}%n}mkbf0+V;+~A xW1ObIIC(npq->_^^#ODRhaE)sz&&5XpA5B`2V@uzBGw;ot_ueT4TX( zm|In=%)mAn={7$DquYs-1(>wR+PjS&Oy^JJt?y zu4z}xmXoiEBp0lzxNaLq6hz{ z`_DMG12gzGbEK`^>L)`gnct&YJJ{U#o~382447kb$hx87}kB>7)QYO8F0&@`(JhG=q6^SgS`o$23|JXfVB zOAoGWHEhQ!KfOZq&fF#$=)G>x+Zdtm3&8ZaxVyysVB*CPzD%=G8X1j&qxZqSCBkr+ zP;MMmc#xPUHc(W^y}M&qNH1eVnBBaMOn8CMXpy0MMW@O z)=Pw3HwhKpB@DLKRlQEUPp=hLrD;iDnhxlET8==P;bHkyFamyBeTZQ3KGaz)q4|$_ z=<|m)4e@O~Tty$QL4%19 zD(FWY1NabOe1t)KiU>YK6rW=Vw-CdZh~q0HaF;&J-(VQ`NVW$g&d(&?FC^Trbk1)i z+wUaYAEd^gq|0A8!WdqqKgh!Vp^3(kJ?FrkK* literal 0 HcmV?d00001 diff --git a/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java new file mode 100644 index 00000000000..d0e4923ad3c --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java @@ -0,0 +1,40 @@ +public class StringBuilderInsertDelete02 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'K'; + int integerValue = 7; + long longValue = 10000000; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder buffer = new StringBuilder(); + + buffer.insert(0, objectRef) + .insert(0, "-") + .insert(0, string) + .insert(0, "-") + .insert(0, charArray) + .insert(0, "-") + .insert(0, charArray, 3, 3) + .insert(0, "-") + .insert(0, booleanValue) + .insert(0, "-") + .insert(0, characterValue) + .insert(0, "-") + .insert(0, integerValue) + .insert(0, "-") + .insert(0, longValue) + .insert(0, "-") + .insert(0, floatValue) + .insert(0, "-") + .insert(0, doubleValue); + + String tmp=buffer.toString(); + assert tmp.equals("33.333-2.5-10000000-7-K-true-ifi-verification-test--diffblue"); + } +} diff --git a/regression/strings/StringBuilderInsertDelete02/test.desc b/regression/strings/StringBuilderInsertDelete02/test.desc new file mode 100644 index 00000000000..f78bf3f983a --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderInsertDelete02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class b/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class new file mode 100644 index 0000000000000000000000000000000000000000..6e238d7caea3b3ed8af71e3eb7a942336512b1ad GIT binary patch literal 1819 zcmah}O>7%Q6#mBE-LW^DX5*j4Zho3V0VnMyX_7i^5{gr&0XIJd61R22-`ZZ6Ev^mg zbtEo`0~fe(tEvbIi3_NQNX)! zGe7=)?*V`rSSm&^6~J@=GctVvZr*rbN{s+YDs}7A2RlF9;W(uth$#Wd0A|H_TEH0r za{}fCEC_g3z*zy$2}lW86mU*JI*4H`1#n))GM?vnLB$}ZI5H|OV1;9qA$-iN)hx%g ztCiZ4T{H7#tH{8%7?cIOV!LM<{E5*^3{tvUv>19;?TWQtzn-_8P2o(2>!w{{=u2#` zUNd*hiLzO_I|TOToI5Hu%%%euV{Ex7+%Bc8jj)#hUE0LF*Sbb(nj7Hf>|aa_o{_Fhx-fk(1HRk3kQ;p7~74F!-y`d)yG z`D<2z4j%p=1s-v124?VWr%7MCQB#KTL}s6I&0zDR`#wFA&-~*Hn%0gBh7+0Xbf<_T z!XcCCU|Do7&s0wpEKH z{u`gvP^@?AX1T@?P3+UGEhAmzp1n>V4qzou*7 z$T`2hlg&xGmCebzlg%l*oy~E*l+6VM(-ply$aRx2pu2>@#&=b(67SM0*>x!?=_^TD z=Sd|3X_kkS)4>S%8TCGbxw}y3w7BL!?xD*c(mZtgPY7sI!^5FARTK|Btw~h!ptrf~ zp|{P+C)DD7+(Wp<`-2`LEgn-nL@&oRoyI;IWt|rF6Y&t6>;4MyT}0#Ep~D^qcF}bo zgOuaYx1w;qM&Ukc)L5n}EA*!a5&?R6g4l$LE9j!9M}vuOl+c4Jdhsqocn@KGfCxTB z6d$7xH_(qy5W{DP;|mL}PhG|@Q5IF56i;4m0tlF!dEPE&FTVB%pr%rtZddPBn=j_iU Date: Wed, 22 Feb 2017 14:20:06 +0000 Subject: [PATCH 09/18] =?UTF-8?q?=C2=A0added=20string=20methods=20equals,?= =?UTF-8?q?=20equalsIgnoreCase,=20compareTo=20and=20regionMatches?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringCompare01/StringCompare01.class | Bin 0 -> 1325 bytes .../StringCompare01/StringCompare01.java | 47 ++++++++++++++++++ regression/strings/StringCompare01/test.desc | 8 +++ .../StringCompare02/StringCompare02.class | Bin 0 -> 721 bytes .../StringCompare02/StringCompare02.java | 14 ++++++ regression/strings/StringCompare02/test.desc | 8 +++ .../StringCompare03/StringCompare03.class | Bin 0 -> 723 bytes .../StringCompare03/StringCompare03.java | 14 ++++++ regression/strings/StringCompare03/test.desc | 8 +++ .../StringCompare04/StringCompare04.class | Bin 0 -> 703 bytes .../StringCompare04/StringCompare04.java | 9 ++++ regression/strings/StringCompare04/test.desc | 8 +++ .../StringCompare05/StringCompare05.class | Bin 0 -> 642 bytes .../StringCompare05/StringCompare05.java | 11 ++++ regression/strings/StringCompare05/test.desc | 8 +++ 15 files changed, 135 insertions(+) create mode 100644 regression/strings/StringCompare01/StringCompare01.class create mode 100644 regression/strings/StringCompare01/StringCompare01.java create mode 100644 regression/strings/StringCompare01/test.desc create mode 100644 regression/strings/StringCompare02/StringCompare02.class create mode 100644 regression/strings/StringCompare02/StringCompare02.java create mode 100644 regression/strings/StringCompare02/test.desc create mode 100644 regression/strings/StringCompare03/StringCompare03.class create mode 100644 regression/strings/StringCompare03/StringCompare03.java create mode 100644 regression/strings/StringCompare03/test.desc create mode 100644 regression/strings/StringCompare04/StringCompare04.class create mode 100644 regression/strings/StringCompare04/StringCompare04.java create mode 100644 regression/strings/StringCompare04/test.desc create mode 100644 regression/strings/StringCompare05/StringCompare05.class create mode 100644 regression/strings/StringCompare05/StringCompare05.java create mode 100644 regression/strings/StringCompare05/test.desc diff --git a/regression/strings/StringCompare01/StringCompare01.class b/regression/strings/StringCompare01/StringCompare01.class new file mode 100644 index 0000000000000000000000000000000000000000..38f0d216e1cf640abd23b0356795e344fe3faa94 GIT binary patch literal 1325 zcmZ`(T~8BH5IwiucDH4hmMtx3(h@YTe`KcLU*+!l(~l5A%8&YU?j_snEJ|N3|YU+%&2v1U&abZ%zOvsq@V+zwUE;ED%jY@^vj%k%Ecg>2C zE%H1A+hp+0n`P6v&EQUqK4Os4R-Q8imd!F>t(LOfUKd~rlnk@X5J@~<-ZEYqlSQLk zm|Sygvs{=HiQ1ZD+jYE*E7UoIGM_6R^ZVDVs-5HaOu^RO$V^+MZNuhM(-VSI zMHmr=U@JcrcX-7S;TZYa)p)RvoKkIA$)sPVxACUgkC(E$TC7G-Dz+UTDTt zT*WmNA#^iDPfIPH=(A+omaXDCZm774Srv1b7v>hJ($ckz+bZs0;h&x#WVd+EA<5ea z#Sl)km(R;zRE=V#1<>G{8>Kk~8-PrqY}q_*ROtR~xd`gZHDq14&cI}7TsAL|P%DO$ zd&a43G?Dqgu}nr(jwLqFj0H{wOc!azXhHJ4V%j|4)RXqYsZxOUYZC*swK}ag3r58R z=*tai5)raJbn2rwqqk@50PLLrB1+axHfe60ih2np9eDTA^&Y-mbR5FJae$6b6xnOzPQ|1e)OHE=^l);#1}&()Jtb=R$CJYU zqtzcu3ja{VSqg58EU%|9gn$|VSQgDy8c>3LeVuQ?HZqA+F-*eMsfkxu@PVn z0Yi1>aQC|GmrBKo3j0Uf#k~NVXfPCKNpJcmBGi99U8PZ(N({+Nm+SDYNJy&D{=XmX zc9S|=m=U%{)P8E-KqOL$!PFG>Oiu`)-XCFwe$S_mWyPu~gH9Gm5c9Ma=(bEdqusuL z3HHGRqDZTgJ~HG`LYdAcl*6WEV6B|#l&$Uq>!Ia+M)p0N3zR;>KF8cwIER;TzZ;@V zO0+~>D04MXRnLOxc>!vY}zGCxsq)0ro)H>S?EQwu<;Oe(o^xY-M2txvFL#fE+dAG=9}&bf6w*}J6+EijpW_nzQZ$(0$nuE^& z1L<^HG}^+Fu|1*r)AU9nkxGmfu4rg_MgR?efNgp{pI(*~tELaySs+EM(psR?7DYxe zd;1*hgGoe@Rwun=$f1NX?M>>CZY_$9a;96hdUtH=uH}7(J%@9K(nn8;+j@W!u$jC04SR*7r<|isH*6Gia*~-G&LFxf0l}RNxhijj~wmu=d TB)_z2h_c88k4-ZhsrHrMId_!7 literal 0 HcmV?d00001 diff --git a/regression/strings/StringCompare03/StringCompare03.java b/regression/strings/StringCompare03/StringCompare03.java new file mode 100644 index 00000000000..fbd881efd48 --- /dev/null +++ b/regression/strings/StringCompare03/StringCompare03.java @@ -0,0 +1,14 @@ +public class StringCompare03 +{ + public static void main(String[] args) + { + String s3 = "Automatic Test Generation"; + String s4 = "automatic test generation"; + + // test regionMatches (ignore case) + if (!s3.regionMatches(true, 0, s4, 0, 5)) //false + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare03/test.desc b/regression/strings/StringCompare03/test.desc new file mode 100644 index 00000000000..fa518907143 --- /dev/null +++ b/regression/strings/StringCompare03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare04/StringCompare04.class b/regression/strings/StringCompare04/StringCompare04.class new file mode 100644 index 0000000000000000000000000000000000000000..cb288719581cd9f599cc0f3c56b08cebad443698 GIT binary patch literal 703 zcmZ`%O>fgc5PcInw&OU|b(<1C3TqKtf94kP4~oX=AUVEs0&(4ibN* z7ml1MQX^3b?))bZvo38!1=4DFc0S&FGrK>2effxynRuAR_`D5Ud>)tNaPUXs*2_nC&EzgsF~- zd$F=4KG*f|pK#r8nN{q1g^s<{7H7uLGD2;c3B<07BM5uBZH@CV%O zCZjZzFO`Oxy(nuZ!()-kN3AUl=wS*z!M_g9%(={R9bP5a{UnKcAEbvGZg_ZzCZRDY zd3M?4i!@DAZsQu0jWrMJ*!YX*P47sCIicSCcW0IGLg-%dpPW}rG||u=@ThrEk<3&o zqbo@~pM1mtp7Q|~`MErPO!6DL6SfR63VhzD`8Lld@mXFUgFfp-1iV{?lTg77X4%%M zhg@p#xq6P$eqfAYc7pQmDXbIJH#g2;`?Zg#p2OK6qw-y2l?to?Cfj8eVzC7NCH!gX y?5To&V#UTBFLvF$($p%*f$6|KL-ho<`3a`+1=a-fQlG{tqvSo+T{H^HTfYIp^o!pB literal 0 HcmV?d00001 diff --git a/regression/strings/StringCompare04/StringCompare04.java b/regression/strings/StringCompare04/StringCompare04.java new file mode 100644 index 00000000000..c602594930f --- /dev/null +++ b/regression/strings/StringCompare04/StringCompare04.java @@ -0,0 +1,9 @@ +public class StringCompare04 +{ + public static void main(String[] args) + { + String s1 = new String("test"); + String s2 = "goodbye"; + assert s2.compareTo(s1)==13; //false + } +} diff --git a/regression/strings/StringCompare04/test.desc b/regression/strings/StringCompare04/test.desc new file mode 100644 index 00000000000..f1b2a9790cc --- /dev/null +++ b/regression/strings/StringCompare04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare05/StringCompare05.class b/regression/strings/StringCompare05/StringCompare05.class new file mode 100644 index 0000000000000000000000000000000000000000..70bbad48ef69bb1c1417507aa918529a4e104d94 GIT binary patch literal 642 zcmZvZ-%k@k5XZlJ*Sl-4*Waa7u}Be3!32DOCkWA0eJc7;V^Vn9wwq>adq?)J{xSUn z;2BJ8A_>0xHxa_@X=x<9?99&0e&#!~e{O$W1K7nY7cQy}o+R{zJ7%yCq%WgG2D7pGl_Aj#`hp?XlD_yf8Fz*H zqKhdp=F(@VG)`JW{+;iPxIfrwM@ssGef==gj(G3e5kHOVNfbl!pf~ylciX{4^~6W1 zQRTnSn!)&#EAeJ;TLV30kY&g}gj458gpp3Kdq~4$s4i;W&8PaHRG>)r1GIw|9yaju zKk(=7Q1l{(rN-l<g&<33 zj&3!wjI6aa1G~_L$kS=ZL536xD3Y&BJM`2byM6_uQ#5Btv|bm@GuY=ST*8_neFeKS zgY#Q+jF?k_MZQH6Y`Qxr5wT9U5=B!mZcuVi&XC5Xdqul(YoJg}{zPgDCvlF1`2*I1 SI#;JD77XvLo}m&qUA_a4#C#3_ literal 0 HcmV?d00001 diff --git a/regression/strings/StringCompare05/StringCompare05.java b/regression/strings/StringCompare05/StringCompare05.java new file mode 100644 index 00000000000..8764cb5c99a --- /dev/null +++ b/regression/strings/StringCompare05/StringCompare05.java @@ -0,0 +1,11 @@ +public class StringCompare05 +{ + public static void main(String[] args) + { + String s1 = new String("test"); + if (s1 == "test") // false; they are not the same object + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare05/test.desc b/regression/strings/StringCompare05/test.desc new file mode 100644 index 00000000000..159809fac0f --- /dev/null +++ b/regression/strings/StringCompare05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From 0180ce8ce8bc395cec95a3e281f45fd3e93acf6f Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:21:49 +0000 Subject: [PATCH 10/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20method=20concat?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringConcatenation01.class | Bin 0 -> 864 bytes .../StringConcatenation01.java | 17 +++++++++++++++++ .../strings/StringConcatenation01/test.desc | 8 ++++++++ .../StringConcatenation02.class | Bin 0 -> 719 bytes .../StringConcatenation02.java | 10 ++++++++++ .../strings/StringConcatenation02/test.desc | 8 ++++++++ .../StringConcatenation03.class | Bin 0 -> 1099 bytes .../StringConcatenation03.java | 17 +++++++++++++++++ .../strings/StringConcatenation03/test.desc | 8 ++++++++ .../StringConcatenation04.class | Bin 0 -> 899 bytes .../StringConcatenation04.java | 10 ++++++++++ .../strings/StringConcatenation04/test.desc | 8 ++++++++ 12 files changed, 86 insertions(+) create mode 100644 regression/strings/StringConcatenation01/StringConcatenation01.class create mode 100644 regression/strings/StringConcatenation01/StringConcatenation01.java create mode 100644 regression/strings/StringConcatenation01/test.desc create mode 100644 regression/strings/StringConcatenation02/StringConcatenation02.class create mode 100644 regression/strings/StringConcatenation02/StringConcatenation02.java create mode 100644 regression/strings/StringConcatenation02/test.desc create mode 100644 regression/strings/StringConcatenation03/StringConcatenation03.class create mode 100644 regression/strings/StringConcatenation03/StringConcatenation03.java create mode 100644 regression/strings/StringConcatenation03/test.desc create mode 100644 regression/strings/StringConcatenation04/StringConcatenation04.class create mode 100644 regression/strings/StringConcatenation04/StringConcatenation04.java create mode 100644 regression/strings/StringConcatenation04/test.desc diff --git a/regression/strings/StringConcatenation01/StringConcatenation01.class b/regression/strings/StringConcatenation01/StringConcatenation01.class new file mode 100644 index 0000000000000000000000000000000000000000..8a2ee685b444d098b7dac80fa33ad12df6776cf4 GIT binary patch literal 864 zcmZuvTW=CU7(D|EyDVD^ON)rb(pnJ;Et>SnHb$iyA83uin6y3(%d}a#U2u0X@vra) zd{z^hsL^+SlN!HS%EiX)W-j05%sFS~=bta%0qmfz!$4lcO${pv=qTv8g;ffgc5PcilS=(_*>b4;*1X3uFw1^^9POT7-f;gmb2tuNqHqN%%;@ZIyji!q$xXRIT z!LiJ->f#!%bF48etcf(0Nv7f`-Bqa=gmTEh_8H1MDpJ`42BY11#b9>hp=7A`R3xA0 z#{-$X)WvjgEL6l$Z@=jsiT7eN6w%>kKTA|}xUGS6{Y(UJ_r$2E=eWUO?*!pra$Cb>k=ynT&*1b@$#KP3z$Ts)T$dMxzfckuf-}U3GBqILxI74|9~5p0%in zhnu*?(3nYjG@bKFlEewa(tn$Av^{jN&QO~{Ukr|9KrPRuCSY<&zRN|J5?%Y;_!Gc( zhit6QXu2VJO->DEsuDRo6GR4OIUSJE`&gwbtI$QVT0@UTkpZTMr?p03P1+gl*7_;f zCtZknTFXU}On{FCigjs>5`lsHeyQghd!J#BvAE$|Cn%3m`3C;_6!wov`nGTUo7U8& zg1QciVvDHC^l(yO({JWrk+L32ztH4ZqPI@@`kBtHLJ%1hm^p28R9eNpjAj*eTnt>BK1 z72MU)4}-x7({yuC5*_!j$}rMncoa77iR(Hp!c>=Rz_2B}MQGBZqN&l$$QM>PMSp0h;6)0DI| zhT=Iqr{~=1;%e@Hdc=nouX`l;G*1{rCQJ9)xn3tHl8>swvs_XA+g-Ac-=Yh$;VyYR zO_m2(W<*Ykc2Q6f7^LqI{f*PgXpK)FgMF4j4AVCe9Fk{n5hJvh(63MsqqSm0HjU`k z5n@I>_5+EX=*(;zN~sO?ZLr%uLh=xUbB5MN>JX{#(07i}_iKhOV#bATOn?uOk+VoC zBoYY8BSrf-sZP+Nl5#0Y#bszzTZ$~$M?SlN=Tv7I8C)WC8j%yMC>ZU$xd0v(yc|>p i^c(3mGKWxNpAd_FL9&-KEM9WO5z!yY7L5gx#{U2gd-sO` literal 0 HcmV?d00001 diff --git a/regression/strings/StringConcatenation03/StringConcatenation03.java b/regression/strings/StringConcatenation03/StringConcatenation03.java new file mode 100644 index 00000000000..56d397b96dc --- /dev/null +++ b/regression/strings/StringConcatenation03/StringConcatenation03.java @@ -0,0 +1,17 @@ +public class StringConcatenation03 +{ + public static void main(String[] args) + { + String s1 = "Happy at"; + String s2 = " DiffBlue"; + + System.out.printf( + "Result of s1.concat(s2) = %s\n", s1.concat(s2)); + String tmp=s1.concat(s2); + assert tmp.equals("Happy at DiffBllue"); + + tmp=s1; + System.out.printf("s1 after concatenation = %s\n", s1); + assert tmp.equals("Happy at"); + } +} diff --git a/regression/strings/StringConcatenation03/test.desc b/regression/strings/StringConcatenation03/test.desc new file mode 100644 index 00000000000..26ccc899a87 --- /dev/null +++ b/regression/strings/StringConcatenation03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConcatenation03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConcatenation04/StringConcatenation04.class b/regression/strings/StringConcatenation04/StringConcatenation04.class new file mode 100644 index 0000000000000000000000000000000000000000..047d2b908ab423d6ea731ab22809263555c418d8 GIT binary patch literal 899 zcmZ`%U2hUm5IvU#c3HOa(H5~Ex@xOXT4)vZ0W=z_@qwxdM$`Iqfm^Z_c5!zx>0jXw z_-svRqEX-dPa5YgQfSmsyZP?OGmhc14?k9WX?zmTmbD7?fQ86+^h@ zv;{+=ZrS45pw|@cOBqZLJ#N_yncSQD5r5B1U2b*_NKT7--aHa5LY53{W5>V+Bp702#(=V5;1+H(WT%)%6LlWDuH!N+ z{I{718VhDQr5B`@Pw|5HDm0TI{dqUdqc4LF8LGLz zg`U-Z+-4>JANHttH{e~5($DftKs5NowEJ3@wu5Hd7M|sb_L&$oQhz`Xv>FGrWCraX zz>--hDcuxM*GSQsroUCPjBI4%6zro6#5|qRz)1tZ0v72mLp$VE$QIL~dSUMbN;(|= zipaiFXp9hjeFAleh0U}!LTrfm7wG$^h<}%yp@1_J6cQnhDBV Date: Wed, 22 Feb 2017 14:22:27 +0000 Subject: [PATCH 11/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20class=20constructors?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringConstructors01.class | Bin 0 -> 1008 bytes .../StringConstructors01.java | 19 ++++++++++++++++++ .../strings/StringConstructors01/test.desc | 8 ++++++++ .../StringConstructors02.class | Bin 0 -> 652 bytes .../StringConstructors02.java | 9 +++++++++ .../strings/StringConstructors02/test.desc | 8 ++++++++ .../StringConstructors03.class | Bin 0 -> 713 bytes .../StringConstructors03.java | 10 +++++++++ .../strings/StringConstructors03/test.desc | 8 ++++++++ .../StringConstructors04.class | Bin 0 -> 736 bytes .../StringConstructors04.java | 10 +++++++++ .../strings/StringConstructors04/test.desc | 8 ++++++++ .../StringConstructors05.class | Bin 0 -> 736 bytes .../StringConstructors05.java | 10 +++++++++ .../strings/StringConstructors05/test.desc | 8 ++++++++ 15 files changed, 98 insertions(+) create mode 100644 regression/strings/StringConstructors01/StringConstructors01.class create mode 100644 regression/strings/StringConstructors01/StringConstructors01.java create mode 100644 regression/strings/StringConstructors01/test.desc create mode 100644 regression/strings/StringConstructors02/StringConstructors02.class create mode 100644 regression/strings/StringConstructors02/StringConstructors02.java create mode 100644 regression/strings/StringConstructors02/test.desc create mode 100644 regression/strings/StringConstructors03/StringConstructors03.class create mode 100644 regression/strings/StringConstructors03/StringConstructors03.java create mode 100644 regression/strings/StringConstructors03/test.desc create mode 100644 regression/strings/StringConstructors04/StringConstructors04.class create mode 100644 regression/strings/StringConstructors04/StringConstructors04.java create mode 100644 regression/strings/StringConstructors04/test.desc create mode 100644 regression/strings/StringConstructors05/StringConstructors05.class create mode 100644 regression/strings/StringConstructors05/StringConstructors05.java create mode 100644 regression/strings/StringConstructors05/test.desc diff --git a/regression/strings/StringConstructors01/StringConstructors01.class b/regression/strings/StringConstructors01/StringConstructors01.class new file mode 100644 index 0000000000000000000000000000000000000000..c4e2ce34c8353a953b7168f15c4f774be9ab10b7 GIT binary patch literal 1008 zcmZuwTTc@~7(LVO?kw9vhviaGQLCusT2Q=Dh>=uHhy@>TO%|TE?LropR`+8389w(9 z=&PF0M2weLf0X*oaud>IbLN}xHs3ij`}@z=?*JCCWS}1fj%zxu8%SYXLP5d}2{(I? z!z~>}xtZXYG>}0-$CQp~ju`{9C~?d&42(Nr=mwG3YKD)!(5d-ugMn=_Xv<#Hiykth zixV#yluE1NGUTdW(_N4EYHsjCCR1R~@tO?7#jWbD^VTW(PIITU5d~gzXGs?JZbVM~ z)td7<$>*5oxJ`32=*xBg=m=w@6$f?qsV5tb9u`+TVPb#*S=_^YhLO{%m1D|Jf}j=9Bn@wSyXMD|&EYcGZ3d19SuCP_ zW`gInUAG>QkX`6Aq_!#yL&fgOsKu>{REX2Mx+*QreG@x=c&_B|h@}a-l-wzaicdF3 zx;Na=3*5#DCz3mgDL~h@i2^-?etIxWj7T-eN`pxi35RJnMk`4Kb+QBYNhTsss3lH@ z9*kg=Y)WNCsNfX)CG>BqofZwtR)lBSs@S${O#&A+%hrW&*+LUBAs4PyJwVDf(;X;l z(&|86m+Le+%8In6I?&2$VsYL9FKeHnw=p`1y y9Ap1~Kt7+RMwd?nUPzP#`pw)vL>pZB044ne`sozMV$1F-QrSoHO0FbBUi}BKugVGl literal 0 HcmV?d00001 diff --git a/regression/strings/StringConstructors01/StringConstructors01.java b/regression/strings/StringConstructors01/StringConstructors01.java new file mode 100644 index 00000000000..406653de694 --- /dev/null +++ b/regression/strings/StringConstructors01/StringConstructors01.java @@ -0,0 +1,19 @@ +public class StringConstructors01 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s = new String("test"); + + String s1 = new String(); + String s2 = new String(s); + String s3 = new String(charArray); + String s4 = new String(charArray, 4, 4); + + assert s1.equals(""); + assert s2.equals("test"); + assert s3.equals("diffblue"); + assert s4.equals("blue"); + } +} + diff --git a/regression/strings/StringConstructors01/test.desc b/regression/strings/StringConstructors01/test.desc new file mode 100644 index 00000000000..ed57bdfdde5 --- /dev/null +++ b/regression/strings/StringConstructors01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors02/StringConstructors02.class b/regression/strings/StringConstructors02/StringConstructors02.class new file mode 100644 index 0000000000000000000000000000000000000000..0cca7f99377fa26a1d5759ce91374e67278d1aea GIT binary patch literal 652 zcmZuv-%k@k5dP+R?Om@2Eu~H)P?s)4eX!QN}$N_l>jQ;DHCn z1lt}uSah&Nm|YP`B6X_bD0!h0F%0F1KnH}mcd+VX z4G;f6-^8qvU@;SUQ a9QzaO!Wrxd*o`CuQiSC{Gs5rWT+J(Rc7c@u literal 0 HcmV?d00001 diff --git a/regression/strings/StringConstructors02/StringConstructors02.java b/regression/strings/StringConstructors02/StringConstructors02.java new file mode 100644 index 00000000000..b20877b8106 --- /dev/null +++ b/regression/strings/StringConstructors02/StringConstructors02.java @@ -0,0 +1,9 @@ +public class StringConstructors02 +{ + public static void main(String[] args) + { + String s1 = new String(); + assert s1.equals(" "); + } +} + diff --git a/regression/strings/StringConstructors02/test.desc b/regression/strings/StringConstructors02/test.desc new file mode 100644 index 00000000000..c2a30b3534c --- /dev/null +++ b/regression/strings/StringConstructors02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors03/StringConstructors03.class b/regression/strings/StringConstructors03/StringConstructors03.class new file mode 100644 index 0000000000000000000000000000000000000000..fba6b043267ffe1fb0c5a30968bb053eee927c71 GIT binary patch literal 713 zcmZuuT~8B16g{{5+3jM>Qn09~C~7~5n8+K%XsSLHeJC*jU)*jdWO3Qm*;#)~|A5bG zLK8{!-T$QV<7tlF8gV_v74i&;0uH{ReA}WO$v8dO(v5RN6-MuO!VhIVlOwp>QSuMm8)k)! z#LHMiEuXganTwJ|q%xU5di+qM`lzEpXk47Y%=2^hd+-(og4Lpm&si$#vq vK)=y-u*8Q$SI>!UmJERTz&l250>}Ie)A$B!hIvL(<5;NpPxUITa^&(~b%c;< literal 0 HcmV?d00001 diff --git a/regression/strings/StringConstructors03/StringConstructors03.java b/regression/strings/StringConstructors03/StringConstructors03.java new file mode 100644 index 00000000000..a2f6ced182a --- /dev/null +++ b/regression/strings/StringConstructors03/StringConstructors03.java @@ -0,0 +1,10 @@ +public class StringConstructors03 +{ + public static void main(String[] args) + { + String s = new String("test"); + String s2 = new String(s); + assert s2.equals("tesst"); + } +} + diff --git a/regression/strings/StringConstructors03/test.desc b/regression/strings/StringConstructors03/test.desc new file mode 100644 index 00000000000..5419e5ae48e --- /dev/null +++ b/regression/strings/StringConstructors03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors04/StringConstructors04.class b/regression/strings/StringConstructors04/StringConstructors04.class new file mode 100644 index 0000000000000000000000000000000000000000..d7705f364f37fe5fe5d3d350a6b66c3325a6e54e GIT binary patch literal 736 zcmZuvT~8BH5IxiG?%i&Sy_AAQMMY6tAl8RI2{D?g2}#jlU6Z9x+xAKpm#yxHf5HF2 zAMjaCXd*`6{ZAU_7NKf2_p3* zJLs$UxdwCMzz-tALcQ17_uu->(2w?--82rOy$xMB(@p)st8M@F1TS!dha=dVgYb8M zr#s5xfqES1Zi^?CZ5}6$vq3tFlRK^3x^W5TP$tNKNp$>X2_?)B%zhYVs)Spp6KYfB zgHw%<;&>Djs{dmVXq2#uwZAx?_V?8wCFFW-f~fb}TU%O`rQT$Im=Nacf2ckIZ!~y& z4Evkr%}sbKFxWTIAqH6n@}$P0?V$F@Bjb+ literal 0 HcmV?d00001 diff --git a/regression/strings/StringConstructors04/StringConstructors04.java b/regression/strings/StringConstructors04/StringConstructors04.java new file mode 100644 index 00000000000..bd9828e6a5f --- /dev/null +++ b/regression/strings/StringConstructors04/StringConstructors04.java @@ -0,0 +1,10 @@ +public class StringConstructors04 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s4 = new String(charArray, 4, 4); + assert s4.equals("bllue"); + } +} + diff --git a/regression/strings/StringConstructors04/test.desc b/regression/strings/StringConstructors04/test.desc new file mode 100644 index 00000000000..21394f70327 --- /dev/null +++ b/regression/strings/StringConstructors04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors05/StringConstructors05.class b/regression/strings/StringConstructors05/StringConstructors05.class new file mode 100644 index 0000000000000000000000000000000000000000..8339e1ddab342a080fd8c8be285bde13134446f3 GIT binary patch literal 736 zcmZuvO>fgc5Ph52UdM6CHcd+k6etu(+KO-}5>hJ!3UEpZQZSO6lVfixx2^;J;2-cO z@&`BrQX^3Wcm5NI*_1YbxXkX(zM1#l?0*0G`73}eY+5Me631l=1zahigcTE4)!`b) zbqicwu3ET(n;dHl3u|7Q$|MU%arz`oy+I@c2DZmw?1XWcJ!B|0ny(nN_9&1Hl};GT z=lRh{+UI|trduN8Umeyf)yVZ6Vs3g>#6=O6BRucvs9TO^Lb-0`E| z{jJ_8Pki|-RNa7f@jk|B|TuZ5uY`7)n7n93Bp$T-vyU z219*@ethQhX_AZ*hT8v_IGQ%rvGEsAcW@y6jG@qPGw6+eTiG(?o7{_1hQ-DozE7ds zO`2b2M%|8R$TXrrrePw3b0svHET;>a@E%s_t;+O!@OZ_6qtA8WjUCg!x5xiz0AbO@xlCi=pEhDsVAyTvJ4jD-4lSVpik9>i5g|fU_a31Smaou o)Wvi4TT_|9e6@58YYeWvhgSRqZPxS5iRz=HU_VlR>r=|*UmKy5;Q#;t literal 0 HcmV?d00001 diff --git a/regression/strings/StringConstructors05/StringConstructors05.java b/regression/strings/StringConstructors05/StringConstructors05.java new file mode 100644 index 00000000000..49cc43f4269 --- /dev/null +++ b/regression/strings/StringConstructors05/StringConstructors05.java @@ -0,0 +1,10 @@ +public class StringConstructors05 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s3 = new String(charArray); + assert s3.equals("diffkblue"); + } +} + diff --git a/regression/strings/StringConstructors05/test.desc b/regression/strings/StringConstructors05/test.desc new file mode 100644 index 00000000000..9804850d77e --- /dev/null +++ b/regression/strings/StringConstructors05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From c94a19350a49b4aea3fb618890adc489c932e86c Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:23:22 +0000 Subject: [PATCH 12/18] =?UTF-8?q?=C2=A0added=20string=20searching=20method?= =?UTF-8?q?s=20indexOf=20and=20lastIndexOf?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringIndexMethods01.class | Bin 0 -> 1181 bytes .../StringIndexMethods01.java | 20 ++++++++++++++++++ .../strings/StringIndexMethods01/test.desc | 8 +++++++ .../StringIndexMethods02.class | Bin 0 -> 666 bytes .../StringIndexMethods02.java | 8 +++++++ .../strings/StringIndexMethods02/test.desc | 8 +++++++ .../StringIndexMethods03.class | Bin 0 -> 667 bytes .../StringIndexMethods03.java | 8 +++++++ .../strings/StringIndexMethods03/test.desc | 8 +++++++ .../StringIndexMethods04.class | Bin 0 -> 695 bytes .../StringIndexMethods04.java | 8 +++++++ .../strings/StringIndexMethods04/test.desc | 8 +++++++ .../StringIndexMethods05.class | Bin 0 -> 701 bytes .../StringIndexMethods05.java | 8 +++++++ .../strings/StringIndexMethods05/test.desc | 8 +++++++ 15 files changed, 92 insertions(+) create mode 100644 regression/strings/StringIndexMethods01/StringIndexMethods01.class create mode 100644 regression/strings/StringIndexMethods01/StringIndexMethods01.java create mode 100644 regression/strings/StringIndexMethods01/test.desc create mode 100644 regression/strings/StringIndexMethods02/StringIndexMethods02.class create mode 100644 regression/strings/StringIndexMethods02/StringIndexMethods02.java create mode 100644 regression/strings/StringIndexMethods02/test.desc create mode 100644 regression/strings/StringIndexMethods03/StringIndexMethods03.class create mode 100644 regression/strings/StringIndexMethods03/StringIndexMethods03.java create mode 100644 regression/strings/StringIndexMethods03/test.desc create mode 100644 regression/strings/StringIndexMethods04/StringIndexMethods04.class create mode 100644 regression/strings/StringIndexMethods04/StringIndexMethods04.java create mode 100644 regression/strings/StringIndexMethods04/test.desc create mode 100644 regression/strings/StringIndexMethods05/StringIndexMethods05.class create mode 100644 regression/strings/StringIndexMethods05/StringIndexMethods05.java create mode 100644 regression/strings/StringIndexMethods05/test.desc diff --git a/regression/strings/StringIndexMethods01/StringIndexMethods01.class b/regression/strings/StringIndexMethods01/StringIndexMethods01.class new file mode 100644 index 0000000000000000000000000000000000000000..f8086f133e6a279bb2247de2ef88906628d9fe73 GIT binary patch literal 1181 zcmZuv%Wl(95Ir}K+I1Y_IBnvT7AUlkHqZz3-SScaDN;)pMM#v@jeS#GQU}=%V#`k; zwHubKDN-td1bZZYgRelqT$eT?iDb>#bLN~oK6AhS{`?id9PVn!VN}KCeq?b)!x+XD zT-A`osQkDlLrI1S6_YZTWw@^5hRjnkOskktFstDvZYh{!$c^zJ5Ps-3yx@Tw@M>K+ z3~Yy?Z_V}G@D4+~H1U)nvEFb5LuSME#N+0ERrpV2GXeYD^%(M{=No(cHJ`3?Z+Ch- z^j&XvRT9(NA-7*{@>fy6f_VmY&946w*R~r?-xiNtDOEh7RXj($*%aZ6h7-)pPDxcA zc@!ANc{6P6^U$?J5rj4m#IEp!PlblZL&vSvs`aMOF@QljNXG&e8LakL_fP-zq3<_* zi7)9`#-a>MG*??;0V@(-WzgD3$Tli3%X0tOC=3I==2oz#<2J}ZqdmY@bx+vgf29*H zgW}5H-l~zKrOHHwAz7+KIaTLD7)H)7MEUpjJl&t}mQ3H)um) zlK|TE4o2y6<>782HJEF!Y z&ziA~Bg7ApFB^6X2}6C4)E6Y59i#8tDZmpgC|$r{*%%{6tOtRVR3qI9SY?A7#TNRF zd?$3GrS{M=wH8vwNGHK6o0_4tpm#(0vYD2gY$t~R5&UBNl&H5sX37%Jw;;7w?#A%(Zlaey?AsOJYV_z44lkYz=fY=(9?Ow1hgUl>*} zVil|*dMvA$Cz%Up>zs@B24u}_3+5q|#0MnepAc`)aJpKlmqbjzCojOoXv9l@0fmtI AQUCw| literal 0 HcmV?d00001 diff --git a/regression/strings/StringIndexMethods01/StringIndexMethods01.java b/regression/strings/StringIndexMethods01/StringIndexMethods01.java new file mode 100644 index 00000000000..da000057993 --- /dev/null +++ b/regression/strings/StringIndexMethods01/StringIndexMethods01.java @@ -0,0 +1,20 @@ +public class StringIndexMethods01 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + + assert letters.indexOf('c')==8; + assert letters.indexOf('a', 1)==5; + assert letters.indexOf('$')==-1; + assert letters.lastIndexOf('c')==13; + assert letters.lastIndexOf('a', 25)==22; + assert letters.lastIndexOf('$')==-1; + assert letters.indexOf("diffblue")==29; + assert letters.indexOf("diffblue", 7)==29; + assert letters.indexOf("generation")==17; + assert letters.lastIndexOf("diffblue")==29; + assert letters.lastIndexOf("diffblue", 25)==-1; + assert letters.lastIndexOf("automatic")==0; + } +} diff --git a/regression/strings/StringIndexMethods01/test.desc b/regression/strings/StringIndexMethods01/test.desc new file mode 100644 index 00000000000..005d4459f12 --- /dev/null +++ b/regression/strings/StringIndexMethods01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods02/StringIndexMethods02.class b/regression/strings/StringIndexMethods02/StringIndexMethods02.class new file mode 100644 index 0000000000000000000000000000000000000000..fe322fde894d06c831a4097040b85f7f2dbd88f0 GIT binary patch literal 666 zcmZuu&rcIU6#ibfyVEWUl!COVMN!bAi5SC8Vl=2plOl&26Y(_Noz}tauGyV6{w-WQ zdR7xiG|{_%lQF(ogvP|ndvD&n@5j9P`TOg40Nc3fqmEV$?K%Wjd|bpOfy+Kzv;;an zR&hn(Dq(S5=DEs@PLuqx&gC#x5rGZ}-i}VRc|dTwn=c5}-852!`Myrnvtlw-*>gM0 z7Za%y!gBXj|4_b@Td_>WTLY8nWPINOX9q@xZ}#Nda$aDKP}>RPzvTWPEwWHO)s|}I z6xK^3^?py8*J+gBy?4j51_&@q*pP)uC(`K9sN94yS7Vi^j2mepO{7PoVO*#HK4w@b zz%^Vaw5PTnoxSx*mZceC>3@O(>j5@!gV2~F_lJinH2<_tu>_&5-~AE6?e=<`Jzmlj zw;S_*c{`EHb*7?o1H2Sd@C7gT0Bih5b^bPLw5@fn9FTo6$2mTAI1^|0)(Pm79mG6G zuWS-S8(84lj`kT^;k??c^gqKnLhE)zR*z9_cpotH4erYmct0#hrR137c_!xQv5Y{I wPc_glbOaW;S~@qeU8(^KO>vCc5k&PPs?HZUQ?fHdmc&IRcxY{3D7BXV0QGx_?EnA( literal 0 HcmV?d00001 diff --git a/regression/strings/StringIndexMethods02/StringIndexMethods02.java b/regression/strings/StringIndexMethods02/StringIndexMethods02.java new file mode 100644 index 00000000000..5c2ea999dd0 --- /dev/null +++ b/regression/strings/StringIndexMethods02/StringIndexMethods02.java @@ -0,0 +1,8 @@ +public class StringIndexMethods02 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.indexOf('a', 1)==6; + } +} diff --git a/regression/strings/StringIndexMethods02/test.desc b/regression/strings/StringIndexMethods02/test.desc new file mode 100644 index 00000000000..cad6c487fae --- /dev/null +++ b/regression/strings/StringIndexMethods02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods03/StringIndexMethods03.class b/regression/strings/StringIndexMethods03/StringIndexMethods03.class new file mode 100644 index 0000000000000000000000000000000000000000..e8733f571683a9351d676f8865818ef6c30d224d GIT binary patch literal 667 zcmZuv-)j>=5dJ22$t9O-o2I`~+ghusrV3WDZx&IiLL{{h5yASjx!c68mpi%L6aSXJ z_~^3=Ehy-_f0Kx_SKA=S!tCtKeBXRKyFY(_{SIIUH+56eC-Va3C$k201# ztogW%bq`kvb8Vru%#2DC{YYssh-E~eLqcU&CCc0ROPi15w6cw5wa*dSDQ!}u?`-%s-_luwkU zT0VnylSsbbm*#aE={t9CTh;&prU;uNH|bay6&k5cD6|~OL}naF6Ja7X91h}K2Jlhm zMggwk8lg3j_3-?zkFzYz2=o7I=%F286W0li3G!fYBt!F0=nPA!$3mMz^TCkE(dlk= zc}^4P9_KX=D3V%bGP=;fb1^w5c)o|&;Ag7w%Tc3c)wAb-?4{XG^J$HD;=O$H6!gg! zVuo#{2oggZm}TFVK1GQau-Yv3KEpZ2!mUR81g`r5^=~M@JVoV)WhfO4)7*$@*;cT^ yBAR@vf_~ZmGRNNhg@m1=7ckrOPEb9D=YE9ie1S6|JC|cg$|wa7tmuWJ*Ww>}&57Rt literal 0 HcmV?d00001 diff --git a/regression/strings/StringIndexMethods03/StringIndexMethods03.java b/regression/strings/StringIndexMethods03/StringIndexMethods03.java new file mode 100644 index 00000000000..83b710073b5 --- /dev/null +++ b/regression/strings/StringIndexMethods03/StringIndexMethods03.java @@ -0,0 +1,8 @@ +public class StringIndexMethods03 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.lastIndexOf('$')==1; + } +} diff --git a/regression/strings/StringIndexMethods03/test.desc b/regression/strings/StringIndexMethods03/test.desc new file mode 100644 index 00000000000..3dff0b27714 --- /dev/null +++ b/regression/strings/StringIndexMethods03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods04/StringIndexMethods04.class b/regression/strings/StringIndexMethods04/StringIndexMethods04.class new file mode 100644 index 0000000000000000000000000000000000000000..69a8fe4d628343caa7e78dbb94db2c2836b7591c GIT binary patch literal 695 zcmZuv!EVz)5PcITw&S{KnzkW@6liH71&MOVjS7JZNEInPq(Y)SZR}0h;@HSuBfg~< zj+_Chl|X_!--HmeE@^~RS(=^Moq6x=TmSm=?FWD^Ha&P~xmd2k#Z?#AJhZXm;JODJ zEeAI|+{CJbHNwKW$TFE~mBiUom5D(lLjoNV>}?e*{fJ<7HeV6SJ4q-Bb3GNym-%=g z(*x7Y2VDv?CMjX@GHwUAecVBZP@hij4~}J^|JypBB{<4R-yaf| zI+wVy%l=Jqb|SW(jSFR_QW;(dV!w3G2kiSHR`~@zepITr%&j=Hz@DPUagM7MUWwPr z-80Z<(}+4pyVxXDF^>l4ru79%{P9Sm)cXSK1kHPm@+m6y_D9TohyD5t&QAkTDj;gi z#JC)7{(BrOaOHx2qwQdkv!x3S-GU65Z@8zZp1>)8LfQHXYYH~eV?Zh>`Hzk2X2Esk EFZ08aZ~y=R literal 0 HcmV?d00001 diff --git a/regression/strings/StringIndexMethods04/StringIndexMethods04.java b/regression/strings/StringIndexMethods04/StringIndexMethods04.java new file mode 100644 index 00000000000..1271bcaf36b --- /dev/null +++ b/regression/strings/StringIndexMethods04/StringIndexMethods04.java @@ -0,0 +1,8 @@ +public class StringIndexMethods04 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.indexOf("diffblue")==28; + } +} diff --git a/regression/strings/StringIndexMethods04/test.desc b/regression/strings/StringIndexMethods04/test.desc new file mode 100644 index 00000000000..758f22d2bf4 --- /dev/null +++ b/regression/strings/StringIndexMethods04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods05/StringIndexMethods05.class b/regression/strings/StringIndexMethods05/StringIndexMethods05.class new file mode 100644 index 0000000000000000000000000000000000000000..a4f4f7674958e1569272f8ec1afd17e2acd9bfb2 GIT binary patch literal 701 zcmZuv&rcIU6#k~W-Q8}NQVK$=f}kL+CgK545~D#)niM&dn1HA0?z9eWcgfDI@o(Yc z(X*OBqKV%9n~d?zVrh(C-miJ@`@VTIKYo4r24EW>fxG?>sWTN;=@7H z#SI^;SaWfcVSb$}B{D73L_L*?4`LB9up^feFP?D3PL-^DEkZzqiZfcyP4&qDEB z8mQLAST~8pyFH;_r;)n<;GRJZFoPPy2G4am=30hYC>?SoMj{az71D(3NDhaCI2Qq` z2#95p6K8;RY%nyZ3ZG1_{VdDUjA7w_+%9eh*hHJ5KAqej9E(u@Rl1mEsK#9BLjL~H ztmNN~bUR&I;uLI`CKR{8*>SUdw$WXx?8Wfw>9*vgBuQW=%Pq0q0bhlyGTW2WS?@|2<=kOfvcY{$X zFly9Kz+@ewaWPMs2lmr^rv-|xT#DE(*nqi)cZSL-T>ArT>ocq=*hG*4DWeoTHnJBB GuBG4EL6lnn literal 0 HcmV?d00001 diff --git a/regression/strings/StringIndexMethods05/StringIndexMethods05.java b/regression/strings/StringIndexMethods05/StringIndexMethods05.java new file mode 100644 index 00000000000..f6de4ce541b --- /dev/null +++ b/regression/strings/StringIndexMethods05/StringIndexMethods05.java @@ -0,0 +1,8 @@ +public class StringIndexMethods05 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.lastIndexOf("diffblue", 25)==1; + } +} diff --git a/regression/strings/StringIndexMethods05/test.desc b/regression/strings/StringIndexMethods05/test.desc new file mode 100644 index 00000000000..d415ef1381e --- /dev/null +++ b/regression/strings/StringIndexMethods05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From 2ec8fe0f291518cb0b48b87d266265d264d32d98 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:24:07 +0000 Subject: [PATCH 13/18] =?UTF-8?q?=C2=A0added=20string=20methods=20length,?= =?UTF-8?q?=20position,=20replace,=20toUpperCase,=20toLowerCase,=20and=20t?= =?UTF-8?q?rim?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringMiscellaneous01.class | Bin 0 -> 1382 bytes .../StringMiscellaneous01.java | 32 ++++++++++++++ .../strings/StringMiscellaneous01/test.desc | 8 ++++ .../StringMiscellaneous02.class | Bin 0 -> 650 bytes .../StringMiscellaneous02.java | 8 ++++ .../strings/StringMiscellaneous02/test.desc | 8 ++++ .../StringMiscellaneous03.class | Bin 0 -> 821 bytes .../StringMiscellaneous03.java | 15 +++++++ .../strings/StringMiscellaneous03/test.desc | 8 ++++ .../StringMiscellaneous04.class | Bin 0 -> 1733 bytes .../StringMiscellaneous04.java | 40 ++++++++++++++++++ .../strings/StringMiscellaneous04/test.desc | 8 ++++ 12 files changed, 127 insertions(+) create mode 100644 regression/strings/StringMiscellaneous01/StringMiscellaneous01.class create mode 100644 regression/strings/StringMiscellaneous01/StringMiscellaneous01.java create mode 100644 regression/strings/StringMiscellaneous01/test.desc create mode 100644 regression/strings/StringMiscellaneous02/StringMiscellaneous02.class create mode 100644 regression/strings/StringMiscellaneous02/StringMiscellaneous02.java create mode 100644 regression/strings/StringMiscellaneous02/test.desc create mode 100644 regression/strings/StringMiscellaneous03/StringMiscellaneous03.class create mode 100644 regression/strings/StringMiscellaneous03/StringMiscellaneous03.java create mode 100644 regression/strings/StringMiscellaneous03/test.desc create mode 100644 regression/strings/StringMiscellaneous04/StringMiscellaneous04.class create mode 100644 regression/strings/StringMiscellaneous04/StringMiscellaneous04.java create mode 100644 regression/strings/StringMiscellaneous04/test.desc diff --git a/regression/strings/StringMiscellaneous01/StringMiscellaneous01.class b/regression/strings/StringMiscellaneous01/StringMiscellaneous01.class new file mode 100644 index 0000000000000000000000000000000000000000..4f63b35324bc7a9d90f2659386560f3732184be5 GIT binary patch literal 1382 zcmZux-*XdH6#j1Z$K7lfnx<^qRG~qrrW9Jx5VfgFNufsj18GMG`n26#%R;it?A|cL zgEKzxSJVe*c8U)7_``BGnAuZL=Xt33{@Z_tmz5W2N3q^g$C zvQ)2c*6M1Qj1*m+zNSo`noW{@u&<9MjWi8pLnJ{g8V91%9LhF1Xr6E5G+mwnx>YPU zrpAF*8Yl;&^c*AWB)u8EjdM@Iep7)c(9=ve8L}A1d$gud_K>cgO}= 0; count--) + { + System.out.printf("%c ", s1.charAt(count)); + assert s1.charAt(count) == s2.charAt(i); + ++i; + } + + // copy characters from string into charArray + s1.getChars(0, 5, charArray, 0); + i=0; + for (char character : charArray) + { + System.out.print(character); + assert s3.charAt(i) == character; + ++i; + } + + System.out.println(); + } +} diff --git a/regression/strings/StringMiscellaneous01/test.desc b/regression/strings/StringMiscellaneous01/test.desc new file mode 100644 index 00000000000..050c3e99e90 --- /dev/null +++ b/regression/strings/StringMiscellaneous01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous02/StringMiscellaneous02.class b/regression/strings/StringMiscellaneous02/StringMiscellaneous02.class new file mode 100644 index 0000000000000000000000000000000000000000..f1d880c012a9bca0bd88834aef0e69b29beb6655 GIT binary patch literal 650 zcmZuvT~8B16g{`wcG_iuQoc$NErN=gh%vlLj08VIQuLw3M0}cVCuMLuYi4KtF}(Qb zvzkDniN5=rjPcGQG$v+~JNM4qbMBcl`}6nL?*O)ND?}ZOHMHswSPId`vcQ!P6)Xy@ zgt&@p0v*Eay38_VolZ^mL}#*}r~!cv3Ds?Fw0lGdHg3Nnly}pCB20I+Q7`gQU)clS z%m*W>4Pjy9P4`&7mz#++!_A(v+6*6h;AGFq`0c)YSM&?45^CFV@|Qg9rMZpOGwrF` z=dgX9#VTPQmFC&~2lqT}gb0&_rJdZRBk6S9IZ&DFJXc0pE>jaB#00ZPxQ;bKYpiAG z;(|}DO)X*mzf%O(Biz7ELSqbl**{jX`)BJM%=RS84Bb&-&mQ|S2JI$nDH}3SnYLKSEOkF4IKkZAQmG?6PcyQmF;3g4PP9mKvLyXk$vyHcg;DKum0(mSsY>F1u!T)-UK+ z;EQj4Ruh`2(RaVVZ}CCAyR{`IO(rw<&fI&>nKSeA&zJ82HtwIo97{Z7h*zqw7^J4# z=M3qV&$}g)(xEGY2Jz}xK~0B_86B&5z_2it+_>=Jh3B~*L+(l$ z3f6SgvCfd0w!Z8gb5oF+S6J|0;W;Ej?664&+uRw5qsZVrO3fp~YY>W5*{jlVdWzq) z>5<6dKKCt;_b-)_vm&4adZ7c9>7i5f2UunyydXt!u+T4>Gn6gT%4n5W&cHr~g_xx| z5p6PR&SH+@uyjPN30fQ3SSuTEtKa1P_@-1FLz4QNa!!7a>LQ6SBaN$(Siw@K}FswyHrK@JH8 zIR*34xWPzz`8PGGSh&2>Mx-5>%_hgtMo^?vNb%2*r@R-}3vp${^zG1ud?c&z7nhHw AM*si- literal 0 HcmV?d00001 diff --git a/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java new file mode 100644 index 00000000000..2adfe30f5d0 --- /dev/null +++ b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java @@ -0,0 +1,15 @@ +public class StringMiscellaneous03 +{ + public static void main(String[] args) + { + String s1 = "Automatic Test Generation"; + String s2 = "noitareneG tseT citamotuA"; + char[] charArray = new char[5]; + int i=0; + for (int count = s1.length() - 1; count >= 0; count--) + { + assert s1.charAt(count) != s2.charAt(i); + ++i; + } + } +} diff --git a/regression/strings/StringMiscellaneous03/test.desc b/regression/strings/StringMiscellaneous03/test.desc new file mode 100644 index 00000000000..f255272ed5b --- /dev/null +++ b/regression/strings/StringMiscellaneous03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous03.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous04/StringMiscellaneous04.class b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.class new file mode 100644 index 0000000000000000000000000000000000000000..c7f02bedbb23ef52f70e38b64db6957dcab1859a GIT binary patch literal 1733 zcmZ`(O;cM{7=BK^&ducl>4i{&qSt;U;iG_Jus~~RNGcjaB|ruIx+Ev`Vo2h>H+H)3 z!j(UOjWaIVjT`GsI-_IVxa!iM;L4>lZac;I-0+cfaFWS+&v`%2bDsBk^Zey6&j3uL zq@oL>3dR(SE4UiQ5GGViVv6H!6&#~syn|^4?{cK%`HYJ9a81Fi+{`JMm+N%}H{|-h zf}3((P;g7erR8Q(S{aV4ire^rq3@FEIKpwG<3o;*7?k;9<>(5vP;1ylk+o#Op;q#;&m7}0x4eK7j zY*qr)uz|a@UtG#&Z{^lA8a|Qx9#=T-uBZyzl+0_`l&9en+#0s9O-wjbhUpllQM_l` zX3-V4VcNF&z_?D&`V^mO_#9to_)>BbJ(D#K;%o=S4#=%Y>iroVWAJUKsrlmThFNi_ zY@)5Jt+&o4NgZtr6dpLP*e9LT8ZITY;;q`m9g=`ccL{TUj)B`PR;5zX>112g790xc z^H}Z7Bq()Rr_3B2QatzKD>Ny+r{YOhX!?kel5i|rlui^$ zBjYy6L8G^Yx9DG>i~b&1WKe3EEI*hW1o|~-H%u#|H8}DV>?bl9r2rxCkW_^WxJb4E z__mI@Bsazy03}Q0lIz#-+T(?_tx>4?mz2zTo1f@9M;vqZ|K_e zk4DOoY!h0ciSE0{o7sR@FB%KzJ)N1OP4u>TBc0x{CeF2a^-k}26Mb#o{!TAdj?M<3 zAgm8Gao(Q_#e%au#-F7We<~aeN0lEi9^=vQbV~KWosX)zFB)oM@cUC59){S%FnfIX zC)H^pCdu`AVh;iyfh(4T14imvDW{BQAx@j(ZXzaRCMlb4!;9KbU4t;opD1O8M z{=gufBZj}IqkmHe|DkUF3xjpz0*m7!8zFlVS6B*hT%wycpuU8`ak=#!7=^D{!Iu7bpgj;1}q0O$0fCSE%L4?IS||1*N8&py_a RgcO8NyD62Iq>T?F{{f+OeIx(? literal 0 HcmV?d00001 diff --git a/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java new file mode 100644 index 00000000000..e9fe0292317 --- /dev/null +++ b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java @@ -0,0 +1,40 @@ +public class StringMiscellaneous04 +{ + public static void main(String[] args) + { + String s1 = "diffblue"; + String s2 = "TESTGENERATION"; + String s3 = " automated "; + + assert s1.equals("diffblue"); + assert s2.equals("TESTGENERATION"); + assert s3.equals(" automated "); + + System.out.printf( + "Replace 'f' with 'F' in s1: %s\n\n", s1.replace('f', 'F')); + String tmp=s1.replace('f', 'F'); + assert tmp.equals("diFFblue"); + + tmp=s1.toUpperCase(); + assert tmp.equals("DIFFBLUE"); + + tmp=s2.toLowerCase(); + assert tmp.equals("testgeneration"); + + tmp=s3.trim(); + assert tmp.equals("automated"); + + // test toCharArray method + char[] charArray = s1.toCharArray(); + System.out.print("s1 as a character array = "); + + int i=0; + for (char character : charArray) + { + assert character=="diffblue".charAt(i); + ++i; + } + + System.out.println(); + } +} diff --git a/regression/strings/StringMiscellaneous04/test.desc b/regression/strings/StringMiscellaneous04/test.desc new file mode 100644 index 00000000000..737ab3b0f8c --- /dev/null +++ b/regression/strings/StringMiscellaneous04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous04.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring From dfdb5416d3980fc8ac40bc8a9b3219991844a33c Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:24:57 +0000 Subject: [PATCH 14/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20startsWith=20and=20endsWith?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringStartEnd01/StringStartEnd01.class | Bin 0 -> 1082 bytes .../StringStartEnd01/StringStartEnd01.java | 31 ++++++++++++++++++ regression/strings/StringStartEnd01/test.desc | 8 +++++ .../StringStartEnd02/StringStartEnd02.class | Bin 0 -> 810 bytes .../StringStartEnd02/StringStartEnd02.java | 15 +++++++++ regression/strings/StringStartEnd02/test.desc | 8 +++++ .../StringStartEnd03/StringStartEnd03.class | Bin 0 -> 808 bytes .../StringStartEnd03/StringStartEnd03.java | 15 +++++++++ regression/strings/StringStartEnd03/test.desc | 8 +++++ 9 files changed, 85 insertions(+) create mode 100644 regression/strings/StringStartEnd01/StringStartEnd01.class create mode 100644 regression/strings/StringStartEnd01/StringStartEnd01.java create mode 100644 regression/strings/StringStartEnd01/test.desc create mode 100644 regression/strings/StringStartEnd02/StringStartEnd02.class create mode 100644 regression/strings/StringStartEnd02/StringStartEnd02.java create mode 100644 regression/strings/StringStartEnd02/test.desc create mode 100644 regression/strings/StringStartEnd03/StringStartEnd03.class create mode 100644 regression/strings/StringStartEnd03/StringStartEnd03.java create mode 100644 regression/strings/StringStartEnd03/test.desc diff --git a/regression/strings/StringStartEnd01/StringStartEnd01.class b/regression/strings/StringStartEnd01/StringStartEnd01.class new file mode 100644 index 0000000000000000000000000000000000000000..37d2596a6c101908d347169dcc750faae76deffd GIT binary patch literal 1082 zcmaJ=O-~bH5PshM?y}gj*a`>;idsNEt*C%R1DKc~Ca#ebPuuPW7t5CHE*?xg$!{>q z#l#CY6E!JDBF3v{{R8?ZJc0ABKr1#T?Y{HQ%ri63GrM1RKkfj?VO)oaE*0GxPHQ-$ zp-0164d-+SIG;cYSrxrHbaZLx)Avx#y?)=(H!42;5WD2a8 zqQLW)COELsitOT}+xBXluVR!zn=F?0i|bZ-EhxG-JzgsP2S$J(n)RLGkwIS3KpGi_ z)Y0lRV&sMqpI7AuH6+(6=fhpxh+RVD8n}p@fo2?MXsOn@aX@`G2+9F5rD{C&5`*A6 z2F8%1zDI{raoNBXT>WdLJB4Mp7?GZJRAA6UPAOdQqKCvXTSq7oJX6PitCs?r>pT0{ zWOexI5)mYn{i}SOfpD z510N2uQoqcL9zy2uQ{hK#MJM`D#=7##Yt!wp-*T64VWT(28~!i5_wX!Ou9ZHO`nqe zj1+xNBE6srZ%D8Ygxn_k3+ej}opj@0tg(k4C@R|N$M~OwZ~X+P=;V!=iBX!xt;nAiwWAn literal 0 HcmV?d00001 diff --git a/regression/strings/StringStartEnd01/StringStartEnd01.java b/regression/strings/StringStartEnd01/StringStartEnd01.java new file mode 100644 index 00000000000..c1bc4bac328 --- /dev/null +++ b/regression/strings/StringStartEnd01/StringStartEnd01.java @@ -0,0 +1,31 @@ +public class StringStartEnd01 +{ + public static void main(String[] args) + { + String[] strings = {"tested", "testing", "passed", "passing"}; + + int i=0; + for (String string : strings) + { + if (string.startsWith("te")) + ++i; + } + assert i==2; + + i=0; + for (String string : strings) + { + if (string.startsWith("ste", 2)) + ++i; + } + assert i==1; + + i=0; + for (String string : strings) + { + if (string.endsWith("ed")) + ++i; + } + assert i==2; + } +} diff --git a/regression/strings/StringStartEnd01/test.desc b/regression/strings/StringStartEnd01/test.desc new file mode 100644 index 00000000000..a5463d5b5ea --- /dev/null +++ b/regression/strings/StringStartEnd01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringStartEnd01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringStartEnd02/StringStartEnd02.class b/regression/strings/StringStartEnd02/StringStartEnd02.class new file mode 100644 index 0000000000000000000000000000000000000000..f7b535e4848e94bf5bb0cddd7f7684014d04f7a7 GIT binary patch literal 810 zcmZuvO-~b16g_Xg-gG*pWw6*nQNgMOEJZ?C2oeq8s^Ve{P+U#h2@aMinR)dW@F!$r z;)abIHGxDU?)@A730LBMqtHl5X5PDV-?{hPbKd;;{pA$EJZ3Enpu{m|;)aQvCT^J+ zH!)#B!R-`mlsWELuq5WLg?p%QOfn3Wy*TzG5p=_NHHf`t$8R&RZ3bg02m`UqpjIX~ z7_^mc+h@qugV0~^?KS=Ag#^>Vo)?4+!v-W#%@t7)?kvi}j4Qm>>u276 zg6EiGFqc}Lf6Xno+lyNM(?GV$|1G0}NUVkJ*|{0n(Z(PghTP@uG@|fhA?M{XAVNy* zOFc3rgCwO0-^MiV+sGovQ0Vu0axQ%>in&au6Y@6OpJAm#bCP{+KMo?leK8W5AbNB_?r&q9?r(sundJ&n1Vt*Cw1w6o z`WmC1(XLOOfPIueT%*-Uk_;*2F-)<9et-r}`xgHOrJ*{i+t3`%ZRn2fHVnsb>*}NF z_3G(@rY`7tJ+Hk-shZd49vVf%;m0uF!Z=XafzFQ3ettsg5V?}}4(YG38Yf79m+VTy zJ^_QL;*(w32AqR~IMny)k2wniD07UPxMJd}iEAb% zOiWr(a6JPX6^UJx=2S6?=^y*FOHF+{A0Ye&X$> zc#dfXbE)0=*W7Zuy{Ii72eMW1Zy6Ot$y(^o-J6viZ4AO;D4g$3BPJqF74MY|sJvt!oH!(rCH$a!n3L{biMJkvyh1MbZ z8mFDnu1_Cg$LOtFN1fCf(c3;qpCQ*~6gsX3b4)E(Vz8jj&M)CV)` zwc`a%UC@hqQG1Vat*GCcZ=kgR literal 0 HcmV?d00001 diff --git a/regression/strings/StringStartEnd03/StringStartEnd03.java b/regression/strings/StringStartEnd03/StringStartEnd03.java new file mode 100644 index 00000000000..79479f9535b --- /dev/null +++ b/regression/strings/StringStartEnd03/StringStartEnd03.java @@ -0,0 +1,15 @@ +public class StringStartEnd03 +{ + public static void main(String[] args) + { + String[] strings = {"tested", "testing", "passed", "passing"}; + + int i=0; + for (String string : strings) + { + if (string.endsWith("ed")) + ++i; + } + assert i==3; + } +} diff --git a/regression/strings/StringStartEnd03/test.desc b/regression/strings/StringStartEnd03/test.desc new file mode 100644 index 00000000000..e6d8c460709 --- /dev/null +++ b/regression/strings/StringStartEnd03/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringStartEnd03.class +--string-refine --unwind 15 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From fdf2b9f87ae18cef5facf5bf88e427d996d46c6f Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:25:48 +0000 Subject: [PATCH 15/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20valueOf=20methods?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../StringValueOf01/StringValueOf01.class | Bin 0 -> 1565 bytes .../StringValueOf01/StringValueOf01.java | 41 ++++++++++++++++++ regression/strings/StringValueOf01/test.desc | 8 ++++ .../StringValueOf02/StringValueOf02.class | Bin 0 -> 749 bytes .../StringValueOf02/StringValueOf02.java | 9 ++++ regression/strings/StringValueOf02/test.desc | 8 ++++ .../StringValueOf03/StringValueOf03.class | Bin 0 -> 748 bytes .../StringValueOf03/StringValueOf03.java | 9 ++++ regression/strings/StringValueOf03/test.desc | 8 ++++ .../StringValueOf04/StringValueOf04.class | Bin 0 -> 688 bytes .../StringValueOf04/StringValueOf04.java | 9 ++++ regression/strings/StringValueOf04/test.desc | 8 ++++ .../StringValueOf05/StringValueOf05.class | Bin 0 -> 686 bytes .../StringValueOf05/StringValueOf05.java | 9 ++++ regression/strings/StringValueOf05/test.desc | 8 ++++ .../StringValueOf06/StringValueOf06.class | Bin 0 -> 687 bytes .../StringValueOf06/StringValueOf06.java | 9 ++++ regression/strings/StringValueOf06/test.desc | 8 ++++ .../StringValueOf07/StringValueOf07.class | Bin 0 -> 916 bytes .../StringValueOf07/StringValueOf07.java | 10 +++++ regression/strings/StringValueOf07/test.desc | 8 ++++ .../StringValueOf08/StringValueOf08.class | Bin 0 -> 694 bytes .../StringValueOf08/StringValueOf08.java | 9 ++++ regression/strings/StringValueOf08/test.desc | 8 ++++ .../StringValueOf09/StringValueOf09.class | Bin 0 -> 702 bytes .../StringValueOf09/StringValueOf09.java | 9 ++++ regression/strings/StringValueOf09/test.desc | 8 ++++ .../StringValueOf10/StringValueOf10.class | Bin 0 -> 722 bytes .../StringValueOf10/StringValueOf10.java | 9 ++++ regression/strings/StringValueOf10/test.desc | 8 ++++ 30 files changed, 203 insertions(+) create mode 100644 regression/strings/StringValueOf01/StringValueOf01.class create mode 100644 regression/strings/StringValueOf01/StringValueOf01.java create mode 100644 regression/strings/StringValueOf01/test.desc create mode 100644 regression/strings/StringValueOf02/StringValueOf02.class create mode 100644 regression/strings/StringValueOf02/StringValueOf02.java create mode 100644 regression/strings/StringValueOf02/test.desc create mode 100644 regression/strings/StringValueOf03/StringValueOf03.class create mode 100644 regression/strings/StringValueOf03/StringValueOf03.java create mode 100644 regression/strings/StringValueOf03/test.desc create mode 100644 regression/strings/StringValueOf04/StringValueOf04.class create mode 100644 regression/strings/StringValueOf04/StringValueOf04.java create mode 100644 regression/strings/StringValueOf04/test.desc create mode 100644 regression/strings/StringValueOf05/StringValueOf05.class create mode 100644 regression/strings/StringValueOf05/StringValueOf05.java create mode 100644 regression/strings/StringValueOf05/test.desc create mode 100644 regression/strings/StringValueOf06/StringValueOf06.class create mode 100644 regression/strings/StringValueOf06/StringValueOf06.java create mode 100644 regression/strings/StringValueOf06/test.desc create mode 100644 regression/strings/StringValueOf07/StringValueOf07.class create mode 100644 regression/strings/StringValueOf07/StringValueOf07.java create mode 100644 regression/strings/StringValueOf07/test.desc create mode 100644 regression/strings/StringValueOf08/StringValueOf08.class create mode 100644 regression/strings/StringValueOf08/StringValueOf08.java create mode 100644 regression/strings/StringValueOf08/test.desc create mode 100644 regression/strings/StringValueOf09/StringValueOf09.class create mode 100644 regression/strings/StringValueOf09/StringValueOf09.java create mode 100644 regression/strings/StringValueOf09/test.desc create mode 100644 regression/strings/StringValueOf10/StringValueOf10.class create mode 100644 regression/strings/StringValueOf10/StringValueOf10.java create mode 100644 regression/strings/StringValueOf10/test.desc diff --git a/regression/strings/StringValueOf01/StringValueOf01.class b/regression/strings/StringValueOf01/StringValueOf01.class new file mode 100644 index 0000000000000000000000000000000000000000..8103d7fb901728c98fd932908491f85aef3bfe16 GIT binary patch literal 1565 zcmZ`(TXzdl6#h;!lQWrwP9tekq!+4Er57o!-lS5cRV|tzEsIGrVThDm`Wrm?0e$ht zT9y}=RkN^o@nG>Yc=98#PkNgnomuPbea^SN< z83hSJCls6&bduwoiu0J_m}c11u9r$iv1~3EN)u*D&*Y6P16yG5jF<(pJjURTc3x$W z63bbGp>D=37_*fJ8KamK!UR0f%>qM1baCdMzM}W!^}?N=`Et=L+!+>%yXMRK(*2A2 z!>T;T1&$eV&2f=I8ClA2cv0t>-tyqe8rf{_4aiO%YGcdLGo8NN@dda zV-|CMw4#mdWX)VIL&APs!exf=b|mAQ>76YWmy1H_3Z+ECf}LlOb9%l+db3DU-bulv zh#3$JMepnD-TK7QHBvs_eL}F;sYbC_cPthYyEN72pQt$&{8+>d25mc@xy(IdsZ52h zQ7#78V!|Q4Zjphnte2u%=S1iKm8MvXM-@tiAr!U2>+Xg-siEQMVq$8lrfw*@u)}$6 zU!mwucBXf*Gr7b0M9uS#S}EAF+88e?`F3Fwd75OZPu3`zMI*b_cN)KPg#a4k1+>v^ zYM~3qw6K^Q;@n_ju4rwiU4$qjDj#_V_DTri5Url-A%hnkI7~c=y1bC+DuUhCl#g=S ztz}bbNi$PvS<9u;9@U*MJ<526+(jDJ8&% z)GiCkknc6Ts|Ypu0_qxktMGk*Km887K6iOM7Ixe4Iw!v0f@VYOooK{Dz=rN|q9Msb z&<2N`aD!~2!3H-v;YMyDY=fJea9FXh*9Px%!cD4${Wh38VbKLwwF?F86RklH^`j4* zUQh*t)RR%D7>5s&)Q@TGrYE2dcTtar2;eb-c!Cg~p%E_;#ux0xce3+?TKx;n%!O9w zr6;6~o|Y)uSsWeg91gQvh|&)l4DTN@rgC(09AS(}E;mOP$5Egq5@{A6g>h_ag8HkY k0@Md0YiM2tm!3m%zkzofgc5PcgvUdM5pZJL%8D4zwAwh)AJYlT1oE=}nnxRTqG6K^UP*8zX@&fmx% z;0#DD0t9#d6Np)dHhf%WcW36kdGq%B&re?gv~kyhg(V9Yaj66omrX3I#}$sN77Q$L zT(fW;H#lxG%&&M!BI7g|Mah#O@%o|k8Q30!u^B```jA0uGL3FU8fHS?+8@$~1UgiB9D;&2N%*{dgo8Rh< zvUnh$1&XaULGF5CCU=JSAKX)%HfAtOFdMgV$3_`8L&*<@!(pG=Y&6hhs86RqK3nN& z9FJlW{SPU}s*N?QGl(f@r++91DMMku^H+X?W#GpXP5G*w=Ksr*W%70Ag$ct#u;fJAD~S+&$duJMHK8uYS#<-$oemIOqV+V literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf02/StringValueOf02.java b/regression/strings/StringValueOf02/StringValueOf02.java new file mode 100644 index 00000000000..a730af26c02 --- /dev/null +++ b/regression/strings/StringValueOf02/StringValueOf02.java @@ -0,0 +1,9 @@ +public class StringValueOf02 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String tmp=String.valueOf(charArray); + assert tmp.equals("difffblue"); + } +} diff --git a/regression/strings/StringValueOf02/test.desc b/regression/strings/StringValueOf02/test.desc new file mode 100644 index 00000000000..00835385bc8 --- /dev/null +++ b/regression/strings/StringValueOf02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf03/StringValueOf03.class b/regression/strings/StringValueOf03/StringValueOf03.class new file mode 100644 index 0000000000000000000000000000000000000000..886aedc6b1d40d822d3bebede947ebfa4dabde7d GIT binary patch literal 748 zcmZWm%Wl&^6g?9=9>;N;X_}T4D9-{(TL=;rn^p)EK&q6qi{MIbR(3L}TwDkI=nwE0 z`2p5|)FMEz=bu2_Nod1kb7$s0&N=tY_n)7>0@%P^3l^3vT*RdUOk6gxtR7c5u39j# z#Bt5Sb==^%$uPg-C5epFU>GG&gT(Vg*=Jz;48~Rv1?eLOtybS-(3``)WGJ$VQPW3Lf<(Ltk=#zAzjsRm~{sn>hi_Fj$qIaWAsF_>Gu@Hf8I z8D?=$J`WUHWiq+vg_+zP+<$OSVcM9%ERET?jXO4qu!(ly`=N~*>I~H>@sqP{p2hJn zCcXdQaje={!#abQ4(p`|HdGbGo^v%XA%SoY6FlT~R(1+sjfzR0AH1emC*mFcE|?8Gd^61|q`WOU|N zPr=@)MhJ?=ILT1J9LjW8t#6>yFt8)cFL_rJeaF>B;JA4)a9l$LE_}x|Md-M~5E(@- zq|;h6jE~5*-$NUrvR>9tkRPG=8HRfb{!MY_#++rsCn0DM`$KTFN%}lxieNv`=BRKi pP-^j9`^H!#FjqEDP#A&hZ=q`+piME)_E0!^M!zEmC*nI literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf03/StringValueOf03.java b/regression/strings/StringValueOf03/StringValueOf03.java new file mode 100644 index 00000000000..0c51518b300 --- /dev/null +++ b/regression/strings/StringValueOf03/StringValueOf03.java @@ -0,0 +1,9 @@ +public class StringValueOf03 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String tmp=String.valueOf(charArray, 3, 3); + assert tmp.equals("fbbl"); + } +} diff --git a/regression/strings/StringValueOf03/test.desc b/regression/strings/StringValueOf03/test.desc new file mode 100644 index 00000000000..19921a8e98f --- /dev/null +++ b/regression/strings/StringValueOf03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf04/StringValueOf04.class b/regression/strings/StringValueOf04/StringValueOf04.class new file mode 100644 index 0000000000000000000000000000000000000000..5a0d670146c1cc44317c411ef7e8ef77c246899c GIT binary patch literal 688 zcmZWmT~8B16g{`Q-D#JFmQt{a6j6j0jrha^bh!~ zCSWwtcmI>dJ6oZCWRjWtdG5JqzW@CE6+jF3eE6vOxQ-h|6tGypP3tTP)O~oU2`u}# zg%yF@gt=82$I2vn7{yO@EPJ6E5U5M=+B(w7BZAXt9uVB^;Xn~eJ33M?(&L^o`?i=9 z$5Kaxg~schBY7q_Lm3@zb`qnb!!6r5-AQEs?XEn@>ILo)3hjRQ8{F>+x&k$7D=6^GK_7(AL%jVR+CjMO$Kd;EHw)?P_Z^@ za7C8&Nm5R*&RwkVkNNzKRIb@o*>b=dVutS$drSNhzxj;|(0f~mGT&YnBor}=3fs2y zC34&hEIaMRPsr_lfHOk%e#JdUeuSwn@LpX&e6t|A45R{=?L2!P1fM!{nd3+i^aFJg psB&Qbib^Y+3Cvas=O~UK+;?!Dk8mc4m$WPj;|7l{`GsuYwO{$qh?F%VLI@Z{1QawuOFY1dlm!*^1ab&P6?mE?BQ>yWU_baV`2(KS zDzLN)?))bxdp1H)FZ0pe@Ad09bA9{s62LNExo}Z&F^R`{=P6LXmscpfOjJK@9?CPhs$Bm0xt=bLCf{KIo^k1H)N&%kO@>h)UZe> z4nW(jL)DJ|3iV+Gan_eX7_T;J|Ifw_snbOIktukP?o+PT*uuh~QNw4S*`wPa=ms++ qQ0Bn+y_V&)DKJ{fog?3au)n~zzQY7y# literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf05/StringValueOf05.java b/regression/strings/StringValueOf05/StringValueOf05.java new file mode 100644 index 00000000000..03854f575b0 --- /dev/null +++ b/regression/strings/StringValueOf05/StringValueOf05.java @@ -0,0 +1,9 @@ +public class StringValueOf05 +{ + public static void main(String[] args) + { + char characterValue = 'T'; + String tmp=String.valueOf(characterValue); + assert tmp.equals("A"); + } +} diff --git a/regression/strings/StringValueOf05/test.desc b/regression/strings/StringValueOf05/test.desc new file mode 100644 index 00000000000..ccb5b3dc440 --- /dev/null +++ b/regression/strings/StringValueOf05/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf06/StringValueOf06.class b/regression/strings/StringValueOf06/StringValueOf06.class new file mode 100644 index 0000000000000000000000000000000000000000..e9a8065210a235df735a15b77a18eaf94156a2fd GIT binary patch literal 687 zcmZWnT~8B16g_u$yVEWUEu~-;5m3+;3HU(dfre;M5)+Vz8WP}X+74uJ+3J4qWBLbp zMiVfa=)3<(!=0^Am6!Rr_nvdlJu^RlfBg<%1y4PAsCu}Idj;e%na6!|nG$&5!9`VI z+QSTH1s)Q{=42eJDAC<8ex+mC3RH(c`vkY4L!GP>>{@-7;B0g|ics9rp?aI1v{dxY z6m#N4>X0x|JJ>pwr*b)v;n8w4iFA0hW`M)ZM7G~=%MV$-z#~Gw(GLEQd(CbdwbiCJ zRFyt#R|cutIehkf$q@P&#t6fF%wgWg5PX8Qy6WRGo)D^oo-eNlc^yUFh^79=CQ$QH z#{!`=0PVDnRXh17)Q1toXSjSg0i!7M z*_1Y6F&LOBiN@p?Slgdq_fT0ZI~U0HF!T-X-X+8j!(wGDWjK7!G0J5b{7ZNp<46JY t3)3V};lTKfmX)k2Fj~%EpwNSG&fwUeVGkIubs3f%EdPa3Kan-Oa|N)_hcf^G literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf06/StringValueOf06.java b/regression/strings/StringValueOf06/StringValueOf06.java new file mode 100644 index 00000000000..b13a3899f0f --- /dev/null +++ b/regression/strings/StringValueOf06/StringValueOf06.java @@ -0,0 +1,9 @@ +public class StringValueOf06 +{ + public static void main(String[] args) + { + int integerValue = 7; + String tmp=String.valueOf(integerValue); + assert tmp.equals("77"); + } +} diff --git a/regression/strings/StringValueOf06/test.desc b/regression/strings/StringValueOf06/test.desc new file mode 100644 index 00000000000..c78afa98f2f --- /dev/null +++ b/regression/strings/StringValueOf06/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf06.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf07/StringValueOf07.class b/regression/strings/StringValueOf07/StringValueOf07.class new file mode 100644 index 0000000000000000000000000000000000000000..36e9401884cee02e9c9682975e101417a17d58e4 GIT binary patch literal 916 zcmZWoZBr6a6n-u&yRfW+h(s?WmKInF7G?!CI#wSV(`ImNv`-6MnYCrt_Qje03V)!_ z*$g%{)%Si!f1{>z7ZJ(*aPQf3pYxn^pL6c7zh8d*Y8>#UNAwz&a8JQ~jRacOki-Oowp1Q|8XjPUAv=s+8%XfnacqY!`ClCh z9%^`m$0G^*m{HdU*W(>h%=SHoslFbDU3yJoc!cMAr^=ul_3uZB!pq`C(WogwX`_ME zkV8SU&rmB|3_34@Ns7MMflk>`1k(HntU?Mf%L!t{s`Uolf8L=VjpkTogK}cH_*SZ=c Gz4i~F)WtRc literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf07/StringValueOf07.java b/regression/strings/StringValueOf07/StringValueOf07.java new file mode 100644 index 00000000000..c4c44435d22 --- /dev/null +++ b/regression/strings/StringValueOf07/StringValueOf07.java @@ -0,0 +1,10 @@ +public class StringValueOf07 +{ + public static void main(String[] args) + { + long longValue = 10000000000L; + System.out.printf("long = %s\n", String.valueOf(longValue)); + String tmp=String.valueOf(longValue); + assert tmp.equals("100000000000"); + } +} diff --git a/regression/strings/StringValueOf07/test.desc b/regression/strings/StringValueOf07/test.desc new file mode 100644 index 00000000000..7b19c4ff67b --- /dev/null +++ b/regression/strings/StringValueOf07/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf07.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf08/StringValueOf08.class b/regression/strings/StringValueOf08/StringValueOf08.class new file mode 100644 index 0000000000000000000000000000000000000000..356ddbbb9d4b840183665cc3543a33134f8f4808 GIT binary patch literal 694 zcmZWnT~8BH5IwWq_I8)WmZe}pu@z8TBtQ%%CJ=)Gc>;N;ArYQ#+bg-aY;`~QG5rHP zqX`&I^xglYaqbqVA1`y~&dfP8bMF1|>&rI)t5|d~f+>5W4!D@c9S08X7BOQk_XKJ# z1f~S)F79JiV2&_8FXLE6iSC8*mX2jRP+bBY5DM!$)X8%~uF>2l*qgnsB9wM?s9vQf zZ56#X#hf^iIwVXs4tI{_say_Zc(mL~A{`#B8Q^Fuk)3zD@_kk>Fi$A1cY-T&x7ACd zj@s6SsxpA>%OF*IZ&#iz8A1=YP-2*e2YBeg!zlNBvh;Mt!y_~Z)nV5c*Q>mYqF%(q z{=+BG^ss=(gz^xy*FILANIyZ$FV_V3A z#9$xe?3>aSECvI0-`bk{jNI-=*nLzM{rm+AeT;mCcyo#3cf(?3EIw@Z^NcE>$X}(# yw!#qy^b<8pV1fgaH?yo}O@T4rxq#b;u+L!UKEWO`Ue9G%^02%OGyUzXVf8mK-iSK@ literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf08/StringValueOf08.java b/regression/strings/StringValueOf08/StringValueOf08.java new file mode 100644 index 00000000000..539c60e5a9f --- /dev/null +++ b/regression/strings/StringValueOf08/StringValueOf08.java @@ -0,0 +1,9 @@ +public class StringValueOf08 +{ + public static void main(String[] args) + { + float floatValue = 2.5f; + String tmp=String.valueOf(floatValue); + assert tmp.equals("2.50"); + } +} diff --git a/regression/strings/StringValueOf08/test.desc b/regression/strings/StringValueOf08/test.desc new file mode 100644 index 00000000000..a7d90b1b9ef --- /dev/null +++ b/regression/strings/StringValueOf08/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf08.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf09/StringValueOf09.class b/regression/strings/StringValueOf09/StringValueOf09.class new file mode 100644 index 0000000000000000000000000000000000000000..e852bce13a4efeac1af59da4f7f6ac6010aa2498 GIT binary patch literal 702 zcmZWnT~8B16g{`y-D#J_mQt{yC{>ge1x(6|ftVW5_<-YC}JM;bL=TiWySaRWE#%VU+zCP`L`{?2_uH@lj zHixU`a!p{)MGi9pRTtNBLtvgTIWMC~g|Y4h(WZ`M+gDuz?Gv1J9q9NzAzQ2O5v+|~ zR}l(ZI#AomQCo$(CYb|AQU`?T+Ow@g*_SK63=URWaj1iXH3J-P#j^9_iF}#n3*02+ z);s=ha<|n>!j5{R4OMvv+mn8xcAnq8w`>SK6i{TChg(?iFpdiZ(P%6;czLLyPN<9u zKRD~=VHoy8*82~oz@mrSxI-w8Ks)V2)rtRd4PjiVKNLfls%_T)?~v!DUM13xOu`@G zA>~?~2U!>u+VFYWJgcsXbf~)LVtGVy!T}!jKC1j^9zQ7+E2djMWx*^cvYp`DEbqj- zy?6q8XA)6j>!eOX9+N2Z*`)3w1B>@+8JWimpI~jjhdn@fspK3(3^4Wuxu++{e>F6j zl%|vdY_<+l@t@%@GsV$7=m+Mq0@LiccrIo&tqM$(++&OlAgnjAvL9fN7|(t3&iEl0tMVnGpGK+uFYh|!=t6?mwU08iU?C5OjV@AmjH{R2L$ z2^dZE-T$O<_6ih@FSE0=^L_Kp%>MlS^*ewythgv)+QDrXcQ8{#5qBNb&1F_#&V|6V zz&#iDF)#3dFflKaM8!JjN6CvIk)2TW2y{RwYy?rDpAzzo<{rV??DrI*+zKMKlb&=` z{K_Qr!-)(c!c^n1bu3TiYABSY}F zW7ho-ufURrWjrEOMxfo!vFhr-LPHoqoDLNc78=+393s}6*FqPq^8nTRRE7y*@_z`P zaCuaDGvqb!5PK>KV%57+&$H7hKkyC?Fvr_0@s_DlGtIM?2bs~Zt?+GzPvX;FJO_O= zi5O>F$b!UR9~11G)Yr%{7?|~Qt)(x>Z-0U{Ky}%-&rlek^bKPF9L^8JlFL|pSnS)3 zD!}1yRA*b|ND1@{b%9BNDGuGdQnQwo1;+j28QcMc^#NA?GprHkr82`~Bj-Ic`fFLq GTYmttSCRDq literal 0 HcmV?d00001 diff --git a/regression/strings/StringValueOf10/StringValueOf10.java b/regression/strings/StringValueOf10/StringValueOf10.java new file mode 100644 index 00000000000..044586124a7 --- /dev/null +++ b/regression/strings/StringValueOf10/StringValueOf10.java @@ -0,0 +1,9 @@ +public class StringValueOf10 +{ + public static void main(String[] args) + { + Object objectRef = "test"; // assign string to an Object reference + String tmp=String.valueOf(objectRef); + assert tmp.equals("tesst"); + } +} diff --git a/regression/strings/StringValueOf10/test.desc b/regression/strings/StringValueOf10/test.desc new file mode 100644 index 00000000000..5de3d5aade7 --- /dev/null +++ b/regression/strings/StringValueOf10/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf10.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring From 0f438fa5a11c8879067b1c00310eb6ea5283a28b Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Wed, 22 Feb 2017 14:26:42 +0000 Subject: [PATCH 16/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20string=20class=20substring=20methods?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- regression/strings/SubString01/SubString01.class | Bin 0 -> 829 bytes regression/strings/SubString01/SubString01.java | 13 +++++++++++++ regression/strings/SubString01/test.desc | 8 ++++++++ regression/strings/SubString02/SubString02.class | Bin 0 -> 744 bytes regression/strings/SubString02/SubString02.java | 9 +++++++++ regression/strings/SubString02/test.desc | 8 ++++++++ regression/strings/SubString03/SubString03.class | Bin 0 -> 734 bytes regression/strings/SubString03/SubString03.java | 9 +++++++++ regression/strings/SubString03/test.desc | 8 ++++++++ 9 files changed, 55 insertions(+) create mode 100644 regression/strings/SubString01/SubString01.class create mode 100644 regression/strings/SubString01/SubString01.java create mode 100644 regression/strings/SubString01/test.desc create mode 100644 regression/strings/SubString02/SubString02.class create mode 100644 regression/strings/SubString02/SubString02.java create mode 100644 regression/strings/SubString02/test.desc create mode 100644 regression/strings/SubString03/SubString03.class create mode 100644 regression/strings/SubString03/SubString03.java create mode 100644 regression/strings/SubString03/test.desc diff --git a/regression/strings/SubString01/SubString01.class b/regression/strings/SubString01/SubString01.class new file mode 100644 index 0000000000000000000000000000000000000000..861bf6905d377ed4734838615a71b208ff4870df GIT binary patch literal 829 zcmZuvT~8B16g|_g-EOybTS~1UA`044q+oc17!frgDf&=D0zS=dhh}iQtNY=zzoUP^ zXEiB_Ci?Dw(s*YpZ4D-yosVQkHhm$g3&0zXjEn^cfW!cdqoqoHkL3)^II8vN2e7Y-3; zuEypW@?mU;NedX}8;8xSouU4UcQJQEMVNudqPtBRK&^53|H#tR!+}fVBWh2CG7!B< zJ=F6kCV*yliWPbdMS3O7s;kz}E)BAcGW{!bTB4QFnq9vD`=p4Nqkk^Bq+(FTJna?r z1BIq(eNstvT2^(0^wDQzhNx~-vLob%D13u>4zP0`_5|Mu>^jFZGJA)3;1`ePVnkaR`(vg%Qjlw9H3j(qE97ieDC?gtADP Mk5#ERlH3b_0AX3L1ONa4 literal 0 HcmV?d00001 diff --git a/regression/strings/SubString01/SubString01.java b/regression/strings/SubString01/SubString01.java new file mode 100644 index 00000000000..c99db9b7308 --- /dev/null +++ b/regression/strings/SubString01/SubString01.java @@ -0,0 +1,13 @@ +public class SubString01 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + + String tmp=letters.substring(20); + assert tmp.equals("erationatdiffblue"); + + tmp=letters.substring(9, 13); + assert tmp.equals("test"); + } +} diff --git a/regression/strings/SubString01/test.desc b/regression/strings/SubString01/test.desc new file mode 100644 index 00000000000..8eea70cf458 --- /dev/null +++ b/regression/strings/SubString01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +SubString01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/SubString02/SubString02.class b/regression/strings/SubString02/SubString02.class new file mode 100644 index 0000000000000000000000000000000000000000..d758b7baf0b6929136ac7bc16c5f232333cb203d GIT binary patch literal 744 zcmZWn!EVz)5Ph3Cv17X=b<>gp1yWi_+CmZPtrY?lkdV@H2m-Y|t?g~J#j(L&^D+4W z&VZCkAit?(=psgg;YJ(C&tBM~yNLx$>(jHPZKJ8H@dV z=!^8V22)_jWz4Y9IqIG8k9;%Y@nEyBQW+1nb>d84@!;Jae_!BDtTI?TLG+K@?k9N~ zh!;{*HTt!;=^6+9jcvMZEVh5otPu+Sur1NIwj6Z7 zU}4e1vV#?@T4*!Owt1F`RLLaHp2>{+kq8;s2}5O1#!@|IFgo4W4Ca0k3Wi2c#^NX+ z`XYU$lPNIdGG0s4}3e~@nE~JQW+0+bz!})c<}a+zbo=BtTEVoLG%~g=_h#_ zh!;{rdHvj$vB_ zMV+Cn1SPxZpv%yjQhRza@AEWGQij@5|EJMea@qdVZL)EJVD*NM%!jy zOOHyH0j8Cr)1%iC-Hh(?#yQw0oroDaD}|FtqlsCvb?Pyd8g#dtrQW7j_3C37ho51N zFt^n#k5L(+_6^qYIqV-AsZ<~}VUk^@$_f#%unHS< Date: Wed, 22 Feb 2017 14:27:30 +0000 Subject: [PATCH 17/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20StringTokenizer=20object=20used=20to=20tokenize=20strings?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../strings/TokenTest01/TokenTest01.class | Bin 0 -> 1409 bytes .../strings/TokenTest01/TokenTest01.java | 24 ++++++++++++++++++ regression/strings/TokenTest01/test.desc | 8 ++++++ .../strings/TokenTest02/TokenTest02.class | Bin 0 -> 870 bytes .../strings/TokenTest02/TokenTest02.java | 17 +++++++++++++ regression/strings/TokenTest02/test.desc | 8 ++++++ 6 files changed, 57 insertions(+) create mode 100644 regression/strings/TokenTest01/TokenTest01.class create mode 100644 regression/strings/TokenTest01/TokenTest01.java create mode 100644 regression/strings/TokenTest01/test.desc create mode 100644 regression/strings/TokenTest02/TokenTest02.class create mode 100644 regression/strings/TokenTest02/TokenTest02.java create mode 100644 regression/strings/TokenTest02/test.desc diff --git a/regression/strings/TokenTest01/TokenTest01.class b/regression/strings/TokenTest01/TokenTest01.class new file mode 100644 index 0000000000000000000000000000000000000000..70e112fbafba43a04d1e0f208ed307c70c3dedac GIT binary patch literal 1409 zcmZuxOLNm!6#i}`>&l8kVh2M^5)cI%2Ld4v0@!H^gaDy=bjBGvz)G<%K_E*(l9^%8 z8ur=1uwm0p>5O4uNY^l|;P23;=gRRTj5qi7o%5Z?ccjn%z262fja362$8;Rmal*jQ z7)c_BQ5`2aP8k@(X#;04orH9M*W^B(<;Fx95XG`ubzftt7K}lS5BwOE_|4?{q zB8<*XoRNGc4q|}euw9M(iXAy6D>Fh}y(2nB(}>#3fv27^x>} z`S&d0ii+@}FmIhG8*BH470EcEWd|Z}P}o-LtLqO$DdMIoG zU2gPkAqf1y#0@MmB%5iPxQXAWJ2G3^WWEeWd&b>urE)BpSjNhpOzKS}jXHFeArWr6 z4pEQfI`qAxM_ZA_Ct)Niq^(~iicFos@yCBB*&>Q7>`H+l)v9*Ui^PTq82Dq`t%}uq zQt`#nw$Qs4gQN6Cary#T-+&wgIw@dsE@{ouZJ2gO zd*b9r%r zEKl#Np?3@G4fkR7;Ybw~#`BG@es`|HOWLqV9en>??T;6GH*~ zUrccv<~Xtg6P)(?jnRow%fDlS9)^a7b|{qEg2`Ej)f8wtRsu++`)k<01+Kn^s{9S3 Vm2*QZ88?A0^OBVGC|$bn)Bmw>Ko|f3 literal 0 HcmV?d00001 diff --git a/regression/strings/TokenTest01/TokenTest01.java b/regression/strings/TokenTest01/TokenTest01.java new file mode 100644 index 00000000000..2180bc94c1d --- /dev/null +++ b/regression/strings/TokenTest01/TokenTest01.java @@ -0,0 +1,24 @@ +import java.util.StringTokenizer; + +public class TokenTest01 +{ + public static void main(String[] args) + { + String sentence = "automatic test case generation"; + String[] tokens = sentence.split(" "); + System.out.printf("Number of elements: %d\nThe tokens are:\n", + tokens.length); + assert tokens.length==4; + + int i=0; + for (String token : tokens) + { + System.out.println(token); + if (i==0) assert token.equals("automatic"); + else if (i==1) assert token.equals("test"); + else if (i==2) assert token.equals("case"); + else if (i==3) assert token.equals("generation"); + ++i; + } + } +} diff --git a/regression/strings/TokenTest01/test.desc b/regression/strings/TokenTest01/test.desc new file mode 100644 index 00000000000..02a11e8e392 --- /dev/null +++ b/regression/strings/TokenTest01/test.desc @@ -0,0 +1,8 @@ +FUTURE +TokenTest01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/TokenTest02/TokenTest02.class b/regression/strings/TokenTest02/TokenTest02.class new file mode 100644 index 0000000000000000000000000000000000000000..09f38782aa153f91c4836a3c3b5a75cd604e2f76 GIT binary patch literal 870 zcmZuvO-~b16g{u=@ut&3O0m#d!Gb8IAgzS3076uRjYSu2OvKf6`qB)vGdMH#7w{{( zGHzI_5fV*s@5Vo5toId5G3jF7y!Y<8=bm%#`}ybFC4hB2Hen%W;I4rg6SKG%hl#v_ zIeD1pxNpKhj$^^Z13ctdWSCsA!%zf~>wDpIH?-?5(O_VQ4Ena~xzP@TQdoM;pzit& z!7yHNJ@K;Bu8W{1!4zoQuE#J{cw0HL-`k~@?KMl)C~&>zmP{P0Mz(W&V4w8y90iUg z24mZ4{o^;QekX9mzAM?1HUC(6H4#STwN=SyVH`<@S-TVYZ98(Ed_=*#V}~N&6rKp^ z&Zqh;PrMe2Shg^RTMP+`4#E~z@Q5KZ6!>)DdM^n4fY3MUa;#b?p-gIq39sr$!ilJ1 zBW(T$yt2-qg(oeS5*7<1`ZAJ47wWVCo$BnY_e)lc^()TzxjD%*NU{{2pcguZXC!)$_Af|sn$RUEJxqghOmR%p z%H&5DexpbiJxW)HF-kCyxpuqWw*^e3%yT5V;OZGv Date: Wed, 22 Feb 2017 14:28:21 +0000 Subject: [PATCH 18/18] =?UTF-8?q?=C2=A0added=20test=20cases=20related=20to?= =?UTF-8?q?=20validate=20data=20from=20user=20using=20the=20ValidateInput?= =?UTF-8?q?=20class?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Lucas Cordeiro --- .../strings/Validate01/Validate01.class | Bin 0 -> 1415 bytes regression/strings/Validate01/Validate01.java | 30 ++++++++++++++ .../strings/Validate01/ValidateInput01.class | Bin 0 -> 880 bytes .../strings/Validate01/ValidateInput01.java | 38 ++++++++++++++++++ regression/strings/Validate01/test.desc | 8 ++++ .../strings/Validate02/Validate02.class | Bin 0 -> 1187 bytes regression/strings/Validate02/Validate02.java | 22 ++++++++++ .../strings/Validate02/ValidateInput02.class | Bin 0 -> 880 bytes .../strings/Validate02/ValidateInput02.java | 38 ++++++++++++++++++ regression/strings/Validate02/test.desc | 8 ++++ 10 files changed, 144 insertions(+) create mode 100644 regression/strings/Validate01/Validate01.class create mode 100644 regression/strings/Validate01/Validate01.java create mode 100644 regression/strings/Validate01/ValidateInput01.class create mode 100644 regression/strings/Validate01/ValidateInput01.java create mode 100644 regression/strings/Validate01/test.desc create mode 100644 regression/strings/Validate02/Validate02.class create mode 100644 regression/strings/Validate02/Validate02.java create mode 100644 regression/strings/Validate02/ValidateInput02.class create mode 100644 regression/strings/Validate02/ValidateInput02.java create mode 100644 regression/strings/Validate02/test.desc diff --git a/regression/strings/Validate01/Validate01.class b/regression/strings/Validate01/Validate01.class new file mode 100644 index 0000000000000000000000000000000000000000..a5a99f5efc122f3706a204ede0e0d0bfb70352c9 GIT binary patch literal 1415 zcmZuxQBxaL6#gzGxtGmCl7&#x+IH2dDYOA>C?#NROiN1*2?}D8T4$DIEnAY^%U06~^Hkq^ce)rsSzw@1Q_wRpx{}VtSUn#hNX@MDm zYXa8=assmga{}`UKE#a?WRT}rP!PwoL~cs6ID%VP5-2EG#)?EflIFHF9}C=(@1npb z0ws>S3hrT*<37Xq6~psP*S8$oyK8yIPTOoTum(eH#j-8`Hp6iC>NZ29< zO0TnHx?9qj7CMGyGfZY5m7f~VjM=tfKbhV1UCVy5EH{pB`bKka-RK7X91l3w7{p4m zeH>rebb4;nT(xAh#J174T83}V&F5q|6_;?CIMix2vh{kML2EP``WiiYksf{F=B*`S zTm9}E$0h3Vqk*?;xfCu|t=(8GuF`ok`TU}MI3B9_6lE1};UdG-fO9bv;-2d|u8MW( zR6&`es$v755xF({nWU#1t(I$g9>?b@HnFAR3+cNp&6g-MBtysVt*+iA;Z)QlJ`v*G zUB@^*(o>E#%dfgT)n6%9P1@B`A-ou_8gr#haY{wc?! zio7B4nmlc8o*@b4(XQ8o>5F{ie%_pHbU1#2o;Y+IeqHB=bIg>oYNzc z>7$^QGrK|U;S(j(=qwZYAfMAP1Mf#gLi4H(?SJ95VZEIHdNMz*R@DRixwhUtPs_BA*P7}pXp=d z0I8Qy4)D_-h}U03{p(sEqapZh2wv}F>;Pjgk5z-kuJ&U&`=4CXbv*ds3wllXz+{D>+1OgnzTc^s0o&q>NF6g>;^F9i@B?{U2U z|35I1N~blA)7c-Klp!DJ4WzWpE1W+7j~pU0{2P=3`LHDNkSK=KJF;-uAh)ak0T3ZI AF#rGn literal 0 HcmV?d00001 diff --git a/regression/strings/Validate01/Validate01.java b/regression/strings/Validate01/Validate01.java new file mode 100644 index 00000000000..3443cd30588 --- /dev/null +++ b/regression/strings/Validate01/Validate01.java @@ -0,0 +1,30 @@ +public class Validate01 +{ + public static void main(String[] args) + { + String firstName = "XXX"; + String lastName = "YYY"; + String address = "ZZZ IIII AAAA 5689"; + String city = "Oxford"; + String state = "Oxfordshire"; + String zip = "OX37AF"; + String phone = "+4477777"; + + if (!ValidateInput01.validateFirstName(firstName)) + assert false; + else if (!ValidateInput01.validateLastName(lastName)) + assert false; + else if (!ValidateInput01.validateAddress(address)) + System.out.println("Invalid address"); + else if (!ValidateInput01.validateCity(city)) + assert false; + else if (!ValidateInput01.validateState(state)) + assert false; + else if (!ValidateInput01.validateZip(zip)) + System.out.println("Invalid zip code"); + else if (!ValidateInput01.validatePhone(phone)) + System.out.println("Invalid phone number"); + else + System.out.println("Valid input. Thank you."); + } +} diff --git a/regression/strings/Validate01/ValidateInput01.class b/regression/strings/Validate01/ValidateInput01.class new file mode 100644 index 0000000000000000000000000000000000000000..5efab9300fcd9f0ac4b50c6e91c370bb287cb27e GIT binary patch literal 880 zcma)(O;6iE5Qg6gBsRw2@DV6b2(%RPAs49Vp(?6`kSZZXfRu_uJ`S7M0;9x1_9hZ3 z{G(oa0f_@Ypg*eW7;vCyrPha?nRlMuoqhf5_w5~kZLAqEFsEbQzyeWx zGP%;3=!uP%@J}|%GVuJ9&-n@=9kV47qgE{KI!@q*A;FB5Jx^W`#^SOp`4YltTvxpF zXWgUIj?Z1A-022Qo+TP>`uK6QegC{GH@DtLLzx(bNf@v0+Ld}$*!?ILG_0CiP~EaW)w%d^Wj{+< z*ygVF;tA~Gle347Gq)-Kk{-+^Xl)^zr*4Q9jPTEnJ{@cxOkT&hTI5I^lZ6}5Pfpkp zUQ_oX@g@st&LcF7#J#E&CKJ~f`tbrzGCZMzhZV5F@T3Y(DqxG@DHWVjz!`?8{}-NT aIHQ6!#mQNQXH>ARfLGb7S#~IaSAPH|Ae`<1 literal 0 HcmV?d00001 diff --git a/regression/strings/Validate01/ValidateInput01.java b/regression/strings/Validate01/ValidateInput01.java new file mode 100644 index 00000000000..961b02f2d30 --- /dev/null +++ b/regression/strings/Validate01/ValidateInput01.java @@ -0,0 +1,38 @@ +public class ValidateInput01 +{ + public static boolean validateFirstName(String firstName) + { + return firstName.matches("[A-Z][a-zA-Z]*"); + } + + public static boolean validateLastName(String lastName) + { + return lastName.matches("[a-zA-z]+(['-][a-zA-Z]+)*"); + } + + public static boolean validateAddress(String address) + { + return address.matches( + "\\d+\\s+([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateCity(String city) + { + return city.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateState(String state) + { + return state.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)") ; + } + + public static boolean validateZip(String zip) + { + return zip.matches("\\d{5}"); + } + + public static boolean validatePhone(String phone) + { + return phone.matches("[1-9]\\d{2}-[1-9]\\d{2}-\\d{4}"); + } +} diff --git a/regression/strings/Validate01/test.desc b/regression/strings/Validate01/test.desc new file mode 100644 index 00000000000..e797b2735aa --- /dev/null +++ b/regression/strings/Validate01/test.desc @@ -0,0 +1,8 @@ +FUTURE +Validate01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/Validate02/Validate02.class b/regression/strings/Validate02/Validate02.class new file mode 100644 index 0000000000000000000000000000000000000000..1d9ddd04737b9414e691eb9c5a1576b5d60823e6 GIT binary patch literal 1187 zcmZuw*;3O`82(PTgf!4LEEW|B3djyZ*%2rOv8+O*%=+h>yYxa4pV2 zM`!fjSMXib{{%{5hLg-$zVk2NzntHHzyAb~Kt@6fxI`h%n5kO(AcRtj&8e#Wjf1-qwN;- zJOj%zgysy>aOWBPJ-s^&fs~ck86xY3sc)8xySly2h3TTG874zZ&&Tyc?N}QwXy*R# zmTMd4{w!Cl-*UCw(S}y?7C$0f2d-f%El z1-}?2HRt6k?!}`TW~uBBsp|HDW*(_0R(Xg)s)Z_GUB(7B$wZA?X7^Cfxm2Qi5_?DR zD%rPkm*(C^MhWrw6TxIYZ|jc3(A;xRm8jZsRWe1f-nD+>xO$P=z$z1&<|}o>8h%R^ zcFDD_6=#X0$NMhKAe6XJf!gC>T1L)_$Pw!zH9&0~Lf%(Qpn~slPzO8Ab*x zh+HF44|&oWs33L?DIOH&@{P3RTznpvc|>R*B;q0Z1mYy3p5_?B6p)N=It`)$QzW;5 zD0O2D@1Wolg|4F+?WEm~;6D-!2~Y)e-2Q=BOcBWB)0>+4J4~ez)lchoaeGW%NvRJV!|Pix-4)Uvyc^ z=F2DIOssc=-(IiC!1LRm3spiUX3HW*tytQ1oWKo3f*C7&p8QT2iOY)QO9;bpUG+|% zbPtYuK6i~uuOGB{mT0tzqleMH`lo&QVe@@7l!;-Ogx9rQyV|G;`#g$84a+80kReRp zYv+wpzP4r$h*F_QSgkvyddQ83ZKaDrRu2bhfiVAXBvp5Qe7q#g);8=<4K6k>?I$S< zTimr?Jb^uYboN{G#BIrE(!JRPtt({f*bT9OSNyZ1PY0U^lh+Zh<~S0^RPhS*ixakl z*Yur8yvag_^9ao$ai?m