| Index: pkg/compiler/lib/src/resolution/send_structure.dart
|
| diff --git a/pkg/compiler/lib/src/resolution/send_structure.dart b/pkg/compiler/lib/src/resolution/send_structure.dart
|
| index 318ede8c701cca516d760e7c8548f280c49a7fef..8cd60845167eb8952889635be7ca914c7b7c4e92 100644
|
| --- a/pkg/compiler/lib/src/resolution/send_structure.dart
|
| +++ b/pkg/compiler/lib/src/resolution/send_structure.dart
|
| @@ -177,6 +177,7 @@ class InvokeStructure<R, A> implements SendStructure<R, A> {
|
| callStructure,
|
| arg);
|
| case AccessKind.LOCAL_VARIABLE:
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| return visitor.visitLocalVariableInvoke(
|
| node,
|
| semantics.element,
|
| @@ -186,6 +187,7 @@ class InvokeStructure<R, A> implements SendStructure<R, A> {
|
| callStructure,
|
| arg);
|
| case AccessKind.PARAMETER:
|
| + case AccessKind.FINAL_PARAMETER:
|
| return visitor.visitParameterInvoke(
|
| node,
|
| semantics.element,
|
| @@ -195,6 +197,7 @@ class InvokeStructure<R, A> implements SendStructure<R, A> {
|
| callStructure,
|
| arg);
|
| case AccessKind.STATIC_FIELD:
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| return visitor.visitStaticFieldInvoke(
|
| node,
|
| semantics.element,
|
| @@ -223,6 +226,7 @@ class InvokeStructure<R, A> implements SendStructure<R, A> {
|
| callStructure,
|
| arg);
|
| case AccessKind.TOPLEVEL_FIELD:
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| return visitor.visitTopLevelFieldInvoke(
|
| node,
|
| semantics.element,
|
| @@ -298,6 +302,7 @@ class InvokeStructure<R, A> implements SendStructure<R, A> {
|
| selector,
|
| arg);
|
| case AccessKind.SUPER_FIELD:
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| return visitor.visitSuperFieldInvoke(
|
| node,
|
| semantics.element,
|
| @@ -430,16 +435,19 @@ class GetStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| arg);
|
| case AccessKind.LOCAL_VARIABLE:
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| return visitor.visitLocalVariableGet(
|
| node,
|
| semantics.element,
|
| arg);
|
| case AccessKind.PARAMETER:
|
| + case AccessKind.FINAL_PARAMETER:
|
| return visitor.visitParameterGet(
|
| node,
|
| semantics.element,
|
| arg);
|
| case AccessKind.STATIC_FIELD:
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| return visitor.visitStaticFieldGet(
|
| node,
|
| semantics.element,
|
| @@ -460,6 +468,7 @@ class GetStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| arg);
|
| case AccessKind.TOPLEVEL_FIELD:
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| return visitor.visitTopLevelFieldGet(
|
| node,
|
| semantics.element,
|
| @@ -511,6 +520,7 @@ class GetStructure<R, A> implements SendStructure<R, A> {
|
| selector,
|
| arg);
|
| case AccessKind.SUPER_FIELD:
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| return visitor.visitSuperFieldGet(
|
| node,
|
| semantics.element,
|
| @@ -586,18 +596,36 @@ class SetStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| + return visitor.errorFinalLocalVariableSet(
|
| + node,
|
| + semantics.element,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.PARAMETER:
|
| return visitor.visitParameterSet(
|
| node,
|
| semantics.element,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.FINAL_PARAMETER:
|
| + return visitor.errorFinalParameterSet(
|
| + node,
|
| + semantics.element,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.STATIC_FIELD:
|
| return visitor.visitStaticFieldSet(
|
| node,
|
| semantics.element,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| + return visitor.errorFinalStaticFieldSet(
|
| + node,
|
| + semantics.element,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.STATIC_METHOD:
|
| return visitor.errorStaticFunctionSet(
|
| node,
|
| @@ -622,6 +650,12 @@ class SetStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| + return visitor.errorFinalTopLevelFieldSet(
|
| + node,
|
| + semantics.element,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.TOPLEVEL_METHOD:
|
| return visitor.errorTopLevelFunctionSet(
|
| node,
|
| @@ -682,6 +716,12 @@ class SetStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| + return visitor.errorFinalSuperFieldSet(
|
| + node,
|
| + semantics.element,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.SUPER_METHOD:
|
| return visitor.errorSuperMethodSet(
|
| node,
|
| @@ -1210,7 +1250,7 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| setterSelector,
|
| arg);
|
| case AccessKind.LOCAL_FUNCTION:
|
| - return visitor.errorLocalFunctionCompound(
|
| + return visitor.visitLocalFunctionCompound(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1223,6 +1263,13 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| + return visitor.visitFinalLocalVariableCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.PARAMETER:
|
| return visitor.visitParameterCompound(
|
| node,
|
| @@ -1230,6 +1277,13 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.FINAL_PARAMETER:
|
| + return visitor.visitFinalParameterCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.STATIC_FIELD:
|
| return visitor.visitStaticFieldCompound(
|
| node,
|
| @@ -1237,9 +1291,20 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| + return visitor.visitStaticFinalFieldCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.STATIC_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitStaticMethodCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.STATIC_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1253,9 +1318,20 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| + return visitor.visitTopLevelFinalFieldCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.TOPLEVEL_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitTopLevelMethodCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.TOPLEVEL_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1263,28 +1339,28 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| // This is not a valid case.
|
| break;
|
| case AccessKind.CLASS_TYPE_LITERAL:
|
| - return visitor.errorClassTypeLiteralCompound(
|
| + return visitor.visitClassTypeLiteralCompound(
|
| node,
|
| semantics.constant,
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| case AccessKind.TYPEDEF_TYPE_LITERAL:
|
| - return visitor.errorTypedefTypeLiteralCompound(
|
| + return visitor.visitTypedefTypeLiteralCompound(
|
| node,
|
| semantics.constant,
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| case AccessKind.DYNAMIC_TYPE_LITERAL:
|
| - return visitor.errorDynamicTypeLiteralCompound(
|
| + return visitor.visitDynamicTypeLiteralCompound(
|
| node,
|
| semantics.constant,
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| case AccessKind.TYPE_PARAMETER_TYPE_LITERAL:
|
| - return visitor.errorTypeVariableTypeLiteralCompound(
|
| + return visitor.visitTypeVariableTypeLiteralCompound(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1311,9 +1387,20 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| + return visitor.visitSuperFinalFieldCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.SUPER_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitSuperMethodCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.SUPER_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1324,9 +1411,14 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| // TODO(johnniwinther): Should this be a valid case?
|
| break;
|
| case AccessKind.UNRESOLVED_SUPER:
|
| + return visitor.visitUnresolvedSuperCompound(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case AccessKind.UNRESOLVED:
|
| - // TODO(johnniwinther): Support these through [AccessKind.COMPOUND].
|
| - return visitor.errorUnresolvedCompound(
|
| + return visitor.visitUnresolvedCompound(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1351,6 +1443,22 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_GETTER:
|
| + return visitor.visitUnresolvedStaticGetterCompound(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_SETTER:
|
| + return visitor.visitUnresolvedStaticSetterCompound(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case CompoundAccessKind.TOPLEVEL_GETTER_SETTER:
|
| return visitor.visitTopLevelGetterSetterCompound(
|
| node,
|
| @@ -1367,6 +1475,22 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_GETTER:
|
| + return visitor.visitUnresolvedTopLevelGetterCompound(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_SETTER:
|
| + return visitor.visitUnresolvedTopLevelSetterCompound(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case CompoundAccessKind.SUPER_FIELD_FIELD:
|
| // TODO(johnniwinther): Handle this.
|
| break;
|
| @@ -1403,15 +1527,21 @@ class CompoundStructure<R, A> implements SendStructure<R, A> {
|
| node.arguments.single,
|
| arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_GETTER:
|
| + return visitor.visitUnresolvedSuperGetterCompound(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + node.arguments.single,
|
| + arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_SETTER:
|
| - // TODO(johnniwinther): Handle these separately.
|
| - return visitor.errorUnresolvedCompound(
|
| + return visitor.visitUnresolvedSuperSetterCompound(
|
| node,
|
| - semantics.element,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| operator,
|
| node.arguments.single,
|
| arg);
|
| - break;
|
| }
|
| break;
|
| }
|
| @@ -1527,7 +1657,7 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| setterSelector,
|
| arg);
|
| case AccessKind.LOCAL_FUNCTION:
|
| - return visitor.errorLocalFunctionPrefix(
|
| + return visitor.visitLocalFunctionPrefix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1538,21 +1668,42 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| + return visitor.visitFinalLocalVariablePrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.PARAMETER:
|
| return visitor.visitParameterPrefix(
|
| node,
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.FINAL_PARAMETER:
|
| + return visitor.visitFinalParameterPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_FIELD:
|
| return visitor.visitStaticFieldPrefix(
|
| node,
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| + return visitor.visitStaticFinalFieldPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitStaticMethodPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1565,9 +1716,18 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| + return visitor.visitTopLevelFinalFieldPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.TOPLEVEL_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitTopLevelMethodPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.TOPLEVEL_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1575,25 +1735,25 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| // This is not a valid case.
|
| break;
|
| case AccessKind.CLASS_TYPE_LITERAL:
|
| - return visitor.errorClassTypeLiteralPrefix(
|
| + return visitor.visitClassTypeLiteralPrefix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.TYPEDEF_TYPE_LITERAL:
|
| - return visitor.errorTypedefTypeLiteralPrefix(
|
| + return visitor.visitTypedefTypeLiteralPrefix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.DYNAMIC_TYPE_LITERAL:
|
| - return visitor.errorDynamicTypeLiteralPrefix(
|
| + return visitor.visitDynamicTypeLiteralPrefix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.TYPE_PARAMETER_TYPE_LITERAL:
|
| - return visitor.errorTypeVariableTypeLiteralPrefix(
|
| + return visitor.visitTypeVariableTypeLiteralPrefix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1617,9 +1777,18 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| + return visitor.visitSuperFinalFieldPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.SUPER_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitSuperMethodPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.SUPER_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1630,9 +1799,13 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| // TODO(johnniwinther): Should this be a valid case?
|
| break;
|
| case AccessKind.UNRESOLVED_SUPER:
|
| + return visitor.visitUnresolvedSuperPrefix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.UNRESOLVED:
|
| - // TODO(johnniwinther): Support these through [AccessKind.COMPOUND].
|
| - return visitor.errorUnresolvedPrefix(
|
| + return visitor.visitUnresolvedPrefix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1654,6 +1827,27 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| compoundSemantics.setter,
|
| operator,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_GETTER:
|
| + return visitor.visitUnresolvedStaticGetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_SETTER:
|
| + return visitor.visitUnresolvedStaticSetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| + case CompoundAccessKind.STATIC_METHOD_SETTER:
|
| + return visitor.visitStaticMethodSetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.TOPLEVEL_GETTER_SETTER:
|
| return visitor.visitTopLevelGetterSetterPrefix(
|
| node,
|
| @@ -1668,6 +1862,20 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| compoundSemantics.setter,
|
| operator,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_GETTER:
|
| + return visitor.visitUnresolvedTopLevelGetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_SETTER:
|
| + return visitor.visitUnresolvedTopLevelSetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.SUPER_FIELD_FIELD:
|
| return visitor.visitSuperFieldFieldPrefix(
|
| node,
|
| @@ -1704,11 +1912,17 @@ class PrefixStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_GETTER:
|
| + return visitor.visitUnresolvedSuperGetterPrefix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_SETTER:
|
| - // TODO(johnniwinther): Handle these directly.
|
| - return visitor.errorUnresolvedPrefix(
|
| + return visitor.visitUnresolvedSuperSetterPrefix(
|
| node,
|
| - semantics.element,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| operator,
|
| arg);
|
| }
|
| @@ -1751,7 +1965,7 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| setterSelector,
|
| arg);
|
| case AccessKind.LOCAL_FUNCTION:
|
| - return visitor.errorLocalFunctionPostfix(
|
| + return visitor.visitLocalFunctionPostfix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1762,21 +1976,42 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.FINAL_LOCAL_VARIABLE:
|
| + return visitor.visitFinalLocalVariablePostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.PARAMETER:
|
| return visitor.visitParameterPostfix(
|
| node,
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.FINAL_PARAMETER:
|
| + return visitor.visitFinalParameterPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_FIELD:
|
| return visitor.visitStaticFieldPostfix(
|
| node,
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.STATIC_FINAL_FIELD:
|
| + return visitor.visitStaticFinalFieldPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitStaticMethodPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.STATIC_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1789,9 +2024,18 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.TOPLEVEL_FINAL_FIELD:
|
| + return visitor.visitTopLevelFinalFieldPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.TOPLEVEL_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitTopLevelMethodPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.TOPLEVEL_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1799,25 +2043,25 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| // This is not a valid case.
|
| break;
|
| case AccessKind.CLASS_TYPE_LITERAL:
|
| - return visitor.errorClassTypeLiteralPostfix(
|
| + return visitor.visitClassTypeLiteralPostfix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.TYPEDEF_TYPE_LITERAL:
|
| - return visitor.errorTypedefTypeLiteralPostfix(
|
| + return visitor.visitTypedefTypeLiteralPostfix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.DYNAMIC_TYPE_LITERAL:
|
| - return visitor.errorDynamicTypeLiteralPostfix(
|
| + return visitor.visitDynamicTypeLiteralPostfix(
|
| node,
|
| semantics.constant,
|
| operator,
|
| arg);
|
| case AccessKind.TYPE_PARAMETER_TYPE_LITERAL:
|
| - return visitor.errorTypeVariableTypeLiteralPostfix(
|
| + return visitor.visitTypeVariableTypeLiteralPostfix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1841,9 +2085,18 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| semantics.element,
|
| operator,
|
| arg);
|
| + case AccessKind.SUPER_FINAL_FIELD:
|
| + return visitor.visitSuperFinalFieldPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.SUPER_METHOD:
|
| - // TODO(johnniwinther): Handle this.
|
| - break;
|
| + return visitor.visitSuperMethodPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.SUPER_GETTER:
|
| // This is not a valid case.
|
| break;
|
| @@ -1854,9 +2107,13 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| // TODO(johnniwinther): Should this be a valid case?
|
| break;
|
| case AccessKind.UNRESOLVED_SUPER:
|
| + return visitor.visitUnresolvedSuperPostfix(
|
| + node,
|
| + semantics.element,
|
| + operator,
|
| + arg);
|
| case AccessKind.UNRESOLVED:
|
| - // TODO(johnniwinther): Support these through [AccessKind.COMPOUND].
|
| - return visitor.errorUnresolvedPostfix(
|
| + return visitor.visitUnresolvedPostfix(
|
| node,
|
| semantics.element,
|
| operator,
|
| @@ -1871,6 +2128,20 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| compoundSemantics.setter,
|
| operator,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_GETTER:
|
| + return visitor.visitUnresolvedStaticGetterPostfix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_STATIC_SETTER:
|
| + return visitor.visitUnresolvedStaticSetterPostfix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.STATIC_METHOD_SETTER:
|
| return visitor.visitStaticMethodSetterPostfix(
|
| node,
|
| @@ -1892,6 +2163,20 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| compoundSemantics.setter,
|
| operator,
|
| arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_GETTER:
|
| + return visitor.visitUnresolvedTopLevelGetterPostfix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| + case CompoundAccessKind.UNRESOLVED_TOPLEVEL_SETTER:
|
| + return visitor.visitUnresolvedTopLevelSetterPostfix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.SUPER_FIELD_FIELD:
|
| return visitor.visitSuperFieldFieldPostfix(
|
| node,
|
| @@ -1928,11 +2213,17 @@ class PostfixStructure<R, A> implements SendStructure<R, A> {
|
| operator,
|
| arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_GETTER:
|
| + return visitor.visitUnresolvedSuperGetterPostfix(
|
| + node,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| + operator,
|
| + arg);
|
| case CompoundAccessKind.UNRESOLVED_SUPER_SETTER:
|
| - // TODO(johnniwinther): Handle these directly.
|
| - return visitor.errorUnresolvedPostfix(
|
| + return visitor.visitUnresolvedSuperSetterPostfix(
|
| node,
|
| - semantics.element,
|
| + compoundSemantics.getter,
|
| + compoundSemantics.setter,
|
| operator,
|
| arg);
|
| }
|
|
|