wyal.lang

Class NameResolver.NameNotFoundError

java.lang.Object

java.lang.Throwable

java.lang.Exception

wyal.lang.NameResolver.ResolutionError

wyal.lang.NameResolver.NameNotFoundError

All Implemented Interfaces:

Serializable

Enclosing interface:

NameResolver

public static class NameResolver.NameNotFoundError
extends NameResolver.ResolutionError

This error is reported in the case that no matching name can be identified.

Author:

David J. Pearce

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NameNotFoundError(WyalFile.Name name)

Method Summary

Methods inherited from class wyal.lang.NameResolver.ResolutionError

getName

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

NameNotFoundError

public NameNotFoundError(WyalFile.Name name)