DfType (DfaValue qualifier, DfaMemoryState state, PsiType type) { DfType dfType = state.getDfType(qualifier); PsiEnumConstant value = dfType.getConstantOfType(PsiEnumConstant.class); if (value != null) { return referenceConstant(value.getName(), type); } return DfType.TOP; }