stubparser.src.org.checkerframework.stubparser.ast.TypeParameter Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
Show all versions of checker Show documentation
The Checker Framework enhances Java’s type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
/*
* Copyright (C) 2007 Júlio Vilmar Gesser.
*
* This file is part of Java 1.5 parser and Abstract Syntax Tree.
*
* Java 1.5 parser and Abstract Syntax Tree is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* Java 1.5 parser and Abstract Syntax Tree is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with Java 1.5 parser and Abstract Syntax Tree. If not, see .
*/
/*
* Created on 05/10/2006
*/
package org.checkerframework.stubparser.ast;
import java.util.List;
import org.checkerframework.stubparser.ast.expr.AnnotationExpr;
import org.checkerframework.stubparser.ast.type.ClassOrInterfaceType;
import org.checkerframework.stubparser.ast.visitor.GenericVisitor;
import org.checkerframework.stubparser.ast.visitor.VoidVisitor;
/**
*
* This class represents the declaration of a genetics argument.
*
* The TypeParameter is constructed following the syntax:
*
*
* TypeParameter
* ::=
*
* <IDENTIFIER> ( "extends" {@link ClassOrInterfaceType} ( "&" {@link ClassOrInterfaceType} )* )?
*
*
*
*
* @author Julio Vilmar Gesser
*/
public final class TypeParameter extends Node {
private String name;
private List annotations;
private List typeBound;
public TypeParameter() {
}
public TypeParameter(String name, List annotations, List typeBound) {
this.name = name;
this.annotations = annotations;
this.typeBound = typeBound;
}
public TypeParameter(int beginLine, int beginColumn, int endLine, int endColumn, String name, List annotations, List typeBound) {
super(beginLine, beginColumn, endLine, endColumn);
this.name = name;
this.annotations = annotations;
this.typeBound = typeBound;
}
@Override
public R accept(GenericVisitor v, A arg) {
return v.visit(this, arg);
}
@Override
public void accept(VoidVisitor v, A arg) {
v.visit(this, arg);
}
/**
* Return the name of the paramenter.
*
* @return the name of the paramenter
*/
public String getName() {
return name;
}
/**
* Return the list of {@link ClassOrInterfaceType} that this parameter
* extends. Return null
null if there are no type.
*
* @return list of types that this paramente extends or null
*/
public List getTypeBound() {
return typeBound;
}
/**
* Sets the name of this type parameter.
*
* @param name
* the name to set
*/
public void setName(String name) {
this.name = name;
}
/**
* Sets the list o types.
*
* @param typeBound
* the typeBound to set
*/
public void setTypeBound(List typeBound) {
this.typeBound = typeBound;
}
public List getAnnotations() {
return annotations;
}
}