wyal.lang

Class NameResolver.ResolutionError

java.lang.Object

java.lang.Throwable

java.lang.Exception

wyal.lang.NameResolver.ResolutionError

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

NameResolver.AmbiguousNameError, NameResolver.NameNotFoundError

Enclosing interface:

NameResolver

public static class NameResolver.ResolutionError
extends Exception

A resolution error occurs when a given name cannot be successfully resolved. Such errors are typically propagated out of the current processing method to some kind of generic handler (e.g. for reporting errors).

Author:

David J. Pearce

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ResolutionError(WyalFile.Name name, String message)

Method Summary

Modifier and Type	Method and Description
WyalFile.Name	getName() Get the name being resolved that lead to this error.

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ResolutionError

public ResolutionError(WyalFile.Name name,
                       String message)

Method Detail

getName

public WyalFile.Name getName()

Get the name being resolved that lead to this error.

Returns: