Uses of Class
wyil.lang.WyilFile.FunctionOrMethod

Packages that use WyilFile.FunctionOrMethod

Package	Description
wyil.builders
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.

Uses of WyilFile.FunctionOrMethod in wyil.builders

Methods in wyil.builders with parameters of type WyilFile.FunctionOrMethod

Modifier and Type	Method and Description
wyal.lang.WyalFile.Stmt.Block	VerificationConditionGenerator.buildVerificationCondition(WyilFile.FunctionOrMethod declaration, wyil.builders.VerificationConditionGenerator.GlobalEnvironment environment, wyil.builders.VerificationConditionGenerator.VerificationCondition vc) Construct a fully typed and quantified expression for representing a verification condition.

Uses of WyilFile.FunctionOrMethod in wyil.lang

Methods in wyil.lang that return types with arguments of type WyilFile.FunctionOrMethod

Modifier and Type	Method and Description
Collection<WyilFile.FunctionOrMethod>	WyilFile.functionOrMethods() Returns all function or method declarations in this WyilFile.