wyc.lang

Class WhileyFile.Parameter

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.WhileyFile.Parameter

All Implemented Interfaces:

wybs.lang.SyntacticElement, WhileyFile.Context

Enclosing class:

WhileyFile

public final class WhileyFile.Parameter
extends wybs.lang.SyntacticElement.Impl

Represents a parameter declaration as part of a function or method declaration. The primary purpose of this is to retain the source-code location of the parameter in case any syntax error needs to be reported on it.

Author:

David J. Pearce

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
String	name
wyal.lang.WyalFile.Type	type

Constructor Summary

Constructors

Constructor and Description
Parameter(wyal.lang.WyalFile.Type type, String name, wybs.lang.Attribute... attributes)
Parameter(wyal.lang.WyalFile.Type type, String name, Collection<wybs.lang.Attribute> attributes)

Method Summary

Modifier and Type	Method and Description
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

Field Detail

type

public final wyal.lang.WyalFile.Type type

name

public final String name

Constructor Detail

Parameter

public Parameter(wyal.lang.WyalFile.Type type,
                 String name,
                 wybs.lang.Attribute... attributes)

Parameter

public Parameter(wyal.lang.WyalFile.Type type,
                 String name,
                 Collection<wybs.lang.Attribute> attributes)

Method Detail

name

public String name()