Proper toString() for DataFlowInfo

This commit is contained in:
Andrey Breslav
2012-09-04 17:57:04 +04:00
parent 755c830714
commit 73384529c7
@@ -201,4 +201,11 @@ public class DataFlowInfo {
return !typeInfo.isEmpty();
}
@Override
public String toString() {
if (typeInfo.isEmpty() && nullabilityInfo.isEmpty()) {
return "EMPTY";
}
return "Non-trivial DataFlowInfo";
}
}