X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2FPushRule.java;h=dd1ac9ce0aee8e69270bb8557c0c64fb8d312998;hb=refs%2Fheads%2Ftask%2FJAL-2562_SequenceI.findPosition;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
- trans3.java 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 trans3.java 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)
+ {
+ }
+}