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

Packages that use WyalFile.Type.FunctionOrMacroOrInvariant

Package	Description
wyal.lang
wytp.proof

Uses of WyalFile.Type.FunctionOrMacroOrInvariant in wyal.lang

Subclasses of WyalFile.Type.FunctionOrMacroOrInvariant in wyal.lang

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

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

Modifier and Type	Method and Description
WyalFile.Type.FunctionOrMacroOrInvariant	WyalFile.Expr.Invoke.getSignatureType()

Methods in wyal.lang with parameters of type WyalFile.Type.FunctionOrMacroOrInvariant

Modifier and Type	Method and Description
void	WyalFile.Expr.Invoke.setSignatureType(WyalFile.Type.FunctionOrMacroOrInvariant type)

Constructors in wyal.lang with parameters of type WyalFile.Type.FunctionOrMacroOrInvariant

Constructor and Description
Invoke(WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, Integer selector, WyalFile.Expr[] arguments, wybs.lang.Attribute... attributes)
Invoke(WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, WyalFile.Value.Int selector, WyalFile.Tuple<WyalFile.Expr> arguments, wybs.lang.Attribute... attributes)

Uses of WyalFile.Type.FunctionOrMacroOrInvariant in wytp.proof

Constructors in wytp.proof with parameters of type WyalFile.Type.FunctionOrMacroOrInvariant

Constructor and Description
Invoke(boolean sign, WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, Integer selector, WyalFile.Expr... arguments)
Invoke(boolean sign, WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, WyalFile.Value.Int selector, WyalFile.Tuple<WyalFile.Expr> arguments)