Paul Berry
d558a13795
Changes the signatures of the following flow analysis methods: - `assert_afterCondition` - `conditional_elseBegin` - `conditional_end` - `conditional_thenBegin` - `doStatement_end` - `ifStatement_thenBegin` - `logicalBinaryOp_end` - `logicalBinaryOp_rightBegin` - `whileStatement_bodyBegin` so that the caller is responsible for looking up the expression info of the matched value, and passing it in to flow analysis. Change-Id: I6a6a6964c2f975a9baf16bca5b92693af5d9fb41 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/475126 Reviewed-by: Chloe Stefantsova <cstefantsova@google.com> Commit-Queue: Paul Berry <paulberry@google.com>