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>
This commit is contained in:
Konstantin Shcheglov 2018-06-19 02:52:59 +00:00 committed by commit-bot@chromium.org
parent ea837c91a0
commit f2f6ebf547
3 changed files with 8 additions and 6 deletions

View file

@ -68,7 +68,7 @@ import 'kernel_shadow_ast.dart'
show
ShadowArguments,
AsJudgment,
ShadowAssertInitializer,
AssertInitializerJudgment,
AssertStatementJudgment,
AwaitJudgment,
ShadowBlock,
@ -268,7 +268,7 @@ class Fangorn extends Forest<Expression, Statement, Token, Arguments> {
Expression condition,
Token comma,
Expression message) {
return new ShadowAssertInitializer(assertStatement(
return new AssertInitializerJudgment(assertStatement(
assertKeyword, leftParenthesis, condition, comma, message, null));
}

View file

@ -64,7 +64,7 @@ export 'package:kernel/ast.dart'
export 'kernel_shadow_ast.dart'
show
ShadowAssertInitializer,
AssertInitializerJudgment,
AssertStatementJudgment,
ShadowBreakStatement,
ShadowCascadeExpression,

View file

@ -168,14 +168,16 @@ class AsJudgment extends AsExpression implements ExpressionJudgment {
}
/// 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);
}
}