X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2FPushRule.java;h=e34cbae97186257a4b76728d0972c879f65ce488;hb=1f66bdde8f5379d17fe56001443e0e6fde1150d1;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..e34cbae 100755 --- a/src/com/stevesoft/pat/PushRule.java +++ b/src/com/stevesoft/pat/PushRule.java @@ -1,47 +1,50 @@ -// -// 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) + { + } +}