X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcom%2Fstevesoft%2Fpat%2FPushRule.java;h=dd1ac9ce0aee8e69270bb8557c0c64fb8d312998;hb=refs%2Fheads%2Fmerges%2FJAL-2906_update2_11_from_2_10_4;hp=3fbfe14e986a502199678945edb9cb40b68fbd82;hpb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;p=jalview.git

diff --git a/src/com/stevesoft/pat/PushRule.java b/src/com/stevesoft/pat/PushRule.java
index 3fbfe14..dd1ac9c 100755
--- a/src/com/stevesoft/pat/PushRule.java
+++ b/src/com/stevesoft/pat/PushRule.java
@@ -1,47 +1,49 @@
-//
-// This software is now distributed according to
-// the Lesser Gnu Public License.  Please see
-// http://www.gnu.org/copyleft/lesser.txt for
-// the details.
-//    -- Happy Computing!
-//
-package com.stevesoft.pat;
-
-/** See the example file
-    <a href="http://javaregex.com/code/trans3.java.html">trans3.java</a> for
-    further examples of how this is used.  You will probably not
-    want to call it directly. */
-public class PushRule
-    extends SpecialRule
-{
-  Regex NewRule;
-  public PushRule(PushRule p)
-  {
-    NewRule = p.NewRule;
-  }
-
-  public PushRule(String nm, Regex rr)
-  {
-    name = nm;
-    NewRule = rr;
-  }
-
-  public PushRule(String nm, Transformer tr)
-  {
-    name = nm;
-    NewRule = tr.rp;
-  }
-
-  public Object clone1()
-  {
-    return new PushRule(this);
-  }
-
-  public String String1()
-  {
-    return "${+" + name + "}";
-  }
-
-  public void apply(StringBufferLike sbl, RegRes rr)
-  {}
-}
+//
+// This software is now distributed according to
+// the Lesser Gnu Public License.  Please see
+// http://www.gnu.org/copyleft/lesser.txt for
+// the details.
+//    -- Happy Computing!
+//
+package com.stevesoft.pat;
+
+/**
+ * See the example file <a
+ * href="http://javaregex.com/code/trans3.java.html">trans3.java</a> for further
+ * examples of how this is used. You will probably not want to call it directly.
+ */
+public class PushRule extends SpecialRule
+{
+  Regex NewRule;
+
+  public PushRule(PushRule p)
+  {
+    NewRule = p.NewRule;
+  }
+
+  public PushRule(String nm, Regex rr)
+  {
+    name = nm;
+    NewRule = rr;
+  }
+
+  public PushRule(String nm, Transformer tr)
+  {
+    name = nm;
+    NewRule = tr.rp;
+  }
+
+  public Object clone1()
+  {
+    return new PushRule(this);
+  }
+
+  public String String1()
+  {
+    return "${+" + name + "}";
+  }
+
+  public void apply(StringBufferLike sbl, RegRes rr)
+  {
+  }
+}