commit f2f6ebf5470ceff27c31e31decb19734124d9f37
author Konstantin Shcheglov <scheglov@google.com> Tue Jun 19 02:52:59 2018 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> Tue Jun 19 02:52:59 2018 +0000
tree ee3da15a1e18910675ce069f4f886db985233e6b
parent ea837c91a0dff018124e9454c787f6e0574f951a

Convert ShadowAssertInitializer to AssertInitializerJudgment.

R=brianwilkerson@google.com, paulberry@google.com

Change-Id: I7cf5138eacb91761fcec99808a729ecc31f5399e
Reviewed-on: https://dart-review.googlesource.com/60826
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>

pkg/front_end/lib/src/fasta/kernel/fangorn.dart

diff --git a/pkg/front_end/lib/src/fasta/kernel/fangorn.dart b/pkg/front_end/lib/src/fasta/kernel/fangorn.dart
index 6d266c4..8aadbcd 100644
--- a/pkg/front_end/lib/src/fasta/kernel/fangorn.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/fangorn.dart
@@ -68,7 +68,7 @@
     show
         ShadowArguments,
         AsJudgment,
-        ShadowAssertInitializer,
+        AssertInitializerJudgment,
         AssertStatementJudgment,
         AwaitJudgment,
         ShadowBlock,
@@ -268,7 +268,7 @@
       Expression condition,
       Token comma,
       Expression message) {
-    return new ShadowAssertInitializer(assertStatement(
+    return new AssertInitializerJudgment(assertStatement(
         assertKeyword, leftParenthesis, condition, comma, message, null));
   }
 

pkg/front_end/lib/src/fasta/kernel/kernel_ast_api.dart

diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_ast_api.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_ast_api.dart
index 2360f11..8c3a5b6 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_ast_api.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_ast_api.dart
@@ -64,7 +64,7 @@
 
 export 'kernel_shadow_ast.dart'
     show
-        ShadowAssertInitializer,
+        AssertInitializerJudgment,
         AssertStatementJudgment,
         ShadowBreakStatement,
         ShadowCascadeExpression,

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart

diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
index c5be174..2f4b88e 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
@@ -168,14 +168,16 @@
 }
 
 /// Concrete shadow object representing an assert initializer in kernel form.
-class ShadowAssertInitializer extends AssertInitializer
+class AssertInitializerJudgment extends AssertInitializer
     implements InitializerJudgment {
-  ShadowAssertInitializer(AssertStatement statement) : super(statement);
+  AssertInitializerJudgment(AssertStatement statement) : super(statement);
+
+  AssertStatementJudgment get judgment => statement;
 
   @override
   void infer<Expression, Statement, Initializer>(ShadowTypeInferrer inferrer,
       Factory<Expression, Statement, Initializer> factory) {
-    inferrer.inferStatement(factory, statement);
+    inferrer.inferStatement(factory, judgment);
   }
 }