public static class NameResolver.ResolutionError extends Exception
| Constructor and Description |
|---|
ResolutionError(WyalFile.Name name,
String message) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Name |
getName()
Get the name being resolved that lead to this error.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic ResolutionError(WyalFile.Name name, String message)
public WyalFile.Name getName()
Copyright © 2017. All rights reserved.