| Package | Description |
|---|---|
| wyal.lang | |
| wyal.util | |
| wytp.types |
| Modifier and Type | Class and Description |
|---|---|
static class |
WyalFile.Declaration.Named.Function |
static class |
WyalFile.Declaration.Named.FunctionOrMacro |
static class |
WyalFile.Declaration.Named.Macro |
static class |
WyalFile.Declaration.Named.Type |
| Modifier and Type | Method and Description |
|---|---|
<T extends WyalFile.Declaration.Named> |
NameResolver.resolveAll(WyalFile.Name name,
Class<T> kind)
Resolve a given name which occurs at some position in a compilation unit
into one or more named declarations.
|
<T extends WyalFile.Declaration.Named> |
NameResolver.resolveExactly(WyalFile.Name name,
Class<T> kind)
Resolve a given name which occurs at some position in a compilation unit
into exactly one named declaration.
|
| Modifier and Type | Method and Description |
|---|---|
<T extends WyalFile.Declaration.Named> |
WyalFileResolver.resolveAll(WyalFile.Name name,
Class<T> kind) |
<T extends WyalFile.Declaration.Named> |
WyalFileResolver.resolveExactly(WyalFile.Name name,
Class<T> kind) |
| Modifier and Type | Method and Description |
|---|---|
<T extends WyalFile.Declaration.Named> |
TypeSystem.resolveAll(WyalFile.Name name,
Class<T> kind) |
<T extends WyalFile.Declaration.Named> |
TypeSystem.resolveExactly(WyalFile.Name name,
Class<T> kind) |
Copyright © 2017. All rights reserved.