Uses of Class
wyal.lang.WyalFile.Type.FunctionOrMethodOrProperty

Packages that use WyalFile.Type.FunctionOrMethodOrProperty

Package	Description
wyal.lang
wytp.types.util

Uses of WyalFile.Type.FunctionOrMethodOrProperty in wyal.lang

Subclasses of WyalFile.Type.FunctionOrMethodOrProperty in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Type.Function
static class	WyalFile.Type.Method
static class	WyalFile.Type.Property

Methods in wyal.lang that return WyalFile.Type.FunctionOrMethodOrProperty

Modifier and Type	Method and Description
abstract WyalFile.Type.FunctionOrMethodOrProperty	WyalFile.Declaration.Named.FunctionOrMacro.getSignatureType()

Uses of WyalFile.Type.FunctionOrMethodOrProperty in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Type.FunctionOrMethodOrProperty

Modifier and Type	Method and Description
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.FunctionOrMethodOrProperty type)