| Package | Description |
|---|---|
| wyal.io | |
| wyal.lang |
| Modifier and Type | Method and Description |
|---|---|
protected WyalFile.Declaration |
WyalFileParser.parseAssertDeclaration(WyalFile parent)
Parse an
assert declaration in a WyAL source file. |
protected WyalFile.Declaration |
WyalFileParser.parseFunctionDeclaration(WyalFile parent) |
protected WyalFile.Declaration |
WyalFileParser.parseMacroDeclaration(WyalFile parent) |
protected WyalFile.Declaration |
WyalFileParser.parseTypeDeclaration(WyalFile parent)
Parse a
type declaration in a WyAL source file. |
| Modifier and Type | Interface and Description |
|---|---|
static interface |
WyalFile.Declaration.Named |
| Modifier and Type | Class and Description |
|---|---|
static class |
WyalFile.Declaration.Assert |
static class |
WyalFile.Declaration.Import
Represents an import declaration in a Wycs source file.
|
static class |
WyalFile.Declaration.Named.Function |
static class |
WyalFile.Declaration.Named.FunctionOrMacro |
static class |
WyalFile.Declaration.Named.Macro |
static class |
WyalFile.Declaration.Named.Type |
Copyright © 2017. All rights reserved.