src/com/stevesoft/pat/BackMatch.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 import java.util.Hashtable;
  31
  32 /**
  33  * Provides the ability to match a backreference from within a Pattern.
  34  */
  35 class BackMatch extends Pattern
  36 {
  37   int id;
  38
  39   BackMatch(int id)
  40   {
  41     this.id = id;
  42   }
  43
  44   public String toString()
  45   {
  46     return "\\" + (id) + nextString();
  47   }
  48
  49   public int matchInternal(int pos, Pthings p)
  50   {
  51     int i1 = p.marks[id];
  52     int i2 = p.marks[id + p.nMarks];
  53     int imax = i2 - i1;
  54     if (i1 < 0 || imax < 0 || pos + imax > p.src.length())
  55     {
  56       return -1;
  57     }
  58     int ns = p.src.length() - pos;
  59     if (imax < ns)
  60     {
  61       ns = imax;
  62     }
  63     for (int i = 0; i < ns; i++)
  64     {
  65       if (p.src.charAt(i + i1) != p.src.charAt(pos + i))
  66       {
  67         return -1;
  68       }
  69     }
  70     return nextMatch(pos + imax, p);
  71   }
  72
  73   Pattern clone1(Hashtable h)
  74   {
  75     return new BackMatch(id);
  76   }
  77 }