| Package | Description |
|---|---|
| wyal.io |
| Modifier and Type | Method and Description |
|---|---|
WyalFileParser.EnclosingScope |
WyalFileParser.EnclosingScope.clone()
Create a new clone scope.
|
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Type |
WyalFileParser.parseDefiniteType(WyalFileParser.EnclosingScope scope)
Attempt to parse something which maybe a type, or an expression.
|
WyalFile.Type |
WyalFileParser.parseType(WyalFileParser.EnclosingScope scope)
Parse a top-level type, which is of the form:
|
Copyright © 2017. All rights reserved.