| // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // @dart = 2.9 |
| |
| library fasta.outline_builder; |
| |
| import 'package:_fe_analyzer_shared/src/parser/parser.dart' |
| show |
| Assert, |
| DeclarationKind, |
| FormalParameterKind, |
| IdentifierContext, |
| lengthOfSpan, |
| MemberKind, |
| optional; |
| |
| import 'package:_fe_analyzer_shared/src/parser/quote.dart' show unescapeString; |
| |
| import 'package:_fe_analyzer_shared/src/parser/stack_listener.dart' |
| show FixedNullableList, NullValue, ParserRecovery; |
| |
| import 'package:_fe_analyzer_shared/src/parser/value_kind.dart'; |
| |
| import 'package:_fe_analyzer_shared/src/scanner/scanner.dart' show Token; |
| |
| import 'package:kernel/ast.dart' |
| show AsyncMarker, InvalidType, Nullability, ProcedureKind, Variance; |
| |
| import '../builder/constructor_reference_builder.dart'; |
| import '../builder/enum_builder.dart'; |
| import '../builder/fixed_type_builder.dart'; |
| import '../builder/formal_parameter_builder.dart'; |
| import '../builder/function_type_builder.dart'; |
| import '../builder/invalid_type_declaration_builder.dart'; |
| import '../builder/metadata_builder.dart'; |
| import '../builder/mixin_application_builder.dart'; |
| import '../builder/named_type_builder.dart'; |
| import '../builder/nullability_builder.dart'; |
| import '../builder/type_builder.dart'; |
| import '../builder/type_variable_builder.dart'; |
| import '../builder/unresolved_type.dart'; |
| |
| import '../combinator.dart' show Combinator; |
| |
| import '../configuration.dart' show Configuration; |
| |
| import '../fasta_codes.dart'; |
| |
| import '../identifiers.dart' show QualifiedName, flattenName; |
| |
| import '../ignored_parser_errors.dart' show isIgnoredParserError; |
| |
| import '../kernel/type_algorithms.dart'; |
| |
| import '../modifier.dart' |
| show |
| Const, |
| Covariant, |
| External, |
| Final, |
| Modifier, |
| Static, |
| Var, |
| abstractMask, |
| constMask, |
| covariantMask, |
| externalMask, |
| finalMask, |
| lateMask, |
| mixinDeclarationMask, |
| requiredMask, |
| staticMask; |
| |
| import '../operator.dart' |
| show |
| Operator, |
| operatorFromString, |
| operatorToString, |
| operatorRequiredArgumentCount; |
| |
| import '../problems.dart' show unhandled; |
| |
| import 'source_extension_builder.dart'; |
| |
| import 'source_library_builder.dart' |
| show |
| TypeParameterScopeBuilder, |
| TypeParameterScopeKind, |
| FieldInfo, |
| SourceLibraryBuilder; |
| |
| import 'stack_listener_impl.dart'; |
| |
| import 'value_kinds.dart'; |
| |
| enum MethodBody { |
| Abstract, |
| Regular, |
| RedirectingFactoryBody, |
| } |
| |
| class OutlineBuilder extends StackListenerImpl { |
| final SourceLibraryBuilder libraryBuilder; |
| |
| final bool enableNative; |
| final bool stringExpectedAfterNative; |
| bool inConstructor = false; |
| bool inConstructorName = false; |
| int importIndex = 0; |
| |
| String nativeMethodName; |
| |
| /// Counter used for naming unnamed extension declarations. |
| int unnamedExtensionCounter = 0; |
| |
| OutlineBuilder(SourceLibraryBuilder library) |
| : libraryBuilder = library, |
| enableNative = |
| library.loader.target.backendTarget.enableNative(library.importUri), |
| stringExpectedAfterNative = |
| library.loader.target.backendTarget.nativeExtensionExpectsString; |
| |
| @override |
| Uri get uri => libraryBuilder.fileUri; |
| |
| int popCharOffset() => pop(); |
| |
| List<String> popIdentifierList(int count) { |
| if (count == 0) return null; |
| List<String> list = new List<String>.filled(count, null); |
| bool isParserRecovery = false; |
| for (int i = count - 1; i >= 0; i--) { |
| popCharOffset(); |
| Object identifier = pop(); |
| if (identifier is ParserRecovery) { |
| isParserRecovery = true; |
| } else { |
| list[i] = identifier; |
| } |
| } |
| return isParserRecovery ? null : list; |
| } |
| |
| @override |
| void endMetadata(Token beginToken, Token periodBeforeName, Token endToken) { |
| debugEvent("Metadata"); |
| pop(); // arguments |
| if (periodBeforeName != null) { |
| pop(); // offset |
| pop(); // constructor name |
| } |
| pop(); // type arguments |
| pop(); // offset |
| Object sentinel = pop(); // prefix or constructor |
| push(sentinel is ParserRecovery |
| ? sentinel |
| : new MetadataBuilder(beginToken)); |
| } |
| |
| @override |
| void endMetadataStar(int count) { |
| debugEvent("MetadataStar"); |
| push(const FixedNullableList<MetadataBuilder>().pop(stack, count) ?? |
| NullValue.Metadata); |
| } |
| |
| @override |
| void handleInvalidTopLevelDeclaration(Token endToken) { |
| debugEvent("InvalidTopLevelDeclaration"); |
| pop(); // metadata star |
| } |
| |
| @override |
| void endHide(Token hideKeyword) { |
| debugEvent("Hide"); |
| Object names = pop(); |
| if (names is ParserRecovery) { |
| push(names); |
| } else { |
| push(new Combinator.hide( |
| names, hideKeyword.charOffset, libraryBuilder.fileUri)); |
| } |
| } |
| |
| @override |
| void endShow(Token showKeyword) { |
| debugEvent("Show"); |
| Object names = pop(); |
| if (names is ParserRecovery) { |
| push(names); |
| } else { |
| push(new Combinator.show( |
| names, showKeyword.charOffset, libraryBuilder.fileUri)); |
| } |
| } |
| |
| @override |
| void endCombinators(int count) { |
| debugEvent("Combinators"); |
| push(const FixedNullableList<Combinator>().pop(stack, count) ?? |
| NullValue.Combinators); |
| } |
| |
| @override |
| void endExport(Token exportKeyword, Token semicolon) { |
| debugEvent("Export"); |
| List<Combinator> combinators = pop(); |
| List<Configuration> configurations = pop(); |
| int uriOffset = popCharOffset(); |
| String uri = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| libraryBuilder.addExport(metadata, uri, configurations, combinators, |
| exportKeyword.charOffset, uriOffset); |
| checkEmpty(exportKeyword.charOffset); |
| } |
| |
| @override |
| void handleImportPrefix(Token deferredKeyword, Token asKeyword) { |
| debugEvent("ImportPrefix"); |
| if (asKeyword == null) { |
| // If asKeyword is null, then no prefix has been pushed on the stack. |
| // Push a placeholder indicating that there is no prefix. |
| push(NullValue.Prefix); |
| push(-1); |
| } |
| push(deferredKeyword != null); |
| } |
| |
| @override |
| void endImport(Token importKeyword, Token semicolon) { |
| debugEvent("EndImport"); |
| List<Combinator> combinators = pop(); |
| bool isDeferred = pop(); |
| int prefixOffset = pop(); |
| Object prefix = pop(NullValue.Prefix); |
| List<Configuration> configurations = pop(); |
| int uriOffset = popCharOffset(); |
| String uri = pop(); // For a conditional import, this is the default URI. |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(importKeyword.charOffset); |
| if (prefix is ParserRecovery) return; |
| libraryBuilder.addImport( |
| metadata, |
| uri, |
| configurations, |
| prefix, |
| combinators, |
| isDeferred, |
| importKeyword.charOffset, |
| prefixOffset, |
| uriOffset, |
| importIndex++); |
| } |
| |
| @override |
| void endConditionalUris(int count) { |
| debugEvent("EndConditionalUris"); |
| push(const FixedNullableList<Configuration>().pop(stack, count) ?? |
| NullValue.ConditionalUris); |
| } |
| |
| @override |
| void endConditionalUri(Token ifKeyword, Token leftParen, Token equalSign) { |
| debugEvent("EndConditionalUri"); |
| int charOffset = popCharOffset(); |
| String uri = pop(); |
| if (equalSign != null) popCharOffset(); |
| String condition = popIfNotNull(equalSign) ?? "true"; |
| Object dottedName = pop(); |
| if (dottedName is ParserRecovery) { |
| push(dottedName); |
| } else { |
| push(new Configuration(charOffset, dottedName, condition, uri)); |
| } |
| } |
| |
| @override |
| void handleDottedName(int count, Token firstIdentifier) { |
| debugEvent("DottedName"); |
| List<String> names = popIdentifierList(count); |
| if (names == null) { |
| push(new ParserRecovery(firstIdentifier.charOffset)); |
| } else { |
| push(names.join('.')); |
| } |
| } |
| |
| @override |
| void handleRecoverImport(Token semicolon) { |
| debugEvent("RecoverImport"); |
| pop(); // combinators |
| pop(NullValue.Deferred); // deferredKeyword |
| pop(); // prefixOffset |
| pop(NullValue.Prefix); // prefix |
| pop(); // conditionalUris |
| } |
| |
| @override |
| void endPart(Token partKeyword, Token semicolon) { |
| debugEvent("Part"); |
| int charOffset = popCharOffset(); |
| String uri = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| libraryBuilder.addPart(metadata, uri, charOffset); |
| checkEmpty(partKeyword.charOffset); |
| } |
| |
| @override |
| void handleOperatorName(Token operatorKeyword, Token token) { |
| debugEvent("OperatorName"); |
| push(operatorFromString(token.stringValue)); |
| push(token.charOffset); |
| } |
| |
| @override |
| void handleInvalidOperatorName(Token operatorKeyword, Token token) { |
| debugEvent("InvalidOperatorName"); |
| push('invalid'); |
| push(token.charOffset); |
| } |
| |
| @override |
| void handleIdentifier(Token token, IdentifierContext context) { |
| if (context == IdentifierContext.enumValueDeclaration) { |
| debugEvent("handleIdentifier"); |
| List<MetadataBuilder> metadata = pop(); |
| if (token.isSynthetic) { |
| push(new ParserRecovery(token.charOffset)); |
| } else { |
| push(new EnumConstantInfo(metadata, token.lexeme, token.charOffset)); |
| } |
| } else { |
| super.handleIdentifier(token, context); |
| push(token.charOffset); |
| } |
| if (inConstructor && context == IdentifierContext.methodDeclaration) { |
| inConstructorName = true; |
| } |
| } |
| |
| @override |
| void handleNoName(Token token) { |
| super.handleNoName(token); |
| push(token.charOffset); |
| } |
| |
| @override |
| void handleStringPart(Token token) { |
| debugEvent("StringPart"); |
| // Ignore string parts - report error later. |
| } |
| |
| @override |
| void endLiteralString(int interpolationCount, Token endToken) { |
| debugEvent("endLiteralString"); |
| if (interpolationCount == 0) { |
| Token token = pop(); |
| push(unescapeString(token.lexeme, token, this)); |
| push(token.charOffset); |
| } else { |
| Token beginToken = pop(); |
| int charOffset = beginToken.charOffset; |
| push("${SourceLibraryBuilder.MALFORMED_URI_SCHEME}:bad${charOffset}"); |
| push(charOffset); |
| // Point to dollar sign |
| int interpolationOffset = charOffset + beginToken.lexeme.length; |
| addProblem(messageInterpolationInUri, interpolationOffset, 1); |
| } |
| } |
| |
| @override |
| void handleNativeClause(Token nativeToken, bool hasName) { |
| debugEvent("NativeClause"); |
| if (hasName) { |
| // Pop the native clause which in this case is a StringLiteral. |
| pop(); // Char offset. |
| Object name = pop(); |
| if (name is ParserRecovery) { |
| nativeMethodName = ''; |
| } else { |
| nativeMethodName = name; // String. |
| } |
| } else { |
| nativeMethodName = ''; |
| } |
| } |
| |
| @override |
| void handleStringJuxtaposition(Token startToken, int literalCount) { |
| debugEvent("StringJuxtaposition"); |
| List<String> list = new List<String>.filled(literalCount, null); |
| int charOffset = -1; |
| for (int i = literalCount - 1; i >= 0; i--) { |
| charOffset = pop(); |
| list[i] = pop(); |
| } |
| push(list.join("")); |
| push(charOffset); |
| } |
| |
| @override |
| void handleIdentifierList(int count) { |
| debugEvent("endIdentifierList"); |
| push(popIdentifierList(count) ?? |
| (count == 0 ? NullValue.IdentifierList : new ParserRecovery(-1))); |
| } |
| |
| @override |
| void handleQualified(Token period) { |
| assert(checkState(period, [ |
| /*suffix offset*/ ValueKinds.Integer, |
| /*suffix*/ ValueKinds.NameOrParserRecovery, |
| /*prefix offset*/ ValueKinds.Integer, |
| /*prefix*/ unionOfKinds([ |
| ValueKinds.Name, |
| ValueKinds.ParserRecovery, |
| ValueKinds.QualifiedName |
| ]), |
| ])); |
| debugEvent("handleQualified"); |
| int suffixOffset = pop(); |
| Object suffix = pop(); |
| int offset = pop(); |
| Object prefix = pop(); |
| if (prefix is ParserRecovery) { |
| push(prefix); |
| } else if (suffix is ParserRecovery) { |
| push(suffix); |
| } else { |
| assert(identical(suffix, period.next.lexeme)); |
| assert(suffixOffset == period.next.charOffset); |
| push(new QualifiedName(prefix, period.next)); |
| } |
| push(offset); |
| } |
| |
| @override |
| void endLibraryName(Token libraryKeyword, Token semicolon) { |
| debugEvent("endLibraryName"); |
| popCharOffset(); |
| Object name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (name is! ParserRecovery) { |
| libraryBuilder.name = |
| flattenName(name, offsetForToken(libraryKeyword), uri); |
| } |
| libraryBuilder.metadata = metadata; |
| } |
| |
| @override |
| void beginClassOrNamedMixinApplicationPrelude(Token token) { |
| debugEvent("beginClassOrNamedMixinApplicationPrelude"); |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.classOrNamedMixinApplication, |
| "class or mixin application"); |
| } |
| |
| @override |
| void beginClassDeclaration(Token begin, Token abstractToken, Token name) { |
| debugEvent("beginClassDeclaration"); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(typeVariables ?? NullValue.TypeVariables); |
| libraryBuilder.currentTypeParameterScopeBuilder |
| .markAsClassDeclaration(name.lexeme, name.charOffset, typeVariables); |
| libraryBuilder.setCurrentClassName(name.lexeme); |
| push(abstractToken != null ? abstractMask : 0); |
| } |
| |
| @override |
| void beginMixinDeclaration(Token mixinKeyword, Token name) { |
| debugEvent("beginMixinDeclaration"); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(typeVariables ?? NullValue.TypeVariables); |
| libraryBuilder.currentTypeParameterScopeBuilder |
| .markAsMixinDeclaration(name.lexeme, name.charOffset, typeVariables); |
| libraryBuilder.setCurrentClassName(name.lexeme); |
| } |
| |
| @override |
| void beginClassOrMixinBody(DeclarationKind kind, Token token) { |
| if (kind == DeclarationKind.Extension) { |
| assert(checkState(token, [ |
| unionOfKinds([ValueKinds.ParserRecovery, ValueKinds.TypeBuilder]) |
| ])); |
| Object extensionThisType = peek(); |
| if (extensionThisType is TypeBuilder) { |
| libraryBuilder.currentTypeParameterScopeBuilder |
| .registerExtensionThisType(extensionThisType); |
| } else { |
| // TODO(johnniwinther): Supply an invalid type as the extension on type. |
| } |
| } |
| debugEvent("beginClassOrMixinBody"); |
| // Resolve unresolved types from the class header (i.e., superclass, mixins, |
| // and implemented types) before adding members from the class body which |
| // should not shadow these unresolved types. |
| libraryBuilder.currentTypeParameterScopeBuilder.resolveTypes( |
| libraryBuilder.currentTypeParameterScopeBuilder.typeVariables, |
| libraryBuilder); |
| } |
| |
| @override |
| void beginNamedMixinApplication( |
| Token begin, Token abstractToken, Token name) { |
| debugEvent("beginNamedMixinApplication"); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(typeVariables ?? NullValue.TypeVariables); |
| libraryBuilder.currentTypeParameterScopeBuilder.markAsNamedMixinApplication( |
| name.lexeme, name.charOffset, typeVariables); |
| push(abstractToken != null ? abstractMask : 0); |
| } |
| |
| @override |
| void handleClassOrMixinImplements( |
| Token implementsKeyword, int interfacesCount) { |
| debugEvent("ClassOrMixinImplements"); |
| push(const FixedNullableList<TypeBuilder>().pop(stack, interfacesCount) ?? |
| NullValue.TypeBuilderList); |
| } |
| |
| @override |
| void handleRecoverClassHeader() { |
| debugEvent("handleRecoverClassHeader"); |
| // TODO(jensj): Possibly use these instead... E.g. "class A extend B {}" |
| // will get here (because it's 'extends' with an 's') and discard the B... |
| // Also Analyzer actually merges the information meaning that the two could |
| // give different errors (if, say, one later assigns |
| // A to a variable of type B). |
| pop(NullValue.TypeBuilderList); // Interfaces. |
| pop(); // Supertype offset. |
| pop(); // Supertype. |
| } |
| |
| @override |
| void handleRecoverMixinHeader() { |
| debugEvent("handleRecoverMixinHeader"); |
| // TODO(jensj): Possibly use these instead... |
| // See also handleRecoverClassHeader |
| pop(NullValue.TypeBuilderList); // Interfaces. |
| pop(NullValue.TypeBuilderList); // Supertype constraints. |
| } |
| |
| @override |
| void handleClassExtends(Token extendsKeyword, int typeCount) { |
| debugEvent("handleClassExtends"); |
| while (typeCount > 1) { |
| pop(); |
| typeCount--; |
| } |
| push(extendsKeyword?.charOffset ?? -1); |
| } |
| |
| @override |
| void handleMixinOn(Token onKeyword, int typeCount) { |
| debugEvent("handleMixinOn"); |
| push(const FixedNullableList<TypeBuilder>().pop(stack, typeCount) ?? |
| new ParserRecovery(offsetForToken(onKeyword))); |
| } |
| |
| @override |
| void endClassDeclaration(Token beginToken, Token endToken) { |
| debugEvent("endClassDeclaration"); |
| List<TypeBuilder> interfaces = pop(NullValue.TypeBuilderList); |
| int supertypeOffset = pop(); |
| TypeBuilder supertype = nullIfParserRecovery(pop()); |
| int modifiers = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int nameOffset = pop(); |
| Object name = pop(); |
| if (typeVariables != null && supertype is MixinApplicationBuilder) { |
| supertype.typeVariables = typeVariables; |
| } |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(beginToken.charOffset); |
| if (name is ParserRecovery) { |
| libraryBuilder |
| .endNestedDeclaration( |
| TypeParameterScopeKind.classDeclaration, "<syntax-error>") |
| .resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| |
| final int startCharOffset = |
| metadata == null ? beginToken.charOffset : metadata.first.charOffset; |
| |
| if (libraryBuilder.isNonNullableByDefault) { |
| String classNameForErrors = "${name}"; |
| TypeBuilder supertypeForErrors = supertype is MixinApplicationBuilder |
| ? supertype.supertype |
| : supertype; |
| List<TypeBuilder> mixins = |
| supertype is MixinApplicationBuilder ? supertype.mixins : null; |
| if (supertypeForErrors != null) { |
| if (supertypeForErrors.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableSuperclassError |
| .withArguments(supertypeForErrors.fullNameForErrors), |
| nameOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| if (mixins != null) { |
| for (TypeBuilder mixin in mixins) { |
| if (mixin.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableMixinError |
| .withArguments(mixin.fullNameForErrors), |
| nameOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| } |
| if (interfaces != null) { |
| for (TypeBuilder interface in interfaces) { |
| if (interface.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableInterfaceError |
| .withArguments(interface.fullNameForErrors), |
| nameOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| } |
| } |
| |
| libraryBuilder.addClass( |
| metadata, |
| modifiers, |
| name, |
| typeVariables, |
| supertype, |
| interfaces, |
| startCharOffset, |
| nameOffset, |
| endToken.charOffset, |
| supertypeOffset); |
| |
| libraryBuilder.setCurrentClassName(null); |
| } |
| |
| Object nullIfParserRecovery(Object node) { |
| return node is ParserRecovery ? null : node; |
| } |
| |
| @override |
| void endMixinDeclaration(Token mixinToken, Token endToken) { |
| debugEvent("endMixinDeclaration"); |
| List<TypeBuilder> interfaces = pop(NullValue.TypeBuilderList); |
| List<TypeBuilder> supertypeConstraints = nullIfParserRecovery(pop()); |
| List<TypeVariableBuilder> typeVariables = pop(NullValue.TypeVariables); |
| int nameOffset = pop(); |
| Object name = pop(); |
| List<MetadataBuilder> metadata = pop(NullValue.Metadata); |
| checkEmpty(mixinToken.charOffset); |
| if (name is ParserRecovery) { |
| libraryBuilder |
| .endNestedDeclaration( |
| TypeParameterScopeKind.mixinDeclaration, "<syntax-error>") |
| .resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| int startOffset = |
| metadata == null ? mixinToken.charOffset : metadata.first.charOffset; |
| TypeBuilder supertype; |
| if (supertypeConstraints != null && supertypeConstraints.isNotEmpty) { |
| if (supertypeConstraints.length == 1) { |
| supertype = supertypeConstraints.first; |
| } else { |
| supertype = new MixinApplicationBuilder( |
| supertypeConstraints.first, |
| supertypeConstraints.skip(1).toList(), |
| supertypeConstraints.first.fileUri, |
| supertypeConstraints.first.charOffset); |
| } |
| } |
| |
| if (libraryBuilder.isNonNullableByDefault) { |
| String classNameForErrors = "${name}"; |
| if (supertypeConstraints != null) { |
| for (TypeBuilder supertype in supertypeConstraints) { |
| if (supertype.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableSuperclassError |
| .withArguments(supertype.fullNameForErrors), |
| nameOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| } |
| if (interfaces != null) { |
| for (TypeBuilder interface in interfaces) { |
| if (interface.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableInterfaceError |
| .withArguments(interface.fullNameForErrors), |
| nameOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| } |
| } |
| |
| libraryBuilder.addMixinDeclaration( |
| metadata, |
| mixinDeclarationMask, |
| name, |
| typeVariables, |
| supertype, |
| interfaces, |
| startOffset, |
| nameOffset, |
| endToken.charOffset, |
| -1); |
| libraryBuilder.setCurrentClassName(null); |
| } |
| |
| @override |
| void beginExtensionDeclarationPrelude(Token extensionKeyword) { |
| assert(checkState(extensionKeyword, [ValueKinds.MetadataListOrNull])); |
| debugEvent("beginExtensionDeclaration"); |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.extensionDeclaration, "extension"); |
| } |
| |
| @override |
| void beginExtensionDeclaration(Token extensionKeyword, Token nameToken) { |
| assert(checkState(extensionKeyword, |
| [ValueKinds.TypeVariableListOrNull, ValueKinds.MetadataListOrNull])); |
| debugEvent("beginExtensionDeclaration"); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int offset = nameToken?.charOffset ?? extensionKeyword.charOffset; |
| String name = nameToken?.lexeme ?? |
| // Synthesized name used internally. |
| '_extension#${unnamedExtensionCounter++}'; |
| push(name); |
| push(offset); |
| push(typeVariables ?? NullValue.TypeVariables); |
| libraryBuilder.currentTypeParameterScopeBuilder |
| .markAsExtensionDeclaration(name, offset, typeVariables); |
| } |
| |
| @override |
| void endExtensionDeclaration( |
| Token extensionKeyword, Token onKeyword, Token endToken) { |
| assert(checkState(extensionKeyword, [ |
| unionOfKinds([ValueKinds.ParserRecovery, ValueKinds.TypeBuilder]), |
| ValueKinds.TypeVariableListOrNull, |
| ValueKinds.Integer, |
| ValueKinds.NameOrNull, |
| ValueKinds.MetadataListOrNull |
| ])); |
| debugEvent("endExtensionDeclaration"); |
| Object onType = pop(); |
| if (onType is ParserRecovery) { |
| ParserRecovery parserRecovery = onType; |
| onType = new FixedTypeBuilder( |
| const InvalidType(), uri, parserRecovery.charOffset); |
| } |
| List<TypeVariableBuilder> typeVariables = pop(NullValue.TypeVariables); |
| int nameOffset = pop(); |
| String name = pop(NullValue.Name); |
| if (name == null) { |
| nameOffset = extensionKeyword.charOffset; |
| name = '$nameOffset'; |
| } |
| List<MetadataBuilder> metadata = pop(NullValue.Metadata); |
| checkEmpty(extensionKeyword.charOffset); |
| int startOffset = metadata == null |
| ? extensionKeyword.charOffset |
| : metadata.first.charOffset; |
| libraryBuilder.addExtensionDeclaration( |
| metadata, |
| // TODO(johnniwinther): Support modifiers on extensions? |
| 0, |
| name, |
| typeVariables, |
| onType, |
| startOffset, |
| nameOffset, |
| endToken.charOffset); |
| } |
| |
| ProcedureKind computeProcedureKind(Token token) { |
| if (token == null) return ProcedureKind.Method; |
| if (optional("get", token)) return ProcedureKind.Getter; |
| if (optional("set", token)) return ProcedureKind.Setter; |
| return unhandled( |
| token.lexeme, "computeProcedureKind", token.charOffset, uri); |
| } |
| |
| @override |
| void beginTopLevelMethod(Token lastConsumed, Token externalToken) { |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.topLevelMethod, "#method", |
| hasMembers: false); |
| push(externalToken != null ? externalMask : 0); |
| } |
| |
| @override |
| void endTopLevelMethod(Token beginToken, Token getOrSet, Token endToken) { |
| debugEvent("endTopLevelMethod"); |
| MethodBody kind = pop(); |
| AsyncMarker asyncModifier = pop(); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| Object name = pop(); |
| TypeBuilder returnType = pop(); |
| bool isAbstract = kind == MethodBody.Abstract; |
| if (getOrSet != null && optional("set", getOrSet)) { |
| if (formals == null || formals.length != 1) { |
| // This isn't abstract as we'll add an error-recovery node in |
| // [BodyBuilder.finishFunction]. |
| isAbstract = false; |
| } |
| if (returnType != null && !returnType.isVoidType) { |
| addProblem(messageNonVoidReturnSetter, beginToken.charOffset, noLength); |
| // Use implicit void as recovery. |
| returnType = null; |
| } |
| } |
| int modifiers = pop(); |
| modifiers = Modifier.addAbstractMask(modifiers, isAbstract: isAbstract); |
| if (nativeMethodName != null) { |
| modifiers |= externalMask; |
| } |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(beginToken.charOffset); |
| libraryBuilder |
| .endNestedDeclaration(TypeParameterScopeKind.topLevelMethod, "#method") |
| .resolveTypes(typeVariables, libraryBuilder); |
| if (name is ParserRecovery) return; |
| final int startCharOffset = |
| metadata == null ? beginToken.charOffset : metadata.first.charOffset; |
| libraryBuilder.addProcedure( |
| metadata, |
| modifiers, |
| returnType, |
| name, |
| typeVariables, |
| formals, |
| computeProcedureKind(getOrSet), |
| startCharOffset, |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| asyncModifier, |
| isInstanceMember: false, |
| isExtensionMember: false); |
| nativeMethodName = null; |
| } |
| |
| @override |
| void handleNativeFunctionBody(Token nativeToken, Token semicolon) { |
| debugEvent("NativeFunctionBody"); |
| if (nativeMethodName != null) { |
| push(MethodBody.Regular); |
| } else { |
| push(MethodBody.Abstract); |
| } |
| } |
| |
| @override |
| void handleNativeFunctionBodyIgnored(Token nativeToken, Token semicolon) { |
| debugEvent("NativeFunctionBodyIgnored"); |
| } |
| |
| @override |
| void handleNativeFunctionBodySkipped(Token nativeToken, Token semicolon) { |
| if (!enableNative) { |
| super.handleRecoverableError( |
| messageExpectedBlockToSkip, nativeToken, nativeToken); |
| } |
| push(MethodBody.Regular); |
| } |
| |
| @override |
| void handleNoFunctionBody(Token token) { |
| debugEvent("NoFunctionBody"); |
| if (nativeMethodName != null) { |
| push(MethodBody.Regular); |
| } else { |
| push(MethodBody.Abstract); |
| } |
| } |
| |
| @override |
| void handleFunctionBodySkipped(Token token, bool isExpressionBody) { |
| debugEvent("handleFunctionBodySkipped"); |
| push(MethodBody.Regular); |
| } |
| |
| @override |
| void beginMethod(Token externalToken, Token staticToken, Token covariantToken, |
| Token varFinalOrConst, Token getOrSet, Token name) { |
| inConstructor = |
| name?.lexeme == libraryBuilder.currentTypeParameterScopeBuilder.name && |
| getOrSet == null; |
| List<Modifier> modifiers; |
| if (externalToken != null) { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(External); |
| } |
| if (staticToken != null) { |
| if (!inConstructor) { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(Static); |
| } |
| } |
| if (covariantToken != null) { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(Covariant); |
| } |
| if (varFinalOrConst != null) { |
| String lexeme = varFinalOrConst.lexeme; |
| if (identical('var', lexeme)) { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(Var); |
| } else if (identical('final', lexeme)) { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(Final); |
| } else { |
| modifiers ??= <Modifier>[]; |
| modifiers.add(Const); |
| } |
| } |
| push(varFinalOrConst?.charOffset ?? -1); |
| push(modifiers ?? NullValue.Modifiers); |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.staticOrInstanceMethodOrConstructor, "#method", |
| hasMembers: false); |
| } |
| |
| @override |
| void endClassMethod(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.classMethod); |
| } |
| |
| void endClassConstructor(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.classConstructor); |
| } |
| |
| void endMixinMethod(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.mixinMethod); |
| } |
| |
| void endExtensionMethod(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.extensionMethod); |
| } |
| |
| void endMixinConstructor(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.mixinConstructor); |
| } |
| |
| void endExtensionConstructor(Token getOrSet, Token beginToken, |
| Token beginParam, Token beginInitializers, Token endToken) { |
| _endClassMethod(getOrSet, beginToken, beginParam, beginInitializers, |
| endToken, _MethodKind.extensionConstructor); |
| } |
| |
| void _endClassMethod(Token getOrSet, Token beginToken, Token beginParam, |
| Token beginInitializers, Token endToken, _MethodKind methodKind) { |
| assert(checkState(beginToken, [ValueKinds.MethodBody])); |
| debugEvent("Method"); |
| MethodBody bodyKind = pop(); |
| if (bodyKind == MethodBody.RedirectingFactoryBody) { |
| // This will cause an error later. |
| pop(); |
| } |
| assert(checkState(beginToken, [ |
| ValueKinds.AsyncModifier, |
| ValueKinds.FormalsOrNull, |
| ValueKinds.Integer, // formals offset |
| ValueKinds.TypeVariableListOrNull, |
| ValueKinds.Integer, // name offset |
| unionOfKinds([ |
| ValueKinds.Name, |
| ValueKinds.QualifiedName, |
| ValueKinds.Operator, |
| ValueKinds.ParserRecovery, |
| ]), |
| ValueKinds.TypeBuilderOrNull, |
| ValueKinds.ModifiersOrNull, |
| ValueKinds.Integer, // var/final/const offset |
| ValueKinds.MetadataListOrNull, |
| ])); |
| AsyncMarker asyncModifier = pop(); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| Object nameOrOperator = pop(); |
| if (Operator.subtract == nameOrOperator && formals == null) { |
| nameOrOperator = Operator.unaryMinus; |
| } |
| Object name; |
| ProcedureKind kind; |
| if (nameOrOperator is Operator) { |
| name = operatorToString(nameOrOperator); |
| kind = ProcedureKind.Operator; |
| int requiredArgumentCount = operatorRequiredArgumentCount(nameOrOperator); |
| if ((formals?.length ?? 0) != requiredArgumentCount) { |
| Template<Message Function(String name)> template; |
| switch (requiredArgumentCount) { |
| case 0: |
| template = templateOperatorParameterMismatch0; |
| break; |
| |
| case 1: |
| if (Operator.subtract == nameOrOperator) { |
| template = templateOperatorMinusParameterMismatch; |
| } else { |
| template = templateOperatorParameterMismatch1; |
| } |
| break; |
| |
| case 2: |
| template = templateOperatorParameterMismatch2; |
| break; |
| |
| default: |
| unhandled("$requiredArgumentCount", "operatorRequiredArgumentCount", |
| charOffset, uri); |
| } |
| String string = name; |
| addProblem(template.withArguments(name), charOffset, string.length); |
| } else { |
| if (formals != null) { |
| for (FormalParameterBuilder formal in formals) { |
| if (!formal.isRequired) { |
| addProblem(messageOperatorWithOptionalFormals, formal.charOffset, |
| formal.name.length); |
| } |
| } |
| } |
| } |
| if (typeVariables != null) { |
| TypeVariableBuilder typeVariableBuilder = typeVariables.first; |
| addProblem(messageOperatorWithTypeParameters, |
| typeVariableBuilder.charOffset, typeVariableBuilder.name.length); |
| } |
| } else { |
| name = nameOrOperator; |
| kind = computeProcedureKind(getOrSet); |
| } |
| TypeBuilder returnType = pop(); |
| bool isAbstract = bodyKind == MethodBody.Abstract; |
| if (getOrSet != null && optional("set", getOrSet)) { |
| if (formals == null || formals.length != 1) { |
| // This isn't abstract as we'll add an error-recovery node in |
| // [BodyBuilder.finishFunction]. |
| isAbstract = false; |
| } |
| if (returnType != null && !returnType.isVoidType) { |
| addProblem(messageNonVoidReturnSetter, |
| returnType.charOffset ?? beginToken.charOffset, noLength); |
| // Use implicit void as recovery. |
| returnType = null; |
| } |
| } |
| if (nameOrOperator == Operator.indexSet && |
| returnType != null && |
| !returnType.isVoidType) { |
| addProblem(messageNonVoidReturnOperator, |
| returnType.charOffset ?? beginToken.offset, noLength); |
| // Use implicit void as recovery. |
| returnType = null; |
| } |
| int modifiers = Modifier.toMask(pop()); |
| modifiers = Modifier.addAbstractMask(modifiers, isAbstract: isAbstract); |
| if (nativeMethodName != null) { |
| modifiers |= externalMask; |
| } |
| bool isConst = (modifiers & constMask) != 0; |
| int varFinalOrConstOffset = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| |
| TypeParameterScopeBuilder declarationBuilder = |
| libraryBuilder.endNestedDeclaration( |
| TypeParameterScopeKind.staticOrInstanceMethodOrConstructor, |
| "#method"); |
| if (name is ParserRecovery) { |
| nativeMethodName = null; |
| inConstructor = false; |
| declarationBuilder.resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| |
| String constructorName; |
| switch (methodKind) { |
| case _MethodKind.classConstructor: |
| case _MethodKind.mixinConstructor: |
| case _MethodKind.extensionConstructor: |
| constructorName = libraryBuilder.computeAndValidateConstructorName( |
| name, charOffset) ?? |
| name; |
| break; |
| case _MethodKind.classMethod: |
| case _MethodKind.mixinMethod: |
| case _MethodKind.extensionMethod: |
| break; |
| } |
| bool isStatic = (modifiers & staticMask) != 0; |
| if (constructorName == null && |
| !isStatic && |
| libraryBuilder.currentTypeParameterScopeBuilder.kind == |
| TypeParameterScopeKind.extensionDeclaration) { |
| TypeParameterScopeBuilder extension = |
| libraryBuilder.currentTypeParameterScopeBuilder; |
| Map<TypeVariableBuilder, TypeBuilder> substitution; |
| if (extension.typeVariables != null) { |
| // We synthesize the names of the generated [TypeParameter]s, i.e. |
| // rename 'T' to '#T'. We cannot do it on the builders because their |
| // names are used to create the scope. |
| List<TypeVariableBuilder> synthesizedTypeVariables = libraryBuilder |
| .copyTypeVariables(extension.typeVariables, declarationBuilder, |
| isExtensionTypeParameter: true); |
| substitution = {}; |
| for (int i = 0; i < synthesizedTypeVariables.length; i++) { |
| substitution[extension.typeVariables[i]] = |
| new NamedTypeBuilder.fromTypeDeclarationBuilder( |
| synthesizedTypeVariables[i], |
| const NullabilityBuilder.omitted()); |
| } |
| if (typeVariables != null) { |
| typeVariables = synthesizedTypeVariables..addAll(typeVariables); |
| } else { |
| typeVariables = synthesizedTypeVariables; |
| } |
| } |
| List<FormalParameterBuilder> synthesizedFormals = []; |
| TypeBuilder thisType = extension.extensionThisType; |
| if (substitution != null) { |
| List<TypeBuilder> unboundTypes = []; |
| List<TypeVariableBuilder> unboundTypeVariables = []; |
| thisType = substitute(thisType, substitution, |
| unboundTypes: unboundTypes, |
| unboundTypeVariables: unboundTypeVariables); |
| for (TypeBuilder unboundType in unboundTypes) { |
| extension.addType(new UnresolvedType(unboundType, -1, null)); |
| } |
| libraryBuilder.boundlessTypeVariables.addAll(unboundTypeVariables); |
| } |
| synthesizedFormals.add(new FormalParameterBuilder( |
| null, finalMask, thisType, extensionThisName, null, charOffset, |
| fileUri: uri, isExtensionThis: true)); |
| if (formals != null) { |
| synthesizedFormals.addAll(formals); |
| } |
| formals = synthesizedFormals; |
| } |
| |
| declarationBuilder.resolveTypes(typeVariables, libraryBuilder); |
| if (constructorName != null) { |
| if (isConst && |
| bodyKind != MethodBody.Abstract && |
| !libraryBuilder.enableConstFunctionsInLibrary) { |
| addProblem(messageConstConstructorWithBody, varFinalOrConstOffset, 5); |
| modifiers &= ~constMask; |
| } |
| if (returnType != null) { |
| addProblem(messageConstructorWithReturnType, |
| returnType.charOffset ?? beginToken.offset, noLength); |
| returnType = null; |
| } |
| final int startCharOffset = |
| metadata == null ? beginToken.charOffset : metadata.first.charOffset; |
| libraryBuilder.addConstructor( |
| metadata, |
| modifiers, |
| returnType, |
| name, |
| constructorName, |
| typeVariables, |
| formals, |
| startCharOffset, |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| beginInitializers: beginInitializers); |
| } else { |
| if (isConst) { |
| // TODO(danrubel): consider removing this |
| // because it is an error to have a const method. |
| modifiers &= ~constMask; |
| } |
| final int startCharOffset = |
| metadata == null ? beginToken.charOffset : metadata.first.charOffset; |
| bool isExtensionMember = methodKind == _MethodKind.extensionMethod; |
| libraryBuilder.addProcedure( |
| metadata, |
| modifiers, |
| returnType, |
| name, |
| typeVariables, |
| formals, |
| kind, |
| startCharOffset, |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| asyncModifier, |
| isInstanceMember: !isStatic, |
| isExtensionMember: isExtensionMember); |
| } |
| nativeMethodName = null; |
| inConstructor = false; |
| } |
| |
| @override |
| void handleNamedMixinApplicationWithClause(Token withKeyword) { |
| debugEvent("NamedMixinApplicationWithClause"); |
| Object mixins = pop(); |
| Object supertype = pop(); |
| if (mixins is ParserRecovery) { |
| push(mixins); |
| } else if (supertype is ParserRecovery) { |
| push(supertype); |
| } else { |
| push(libraryBuilder.addMixinApplication( |
| supertype, mixins, withKeyword.charOffset)); |
| } |
| } |
| |
| @override |
| void endNamedMixinApplication(Token beginToken, Token classKeyword, |
| Token equals, Token implementsKeyword, Token endToken) { |
| debugEvent("endNamedMixinApplication"); |
| List<TypeBuilder> interfaces = popIfNotNull(implementsKeyword); |
| Object mixinApplication = pop(); |
| int modifiers = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| Object name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(beginToken.charOffset); |
| if (name is ParserRecovery || mixinApplication is ParserRecovery) { |
| libraryBuilder |
| .endNestedDeclaration( |
| TypeParameterScopeKind.namedMixinApplication, "<syntax-error>") |
| .resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| |
| if (libraryBuilder.isNonNullableByDefault) { |
| String classNameForErrors = "${name}"; |
| MixinApplicationBuilder mixinApplicationBuilder = mixinApplication; |
| TypeBuilder supertype = mixinApplicationBuilder.supertype; |
| List<TypeBuilder> mixins = mixinApplicationBuilder.mixins; |
| if (supertype != null && supertype is! MixinApplicationBuilder) { |
| if (supertype.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableSuperclassError |
| .withArguments(supertype.fullNameForErrors), |
| charOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| for (TypeBuilder mixin in mixins) { |
| if (mixin.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableMixinError.withArguments(mixin.fullNameForErrors), |
| charOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| if (interfaces != null) { |
| for (TypeBuilder interface in interfaces) { |
| if (interface.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable) { |
| libraryBuilder.addProblem( |
| templateNullableInterfaceError |
| .withArguments(interface.fullNameForErrors), |
| charOffset, |
| classNameForErrors.length, |
| uri); |
| } |
| } |
| } |
| } |
| |
| int startCharOffset = beginToken.charOffset; |
| int charEndOffset = endToken.charOffset; |
| libraryBuilder.addNamedMixinApplication( |
| metadata, |
| name, |
| typeVariables, |
| modifiers, |
| mixinApplication, |
| interfaces, |
| startCharOffset, |
| charOffset, |
| charEndOffset); |
| } |
| |
| @override |
| void endTypeArguments(int count, Token beginToken, Token endToken) { |
| debugEvent("TypeArguments"); |
| push(const FixedNullableList<TypeBuilder>().pop(stack, count) ?? |
| NullValue.TypeArguments); |
| } |
| |
| @override |
| void handleInvalidTypeArguments(Token token) { |
| debugEvent("InvalidTypeArguments"); |
| pop(NullValue.TypeArguments); |
| } |
| |
| @override |
| void handleScript(Token token) { |
| debugEvent("Script"); |
| } |
| |
| @override |
| void handleNonNullAssertExpression(Token bang) { |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportNonNullAssertExpressionNotEnabled(bang); |
| } |
| } |
| |
| @override |
| void handleType(Token beginToken, Token questionMark) { |
| debugEvent("Type"); |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportErrorIfNullableType(questionMark); |
| } |
| bool isMarkedAsNullable = questionMark != null; |
| List<TypeBuilder> arguments = pop(); |
| int charOffset = pop(); |
| Object name = pop(); |
| if (name is ParserRecovery) { |
| push(name); |
| } else { |
| push(libraryBuilder.addNamedType( |
| name, |
| libraryBuilder.nullableBuilderIfTrue(isMarkedAsNullable), |
| arguments, |
| charOffset)); |
| } |
| } |
| |
| @override |
| void endTypeList(int count) { |
| debugEvent("TypeList"); |
| push(const FixedNullableList<TypeBuilder>().pop(stack, count) ?? |
| new ParserRecovery(-1)); |
| } |
| |
| @override |
| void handleNoTypeVariables(Token token) { |
| super.handleNoTypeVariables(token); |
| inConstructorName = false; |
| } |
| |
| @override |
| void handleVoidKeyword(Token token) { |
| debugEvent("VoidKeyword"); |
| push(libraryBuilder.addVoidType(token.charOffset)); |
| } |
| |
| @override |
| void handleVoidKeywordWithTypeArguments(Token token) { |
| debugEvent("VoidKeyword"); |
| /*List<TypeBuilder> arguments =*/ pop(); |
| push(libraryBuilder.addVoidType(token.charOffset)); |
| } |
| |
| @override |
| void beginFormalParameter(Token token, MemberKind kind, Token requiredToken, |
| Token covariantToken, Token varFinalOrConst) { |
| if (requiredToken != null && !libraryBuilder.isNonNullableByDefault) { |
| reportNonNullableModifierError(requiredToken); |
| } |
| push((covariantToken != null ? covariantMask : 0) | |
| (requiredToken != null ? requiredMask : 0) | |
| Modifier.validateVarFinalOrConst(varFinalOrConst?.lexeme)); |
| } |
| |
| @override |
| void endFormalParameter( |
| Token thisKeyword, |
| Token periodAfterThis, |
| Token nameToken, |
| Token initializerStart, |
| Token initializerEnd, |
| FormalParameterKind kind, |
| MemberKind memberKind) { |
| debugEvent("FormalParameter"); |
| int charOffset = pop(); |
| Object name = pop(); |
| TypeBuilder type = nullIfParserRecovery(pop()); |
| int modifiers = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (name is ParserRecovery) { |
| push(name); |
| } else { |
| push(libraryBuilder.addFormalParameter(metadata, modifiers, type, name, |
| thisKeyword != null, charOffset, initializerStart)); |
| } |
| } |
| |
| @override |
| void beginFormalParameterDefaultValueExpression() { |
| // Ignored for now. |
| } |
| |
| @override |
| void endFormalParameterDefaultValueExpression() { |
| debugEvent("FormalParameterDefaultValueExpression"); |
| // Ignored for now. |
| } |
| |
| @override |
| void handleValuedFormalParameter(Token equals, Token token) { |
| debugEvent("ValuedFormalParameter"); |
| // Ignored for now. |
| } |
| |
| @override |
| void handleFormalParameterWithoutValue(Token token) { |
| debugEvent("FormalParameterWithoutValue"); |
| // Ignored for now. |
| } |
| |
| @override |
| void endOptionalFormalParameters( |
| int count, Token beginToken, Token endToken) { |
| debugEvent("OptionalFormalParameters"); |
| FormalParameterKind kind = optional("{", beginToken) |
| ? FormalParameterKind.optionalNamed |
| : FormalParameterKind.optionalPositional; |
| // When recovering from an empty list of optional arguments, count may be |
| // 0. It might be simpler if the parser didn't call this method in that |
| // case, however, then [beginOptionalFormalParameters] wouldn't always be |
| // matched by this method. |
| List<FormalParameterBuilder> parameters = |
| const FixedNullableList<FormalParameterBuilder>().pop(stack, count); |
| if (parameters == null) { |
| push(new ParserRecovery(offsetForToken(beginToken))); |
| } else { |
| for (FormalParameterBuilder parameter in parameters) { |
| parameter.kind = kind; |
| } |
| push(parameters); |
| } |
| } |
| |
| @override |
| void endFormalParameters( |
| int count, Token beginToken, Token endToken, MemberKind kind) { |
| debugEvent("FormalParameters"); |
| List<FormalParameterBuilder> formals; |
| if (count == 1) { |
| Object last = pop(); |
| if (last is List<FormalParameterBuilder>) { |
| formals = last; |
| } else if (last is! ParserRecovery) { |
| assert(last != null); |
| formals = new List<FormalParameterBuilder>.filled(1, null); |
| formals[0] = last; |
| } |
| } else if (count > 1) { |
| Object last = pop(); |
| count--; |
| if (last is ParserRecovery) { |
| discard(count); |
| } else if (last is List<FormalParameterBuilder>) { |
| formals = const FixedNullableList<FormalParameterBuilder>() |
| .popPadded(stack, count, last.length); |
| if (formals != null) { |
| formals.setRange(count, formals.length, last); |
| } |
| } else { |
| formals = const FixedNullableList<FormalParameterBuilder>() |
| .popPadded(stack, count, 1); |
| if (formals != null) { |
| formals[count] = last; |
| } |
| } |
| } |
| if (formals != null) { |
| assert(formals.isNotEmpty); |
| if (formals.length == 2) { |
| // The name may be null for generalized function types. |
| if (formals[0].name != null && formals[0].name == formals[1].name) { |
| addProblem( |
| templateDuplicatedParameterName.withArguments(formals[1].name), |
| formals[1].charOffset, |
| formals[1].name.length, |
| context: [ |
| templateDuplicatedParameterNameCause |
| .withArguments(formals[1].name) |
| .withLocation( |
| uri, formals[0].charOffset, formals[0].name.length) |
| ]); |
| } |
| } else if (formals.length > 2) { |
| Map<String, FormalParameterBuilder> seenNames = |
| <String, FormalParameterBuilder>{}; |
| for (FormalParameterBuilder formal in formals) { |
| if (formal.name == null) continue; |
| if (seenNames.containsKey(formal.name)) { |
| addProblem( |
| templateDuplicatedParameterName.withArguments(formal.name), |
| formal.charOffset, |
| formal.name.length, |
| context: [ |
| templateDuplicatedParameterNameCause |
| .withArguments(formal.name) |
| .withLocation(uri, seenNames[formal.name].charOffset, |
| seenNames[formal.name].name.length) |
| ]); |
| } else { |
| seenNames[formal.name] = formal; |
| } |
| } |
| } |
| } |
| push(beginToken.charOffset); |
| push(formals ?? NullValue.FormalParameters); |
| } |
| |
| @override |
| void handleNoFormalParameters(Token token, MemberKind kind) { |
| push(token.charOffset); |
| super.handleNoFormalParameters(token, kind); |
| } |
| |
| @override |
| void endAssert(Token assertKeyword, Assert kind, Token leftParenthesis, |
| Token commaToken, Token semicolonToken) { |
| debugEvent("Assert"); |
| // Do nothing |
| } |
| |
| @override |
| void endEnum(Token enumKeyword, Token leftBrace, int count) { |
| debugEvent("Enum"); |
| List<EnumConstantInfo> enumConstantInfos = |
| const FixedNullableList<EnumConstantInfo>().pop(stack, count); |
| int charOffset = pop(); // identifier char offset. |
| int startCharOffset = enumKeyword.charOffset; |
| Object name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(enumKeyword.charOffset); |
| if (name is ParserRecovery) return; |
| libraryBuilder.addEnum(metadata, name, enumConstantInfos, startCharOffset, |
| charOffset, leftBrace?.endGroup?.charOffset); |
| } |
| |
| @override |
| void beginFunctionTypeAlias(Token token) { |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.typedef, "#typedef", |
| hasMembers: false); |
| } |
| |
| @override |
| void beginFunctionType(Token beginToken) { |
| debugEvent("beginFunctionType"); |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.functionType, "#function_type", |
| hasMembers: false); |
| } |
| |
| @override |
| void beginFunctionTypedFormalParameter(Token token) { |
| debugEvent("beginFunctionTypedFormalParameter"); |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.functionType, "#function_type", |
| hasMembers: false); |
| } |
| |
| @override |
| void endFunctionType(Token functionToken, Token questionMark) { |
| debugEvent("FunctionType"); |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportErrorIfNullableType(questionMark); |
| } |
| List<FormalParameterBuilder> formals = pop(); |
| pop(); // formals offset |
| TypeBuilder returnType = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(libraryBuilder.addFunctionType( |
| returnType, |
| typeVariables, |
| formals, |
| libraryBuilder.nullableBuilderIfTrue(questionMark != null), |
| uri, |
| functionToken.charOffset)); |
| } |
| |
| @override |
| void endFunctionTypedFormalParameter(Token nameToken, Token question) { |
| debugEvent("FunctionTypedFormalParameter"); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| TypeBuilder returnType = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportErrorIfNullableType(question); |
| } |
| push(libraryBuilder.addFunctionType( |
| returnType, |
| typeVariables, |
| formals, |
| libraryBuilder.nullableBuilderIfTrue(question != null), |
| uri, |
| formalsOffset)); |
| } |
| |
| @override |
| void endFunctionTypeAlias( |
| Token typedefKeyword, Token equals, Token endToken) { |
| debugEvent("endFunctionTypeAlias"); |
| List<TypeVariableBuilder> typeVariables; |
| Object name; |
| int charOffset; |
| TypeBuilder aliasedType; |
| if (equals == null) { |
| List<FormalParameterBuilder> formals = pop(); |
| pop(); // formals offset |
| typeVariables = pop(); |
| charOffset = pop(); |
| name = pop(); |
| TypeBuilder returnType = pop(); |
| // Create a nested declaration that is ended below by |
| // `library.addFunctionType`. |
| if (name is ParserRecovery) { |
| pop(); // Metadata. |
| libraryBuilder |
| .endNestedDeclaration( |
| TypeParameterScopeKind.typedef, "<syntax-error>") |
| .resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.functionType, "#function_type", |
| hasMembers: false); |
| // TODO(dmitryas): Make sure that RHS of typedefs can't have '?'. |
| aliasedType = libraryBuilder.addFunctionType(returnType, null, formals, |
| const NullabilityBuilder.omitted(), uri, charOffset); |
| } else { |
| Object type = pop(); |
| typeVariables = pop(); |
| charOffset = pop(); |
| name = pop(); |
| if (name is ParserRecovery) { |
| pop(); // Metadata. |
| libraryBuilder |
| .endNestedDeclaration( |
| TypeParameterScopeKind.functionType, "<syntax-error>") |
| .resolveTypes(typeVariables, libraryBuilder); |
| return; |
| } |
| if (type is FunctionTypeBuilder && |
| !libraryBuilder.enableNonfunctionTypeAliasesInLibrary) { |
| if (type.nullabilityBuilder.build(libraryBuilder) == |
| Nullability.nullable && |
| libraryBuilder.isNonNullableByDefault) { |
| // The error is reported when the non-nullable experiment is enabled. |
| // Otherwise, the attempt to use a nullable type will be reported |
| // elsewhere. |
| addProblem( |
| messageTypedefNullableType, equals.charOffset, equals.length); |
| } else { |
| // TODO(ahe): We need to start a nested declaration when parsing the |
| // formals and return type so we can correctly bind |
| // `type.typeVariables`. A typedef can have type variables, and a new |
| // function type can also have type variables (representing the type |
| // of a generic function). |
| aliasedType = type; |
| } |
| } else if (libraryBuilder.enableNonfunctionTypeAliasesInLibrary) { |
| if (type is TypeBuilder) { |
| aliasedType = type; |
| } else { |
| addProblem(messageTypedefNotType, equals.charOffset, equals.length); |
| } |
| } else { |
| // TODO(ahe): Improve this error message. |
| addProblem(messageTypedefNotFunction, equals.charOffset, equals.length); |
| } |
| } |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(typedefKeyword.charOffset); |
| libraryBuilder.addFunctionTypeAlias( |
| metadata, name, typeVariables, aliasedType, charOffset); |
| } |
| |
| @override |
| void endTopLevelFields( |
| Token externalToken, |
| Token staticToken, |
| Token covariantToken, |
| Token lateToken, |
| Token varFinalOrConst, |
| int count, |
| Token beginToken, |
| Token endToken) { |
| debugEvent("endTopLevelFields"); |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportNonNullableModifierError(lateToken); |
| if (externalToken != null) { |
| handleRecoverableError( |
| messageExternalField, externalToken, externalToken); |
| externalToken = null; |
| } |
| } else { |
| if (externalToken != null && lateToken != null) { |
| handleRecoverableError( |
| messageExternalLateField, externalToken, externalToken); |
| externalToken = null; |
| } |
| } |
| List<FieldInfo> fieldInfos = popFieldInfos(count); |
| TypeBuilder type = nullIfParserRecovery(pop()); |
| int modifiers = (externalToken != null ? externalMask : 0) | |
| (staticToken != null ? staticMask : 0) | |
| (covariantToken != null ? covariantMask : 0) | |
| (lateToken != null ? lateMask : 0) | |
| Modifier.validateVarFinalOrConst(varFinalOrConst?.lexeme); |
| List<MetadataBuilder> metadata = pop(); |
| checkEmpty(beginToken.charOffset); |
| if (fieldInfos == null) return; |
| libraryBuilder.addFields( |
| metadata, |
| modifiers, |
| /* isTopLevel = */ true, |
| type, |
| fieldInfos); |
| } |
| |
| @override |
| void endClassFields( |
| Token abstractToken, |
| Token externalToken, |
| Token staticToken, |
| Token covariantToken, |
| Token lateToken, |
| Token varFinalOrConst, |
| int count, |
| Token beginToken, |
| Token endToken) { |
| debugEvent("Fields"); |
| if (!libraryBuilder.isNonNullableByDefault) { |
| reportNonNullableModifierError(lateToken); |
| if (abstractToken != null) { |
| handleRecoverableError( |
| messageAbstractClassMember, abstractToken, abstractToken); |
| abstractToken = null; |
| } |
| if (externalToken != null) { |
| handleRecoverableError( |
| messageExternalField, externalToken, externalToken); |
| externalToken = null; |
| } |
| } else { |
| if (staticToken != null && abstractToken != null) { |
| handleRecoverableError( |
| messageAbstractStaticField, abstractToken, abstractToken); |
| abstractToken = null; |
| } |
| if (abstractToken != null && lateToken != null) { |
| handleRecoverableError( |
| messageAbstractLateField, abstractToken, abstractToken); |
| abstractToken = null; |
| } else if (externalToken != null && lateToken != null) { |
| handleRecoverableError( |
| messageExternalLateField, externalToken, externalToken); |
| externalToken = null; |
| } |
| } |
| List<FieldInfo> fieldInfos = popFieldInfos(count); |
| TypeBuilder type = pop(); |
| int modifiers = (abstractToken != null ? abstractMask : 0) | |
| (externalToken != null ? externalMask : 0) | |
| (staticToken != null ? staticMask : 0) | |
| (covariantToken != null ? covariantMask : 0) | |
| (lateToken != null ? lateMask : 0) | |
| Modifier.validateVarFinalOrConst(varFinalOrConst?.lexeme); |
| if (staticToken == null && modifiers & constMask != 0) { |
| // It is a compile-time error if an instance variable is declared to be |
| // constant. |
| addProblem(messageConstInstanceField, varFinalOrConst.charOffset, |
| varFinalOrConst.length); |
| modifiers &= ~constMask; |
| } |
| List<MetadataBuilder> metadata = pop(); |
| if (fieldInfos == null) return; |
| libraryBuilder.addFields( |
| metadata, |
| modifiers, |
| /* isTopLevel = */ false, |
| type, |
| fieldInfos); |
| } |
| |
| List<FieldInfo> popFieldInfos(int count) { |
| if (count == 0) return null; |
| List<FieldInfo> fieldInfos = new List<FieldInfo>.filled(count, null); |
| bool isParserRecovery = false; |
| for (int i = count - 1; i != -1; i--) { |
| int charEndOffset = pop(); |
| Token beforeLast = pop(); |
| Token initializerTokenForInference = pop(); |
| int charOffset = pop(); |
| Object name = pop(NullValue.Identifier); |
| if (name is ParserRecovery) { |
| isParserRecovery = true; |
| } else { |
| fieldInfos[i] = new FieldInfo(name, charOffset, |
| initializerTokenForInference, beforeLast, charEndOffset); |
| } |
| } |
| return isParserRecovery ? null : fieldInfos; |
| } |
| |
| @override |
| void beginTypeVariable(Token token) { |
| debugEvent("beginTypeVariable"); |
| int charOffset = pop(); |
| Object name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (name is ParserRecovery) { |
| push(name); |
| } else { |
| push(libraryBuilder.addTypeVariable( |
| metadata, name, null, charOffset, uri)); |
| } |
| } |
| |
| @override |
| void handleTypeVariablesDefined(Token token, int count) { |
| debugEvent("TypeVariablesDefined"); |
| assert(count > 0); |
| push(const FixedNullableList<TypeVariableBuilder>().pop(stack, count) ?? |
| NullValue.TypeVariables); |
| } |
| |
| @override |
| void endTypeVariable( |
| Token token, int index, Token extendsOrSuper, Token variance) { |
| debugEvent("endTypeVariable"); |
| TypeBuilder bound = nullIfParserRecovery(pop()); |
| // Peek to leave type parameters on top of stack. |
| List<TypeVariableBuilder> typeParameters = peek(); |
| if (typeParameters != null) { |
| typeParameters[index].bound = bound; |
| if (variance != null) { |
| if (!libraryBuilder.enableVarianceInLibrary) { |
| reportVarianceModifierNotEnabled(variance); |
| } |
| typeParameters[index].variance = Variance.fromString(variance.lexeme); |
| } |
| } |
| } |
| |
| @override |
| void endTypeVariables(Token beginToken, Token endToken) { |
| debugEvent("endTypeVariables"); |
| |
| // Peek to leave type parameters on top of stack. |
| List<TypeVariableBuilder> typeParameters = peek(); |
| |
| Map<String, TypeVariableBuilder> typeVariablesByName; |
| if (typeParameters != null) { |
| for (TypeVariableBuilder builder in typeParameters) { |
| if (builder.bound != null) { |
| if (typeVariablesByName == null) { |
| typeVariablesByName = new Map<String, TypeVariableBuilder>(); |
| for (TypeVariableBuilder builder in typeParameters) { |
| typeVariablesByName[builder.name] = builder; |
| } |
| } |
| |
| // Find cycle: If there's no cycle we can at most step through all |
| // `typeParameters` (at which point the last builders bound will be |
| // null). |
| // If there is a cycle with `builder` 'inside' the steps to get back |
| // to it will also be bound by `typeParameters.length`. |
| // If there is a cycle without `builder` 'inside' we will just ignore |
| // it for now. It will be reported when processing one of the |
| // `builder`s that is in fact `inside` the cycle. This matches the |
| // cyclic class hierarchy error. |
| TypeVariableBuilder bound = builder; |
| for (int steps = 0; |
| bound.bound != null && steps < typeParameters.length; |
| ++steps) { |
| bound = typeVariablesByName[bound.bound.name]; |
| if (bound == null || bound == builder) break; |
| } |
| if (bound == builder && bound.bound != null) { |
| // Write out cycle. |
| List<String> via = <String>[]; |
| bound = typeVariablesByName[builder.bound.name]; |
| while (bound != builder) { |
| via.add(bound.name); |
| bound = typeVariablesByName[bound.bound.name]; |
| } |
| Message message = via.isEmpty |
| ? templateDirectCycleInTypeVariables.withArguments(builder.name) |
| : templateCycleInTypeVariables.withArguments( |
| builder.name, via.join("', '")); |
| addProblem(message, builder.charOffset, builder.name.length); |
| builder.bound = new NamedTypeBuilder( |
| builder.name, |
| const NullabilityBuilder.omitted(), |
| null, |
| uri, |
| builder.charOffset) |
| ..bind(new InvalidTypeDeclarationBuilder( |
| builder.name, |
| message.withLocation( |
| uri, builder.charOffset, builder.name.length))); |
| } |
| } |
| } |
| } |
| |
| if (inConstructorName) { |
| addProblem(messageConstructorWithTypeParameters, |
| offsetForToken(beginToken), lengthOfSpan(beginToken, endToken)); |
| inConstructorName = false; |
| } |
| } |
| |
| @override |
| void endPartOf( |
| Token partKeyword, Token ofKeyword, Token semicolon, bool hasName) { |
| debugEvent("endPartOf"); |
| int charOffset = popCharOffset(); |
| Object containingLibrary = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (hasName) { |
| libraryBuilder.addPartOf(metadata, |
| flattenName(containingLibrary, charOffset, uri), null, charOffset); |
| } else { |
| libraryBuilder.addPartOf(metadata, null, containingLibrary, charOffset); |
| } |
| } |
| |
| @override |
| void endConstructorReference( |
| Token start, Token periodBeforeName, Token endToken) { |
| debugEvent("ConstructorReference"); |
| popIfNotNull(periodBeforeName); // charOffset. |
| String suffix = popIfNotNull(periodBeforeName); |
| List<TypeBuilder> typeArguments = pop(); |
| int charOffset = pop(); |
| Object name = pop(); |
| if (name is ParserRecovery) { |
| push(name); |
| } else { |
| push(libraryBuilder.addConstructorReference( |
| name, typeArguments, suffix, charOffset)); |
| } |
| } |
| |
| @override |
| void beginFactoryMethod( |
| Token lastConsumed, Token externalToken, Token constToken) { |
| inConstructor = true; |
| libraryBuilder.beginNestedDeclaration( |
| TypeParameterScopeKind.factoryMethod, "#factory_method", |
| hasMembers: false); |
| push((externalToken != null ? externalMask : 0) | |
| (constToken != null ? constMask : 0)); |
| } |
| |
| @override |
| void endClassFactoryMethod( |
| Token beginToken, Token factoryKeyword, Token endToken) { |
| debugEvent("ClassFactoryMethod"); |
| MethodBody kind = pop(); |
| ConstructorReferenceBuilder redirectionTarget; |
| if (kind == MethodBody.RedirectingFactoryBody) { |
| redirectionTarget = nullIfParserRecovery(pop()); |
| } |
| AsyncMarker asyncModifier = pop(); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| pop(); // type variables |
| int charOffset = pop(); |
| Object name = pop(); |
| int modifiers = pop(); |
| if (nativeMethodName != null) { |
| modifiers |= externalMask; |
| } |
| List<MetadataBuilder> metadata = pop(); |
| if (name is ParserRecovery) { |
| libraryBuilder.endNestedDeclaration( |
| TypeParameterScopeKind.factoryMethod, "<syntax-error>"); |
| return; |
| } |
| libraryBuilder.addFactoryMethod( |
| metadata, |
| modifiers, |
| name, |
| formals, |
| redirectionTarget, |
| beginToken.charOffset, |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| asyncModifier, |
| ); |
| nativeMethodName = null; |
| inConstructor = false; |
| } |
| |
| @override |
| void endRedirectingFactoryBody(Token beginToken, Token endToken) { |
| debugEvent("RedirectingFactoryBody"); |
| push(MethodBody.RedirectingFactoryBody); |
| } |
| |
| @override |
| void handleConstFactory(Token constKeyword) { |
| debugEvent("ConstFactory"); |
| if (!libraryBuilder.enableConstFunctionsInLibrary) { |
| handleRecoverableError(messageConstFactory, constKeyword, constKeyword); |
| } |
| } |
| |
| @override |
| void endFieldInitializer(Token assignmentOperator, Token token) { |
| debugEvent("FieldInitializer"); |
| Token beforeLast = assignmentOperator.next; |
| Token next = beforeLast.next; |
| while (next != token && !next.isEof) { |
| // To avoid storing the rest of the token stream, we need to identify the |
| // token before [token]. That token will be the last token of the |
| // initializer expression and by setting its tail to EOF we only store |
| // the tokens for the expression. |
| // TODO(ahe): Might be clearer if this search was moved to |
| // `library.addFields`. |
| // TODO(ahe): I don't even think this is necessary. [token] points to ; |
| // or , and we don't otherwise store tokens. |
| beforeLast = next; |
| next = next.next; |
| } |
| push(assignmentOperator.next); |
| push(beforeLast); |
| push(token.charOffset); |
| } |
| |
| @override |
| void handleNoFieldInitializer(Token token) { |
| debugEvent("NoFieldInitializer"); |
| push(NullValue.FieldInitializer); |
| push(NullValue.FieldInitializer); |
| push(token.charOffset); |
| } |
| |
| @override |
| void endInitializers(int count, Token beginToken, Token endToken) { |
| debugEvent("Initializers"); |
| // Ignored for now. |
| } |
| |
| @override |
| void handleNoInitializers() { |
| debugEvent("NoInitializers"); |
| // This is a constructor initializer and it's ignored for now. |
| } |
| |
| @override |
| void handleInvalidMember(Token endToken) { |
| debugEvent("InvalidMember"); |
| pop(); // metadata star |
| } |
| |
| @override |
| void endMember() { |
| debugEvent("Member"); |
| assert(nativeMethodName == null); |
| } |
| |
| @override |
| void handleClassWithClause(Token withKeyword) { |
| debugEvent("ClassWithClause"); |
| |
| Object mixins = pop(); |
| int extendsOffset = pop(); |
| Object supertype = pop(); |
| if (supertype is ParserRecovery || mixins is ParserRecovery) { |
| push(new ParserRecovery(withKeyword.charOffset)); |
| } else { |
| push(libraryBuilder.addMixinApplication( |
| supertype, mixins, withKeyword.charOffset)); |
| } |
| push(extendsOffset); |
| } |
| |
| @override |
| void handleClassNoWithClause() { |
| debugEvent("ClassNoWithClause"); |
| } |
| |
| @override |
| void handleClassHeader(Token begin, Token classKeyword, Token nativeToken) { |
| debugEvent("ClassHeader"); |
| nativeMethodName = null; |
| } |
| |
| @override |
| void handleMixinHeader(Token mixinKeyword) { |
| debugEvent("handleMixinHeader"); |
| nativeMethodName = null; |
| } |
| |
| @override |
| void endClassOrMixinBody( |
| DeclarationKind kind, int memberCount, Token beginToken, Token endToken) { |
| debugEvent("ClassOrMixinBody"); |
| } |
| |
| @override |
| void handleAsyncModifier(Token asyncToken, Token starToken) { |
| debugEvent("AsyncModifier"); |
| push(asyncMarkerFromTokens(asyncToken, starToken)); |
| } |
| |
| void addProblem(Message message, int charOffset, int length, |
| {bool wasHandled: false, List<LocatedMessage> context}) { |
| libraryBuilder.addProblem(message, charOffset, length, uri, |
| wasHandled: wasHandled, context: context); |
| } |
| |
| @override |
| bool isIgnoredError(Code<dynamic> code, Token token) { |
| return isIgnoredParserError(code, token) || |
| super.isIgnoredError(code, token); |
| } |
| |
| @override |
| void debugEvent(String name) { |
| // printEvent('OutlineBuilder: $name'); |
| } |
| } |
| |
| enum _MethodKind { |
| classConstructor, |
| classMethod, |
| mixinConstructor, |
| mixinMethod, |
| extensionConstructor, |
| extensionMethod, |
| } |
