wyal.io

Class WyalFileParser

java.lang.Object

wyal.io.WyalFileParser

public class WyalFileParser
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	WyalFileParser.EnclosingScope Captures all useful information about the scope in which a statement or expression is being translated.

Constructor Summary

Constructors

Constructor and Description
WyalFileParser(WyalFile file, List<WyalFileLexer.Token> tokens)

Method Summary

Modifier and Type	Method and Description
protected WyalFile.Declaration	parseAssertDeclaration(WyalFile parent) Parse an assert declaration in a WyAL source file.
WyalFile.Type	parseDefiniteType(WyalFileParser.EnclosingScope scope) Attempt to parse something which maybe a type, or an expression.
protected WyalFile.Declaration	parseFunctionDeclaration(WyalFile parent)
protected WyalFile.Declaration	parseMacroDeclaration(WyalFile parent)
protected String	parseString(String v) Parse a string whilst interpreting all escape characters.
WyalFile.Type	parseType(WyalFileParser.EnclosingScope scope) Parse a top-level type, which is of the form:
protected WyalFile.Declaration	parseTypeDeclaration(WyalFile parent) Parse a type declaration in a WyAL source file.
WyalFile	read() Read a WyalFile from the token stream.

Methods inherited from class java.lang.Object

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

Constructor Detail

WyalFileParser

public WyalFileParser(WyalFile file,
                      List<WyalFileLexer.Token> tokens)

Method Detail

read

public WyalFile read()

Read a WyalFile from the token stream. If the stream is invalid in some way (e.g. contains a syntax error, etc) then a SyntaxError is thrown.

Returns:

parseAssertDeclaration

protected WyalFile.Declaration parseAssertDeclaration(WyalFile parent)

Parse an assert declaration in a WyAL source file.

Parameters:

wf - The WyAL file in which this declaration is defined.

parseTypeDeclaration

protected WyalFile.Declaration parseTypeDeclaration(WyalFile parent)

Parse a type declaration in a WyAL source file.

Parameters:

wf - The WyAL file in which this declaration is defined.

parseFunctionDeclaration

protected WyalFile.Declaration parseFunctionDeclaration(WyalFile parent)

parseMacroDeclaration

protected WyalFile.Declaration parseMacroDeclaration(WyalFile parent)

parseDefiniteType

public WyalFile.Type parseDefiniteType(WyalFileParser.EnclosingScope scope)

Attempt to parse something which maybe a type, or an expression. The semantics of this function dictate that it returns an instanceof SyntacticType *only* if what it finds *cannot* be parsed as an expression, but can be parsed as a type. Otherwise, the state is left unchanged.

Parameters:

scope - The enclosing scope for this expression. This identifies any generic arguments which are in scope, and also allocated each variable in scope to its location index.

Returns:

An instance of SyntacticType or null.

parseType

public WyalFile.Type parseType(WyalFileParser.EnclosingScope scope)

Parse a top-level type, which is of the form:

 TupleType ::= Type (',' Type)*
 

Parameters:

scope - The enclosing scope for this expression. This identifies any generic arguments which are in scope, and also allocated each variable in scope to its location index.

Returns:

See Also:

wyc.lang.SyntacticType.Tuple

parseString

protected String parseString(String v)

Parse a string whilst interpreting all escape characters.

Parameters:

v -

Returns: