org.checkerframework.qualframework.base

Class SetQualifierVisitor<Q>

java.lang.Object

org.checkerframework.qualframework.base.SetQualifierVisitor<Q>

All Implemented Interfaces:

QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

public class SetQualifierVisitor<Q>
extends Object
implements QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

Visitor that replaces the qualifier of a QualifiedTypeMirror.

Constructor Summary

Constructors

Constructor and Description
SetQualifierVisitor()

Method Summary

Modifier and Type	Method and Description
static <Q> QualifiedTypeMirror<Q>	apply(QualifiedTypeMirror<Q> type, Q newQual) Helper method to apply a SetQualifierVisitor to a QualifiedTypeMirror.
static <Q> SetQualifierVisitor<Q>	getInstance() Get an instance of SetQualifierVisitor.
QualifiedTypeMirror<Q>	visit(QualifiedTypeMirror<Q> type)
QualifiedTypeMirror<Q>	visit(QualifiedTypeMirror<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitArray(QualifiedTypeMirror.QualifiedArrayType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitDeclared(QualifiedTypeMirror.QualifiedDeclaredType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitExecutable(QualifiedTypeMirror.QualifiedExecutableType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitIntersection(QualifiedTypeMirror.QualifiedIntersectionType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitNoType(QualifiedTypeMirror.QualifiedNoType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitNull(QualifiedTypeMirror.QualifiedNullType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitParameterDeclaration(QualifiedTypeMirror.QualifiedParameterDeclaration<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitPrimitive(QualifiedTypeMirror.QualifiedPrimitiveType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitTypeDeclaration(QualifiedTypeMirror.QualifiedTypeDeclaration<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitTypeVariable(QualifiedTypeMirror.QualifiedTypeVariable<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitUnion(QualifiedTypeMirror.QualifiedUnionType<Q> type, Q newQual)
QualifiedTypeMirror<Q>	visitWildcard(QualifiedTypeMirror.QualifiedWildcardType<Q> type, Q newQual)

Methods inherited from class java.lang.Object

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

Constructor Detail

SetQualifierVisitor

public SetQualifierVisitor()

Method Detail

getInstance

public static <Q> SetQualifierVisitor<Q> getInstance()

Get an instance of SetQualifierVisitor. This method may be more efficient than calling the constructor, since it may reuse instances sometimes.

apply

public static <Q> QualifiedTypeMirror<Q> apply(QualifiedTypeMirror<Q> type,
                                               Q newQual)

Helper method to apply a SetQualifierVisitor to a QualifiedTypeMirror. Calling apply(...) is like getInstance().visit(...), but doesn't require an explicit type argument like getInstance does.

visit

public QualifiedTypeMirror<Q> visit(QualifiedTypeMirror<Q> type)

Specified by:

visit in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visit

public QualifiedTypeMirror<Q> visit(QualifiedTypeMirror<Q> type,
                                    Q newQual)

Specified by:

visit in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitArray

public QualifiedTypeMirror<Q> visitArray(QualifiedTypeMirror.QualifiedArrayType<Q> type,
                                         Q newQual)

Specified by:

visitArray in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitDeclared

public QualifiedTypeMirror<Q> visitDeclared(QualifiedTypeMirror.QualifiedDeclaredType<Q> type,
                                            Q newQual)

Specified by:

visitDeclared in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitExecutable

public QualifiedTypeMirror<Q> visitExecutable(QualifiedTypeMirror.QualifiedExecutableType<Q> type,
                                              Q newQual)

Specified by:

visitExecutable in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitIntersection

public QualifiedTypeMirror<Q> visitIntersection(QualifiedTypeMirror.QualifiedIntersectionType<Q> type,
                                                Q newQual)

Specified by:

visitIntersection in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitNoType

public QualifiedTypeMirror<Q> visitNoType(QualifiedTypeMirror.QualifiedNoType<Q> type,
                                          Q newQual)

Specified by:

visitNoType in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitNull

public QualifiedTypeMirror<Q> visitNull(QualifiedTypeMirror.QualifiedNullType<Q> type,
                                        Q newQual)

Specified by:

visitNull in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitPrimitive

public QualifiedTypeMirror<Q> visitPrimitive(QualifiedTypeMirror.QualifiedPrimitiveType<Q> type,
                                             Q newQual)

Specified by:

visitPrimitive in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitTypeVariable

public QualifiedTypeMirror<Q> visitTypeVariable(QualifiedTypeMirror.QualifiedTypeVariable<Q> type,
                                                Q newQual)

Specified by:

visitTypeVariable in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitUnion

public QualifiedTypeMirror<Q> visitUnion(QualifiedTypeMirror.QualifiedUnionType<Q> type,
                                         Q newQual)

Specified by:

visitUnion in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitWildcard

public QualifiedTypeMirror<Q> visitWildcard(QualifiedTypeMirror.QualifiedWildcardType<Q> type,
                                            Q newQual)

Specified by:

visitWildcard in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitTypeDeclaration

public QualifiedTypeMirror<Q> visitTypeDeclaration(QualifiedTypeMirror.QualifiedTypeDeclaration<Q> type,
                                                   Q newQual)

Specified by:

visitTypeDeclaration in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>

visitParameterDeclaration

public QualifiedTypeMirror<Q> visitParameterDeclaration(QualifiedTypeMirror.QualifiedParameterDeclaration<Q> type,
                                                        Q newQual)

Specified by:

visitParameterDeclaration in interface QualifiedTypeVisitor<Q,QualifiedTypeMirror<Q>,Q>