Uses of Class
wyal.lang.WyalFile.Name

Packages that use WyalFile.Name

Package	Description
wyal.lang
wyal.util
wytp.proof
wytp.types
wytp.types.subtyping

Uses of WyalFile.Name in wyal.lang

Methods in wyal.lang that return WyalFile.Name

Modifier and Type	Method and Description
WyalFile.Name	WyalFile.Name.clone(SyntacticItem[] operands)
WyalFile.Name	WyalFile.Type.Nominal.getName()
WyalFile.Name	WyalFile.Expr.Invoke.getName()
WyalFile.Name	NameResolver.ResolutionError.getName() Get the name being resolved that lead to this error.

Methods in wyal.lang with parameters of type WyalFile.Name

Modifier and Type	Method and Description
wybs.lang.NameID	NameResolver.resolve(WyalFile.Name name) Fully resolve a given name which occurs at some position in a compilation unit.
<T extends WyalFile.Declaration.Named> List<T>	NameResolver.resolveAll(WyalFile.Name name, Class<T> kind) Resolve a given name which occurs at some position in a compilation unit into one or more named declarations.
<T extends WyalFile.Declaration.Named> T	NameResolver.resolveExactly(WyalFile.Name name, Class<T> kind) Resolve a given name which occurs at some position in a compilation unit into exactly one named declaration.

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

Constructor and Description
AmbiguousNameError(WyalFile.Name name)
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)
NameNotFoundError(WyalFile.Name name)
Nominal(WyalFile.Name name, wybs.lang.Attribute... attributes)
ResolutionError(WyalFile.Name name, String message)

Uses of WyalFile.Name in wyal.util

Methods in wyal.util with parameters of type WyalFile.Name

Modifier and Type	Method and Description
wybs.lang.NameID	WyalFileResolver.resolve(WyalFile.Name name)
<T extends WyalFile.Declaration.Named> List<T>	WyalFileResolver.resolveAll(WyalFile.Name name, Class<T> kind)
<T extends WyalFile.Declaration.Named> T	WyalFileResolver.resolveExactly(WyalFile.Name name, Class<T> kind)

Uses of WyalFile.Name in wytp.proof

Constructors in wytp.proof with parameters of type WyalFile.Name

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)

Uses of WyalFile.Name in wytp.types

Methods in wytp.types with parameters of type WyalFile.Name

Modifier and Type	Method and Description
<T extends WyalFile.Declaration.Named> List<T>	TypeSystem.resolveAll(WyalFile.Name name, Class<T> kind)
<T extends WyalFile.Declaration.Named> T	TypeSystem.resolveExactly(WyalFile.Name name, Class<T> kind)

Uses of WyalFile.Name in wytp.types.subtyping

Methods in wytp.types.subtyping that return WyalFile.Name

Modifier and Type	Method and Description
protected WyalFile.Name[]	CoerciveSubtypeOperator.append(WyalFile.Name[] lhs, WyalFile.Name rhs)

Methods in wytp.types.subtyping with parameters of type WyalFile.Name

Modifier and Type	Method and Description
protected WyalFile.Name[]	CoerciveSubtypeOperator.append(WyalFile.Name[] lhs, WyalFile.Name rhs)
protected WyalFile.Name[]	CoerciveSubtypeOperator.append(WyalFile.Name[] lhs, WyalFile.Name rhs)