X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=unused%2Fcom%2Fstevesoft%2Fpat%2FCustomEndpoint.java;h=3c57b294dfababe26b081ffb9d92eb73661c7ee2;hb=6319110ce33faa76ee6cf9832e78faa224510fed;hp=9608f7ef0faae42e625ccfe0a9a77b08ae4aba70;hpb=7301a2415adab88038b291fc54caeeb3a5a47a44;p=jalviewjs.git diff --git a/unused/com/stevesoft/pat/CustomEndpoint.java b/unused/com/stevesoft/pat/CustomEndpoint.java index 9608f7e..3c57b29 100644 --- a/unused/com/stevesoft/pat/CustomEndpoint.java +++ b/unused/com/stevesoft/pat/CustomEndpoint.java @@ -1,44 +1,44 @@ -// -// 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; - -import java.util.*; - -/** - * This class is needed internally to make backtracking work correctly in - * user-defined patterns. - */ -class CustomEndpoint extends Pattern -{ - Custom c; - - CustomEndpoint(Custom cm) - { - c = cm; - } - - public int matchInternal(int pos, Pthings pt) - { - int npos = c.v.validate(pt.src, c.start, pos); - if (npos >= 0) - { - return nextMatch(npos, pt); - } - return -1; - } - - public String toString() - { - return ""; - } - - Pattern clone1(Hashtable h) - { - return new CustomEndpoint((Custom) c.clone(h)); - } -} +// +// 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; + +import java.util.*; + +/** + * This class is needed internally to make backtracking work correctly in + * user-defined patterns. + */ +class CustomEndpoint extends Pattern +{ + Custom c; + + CustomEndpoint(Custom cm) + { + c = cm; + } + + public int matchInternal(int pos, Pthings pt) + { + int npos = c.v.validate(pt.src, c.start, pos); + if (npos >= 0) + { + return nextMatch(npos, pt); + } + return -1; + } + + public String toString() + { + return ""; + } + + Pattern clone1(Hashtable h) + { + return new CustomEndpoint((Custom) c.clone(h)); + } +}