org.checkerframework.qualframework.base

Class QualifierMapVisitor<Q,R,P>

java.lang.Object

org.checkerframework.qualframework.base.QualifierMapVisitor<Q,R,P>

All Implemented Interfaces:

QualifiedTypeVisitor<Q,QualifiedTypeMirror<R>,P>

public abstract class QualifierMapVisitor<Q,R,P>
extends Object
implements QualifiedTypeVisitor<Q,QualifiedTypeMirror<R>,P>

Visitor that maps a function over every qualifier in a QualifiedTypeMirror.

Constructor Summary

Constructors

Constructor and Description
QualifierMapVisitor()

Method Summary

Modifier and Type	Method and Description
abstract R	process(Q qual, P p)
QualifiedTypeMirror<R>	visit(QualifiedTypeMirror<Q> type)
QualifiedTypeMirror<R>	visit(QualifiedTypeMirror<Q> type, P p)
QualifiedTypeMirror<R>	visitArray(QualifiedTypeMirror.QualifiedArrayType<Q> type, P p)
QualifiedTypeMirror<R>	visitDeclared(QualifiedTypeMirror.QualifiedDeclaredType<Q> type, P p)
QualifiedTypeMirror<R>	visitExecutable(QualifiedTypeMirror.QualifiedExecutableType<Q> type, P p)
QualifiedTypeMirror<R>	visitIntersection(QualifiedTypeMirror.QualifiedIntersectionType<Q> type, P p)
QualifiedTypeMirror<R>	visitNoType(QualifiedTypeMirror.QualifiedNoType<Q> type, P p)
QualifiedTypeMirror<R>	visitNull(QualifiedTypeMirror.QualifiedNullType<Q> type, P p)
QualifiedTypeMirror<R>	visitParameterDeclaration(QualifiedTypeMirror.QualifiedParameterDeclaration<Q> type, P p)
QualifiedTypeMirror<R>	visitPrimitive(QualifiedTypeMirror.QualifiedPrimitiveType<Q> type, P p)
QualifiedTypeMirror<R>	visitTypeDeclaration(QualifiedTypeMirror.QualifiedTypeDeclaration<Q> type, P p)
QualifiedTypeMirror<R>	visitTypeVariable(QualifiedTypeMirror.QualifiedTypeVariable<Q> type, P p)
QualifiedTypeMirror<R>	visitUnion(QualifiedTypeMirror.QualifiedUnionType<Q> type, P p)
QualifiedTypeMirror<R>	visitWildcard(QualifiedTypeMirror.QualifiedWildcardType<Q> type, P p)

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifierMapVisitor

public QualifierMapVisitor()

Method Detail

process

public abstract R process(Q qual,
                          P p)

visit

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

Specified by:

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

visit

public QualifiedTypeMirror<R> visit(QualifiedTypeMirror<Q> type,
                                    P p)

Specified by:

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

visitArray

public QualifiedTypeMirror<R> visitArray(QualifiedTypeMirror.QualifiedArrayType<Q> type,
                                         P p)

Specified by:

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

visitDeclared

public QualifiedTypeMirror<R> visitDeclared(QualifiedTypeMirror.QualifiedDeclaredType<Q> type,
                                            P p)

Specified by:

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

visitExecutable

public QualifiedTypeMirror<R> visitExecutable(QualifiedTypeMirror.QualifiedExecutableType<Q> type,
                                              P p)

Specified by:

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

visitIntersection

public QualifiedTypeMirror<R> visitIntersection(QualifiedTypeMirror.QualifiedIntersectionType<Q> type,
                                                P p)

Specified by:

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

visitNoType

public QualifiedTypeMirror<R> visitNoType(QualifiedTypeMirror.QualifiedNoType<Q> type,
                                          P p)

Specified by:

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

visitNull

public QualifiedTypeMirror<R> visitNull(QualifiedTypeMirror.QualifiedNullType<Q> type,
                                        P p)

Specified by:

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

visitPrimitive

public QualifiedTypeMirror<R> visitPrimitive(QualifiedTypeMirror.QualifiedPrimitiveType<Q> type,
                                             P p)

Specified by:

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

visitTypeVariable

public QualifiedTypeMirror<R> visitTypeVariable(QualifiedTypeMirror.QualifiedTypeVariable<Q> type,
                                                P p)

Specified by:

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

visitUnion

public QualifiedTypeMirror<R> visitUnion(QualifiedTypeMirror.QualifiedUnionType<Q> type,
                                         P p)

Specified by:

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

visitWildcard

public QualifiedTypeMirror<R> visitWildcard(QualifiedTypeMirror.QualifiedWildcardType<Q> type,
                                            P p)

Specified by:

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

visitTypeDeclaration

public QualifiedTypeMirror<R> visitTypeDeclaration(QualifiedTypeMirror.QualifiedTypeDeclaration<Q> type,
                                                   P p)

Specified by:

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

visitParameterDeclaration

public QualifiedTypeMirror<R> visitParameterDeclaration(QualifiedTypeMirror.QualifiedParameterDeclaration<Q> type,
                                                        P p)

Specified by:

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