org.checkerframework.checker.guieffect

Class GuiEffectVisitor.GuiEffectOverrideChecker

java.lang.Object

org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker

Enclosing class:

GuiEffectVisitor

protected class GuiEffectVisitor.GuiEffectOverrideChecker
extends org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

Field Summary

Fields inherited from class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

methodReference, overridden, overriddenMeth, overriddenReturnType, overriddenTyp, overriddenType, overrider, overriderMeth, overriderTree, overriderTyp, overridingReturnType, overridingType

Constructor Summary

Constructors

Constructor and Description

GuiEffectOverrideChecker(Tree overriderTree, org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType overrider, org.checkerframework.framework.type.AnnotatedTypeMirror overridingType, org.checkerframework.framework.type.AnnotatedTypeMirror overridingReturnType, org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType overridden, org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType, org.checkerframework.framework.type.AnnotatedTypeMirror overriddenReturnType)

Method Summary

Modifier and Type	Method and Description
protected boolean	checkReceiverOverride() Extend the receiver part of the method override check.

Methods inherited from class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker

checkOverride

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiEffectOverrideChecker

public GuiEffectOverrideChecker(Tree overriderTree,
                                org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType overrider,
                                org.checkerframework.framework.type.AnnotatedTypeMirror overridingType,
                                org.checkerframework.framework.type.AnnotatedTypeMirror overridingReturnType,
                                org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType overridden,
                                org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType,
                                org.checkerframework.framework.type.AnnotatedTypeMirror overriddenReturnType)

Method Detail

checkReceiverOverride

protected boolean checkReceiverOverride()

Extend the receiver part of the method override check. We extend the standard check, to additionally permit narrowing the receiver's permission to @AlwaysSafe in a safe instantiation of a @PolyUIType. Returns true if the override is permitted.

Overrides:

checkReceiverOverride in class org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker