Package viewpointtest

Class ViewpointTestViewpointAdapter

java.lang.Object

org.checkerframework.framework.type.AbstractViewpointAdapter

viewpointtest.ViewpointTestViewpointAdapter

All Implemented Interfaces:

ViewpointAdapter

public class ViewpointTestViewpointAdapter
extends AbstractViewpointAdapter

The viewpoint adapter for the Viewpoint Test Checker.

Field Summary

Fields inherited from class org.checkerframework.framework.type.AbstractViewpointAdapter

atypeFactory

Constructor Summary

Constructors

Constructor	Description
ViewpointTestViewpointAdapter(AnnotatedTypeFactory atypeFactory)	The class constructor.

Method Summary

Modifier and Type	Method	Description
protected AnnotationMirror	combineAnnotationWithAnnotation(AnnotationMirror receiverAnnotation, AnnotationMirror declaredAnnotation)	Viewpoint adapt declared qualifier to receiver qualifier.
protected AnnotationMirror	extractAnnotationMirror(AnnotatedTypeMirror atm)	Extract the relevant qualifier from an AnnotatedTypeMirror.

Methods inherited from class org.checkerframework.framework.type.AbstractViewpointAdapter

combineAnnotationWithType, combineTypeWithType, shouldAdaptMember, shouldAdaptMethod, viewpointAdaptConstructor, viewpointAdaptMember, viewpointAdaptMethod, viewpointAdaptTypeParameterBounds

Methods inherited from class java.lang.Object

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

Constructor Details

ViewpointTestViewpointAdapter

public ViewpointTestViewpointAdapter(AnnotatedTypeFactory atypeFactory)

The class constructor.

Parameters:

atypeFactory - the type factory to use

Method Details

extractAnnotationMirror

protected AnnotationMirror extractAnnotationMirror(AnnotatedTypeMirror atm)

Description copied from class: AbstractViewpointAdapter

Extract the relevant qualifier from an AnnotatedTypeMirror.

Specified by:

extractAnnotationMirror in class AbstractViewpointAdapter

Parameters:

atm - AnnotatedTypeMirror from which qualifier is extracted

Returns:

extracted qualifier

combineAnnotationWithAnnotation

protected AnnotationMirror combineAnnotationWithAnnotation(AnnotationMirror receiverAnnotation,
 AnnotationMirror declaredAnnotation)

Description copied from class: AbstractViewpointAdapter

Viewpoint adapt declared qualifier to receiver qualifier.

Specified by:

combineAnnotationWithAnnotation in class AbstractViewpointAdapter

Parameters:

receiverAnnotation - receiver qualifier

declaredAnnotation - declared qualifier

Returns:

result qualifier after viewpoint adaptation