stubparser.src.org.checkerframework.stubparser.ast.type.ClassOrInterfaceType 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.type;
import java.util.List;
import org.checkerframework.stubparser.ast.visitor.GenericVisitor;
import org.checkerframework.stubparser.ast.visitor.VoidVisitor;
/**
* @author Julio Vilmar Gesser
*/
public final class ClassOrInterfaceType extends Type {
private ClassOrInterfaceType scope;
private String name;
private List typeArgs;
public ClassOrInterfaceType() {
}
public ClassOrInterfaceType(String name) {
this.name = name;
}
public ClassOrInterfaceType(ClassOrInterfaceType scope, String name) {
this.scope = scope;
this.name = name;
}
public ClassOrInterfaceType(int beginLine, int beginColumn, int endLine, int endColumn, ClassOrInterfaceType scope, String name, List typeArgs) {
super(beginLine, beginColumn, endLine, endColumn);
this.scope = scope;
this.name = name;
this.typeArgs = typeArgs;
}
@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);
}
public String getName() {
return name;
}
public ClassOrInterfaceType getScope() {
return scope;
}
public List getTypeArgs() {
return typeArgs;
}
public void setName(String name) {
this.name = name;
}
public void setScope(ClassOrInterfaceType scope) {
this.scope = scope;
}
public void setTypeArgs(List typeArgs) {
this.typeArgs = typeArgs;
}
}