| Modifier and Type | Method and Description |
|---|---|
static List<ReplPair> |
ReplPair.readList(List<ReplPair> detals,
Scanner scn,
List<ReplError> errs,
ReplOpts ropts)
Read a list of replacement pairs from an input source, adding them to an
existing list.
|
Copyright © 2020. All rights reserved.