tree 98a5a7cca723a3a4b4b4d3257a0b7b9f454fd980
parent b58cc36ddc3d8d163253335da3e478c1647e7939
author Johnni Winther <johnniwinther@google.com> 1528104161 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1528104161 +0000

Rename ClosedWorld to JClosedWorld and merge it with ClosedWorldRefiner

Change-Id: I858695194fe4b0dffb7c85a93e2d6bcc04dd6229
Reviewed-on: https://dart-review.googlesource.com/58022
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>