gzz.fuzzy
Interface EnfiladeAligner
- public interface EnfiladeAligner
Editing of enfilades as strings by first generating a string
from an enfilade and then reading back an edited string, approximating
the changes.
Nested Class Summary |
static interface |
EnfiladeAligner.Instance
An instance of the enfilade alignment system for a particular
enfilade. |
Field Summary |
static java.lang.String |
rcsid
|
rcsid
public static final java.lang.String rcsid
- See Also:
- Constant Field Values
start
public EnfiladeAligner.Instance start(Enfilade1D enf,
SpanMaker maker)
- Start editing: create an Instance object.
- Parameters:
enf
- The original text enfilade.maker
- The spanmaker to use to make spans
for new, inserted letters. E.g. if the original
enfilade has the text "foobar", and the
edited one has the text "foo2bar", then
the "2" needs to be made into a span.