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) + { + } +}