Uses of Class
wyil.lang.WyilFile

Packages that use WyilFile

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.commands
wyil.builders
wyil.checks	Provides classes responsible for validity checking of WYIL modules.
wyil.io	Provides classes for handling reading/writing WYIL modules.
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util

Uses of WyilFile in wyc.builder

Methods in wyc.builder that return WyilFile

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.
WyilFile	CompileTask.getModule(wyfs.lang.Path.ID mid) Get the (compiled) module associated with a given module identifier.

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

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.

Uses of WyilFile in wyc.commands

Fields in wyc.commands with type parameters of type WyilFile

Modifier and Type	Field and Description
protected wyfs.lang.Content.Filter<WyilFile>	Compile.wyilExcludes Identifies which wyil sources files should not be considered for compilation.
protected wyfs.lang.Content.Filter<WyilFile>	Compile.wyilIncludes Identifies which wyil source files should be considered for compilation.

Uses of WyilFile in wyil.builders

Methods in wyil.builders with parameters of type WyilFile

Modifier and Type	Method and Description
wyal.lang.WyalFile	VerificationConditionGenerator.translate(WyilFile wyilFile) Translate a WyilFile into a WyalFile which contains the verification conditions necessary to establish that all functions and methods in the WyilFile meet their specifications, and that no array-out-of-bounds or division-by-zero exceptions are possible (amongst other things).

Uses of WyilFile in wyil.checks

Methods in wyil.checks with parameters of type WyilFile

Modifier and Type	Method and Description
void	CoercionCheck.apply(WyilFile module)

Uses of WyilFile in wyil.io

Methods in wyil.io that return WyilFile

Modifier and Type	Method and Description
WyilFile	WyilFileReader.read()
WyilFile	ModuleReader.read(wyfs.lang.Path.ID module, InputStream input) Read a given given module from an input stream.

Methods in wyil.io with parameters of type WyilFile

Modifier and Type	Method and Description
void	WyilFilePrinter.apply(WyilFile module)
void	WyilFileWriter.write(WyilFile module)

Constructor parameters in wyil.io with type arguments of type WyilFile

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

Uses of WyilFile in wyil.lang

Fields in wyil.lang with type parameters of type WyilFile

Modifier and Type	Field and Description
static wyfs.lang.Content.Type<WyilFile>	WyilFile.ContentType Responsible for identifying and reading/writing WyilFiles.

Methods in wyil.lang that return WyilFile

Modifier and Type	Method and Description
WyilFile	WyilFile.Block.parent() Get the WyIL file enclosing this block

Constructors in wyil.lang with parameters of type WyilFile

Constructor and Description
Block(WyilFile parent, wybs.lang.Attribute[] attributes)
Block(WyilFile parent, Collection<wybs.lang.Attribute> attributes)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, wybs.lang.Attribute... attributes)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, Collection<wybs.lang.Attribute> attributes)
Declaration(WyilFile parent, String name, Collection<Modifier> modifiers, wybs.lang.Attribute... attributes)
Declaration(WyilFile parent, String name, Collection<Modifier> modifiers, Collection<wybs.lang.Attribute> attributes)
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, wybs.lang.Attribute... attributes)
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, Collection<wybs.lang.Attribute> attributes)
FunctionOrMethodOrProperty(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, Collection<wybs.lang.Attribute> attributes)
Property(WyilFile parent, Collection<Modifier> modifiers, String name, Type.Property type, wybs.lang.Attribute... attributes)
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, wybs.lang.Attribute... attributes)
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, Collection<wybs.lang.Attribute> attributes)

Uses of WyilFile in wyil.util

Methods in wyil.util with parameters of type WyilFile

Modifier and Type	Method and Description
void	MoveAnalysis.apply(WyilFile module)