tree 0238a5cf4bf94e0668a50db86e91e4e96cab17f7
parent b3b9aacc5f789745b91b54d67d7db7a27f1a561e
author Paul Berry <paulberry@google.com> 1560186645 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1560186645 +0000

Migration: Separate the implementation from the NNBD migration engine's public API.

Change-Id: I0ea000b9068661d4e9122414320202ebd4f8563b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/105413
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>