@Nullable
  @Override
  public List<String> getDunderAll() {
    return withGreenStubOrAst(
      PyFileStub.class,
      stub -> stub.getDunderAll(),
      ast -> {
        if (!myDunderAllCalculated) {
          final List<String> dunderAll = calculateDunderAll();
          myDunderAll = dunderAll == null ? null : Collections.unmodifiableList(dunderAll);
          myDunderAllCalculated = true;
        }
        return myDunderAll;
      }
    );
  }
@Nullable
  @Override
  public List<String> getDunderAll()