Uses of Class
wyc.lang.WhileyFile.Parameter

Packages that use WhileyFile.Parameter

Package	Description
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Uses of WhileyFile.Parameter in wyc.io

Methods in wyc.io that return WhileyFile.Parameter

Modifier and Type	Method and Description
WhileyFile.Parameter	WhileyFileParser.parseOptionalParameter(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)

Methods in wyc.io that return types with arguments of type WhileyFile.Parameter

Modifier and Type	Method and Description
List<WhileyFile.Parameter>	WhileyFileParser.parseOptionalParameters(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)
List<WhileyFile.Parameter>	WhileyFileParser.parseParameters(WhileyFile wf, wyc.io.WhileyFileParser.EnclosingScope scope)

Uses of WhileyFile.Parameter in wyc.lang

Fields in wyc.lang declared as WhileyFile.Parameter

Modifier and Type	Field and Description
WhileyFile.Parameter	WhileyFile.Type.parameter
WhileyFile.Parameter	Stmt.VariableDeclaration.parameter

Fields in wyc.lang with type parameters of type WhileyFile.Parameter

Modifier and Type	Field and Description
ArrayList<WhileyFile.Parameter>	WhileyFile.FunctionOrMethodOrProperty.parameters
ArrayList<WhileyFile.Parameter>	Expr.Lambda.parameters
ArrayList<WhileyFile.Parameter>	WhileyFile.FunctionOrMethodOrProperty.returns

Constructors in wyc.lang with parameters of type WhileyFile.Parameter

Constructor and Description
Type(List<Modifier> modifiers, WhileyFile.Parameter type, String name, List<Expr> constraint, wybs.lang.Attribute... attributes)
VariableDeclaration(WhileyFile.Parameter parameter, Expr expr, wybs.lang.Attribute... attributes) Construct a variable declaration from a given type, variable name and optional initialiser expression.
VariableDeclaration(WhileyFile.Parameter parameter, Expr expr, Collection<wybs.lang.Attribute> attributes) Construct a variable declaration from a given type, variable name and optional initialiser expression.

Constructor parameters in wyc.lang with type arguments of type WhileyFile.Parameter

Constructor and Description
Function(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
Function(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes) Construct an object representing a Whiley function.
FunctionOrMethodOrProperty(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes) Construct an object representing a Whiley function.
Lambda(Collection<WhileyFile.Parameter> parameters, Collection<String> contextLifetimes, Collection<String> lifetimeParameters, Expr body, wybs.lang.Attribute... attributes)
Lambda(Collection<WhileyFile.Parameter> parameters, Collection<String> contextLifetimes, Collection<String> lifetimeParameters, Expr body, Collection<wybs.lang.Attribute> attributes)
Method(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
Method(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> returns, List<WhileyFile.Parameter> parameters, List<String> lifetimeParameters, List<Expr> requires, List<Expr> ensures, List<Stmt> statements, wybs.lang.Attribute... attributes)
Property(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> parameters, List<Expr> invariant, wybs.lang.Attribute... attributes)