X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2FRegRes.java;fp=src%2Fcom%2Fstevesoft%2Fpat%2FRegRes.java;h=b081d1e4f69feaa97cac0f4d1cd891cc4bd8e8ed;hb=3459a8a691cb22508d7067f240b7254e588e77d3;hp=a963a17a6502814955aa1d713127b503a93da668;hpb=5b27f1062b2203c4c31702e205f4c78e1992063e;p=jalview.git diff --git a/src/com/stevesoft/pat/RegRes.java b/src/com/stevesoft/pat/RegRes.java index a963a17..b081d1e 100755 --- a/src/com/stevesoft/pat/RegRes.java +++ b/src/com/stevesoft/pat/RegRes.java @@ -47,7 +47,8 @@ public class RegRes implements Cloneable for (int i = 0; i < numSubs(); i++) { int n = i + 1; - sb.append(" sub(" + n + ")=" + matchedFrom(n) + ":" + charsMatched(n)); + sb.append( + " sub(" + n + ")=" + matchedFrom(n) + ":" + charsMatched(n)); } return sb.toString(); } @@ -128,8 +129,8 @@ public class RegRes implements Cloneable public String stringMatched() { int mf = matchedFrom(), cm = charsMatched(); - return !didMatch_ || mf < 0 || cm < 0 ? null : src.substring(mf, mf - + cm); + return !didMatch_ || mf < 0 || cm < 0 ? null + : src.substring(mf, mf + cm); } /** @@ -183,8 +184,8 @@ public class RegRes implements Cloneable public String stringMatched(int i) { int mf = matchedFrom(i), cm = charsMatched(i); - return !didMatch_ || mf < 0 || cm < 0 ? null : src.substring(mf, mf - + cm); + return !didMatch_ || mf < 0 || cm < 0 ? null + : src.substring(mf, mf + cm); } /** @@ -214,8 +215,8 @@ public class RegRes implements Cloneable public String right() { int mf = matchedFrom(), cm = charsMatched(); - return !didMatch_ || mf < 0 || cm < 0 ? null : src.substring(mf + cm, - src.length()); + return !didMatch_ || mf < 0 || cm < 0 ? null + : src.substring(mf + cm, src.length()); } /** @@ -225,8 +226,8 @@ public class RegRes implements Cloneable public String right(int i) { int mf = matchedFrom(i), cm = charsMatched(i); - return !didMatch_ || mf < 0 || cm < 0 ? null : src.substring(mf + cm, - src.length()); + return !didMatch_ || mf < 0 || cm < 0 ? null + : src.substring(mf + cm, src.length()); } /**