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