| Modifier and Type | Field and Description |
|---|---|
List<ReplError> |
BadReplParse.errs
The errors that were encountered during parsing.
|
| 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)
Read a list of replacement pairs from an input source, adding them to an
existing list.
|
| Constructor and Description |
|---|
BadReplParse(String msg,
List<ReplError> errs)
Create a new exception for ReplPair parsing failing.
|
Copyright © 2020. All rights reserved.