String (@NotNull final PsiFile file) { if (!file.getName().equals(PyElementGeneratorImpl.getDummyFileName())) { return null; } if (! file.getText().equals(DUMMY_FILE_PADDING)) { return null; } return file.getUserData(ENV_NAME_KEY); }