Member predicate VariableTypeInference::AnalyzedVarDef::getAnAssignedValue

Gets an abstract value that this variable definition may assign to its target, including indefinite values if this definition cannot be analyzed completely.

AbstractValue getAnAssignedValue()