DfaValue (DfaCallArguments arguments, DfaMemoryState state, DfaValueFactory factory, PsiMethod method) { DfaValue string = arguments.myQualifier; DfaValue stringLength = STRING_LENGTH.createValue(factory, string); return factory.getWrapperFactory().createWrapper(typedObject(PsiTypes.charType().createArrayType(), Nullability.NOT_NULL) .meet(LOCAL_OBJECT), ARRAY_LENGTH, stringLength); }