public final class InputError extends Object
See the MessageFormatter for methods formatting instances of this class in various
ways.
| Constructor and Description |
|---|
InputError(ErrorCode errorCode,
FrozenSlice slice,
Object... arguments) |
| Modifier and Type | Method and Description |
|---|---|
Object[] |
getArguments()
Returns any additional arguments providing information about the error.
|
ErrorCode |
getErrorCode()
Returns the
ErrorCode for this error. |
FrozenSlice |
getSlice()
Returns the
FrozenSlice indicating where the error occurred in the original
SnuggleInput. |
String |
toString() |
public InputError(ErrorCode errorCode, FrozenSlice slice, Object... arguments)
public FrozenSlice getSlice()
FrozenSlice indicating where the error occurred in the original
SnuggleInput.public Object[] getArguments()
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.