X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2FPushRule.java;h=dd1ac9ce0aee8e69270bb8557c0c64fb8d312998;hb=90cdc6b3f35ec9f98121a0e9c74e9ca4f7923cd3;hp=cdc33f93ee6ce3b3120342430c512b453589b425;hpb=c40cf903f740a72ab63dd1abc10fa33450ce660d;p=jalview.git
diff --git a/src/com/stevesoft/pat/PushRule.java b/src/com/stevesoft/pat/PushRule.java
index cdc33f9..dd1ac9c 100755
--- a/src/com/stevesoft/pat/PushRule.java
+++ b/src/com/stevesoft/pat/PushRule.java
@@ -1,22 +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)
+ {
+ }
+}