| // 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. |
| |
| library fasta.outline_builder; |
| |
| import 'package:kernel/ast.dart' show ProcedureKind; |
| |
| import '../../scanner/token.dart' show Token; |
| |
| import '../builder/builder.dart'; |
| |
| import '../combinator.dart' show Combinator; |
| |
| import '../fasta_codes.dart' |
| show |
| Message, |
| messageExpectedBlockToSkip, |
| messageOperatorWithOptionalFormals, |
| messageTypedefNotFunction, |
| templateDuplicatedParameterName, |
| templateDuplicatedParameterNameCause, |
| templateCouldNotParseUri, |
| templateOperatorMinusParameterMismatch, |
| templateOperatorParameterMismatch0, |
| templateOperatorParameterMismatch1, |
| templateOperatorParameterMismatch2; |
| |
| import '../modifier.dart' show abstractMask, externalMask, Modifier; |
| |
| import '../operator.dart' |
| show |
| Operator, |
| operatorFromString, |
| operatorToString, |
| operatorRequiredArgumentCount; |
| |
| import '../parser.dart' |
| show FormalParameterKind, IdentifierContext, MemberKind, optional; |
| |
| import '../problems.dart' show unhandled, unimplemented; |
| |
| import '../quote.dart' show unescapeString; |
| |
| import 'source_library_builder.dart' show SourceLibraryBuilder; |
| |
| import 'unhandled_listener.dart' show NullValue, Unhandled, UnhandledListener; |
| |
| enum MethodBody { |
| Abstract, |
| Regular, |
| RedirectingFactoryBody, |
| } |
| |
| class OutlineBuilder extends UnhandledListener { |
| final SourceLibraryBuilder library; |
| |
| final bool enableNative; |
| final bool stringExpectedAfterNative; |
| |
| /// When true, recoverable parser errors are silently ignored. This is |
| /// because they will be reported by the BodyBuilder later. However, typedefs |
| /// are fully compiled by the outline builder, so parser errors are turned on |
| /// when parsing typedefs. |
| bool silenceParserErrors = true; |
| |
| String nativeMethodName; |
| |
| OutlineBuilder(SourceLibraryBuilder library) |
| : library = library, |
| enableNative = |
| library.loader.target.backendTarget.enableNative(library.uri), |
| stringExpectedAfterNative = |
| library.loader.target.backendTarget.nativeExtensionExpectsString; |
| |
| @override |
| Uri get uri => library.fileUri; |
| |
| @override |
| int popCharOffset() => pop(); |
| |
| List<String> popIdentifierList(int count) { |
| if (count == 0) return null; |
| List<String> list = new List<String>.filled(count, null, growable: true); |
| for (int i = count - 1; i >= 0; i--) { |
| popCharOffset(); |
| list[i] = pop(); |
| } |
| return list; |
| } |
| |
| @override |
| void endMetadata(Token beginToken, Token periodBeforeName, Token endToken) { |
| debugEvent("Metadata"); |
| List arguments = pop(); |
| popIfNotNull(periodBeforeName); // charOffset. |
| String postfix = popIfNotNull(periodBeforeName); |
| List<TypeBuilder> typeArguments = pop(); |
| if (arguments == null) { |
| int charOffset = pop(); |
| String expression = pop(); |
| push(new MetadataBuilder.fromExpression( |
| expression, postfix, library, charOffset)); |
| } else { |
| int charOffset = pop(); |
| String typeName = pop(); |
| push(new MetadataBuilder.fromConstructor( |
| library.addConstructorReference( |
| typeName, typeArguments, postfix, charOffset), |
| arguments, |
| library, |
| beginToken.charOffset)); |
| } |
| } |
| |
| @override |
| void endMetadataStar(int count) { |
| debugEvent("MetadataStar"); |
| push(popList(count) ?? NullValue.Metadata); |
| } |
| |
| @override |
| void handleInvalidTopLevelDeclaration(Token endToken) { |
| debugEvent("InvalidTopLevelDeclaration"); |
| pop(); // metadata star |
| } |
| |
| @override |
| void endHide(Token hideKeyword) { |
| debugEvent("Hide"); |
| List<String> names = pop(); |
| push(new Combinator.hide(names, hideKeyword.charOffset, library.fileUri)); |
| } |
| |
| @override |
| void endShow(Token showKeyword) { |
| debugEvent("Show"); |
| List<String> names = pop(); |
| push(new Combinator.show(names, showKeyword.charOffset, library.fileUri)); |
| } |
| |
| @override |
| void endCombinators(int count) { |
| debugEvent("Combinators"); |
| push(popList(count) ?? NullValue.Combinators); |
| } |
| |
| @override |
| void endExport(Token exportKeyword, Token semicolon) { |
| debugEvent("Export"); |
| List<Combinator> combinators = pop(); |
| Unhandled conditionalUris = pop(); |
| popCharOffset(); |
| String uri = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (uri != null) { |
| library.addExport(metadata, uri, conditionalUris, combinators, |
| exportKeyword.charOffset); |
| } |
| checkEmpty(exportKeyword.charOffset); |
| } |
| |
| @override |
| void endImport(Token importKeyword, Token deferredKeyword, Token asKeyword, |
| Token semicolon) { |
| debugEvent("EndImport"); |
| List<Combinator> combinators = pop(); |
| int prefixOffset = popIfNotNull(asKeyword) ?? -1; |
| String prefix = popIfNotNull(asKeyword); |
| Unhandled conditionalUris = pop(); |
| int uriOffset = popCharOffset(); |
| String uri = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (uri != null) { |
| try { |
| library.addImport(metadata, uri, conditionalUris, prefix, combinators, |
| deferredKeyword != null, importKeyword.charOffset, prefixOffset); |
| } on FormatException catch (e) { |
| // Point to position in string indicated by the exception, |
| // or to the initial quote if no position is given. |
| // (Assumes the import is using a single-line string.) |
| addCompileTimeError( |
| templateCouldNotParseUri.withArguments(uri, e.message), |
| uriOffset + 1 + (e.offset ?? -1)); |
| } |
| } |
| checkEmpty(importKeyword.charOffset); |
| } |
| |
| @override |
| void handleRecoverImport( |
| Token deferredKeyword, Token asKeyword, Token semicolon) { |
| debugEvent("RecoverImport"); |
| pop(); // combinators |
| popIfNotNull(asKeyword); // prefixOffset |
| popIfNotNull(asKeyword); // prefix |
| pop(); // conditionalUris |
| } |
| |
| @override |
| void handleRecoverExpression(Token token, Message message) { |
| debugEvent("RecoverExpression"); |
| push(NullValue.Expression); |
| push(token.charOffset); |
| } |
| |
| @override |
| void endPart(Token partKeyword, Token semicolon) { |
| debugEvent("Part"); |
| int charOffset = popCharOffset(); |
| String uri = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (uri != null) { |
| library.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 handleIdentifier(Token token, IdentifierContext context) { |
| super.handleIdentifier(token, context); |
| push(token.charOffset); |
| if (context == IdentifierContext.enumValueDeclaration) { |
| String documentationComment = _getDocumentationComment(token); |
| push(documentationComment ?? NullValue.DocumentationComment); |
| } |
| } |
| |
| @override |
| void handleNoName(Token token) { |
| super.handleNoName(token); |
| push(token.charOffset); |
| } |
| |
| @override |
| void endLiteralString(int interpolationCount, Token endToken) { |
| debugEvent("endLiteralString"); |
| if (interpolationCount == 0) { |
| Token token = pop(); |
| push(unescapeString(token.lexeme)); |
| push(token.charOffset); |
| } else { |
| unimplemented("string interpolation", endToken.charOffset, uri); |
| } |
| } |
| |
| @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. |
| nativeMethodName = pop(); // String. |
| } else { |
| nativeMethodName = ''; |
| } |
| } |
| |
| @override |
| void handleStringJuxtaposition(int literalCount) { |
| debugEvent("StringJuxtaposition"); |
| List<String> list = |
| new List<String>.filled(literalCount, null, growable: false); |
| int charOffset = -1; |
| for (int i = literalCount - 1; i >= 0; i--) { |
| charOffset = pop(); |
| list[i] = pop(); |
| } |
| push(list.join("")); |
| push(charOffset); |
| } |
| |
| @override |
| void endIdentifierList(int count) { |
| debugEvent("endIdentifierList"); |
| push(popIdentifierList(count) ?? NullValue.IdentifierList); |
| } |
| |
| @override |
| void handleQualified(Token period) { |
| debugEvent("handleQualified"); |
| int charOffset = pop(); |
| String name = pop(); |
| charOffset = pop(); // We just want the charOffset of receiver. |
| String receiver = pop(); |
| push("$receiver.$name"); |
| push(charOffset); |
| } |
| |
| @override |
| void endLibraryName(Token libraryKeyword, Token semicolon) { |
| debugEvent("endLibraryName"); |
| popCharOffset(); |
| String documentationComment = _getDocumentationComment(libraryKeyword); |
| String name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| library.documentationComment = documentationComment; |
| library.name = name; |
| library.metadata = metadata; |
| } |
| |
| @override |
| void beginClassOrNamedMixinApplication(Token token) { |
| library.beginNestedDeclaration("class or mixin application"); |
| } |
| |
| @override |
| void beginClassDeclaration(Token begin, Token name) { |
| library.currentDeclaration.name = name.lexeme; |
| } |
| |
| @override |
| void beginNamedMixinApplication(Token beginToken, Token name) { |
| library.currentDeclaration.name = name.lexeme; |
| } |
| |
| @override |
| void endClassDeclaration( |
| int interfacesCount, |
| Token beginToken, |
| Token classKeyword, |
| Token extendsKeyword, |
| Token implementsKeyword, |
| Token nativeToken, |
| Token endToken) { |
| debugEvent("endClassDeclaration"); |
| String documentationComment = _getDocumentationComment(beginToken); |
| List<TypeBuilder> interfaces = popList(interfacesCount); |
| TypeBuilder supertype = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| String name = pop(); |
| if (typeVariables != null && supertype is MixinApplicationBuilder) { |
| supertype.typeVariables = typeVariables; |
| supertype.subclassName = name; |
| } |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| library.addClass(documentationComment, metadata, modifiers, name, |
| typeVariables, supertype, interfaces, charOffset); |
| checkEmpty(beginToken.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 token, Token name) { |
| library.beginNestedDeclaration(name.lexeme, hasMembers: false); |
| } |
| |
| @override |
| void endTopLevelMethod(Token beginToken, Token getOrSet, Token endToken) { |
| debugEvent("endTopLevelMethod"); |
| MethodBody kind = pop(); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| String name = pop(); |
| TypeBuilder returnType = pop(); |
| int modifiers = |
| Modifier.validate(pop(), isAbstract: kind == MethodBody.Abstract); |
| List<MetadataBuilder> metadata = pop(); |
| String documentationComment = _getDocumentationComment(beginToken); |
| checkEmpty(beginToken.charOffset); |
| library.addProcedure( |
| documentationComment, |
| metadata, |
| modifiers, |
| returnType, |
| name, |
| typeVariables, |
| formals, |
| computeProcedureKind(getOrSet), |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| isTopLevel: true); |
| 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.handleUnrecoverableError(nativeToken, messageExpectedBlockToSkip); |
| } |
| 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 token, Token name) { |
| library.beginNestedDeclaration(name.lexeme, hasMembers: false); |
| } |
| |
| @override |
| void endMethod(Token getOrSet, Token beginToken, Token endToken) { |
| debugEvent("Method"); |
| MethodBody bodyKind = pop(); |
| if (bodyKind == MethodBody.RedirectingFactoryBody) { |
| // This will cause an error later. |
| pop(); |
| } |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| dynamic nameOrOperator = pop(); |
| if (Operator.subtract == nameOrOperator && formals == null) { |
| nameOrOperator = Operator.unaryMinus; |
| } |
| String name; |
| ProcedureKind kind; |
| if (nameOrOperator is Operator) { |
| name = operatorToString(nameOrOperator); |
| kind = ProcedureKind.Operator; |
| int requiredArgumentCount = operatorRequiredArgumentCount(nameOrOperator); |
| if ((formals?.length ?? 0) != requiredArgumentCount) { |
| var 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); |
| } |
| addCompileTimeError(template.withArguments(name), charOffset); |
| } else { |
| if (formals != null) { |
| for (FormalParameterBuilder formal in formals) { |
| if (!formal.isRequired) { |
| addCompileTimeError( |
| messageOperatorWithOptionalFormals, formal.charOffset); |
| } |
| } |
| } |
| } |
| } else { |
| name = nameOrOperator; |
| kind = computeProcedureKind(getOrSet); |
| } |
| TypeBuilder returnType = pop(); |
| int modifiers = |
| Modifier.validate(pop(), isAbstract: bodyKind == MethodBody.Abstract); |
| if ((modifiers & externalMask) != 0) { |
| modifiers &= ~abstractMask; |
| } |
| List<MetadataBuilder> metadata = pop(); |
| String documentationComment = _getDocumentationComment(beginToken); |
| library.addProcedure( |
| documentationComment, |
| metadata, |
| modifiers, |
| returnType, |
| name, |
| typeVariables, |
| formals, |
| kind, |
| charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName, |
| isTopLevel: false); |
| nativeMethodName = null; |
| } |
| |
| @override |
| void endMixinApplication(Token withKeyword) { |
| debugEvent("MixinApplication"); |
| List<TypeBuilder> mixins = pop(); |
| TypeBuilder supertype = pop(); |
| push( |
| library.addMixinApplication(supertype, mixins, withKeyword.charOffset)); |
| } |
| |
| @override |
| void endNamedMixinApplication(Token beginToken, Token classKeyword, |
| Token equals, Token implementsKeyword, Token endToken) { |
| debugEvent("endNamedMixinApplication"); |
| String documentationComment = _getDocumentationComment(beginToken); |
| List<TypeBuilder> interfaces = popIfNotNull(implementsKeyword); |
| TypeBuilder mixinApplication = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| int charOffset = pop(); |
| String name = pop(); |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| library.addNamedMixinApplication(documentationComment, metadata, name, |
| typeVariables, modifiers, mixinApplication, interfaces, charOffset); |
| checkEmpty(beginToken.charOffset); |
| } |
| |
| @override |
| void endTypeArguments(int count, Token beginToken, Token endToken) { |
| debugEvent("TypeArguments"); |
| push(popList(count) ?? NullValue.TypeArguments); |
| } |
| |
| @override |
| void handleScript(Token token) { |
| debugEvent("Script"); |
| } |
| |
| @override |
| void handleType(Token beginToken, Token endToken) { |
| debugEvent("Type"); |
| List<TypeBuilder> arguments = pop(); |
| int charOffset = pop(); |
| String name = pop(); |
| push(library.addNamedType(name, arguments, charOffset)); |
| } |
| |
| @override |
| void endTypeList(int count) { |
| debugEvent("TypeList"); |
| push(popList(count) ?? NullValue.TypeList); |
| } |
| |
| @override |
| void endTypeVariables(int count, Token beginToken, Token endToken) { |
| debugEvent("TypeVariables"); |
| push(popList(count) ?? NullValue.TypeVariables); |
| } |
| |
| @override |
| void handleVoidKeyword(Token token) { |
| debugEvent("VoidKeyword"); |
| push(library.addVoidType(token.charOffset)); |
| } |
| |
| @override |
| void endFormalParameter(Token thisKeyword, Token nameToken, |
| FormalParameterKind kind, MemberKind memberKind) { |
| debugEvent("FormalParameter"); |
| int charOffset = pop(); |
| String name = pop(); |
| TypeBuilder type = pop(); |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| push(library.addFormalParameter( |
| metadata, modifiers, type, name, thisKeyword != null, charOffset)); |
| } |
| |
| @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 parameters = popList(count) ?? []; |
| 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) { |
| var last = pop(); |
| if (last is List) { |
| formals = new List<FormalParameterBuilder>.from(last); |
| } else { |
| formals = <FormalParameterBuilder>[last]; |
| } |
| } else if (count > 1) { |
| var last = pop(); |
| count--; |
| if (last is List) { |
| formals = new List<FormalParameterBuilder>.filled( |
| count + last.length, null, |
| growable: true); |
| // ignore: ARGUMENT_TYPE_NOT_ASSIGNABLE |
| formals.setRange(count, formals.length, last); |
| } else { |
| formals = new List<FormalParameterBuilder>.filled(count + 1, null, |
| growable: true); |
| formals[count] = last; |
| } |
| popList(count, formals); |
| } |
| if (formals != null) { |
| if (formals.length == 2) { |
| // The name may be null for generalized function types. |
| if (formals[0].name != null && formals[0].name == formals[1].name) { |
| addCompileTimeError( |
| templateDuplicatedParameterName.withArguments(formals[1].name), |
| formals[1].charOffset); |
| addCompileTimeError( |
| templateDuplicatedParameterNameCause |
| .withArguments(formals[1].name), |
| formals[0].charOffset); |
| } |
| } 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)) { |
| addCompileTimeError( |
| templateDuplicatedParameterName.withArguments(formal.name), |
| formal.charOffset); |
| addCompileTimeError( |
| templateDuplicatedParameterNameCause.withArguments(formal.name), |
| seenNames[formal.name].charOffset); |
| } 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 endEnum(Token enumKeyword, Token leftBrace, int count) { |
| String documentationComment = _getDocumentationComment(enumKeyword); |
| List constantNamesAndOffsets = popList(count * 3); |
| int charOffset = pop(); |
| String name = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| library.addEnum(documentationComment, metadata, name, |
| constantNamesAndOffsets, charOffset, leftBrace?.endGroup?.charOffset); |
| checkEmpty(enumKeyword.charOffset); |
| } |
| |
| @override |
| void beginFunctionTypeAlias(Token token) { |
| library.beginNestedDeclaration("#typedef", hasMembers: false); |
| silenceParserErrors = false; |
| } |
| |
| @override |
| void beginFunctionType(Token beginToken) { |
| debugEvent("beginFunctionType"); |
| library.beginNestedDeclaration("#function_type", hasMembers: false); |
| } |
| |
| @override |
| void beginFunctionTypedFormalParameter(Token token) { |
| debugEvent("beginFunctionTypedFormalParameter"); |
| library.beginNestedDeclaration("#function_type", hasMembers: false); |
| } |
| |
| @override |
| void endFunctionType(Token functionToken, Token endToken) { |
| debugEvent("FunctionType"); |
| List<FormalParameterBuilder> formals = pop(); |
| pop(); // formals offset |
| TypeBuilder returnType = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(library.addFunctionType( |
| returnType, typeVariables, formals, functionToken.charOffset)); |
| } |
| |
| @override |
| void endFunctionTypedFormalParameter() { |
| debugEvent("FunctionTypedFormalParameter"); |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| TypeBuilder returnType = pop(); |
| List<TypeVariableBuilder> typeVariables = pop(); |
| push(library.addFunctionType( |
| returnType, typeVariables, formals, formalsOffset)); |
| } |
| |
| @override |
| void endFunctionTypeAlias( |
| Token typedefKeyword, Token equals, Token endToken) { |
| debugEvent("endFunctionTypeAlias"); |
| List<TypeVariableBuilder> typeVariables; |
| String name; |
| int charOffset; |
| FunctionTypeBuilder functionType; |
| 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`. |
| library.beginNestedDeclaration("#function_type", hasMembers: false); |
| functionType = |
| library.addFunctionType(returnType, null, formals, charOffset); |
| } else { |
| var type = pop(); |
| typeVariables = pop(); |
| charOffset = pop(); |
| name = pop(); |
| if (type is FunctionTypeBuilder) { |
| // 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). |
| functionType = type; |
| } else { |
| // TODO(ahe): Improve this error message. |
| addCompileTimeError(messageTypedefNotFunction, equals.charOffset); |
| } |
| } |
| List<MetadataBuilder> metadata = pop(); |
| library.addFunctionTypeAlias( |
| metadata, name, typeVariables, functionType, charOffset); |
| checkEmpty(typedefKeyword.charOffset); |
| silenceParserErrors = true; |
| } |
| |
| @override |
| void endTopLevelFields(int count, Token beginToken, Token endToken) { |
| debugEvent("endTopLevelFields"); |
| List fieldsInfo = popList(count * 4); |
| TypeBuilder type = pop(); |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| String documentationComment = _getDocumentationComment(beginToken); |
| library.addFields( |
| documentationComment, metadata, modifiers, type, fieldsInfo); |
| checkEmpty(beginToken.charOffset); |
| } |
| |
| @override |
| void endFields(int count, Token beginToken, Token endToken) { |
| debugEvent("Fields"); |
| List fieldsInfo = popList(count * 4); |
| TypeBuilder type = pop(); |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| String documentationComment = _getDocumentationComment(beginToken); |
| library.addFields( |
| documentationComment, metadata, modifiers, type, fieldsInfo); |
| } |
| |
| @override |
| void endTypeVariable(Token token, Token extendsOrSuper) { |
| debugEvent("endTypeVariable"); |
| TypeBuilder bound = pop(); |
| int charOffset = pop(); |
| String name = pop(); |
| // TODO(paulberry): type variable metadata should not be ignored. See |
| // dartbug.com/28981. |
| /* List<MetadataBuilder> metadata = */ pop(); |
| push(library.addTypeVariable(name, bound, charOffset)); |
| } |
| |
| @override |
| void endPartOf( |
| Token partKeyword, Token ofKeyword, Token semicolon, bool hasName) { |
| debugEvent("endPartOf"); |
| popCharOffset(); |
| String containingLibrary = pop(); |
| List<MetadataBuilder> metadata = pop(); |
| if (hasName) { |
| library.addPartOf(metadata, containingLibrary, null); |
| } else { |
| library.addPartOf(metadata, null, containingLibrary); |
| } |
| } |
| |
| @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(); |
| String name = pop(); |
| push(library.addConstructorReference( |
| name, typeArguments, suffix, charOffset)); |
| } |
| |
| @override |
| void beginFactoryMethod(Token token) { |
| library.beginNestedDeclaration("#factory_method", hasMembers: false); |
| } |
| |
| @override |
| void endFactoryMethod( |
| Token beginToken, Token factoryKeyword, Token endToken) { |
| debugEvent("FactoryMethod"); |
| MethodBody kind = pop(); |
| ConstructorReferenceBuilder redirectionTarget; |
| if (kind == MethodBody.RedirectingFactoryBody) { |
| redirectionTarget = pop(); |
| } |
| List<FormalParameterBuilder> formals = pop(); |
| int formalsOffset = pop(); |
| var name = pop(); |
| int modifiers = Modifier.validate(pop()); |
| List<MetadataBuilder> metadata = pop(); |
| String documentationComment = _getDocumentationComment(beginToken); |
| library.addFactoryMethod( |
| documentationComment, |
| metadata, |
| modifiers, |
| name, |
| formals, |
| redirectionTarget, |
| factoryKeyword.next.charOffset, |
| formalsOffset, |
| endToken.charOffset, |
| nativeMethodName); |
| nativeMethodName = null; |
| } |
| |
| @override |
| void endRedirectingFactoryBody(Token beginToken, Token endToken) { |
| debugEvent("RedirectingFactoryBody"); |
| push(MethodBody.RedirectingFactoryBody); |
| } |
| |
| @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`. |
| beforeLast = next; |
| next = next.next; |
| } |
| push(assignmentOperator.next); |
| push(beforeLast); |
| } |
| |
| @override |
| void handleNoFieldInitializer(Token token) { |
| debugEvent("NoFieldInitializer"); |
| push(NullValue.FieldInitializer); |
| push(NullValue.FieldInitializer); |
| } |
| |
| @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 endMember() { |
| debugEvent("Member"); |
| assert(nativeMethodName == null); |
| } |
| |
| @override |
| void endClassBody(int memberCount, Token beginToken, Token endToken) { |
| debugEvent("ClassBody"); |
| } |
| |
| @override |
| void handleAsyncModifier(Token asyncToken, Token starToken) { |
| debugEvent("AsyncModifier"); |
| } |
| |
| @override |
| void handleModifier(Token token) { |
| debugEvent("Modifier"); |
| push(new Modifier.fromString(token.stringValue)); |
| } |
| |
| @override |
| void handleModifiers(int count) { |
| debugEvent("Modifiers"); |
| push(popList(count) ?? NullValue.Modifiers); |
| } |
| |
| @override |
| void handleRecoverableError(Token token, Message message) { |
| if (silenceParserErrors) { |
| debugEvent("RecoverableError"); |
| } else { |
| super.handleRecoverableError(token, message); |
| } |
| } |
| |
| @override |
| void addCompileTimeError(Message message, int charOffset) { |
| library.addCompileTimeError(message, charOffset, uri); |
| } |
| |
| /// Return the documentation comment for the entity that starts at the |
| /// given [token], or `null` if there is no preceding documentation comment. |
| static String _getDocumentationComment(Token token) { |
| Token docToken = token.precedingComments; |
| if (docToken == null) return null; |
| bool inSlash = false; |
| var buffer = new StringBuffer(); |
| while (docToken != null) { |
| String lexeme = docToken.lexeme; |
| if (lexeme.startsWith('/**')) { |
| inSlash = false; |
| buffer.clear(); |
| buffer.write(lexeme); |
| } else if (lexeme.startsWith('///')) { |
| if (!inSlash) { |
| inSlash = true; |
| buffer.clear(); |
| } |
| if (buffer.isNotEmpty) { |
| buffer.writeln(); |
| } |
| buffer.write(lexeme); |
| } |
| docToken = docToken.next; |
| } |
| return buffer.toString(); |
| } |
| |
| @override |
| void debugEvent(String name) { |
| // printEvent('OutlineBuilder: $name'); |
| } |
| } |
