Uses of Class
wyc.lang.WhileyFile

Packages that use WhileyFile

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.commands
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Uses of WhileyFile in wyc.builder

Methods in wyc.builder that return WhileyFile

Modifier and Type	Method and Description
WhileyFile	CompileTask.getSourceFile(wyfs.lang.Path.ID mid) Get the source file associated with a given module identifier.

Methods in wyc.builder with parameters of type WhileyFile

Modifier and Type	Method and Description
WyilFile	CodeGenerator.generate(WhileyFile whileyFile, wyfs.lang.Path.Entry<WyilFile> target) Generate a WyilFile from a given WhileyFile by translating all of the declarations, statements and expressions into WyIL declarations and bytecode blocks.
void	FlowTypeChecker.propagate(WhileyFile wf)

Method parameters in wyc.builder with type arguments of type WhileyFile

Modifier and Type	Method and Description
void	FlowTypeChecker.propagate(List<WhileyFile> files)

Constructors in wyc.builder with parameters of type WhileyFile

Constructor and Description
DefiniteAssignmentAnalysis(WhileyFile file)
ModuleCheck(WhileyFile file)

Uses of WhileyFile in wyc.commands

Fields in wyc.commands with type parameters of type WhileyFile

Modifier and Type	Field and Description
protected wyfs.lang.Content.Filter<WhileyFile>	Compile.whileyExcludes Identifies which whiley sources files should not be considered for compilation.
protected wyfs.lang.Content.Filter<WhileyFile>	Compile.whileyIncludes Identifies which whiley source files should be considered for compilation.

Method parameters in wyc.commands with type arguments of type WhileyFile

Modifier and Type	Method and Description
void	Compile.setExcludes(wyfs.lang.Content.Filter<WhileyFile> excludes)
void	Compile.setIncludes(wyfs.lang.Content.Filter<WhileyFile> includes)

Uses of WhileyFile in wyc.io

Methods in wyc.io that return WhileyFile

Modifier and Type	Method and Description
WhileyFile	WhileyFileParser.read() Read a WhileyFile from the token stream.

Methods in wyc.io with parameters of type WhileyFile

Modifier and Type	Method and Description
List<Expr>	WhileyFileParser.parseExpressions(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope, boolean terminated) Parse a "multi-expression"; that is, a sequence of one or more expressions separated by comma's
WhileyFile.Parameter	WhileyFileParser.parseOptionalParameter(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)
List<WhileyFile.Parameter>	WhileyFileParser.parseOptionalParameters(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)
List<WhileyFile.Parameter>	WhileyFileParser.parseParameters(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)
void	WhileyFileParser.parseTypeDeclaration(WhileyFile wf, List<Modifier> modifiers) Parse a type declaration in a Whiley source file, which has the form:
void	WhileyFilePrinter.print(WhileyFile wf)

Constructor parameters in wyc.io with type arguments of type WhileyFile

Constructor and Description
WhileyFileLexer(wyfs.lang.Path.Entry<WhileyFile> entry)
WhileyFileParser(wyfs.lang.Path.Entry<WhileyFile> entry, List<WhileyFileLexer.Token> tokens)

Uses of WhileyFile in wyc.lang

Fields in wyc.lang with type parameters of type WhileyFile

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

Methods in wyc.lang that return WhileyFile

Modifier and Type	Method and Description
WhileyFile	WhileyFile.Context.file()

Constructor parameters in wyc.lang with type arguments of type WhileyFile

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