Uses of Class
wyal.lang.WyalFile.Identifier

Packages that use WyalFile.Identifier

Package	Description
wyal.lang

Uses of WyalFile.Identifier in wyal.lang

Methods in wyal.lang that return WyalFile.Identifier

Modifier and Type	Method and Description
WyalFile.Identifier	WyalFile.Identifier.clone(SyntacticItem[] operands)
WyalFile.Identifier[]	WyalFile.Name.getComponents()
WyalFile.Identifier[]	WyalFile.Declaration.Import.getComponents()
WyalFile.Identifier	WyalFile.Expr.RecordAccess.getField()
WyalFile.Identifier	WyalFile.Expr.RecordUpdate.getField()
WyalFile.Identifier	WyalFile.Type.Reference.getLifetime()
WyalFile.Identifier	WyalFile.Declaration.Named.getName()
WyalFile.Identifier	WyalFile.Declaration.Named.FunctionOrMacro.getName()
WyalFile.Identifier	WyalFile.Declaration.Named.Type.getName()
WyalFile.Identifier	WyalFile.Name.getOperand(int i)
WyalFile.Identifier	WyalFile.Declaration.Import.getOperand(int i)
WyalFile.Identifier	WyalFile.VariableDeclaration.getVariableName()
WyalFile.Identifier	WyalFile.FieldDeclaration.getVariableName()

Methods in wyal.lang that return types with arguments of type WyalFile.Identifier

Modifier and Type	Method and Description
WyalFile.Tuple<WyalFile.Identifier>	WyalFile.Type.Method.getContextLifetimes()
WyalFile.Tuple<WyalFile.Identifier>	WyalFile.Type.Method.getLifetimeParameters()

Constructors in wyal.lang with parameters of type WyalFile.Identifier

Constructor and Description
FieldDeclaration(WyalFile.Type type, WyalFile.Identifier name)
Function(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Tuple<WyalFile.VariableDeclaration> returns)
Function(WyalFile.Identifier name, WyalFile.VariableDeclaration[] parameters, WyalFile.VariableDeclaration[] returns)
FunctionOrMacro(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
FunctionOrMacro(WyalFile.Identifier name, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Tuple<WyalFile.VariableDeclaration> returns)
Import(WyalFile.Identifier... components)
Macro(WyalFile.Identifier name, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
Name(WyalFile.Identifier... components)
RecordAccess(WyalFile.Expr lhs, WyalFile.Identifier rhs)
RecordUpdate(WyalFile.Expr lhs, WyalFile.Identifier mhs, WyalFile.Expr rhs)
Reference(WyalFile.Type element, WyalFile.Identifier lifetime, wybs.lang.Attribute... attributes)
Type(WyalFile.Identifier name, WyalFile.VariableDeclaration vardecl, WyalFile.Stmt.Block... invariant)
VariableDeclaration(WyalFile.Type type, WyalFile.Identifier name)

Constructor parameters in wyal.lang with type arguments of type WyalFile.Identifier

Constructor and Description
Method(WyalFile.Tuple<WyalFile.Type> parameters, WyalFile.Tuple<WyalFile.Type> returns, WyalFile.Tuple<WyalFile.Identifier> contextLifetimes, WyalFile.Tuple<WyalFile.Identifier> lifetimeParameters, wybs.lang.Attribute... attributes)
Method(WyalFile.Tuple<WyalFile.Type> parameters, WyalFile.Tuple<WyalFile.Type> returns, WyalFile.Tuple<WyalFile.Identifier> contextLifetimes, WyalFile.Tuple<WyalFile.Identifier> lifetimeParameters, wybs.lang.Attribute... attributes)