Class GuiEffectVisitor.GuiEffectOverrideChecker

java.lang.Object
BaseTypeVisitor<GuiEffectTypeFactory>.org.checkerframework.common.basetype.BaseTypeVisitor.OverrideChecker
org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker
Enclosing class:
GuiEffectVisitor

protected class GuiEffectVisitor.GuiEffectOverrideChecker extends BaseTypeVisitor<GuiEffectTypeFactory>.OverrideChecker
  • Constructor Details

  • Method Details

    • 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 BaseTypeVisitor<GuiEffectTypeFactory>.OverrideChecker
      Returns:
      true if the override is legal