Uses of Interface
wyil.lang.Modifier

Packages that use Modifier

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.

Uses of Modifier in wyc.builder

Methods in wyc.builder with parameters of type Modifier

Modifier and Type	Method and Description
boolean	CompileTask.hasModifier(wybs.lang.NameID nid, WhileyFile.Context context, Modifier modifier) Determine whether a named item has a modifier matching one of a given list.

Uses of Modifier in wyc.io

Method parameters in wyc.io with type arguments of type Modifier

Modifier and Type	Method and Description
void	WhileyFileParser.parseTypeDeclaration(WhileyFile wf, List<Modifier> modifiers) Parse a type declaration in a Whiley source file, which has the form:
void	WhileyFilePrinter.print(List<Modifier> modifiers)

Uses of Modifier in wyc.lang

Methods in wyc.lang that return types with arguments of type Modifier

Modifier and Type	Method and Description
List<Modifier>	WhileyFile.NamedDeclaration.modifiers()

Methods in wyc.lang with parameters of type Modifier

Modifier and Type	Method and Description
boolean	WhileyFile.NamedDeclaration.hasModifier(Modifier modifier)

Constructor parameters in wyc.lang with type arguments of type Modifier

Constructor and Description
Constant(List<Modifier> modifiers, Expr constant, String name, 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.
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)
NamedDeclaration(String name, Collection<Modifier> modifiers, wybs.lang.Attribute... attributes)
Property(List<Modifier> modifiers, String name, List<WhileyFile.Parameter> parameters, List<Expr> invariant, wybs.lang.Attribute... attributes)
Type(List<Modifier> modifiers, WhileyFile.Parameter type, String name, List<Expr> constraint, wybs.lang.Attribute... attributes)

Uses of Modifier in wyil.lang

Classes in wyil.lang that implement Modifier

Modifier and Type	Class and Description
static class	Modifier.Export
static class	Modifier.Native
static class	Modifier.Private
static class	Modifier.Public

Fields in wyil.lang declared as Modifier

Modifier and Type	Field and Description
static Modifier	Modifier.EXPORT
static Modifier	Modifier.NATIVE
static Modifier	Modifier.PRIVATE
static Modifier	Modifier.PUBLIC

Methods in wyil.lang that return types with arguments of type Modifier

Modifier and Type	Method and Description
List<Modifier>	WyilFile.Declaration.modifiers()

Methods in wyil.lang with parameters of type Modifier

Modifier and Type	Method and Description
boolean	WyilFile.Declaration.hasModifier(Modifier modifier)

Constructor parameters in wyil.lang with type arguments of type Modifier

Constructor and Description
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, wybs.lang.Attribute... attributes)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, Collection<wybs.lang.Attribute> attributes)
Declaration(WyilFile parent, String name, Collection<Modifier> modifiers, wybs.lang.Attribute... attributes)
Declaration(WyilFile parent, String name, Collection<Modifier> modifiers, Collection<wybs.lang.Attribute> attributes)
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, wybs.lang.Attribute... attributes)
FunctionOrMethod(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, Collection<wybs.lang.Attribute> attributes)
FunctionOrMethodOrProperty(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(WyilFile parent, Collection<Modifier> modifiers, String name, Type.FunctionOrMethod type, Collection<wybs.lang.Attribute> attributes)
Property(WyilFile parent, Collection<Modifier> modifiers, String name, Type.Property type, wybs.lang.Attribute... attributes)
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, wybs.lang.Attribute... attributes)
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, Collection<wybs.lang.Attribute> attributes)