src/com/stevesoft/pat/CustomEndpoint.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  * This class is needed internally to make backtracking work correctly in
  34  * user-defined patterns.
  35  */
  36 class CustomEndpoint extends Pattern
  37 {
  38   Custom c;
  39
  40   CustomEndpoint(Custom cm)
  41   {
  42     c = cm;
  43   }
  44
  45   public int matchInternal(int pos, Pthings pt)
  46   {
  47     int npos = c.v.validate(pt.src, c.start, pos);
  48     if (npos >= 0)
  49     {
  50       return nextMatch(npos, pt);
  51     }
  52     return -1;
  53   }
  54
  55   public String toString()
  56   {
  57     return "";
  58   }
  59
  60   Pattern clone1(Hashtable h)
  61   {
  62     return new CustomEndpoint((Custom) c.clone(h));
  63   }
  64 }