wyal.util

Class WyalFileResolver

java.lang.Object

wyal.util.WyalFileResolver

All Implemented Interfaces:

wybs.lang.NameResolver

public final class WyalFileResolver
extends Object
implements wybs.lang.NameResolver

Responsible for resolving a name which occurs at some position in a WyalFile. This takes into account the context and, if necessary, will traverse important statements to resolve the query. For example, consider a WyalFile entitled "file":

 import wyal.lang.*

 assert:
    Test.g(0) >= 0
 

Here the name "g" is not fully qualified. Depending on which file the matching declaration of g occurs will depend on what its fully qualified name is. For example, if g is declared in the current compilation unit then it's fully quaified name would be test.g. However, it could well be declared in a compilation unit matching the import wyal.lang.*.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wybs.lang.NameResolver

wybs.lang.NameResolver.AmbiguousNameError, wybs.lang.NameResolver.NameNotFoundError, wybs.lang.NameResolver.ResolutionError

Constructor Summary

Constructors

Constructor and Description
WyalFileResolver(wybs.lang.Build.Project project)

Method Summary

Modifier and Type	Method and Description
WyalFile	getWyalFile(wybs.lang.SyntacticHeap heap)
wybs.lang.NameID	resolve(wybs.lang.CompilationUnit.Name name)
<T extends wybs.lang.CompilationUnit.Declaration> List<T>	resolveAll(wybs.lang.CompilationUnit.Name name, Class<T> kind)
<T extends wybs.lang.CompilationUnit.Declaration> T	resolveExactly(wybs.lang.CompilationUnit.Name name, Class<T> kind)

Methods inherited from class java.lang.Object

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

Constructor Detail

WyalFileResolver

public WyalFileResolver(wybs.lang.Build.Project project)

Method Detail

resolve

public wybs.lang.NameID resolve(wybs.lang.CompilationUnit.Name name)
                         throws wybs.lang.NameResolver.ResolutionError

Specified by:

resolve in interface wybs.lang.NameResolver

Throws:

wybs.lang.NameResolver.ResolutionError

resolveExactly

public <T extends wybs.lang.CompilationUnit.Declaration> T resolveExactly(wybs.lang.CompilationUnit.Name name,
                                                                          Class<T> kind)
                                                                   throws wybs.lang.NameResolver.ResolutionError

Specified by:

resolveExactly in interface wybs.lang.NameResolver

Throws:

wybs.lang.NameResolver.ResolutionError

resolveAll

public <T extends wybs.lang.CompilationUnit.Declaration> List<T> resolveAll(wybs.lang.CompilationUnit.Name name,
                                                                            Class<T> kind)
                                                                     throws wybs.lang.NameResolver.ResolutionError

Specified by:

resolveAll in interface wybs.lang.NameResolver

Throws:

wybs.lang.NameResolver.ResolutionError

getWyalFile

public WyalFile getWyalFile(wybs.lang.SyntacticHeap heap)