Copyright test
[jalview.git] / src / com / stevesoft / pat / PushRule.java
1 /*******************************************************************************
2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3  * Copyright (C) $(date) The Jalview Authors
4  *
5  * This file is part of Jalview.
6  *  
7  * Jalview is free software: you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License 
9  * as published by the Free Software Foundation, either version 3
10  * of the License, or (at your option) any later version.
11  *   
12  * Jalview is distributed in the hope that it will be useful, but 
13  * WITHOUT ANY WARRANTY; without even the implied warranty 
14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
15  * PURPOSE.  See the GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
19  * The Jalview Authors are detailed in the 'AUTHORS' file.
20  *******************************************************************************/
21 //
22 // This software is now distributed according to
23 // the Lesser Gnu Public License.  Please see
24 // http://www.gnu.org/copyleft/lesser.txt for
25 // the details.
26 //    -- Happy Computing!
27 //
28 package com.stevesoft.pat;
29
30 /**
31  * See the example file <a
32  * href="http://javaregex.com/code/trans3.java.html">trans3.java</a> for further
33  * examples of how this is used. You will probably not want to call it directly.
34  */
35 public class PushRule extends SpecialRule
36 {
37   Regex NewRule;
38
39   public PushRule(PushRule p)
40   {
41     NewRule = p.NewRule;
42   }
43
44   public PushRule(String nm, Regex rr)
45   {
46     name = nm;
47     NewRule = rr;
48   }
49
50   public PushRule(String nm, Transformer tr)
51   {
52     name = nm;
53     NewRule = tr.rp;
54   }
55
56   public Object clone1()
57   {
58     return new PushRule(this);
59   }
60
61   public String String1()
62   {
63     return "${+" + name + "}";
64   }
65
66   public void apply(StringBufferLike sbl, RegRes rr)
67   {
68   }
69 }