@Override
  public @NotNull String toString() {
    if (getRange() == FULL_RANGE) return PsiKeyword.INT;
    return PsiKeyword.INT + " " + JvmPsiRangeSetUtil.getPresentationText(getRange(), PsiTypes.intType());
  }
@Override
  public @NotNull String toString()