wyc.lang

Class WhileyFile.NamedDeclaration

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.WhileyFile.NamedDeclaration

All Implemented Interfaces:

wybs.lang.SyntacticElement, WhileyFile.Context, WhileyFile.Declaration

Direct Known Subclasses:

WhileyFile.Constant, WhileyFile.FunctionOrMethodOrProperty, WhileyFile.Type

Enclosing class:

WhileyFile

public abstract class WhileyFile.NamedDeclaration
extends wybs.lang.SyntacticElement.Impl
implements WhileyFile.Declaration

Nested Class Summary

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Constructor Summary

Constructors

Constructor and Description
NamedDeclaration(String name, Collection<Modifier> modifiers, wybs.lang.Attribute... attributes)

Method Summary

Modifier and Type	Method and Description
boolean	hasModifier(Modifier modifier)
List<Modifier>	modifiers()
String	name()

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Constructor Detail

NamedDeclaration

public NamedDeclaration(String name,
                        Collection<Modifier> modifiers,
                        wybs.lang.Attribute... attributes)

Method Detail

name

public String name()

modifiers

public List<Modifier> modifiers()

hasModifier

public boolean hasModifier(Modifier modifier)