Uses of Class
wyal.lang.WyalFile

Packages that use WyalFile

Package	Description
wyal.commands
wyal.io
wyal.lang
wyal.util
wytp.provers

Uses of WyalFile in wyal.commands

Fields in wyal.commands with type parameters of type WyalFile

Modifier and Type	Field and Description
protected wyfs.lang.Content.Filter<WyalFile>	VerifyCommand.wyalExcludes Identifies which wyal source files should not be considered for compilation.
protected wyfs.lang.Content.Filter<WyalFile>	VerifyCommand.wyalIncludes Identifies which wyal source files should be considered for compilation.

Method parameters in wyal.commands with type arguments of type WyalFile

Modifier and Type	Method and Description
protected VerifyCommand.Result	VerifyCommand.compile(wybs.util.StdProject project, List<wyfs.lang.Path.Entry<WyalFile>> entries)
VerifyCommand.Result	VerifyCommand.execute(List<wyfs.lang.Path.Entry<WyalFile>> entries)

Uses of WyalFile in wyal.io

Methods in wyal.io that return WyalFile

Modifier and Type	Method and Description
WyalFile	WyalFileParser.read() Read a WyalFile from the token stream.

Methods in wyal.io with parameters of type WyalFile

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.
void	WyalFilePrinter.write(WyalFile wf)
void	WyalFilePrinter.write(WyalFile wf, WyalFile.Declaration.Assert s)
void	WyalFilePrinter.write(WyalFile wf, WyalFile.Declaration.Named.Function s)
void	WyalFilePrinter.write(WyalFile wf, WyalFile.Declaration.Named.Macro s)
void	WyalFilePrinter.write(WyalFile wf, WyalFile.Declaration.Named.Type s)
void	WyalFilePrinter.writeSyntacticItems(WyalFile wf)

Constructors in wyal.io with parameters of type WyalFile

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

Constructor parameters in wyal.io with type arguments of type WyalFile

Constructor and Description
WyalFileLexer(wyfs.lang.Path.Entry<WyalFile> entry)

Uses of WyalFile in wyal.lang

Fields in wyal.lang with type parameters of type WyalFile

Modifier and Type	Field and Description
static wyfs.lang.Content.Type<WyalFile>	WyalFile.BinaryContentType
static wyfs.lang.Content.Type<WyalFile>	WyalFile.ContentType

Methods in wyal.lang that return types with arguments of type WyalFile

Modifier and Type	Method and Description
wyfs.lang.Path.Entry<WyalFile>	WyalFile.getEntry()

Constructor parameters in wyal.lang with type arguments of type WyalFile

Constructor and Description
WyalFile(wyfs.lang.Path.Entry<WyalFile> entry)

Uses of WyalFile in wyal.util

Methods in wyal.util that return WyalFile

Modifier and Type	Method and Description
WyalFile	WyalFileResolver.getWyalFile(wybs.lang.SyntacticHeap heap)

Constructors in wyal.util with parameters of type WyalFile

Constructor and Description
TypeChecker(TypeSystem typeSystem, WyalFile parent, wyfs.lang.Path.Entry<? extends wybs.lang.CompilationUnit> originatingEntry)

Uses of WyalFile in wytp.provers

Methods in wytp.provers with parameters of type WyalFile

Modifier and Type	Method and Description
void	AutomatedTheoremProver.check(WyalFile source, wyfs.lang.Path.Entry<?> originalSource)