org.checkerframework.stubparser.ast.body

Class ConstructorDeclaration

java.lang.Object

org.checkerframework.stubparser.ast.Node

org.checkerframework.stubparser.ast.body.BodyDeclaration

org.checkerframework.stubparser.ast.body.ConstructorDeclaration

public final class ConstructorDeclaration
extends BodyDeclaration

Author:

Julio Vilmar Gesser

Constructor Summary

Constructors

Constructor and Description
ConstructorDeclaration()
ConstructorDeclaration(int beginLine, int beginColumn, int endLine, int endColumn, JavadocComment javaDoc, int modifiers, List<AnnotationExpr> annotations, List<TypeParameter> typeParameters, String name, List<Parameter> parameters, List<AnnotationExpr> receiverAnnotations, List<NameExpr> throws_, BlockStmt block)
ConstructorDeclaration(int modifiers, String name)
ConstructorDeclaration(JavadocComment javaDoc, int modifiers, List<AnnotationExpr> annotations, List<TypeParameter> typeParameters, String name, List<Parameter> parameters, List<NameExpr> throws_, BlockStmt block)

Method Summary

Modifier and Type	Method and Description
<R,A> R	accept(GenericVisitor<R,A> v, A arg) Accept method for visitor support.
<A> void	accept(VoidVisitor<A> v, A arg) Accept method for visitor support.
BlockStmt	getBlock()
int	getModifiers() Return the modifiers of this member declaration.
String	getName()
List<Parameter>	getParameters()
List<AnnotationExpr>	getReceiverAnnotations()
List<NameExpr>	getThrows()
List<TypeParameter>	getTypeParameters()
void	setBlock(BlockStmt block)
void	setModifiers(int modifiers)
void	setName(String name)
void	setParameters(List<Parameter> parameters)
void	setReceiverAnnotations(List<AnnotationExpr> receiverAnnotations)
void	setThrows(List<NameExpr> throws_)
void	setTypeParameters(List<TypeParameter> typeParameters)

Methods inherited from class org.checkerframework.stubparser.ast.body.BodyDeclaration

getAnnotations, getJavaDoc, setAnnotations, setJavaDoc

Methods inherited from class org.checkerframework.stubparser.ast.Node

equals, getBeginColumn, getBeginLine, getData, getEndColumn, getEndLine, hashCode, setBeginColumn, setBeginLine, setData, setEndColumn, setEndLine, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConstructorDeclaration

public ConstructorDeclaration()

ConstructorDeclaration

public ConstructorDeclaration(int modifiers,
                              String name)

ConstructorDeclaration

public ConstructorDeclaration(JavadocComment javaDoc,
                              int modifiers,
                              List<AnnotationExpr> annotations,
                              List<TypeParameter> typeParameters,
                              String name,
                              List<Parameter> parameters,
                              List<NameExpr> throws_,
                              BlockStmt block)

ConstructorDeclaration

public ConstructorDeclaration(int beginLine,
                              int beginColumn,
                              int endLine,
                              int endColumn,
                              JavadocComment javaDoc,
                              int modifiers,
                              List<AnnotationExpr> annotations,
                              List<TypeParameter> typeParameters,
                              String name,
                              List<Parameter> parameters,
                              List<AnnotationExpr> receiverAnnotations,
                              List<NameExpr> throws_,
                              BlockStmt block)

Method Detail

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

R - the type the return value of the visitor

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

Returns:

the result of the visit

accept

public <A> void accept(VoidVisitor<A> v,
                       A arg)

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getBlock

public BlockStmt getBlock()

getModifiers

public int getModifiers()

Return the modifiers of this member declaration.

Returns:

modifiers

See Also:

ModifierSet

getName

public String getName()

getParameters

public List<Parameter> getParameters()

getReceiverAnnotations

public List<AnnotationExpr> getReceiverAnnotations()

getThrows

public List<NameExpr> getThrows()

getTypeParameters

public List<TypeParameter> getTypeParameters()

setBlock

public void setBlock(BlockStmt block)

setModifiers

public void setModifiers(int modifiers)

setName

public void setName(String name)

setParameters

public void setParameters(List<Parameter> parameters)

setReceiverAnnotations

public void setReceiverAnnotations(List<AnnotationExpr> receiverAnnotations)

setThrows

public void setThrows(List<NameExpr> throws_)

setTypeParameters

public void setTypeParameters(List<TypeParameter> typeParameters)