Uses of Class
wyil.lang.WyilFile.FunctionOrMethodOrProperty

Packages that use WyilFile.FunctionOrMethodOrProperty

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

Uses of WyilFile.FunctionOrMethodOrProperty in wyil.builders

Methods in wyil.builders that return WyilFile.FunctionOrMethodOrProperty

Modifier and Type	Method and Description
WyilFile.FunctionOrMethodOrProperty	VerificationConditionGenerator.lookupFunctionOrMethodOrProperty(wybs.lang.NameID name, Type.FunctionOrMethod fun, SyntaxTree.Location<?> stmt) Lookup a given function or method.

Uses of WyilFile.FunctionOrMethodOrProperty in wyil.lang

Subclasses of WyilFile.FunctionOrMethodOrProperty in wyil.lang

Modifier and Type	Class and Description
static class	WyilFile.FunctionOrMethod
static class	WyilFile.Property

Methods in wyil.lang that return WyilFile.FunctionOrMethodOrProperty

Modifier and Type	Method and Description
WyilFile.FunctionOrMethodOrProperty	WyilFile.functionOrMethodOrProperty(String name, Type.FunctionOrMethod ft) Looks up a function or method declaration in this WyilFile with the given name and type; if none exists, returns null.

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

Modifier and Type	Method and Description
List<WyilFile.FunctionOrMethodOrProperty>	WyilFile.functionOrMethodOrProperty(String name) Returns all function or method declarations in this WyilFile with the given name.