| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196 |
- // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
- // Exceptions. See /LICENSE for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- #include "toolchain/parser/parse_tree.h"
- #include <gmock/gmock.h>
- #include <gtest/gtest.h>
- #include <forward_list>
- #include "common/ostream.h"
- #include "llvm/ADT/Sequence.h"
- #include "llvm/Support/FormatVariadic.h"
- #include "llvm/Support/SourceMgr.h"
- #include "toolchain/common/yaml_test_helpers.h"
- #include "toolchain/diagnostics/diagnostic_emitter.h"
- #include "toolchain/diagnostics/mocks.h"
- #include "toolchain/lexer/tokenized_buffer.h"
- #include "toolchain/parser/parse_node_kind.h"
- #include "toolchain/parser/parse_test_helpers.h"
- namespace Carbon::Testing {
- namespace {
- using ::testing::AtLeast;
- using ::testing::ElementsAre;
- using ::testing::Eq;
- using ::testing::Ne;
- using ::testing::StrEq;
- class ParseTreeTest : public ::testing::Test {
- protected:
- auto GetSourceBuffer(llvm::Twine t) -> SourceBuffer& {
- source_storage.push_front(SourceBuffer::CreateFromText(t.str()));
- return source_storage.front();
- }
- auto GetTokenizedBuffer(llvm::Twine t) -> TokenizedBuffer& {
- token_storage.push_front(
- TokenizedBuffer::Lex(GetSourceBuffer(t), consumer));
- return token_storage.front();
- }
- std::forward_list<SourceBuffer> source_storage;
- std::forward_list<TokenizedBuffer> token_storage;
- DiagnosticConsumer& consumer = ConsoleDiagnosticConsumer();
- };
- TEST_F(ParseTreeTest, Empty) {
- TokenizedBuffer tokens = GetTokenizedBuffer("");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, EmptyDeclaration) {
- TokenizedBuffer tokens = GetTokenizedBuffer(";");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- auto it = tree.Postorder().begin();
- auto end = tree.Postorder().end();
- ASSERT_THAT(it, Ne(end));
- ParseTree::Node n = *it++;
- ASSERT_THAT(it, Ne(end));
- ParseTree::Node eof = *it++;
- EXPECT_THAT(it, Eq(end));
- // Directly test the main API so that we get easier to understand errors in
- // simple cases than what the custom matcher will produce.
- EXPECT_FALSE(tree.HasErrorInNode(n));
- EXPECT_FALSE(tree.HasErrorInNode(eof));
- EXPECT_THAT(tree.GetNodeKind(n), Eq(ParseNodeKind::EmptyDeclaration()));
- EXPECT_THAT(tree.GetNodeKind(eof), Eq(ParseNodeKind::FileEnd()));
- auto t = tree.GetNodeToken(n);
- ASSERT_THAT(tokens.Tokens().begin(), Ne(tokens.Tokens().end()));
- EXPECT_THAT(t, Eq(*tokens.Tokens().begin()));
- EXPECT_THAT(tokens.GetTokenText(t), Eq(";"));
- EXPECT_THAT(tree.Children(n).begin(), Eq(tree.Children(n).end()));
- EXPECT_THAT(tree.Children(eof).begin(), Eq(tree.Children(eof).end()));
- EXPECT_THAT(tree.Postorder().begin(), Eq(tree.Postorder(n).begin()));
- EXPECT_THAT(tree.Postorder(n).end(), Eq(tree.Postorder(eof).begin()));
- EXPECT_THAT(tree.Postorder(eof).end(), Eq(tree.Postorder().end()));
- }
- TEST_F(ParseTreeTest, BasicFunctionDeclaration) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes(
- {MatchFunctionDeclaration("fn", MatchDeclaredName("F"),
- MatchParameters(),
- MatchDeclarationEnd(";")),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, NoDeclarationIntroducerOrSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("foo bar baz");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, NoDeclarationIntroducerWithSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("foo;");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchEmptyDeclaration(";", HasError),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, JustFunctionIntroducerAndSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn;");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFunctionDeclaration(
- HasError, MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, RepeatedFunctionIntroducerAndSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn fn;");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFunctionDeclaration(
- HasError, MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationWithNoSignatureOrSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn foo");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(HasError, MatchDeclaredName("foo")),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest,
- FunctionDeclarationWithIdentifierInsteadOfSignatureAndSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn foo bar;");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFunctionDeclaration(
- HasError, MatchDeclaredName("foo"),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationWithParameterList) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn foo(bar: i32, baz: i32);");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("foo"),
- MatchParameterList(MatchPatternBinding(MatchDeclaredName("bar"),
- ":", MatchLiteral("i32")),
- MatchParameterListComma(),
- MatchPatternBinding(MatchDeclaredName("baz"),
- ":", MatchLiteral("i32")),
- MatchParameterListEnd()),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDefinitionWithParameterList) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn foo(bar: i64, baz: i64) {\n"
- " foo(baz, bar + baz);\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("foo"),
- MatchParameterList(MatchPatternBinding(MatchDeclaredName("bar"),
- ":", MatchLiteral("i64")),
- MatchParameterListComma(),
- MatchPatternBinding(MatchDeclaredName("baz"),
- ":", MatchLiteral("i64")),
- MatchParameterListEnd()),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("foo"), MatchNameReference("baz"),
- MatchCallExpressionComma(),
- MatchInfixOperator(MatchNameReference("bar"), "+",
- MatchNameReference("baz")),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationWithReturnType) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn foo() -> u32;");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(MatchDeclaredName("foo"), MatchParameters(),
- MatchReturnType(MatchLiteral("u32")),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDefinitionWithReturnType) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn foo() -> f64 {\n"
- " return 42;\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("foo"), MatchParameters(),
- MatchReturnType(MatchLiteral("f64")),
- MatchCodeBlock(MatchReturnStatement(MatchLiteral("42"),
- MatchStatementEnd()),
- MatchCodeBlockEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationWithSingleIdentifierParameterList) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn foo(bar);");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- // Note: this might become valid depending on the parameter syntax, this test
- // shouldn't be taken as a sign it should remain invalid.
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("foo"),
- MatchParameterList(HasError, MatchParameterListEnd()),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationWithoutName) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn ();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFunctionDeclaration(
- HasError, MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest,
- FunctionDeclarationWithoutNameAndManyTokensToSkipInGroupedSymbols) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn (a tokens c d e f g h i j k l m n o p q r s t u v w x y z);");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes({MatchFunctionDeclaration(
- HasError, MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationSkipToNewlineWithoutSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn ()\n"
- "fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree, MatchParseTreeNodes({MatchFunctionDeclaration(HasError),
- MatchFunctionDeclaration(
- MatchDeclaredName("F"), MatchParameters(),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationSkipIndentedNewlineWithSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn (x,\n"
- " y,\n"
- " z);\n"
- "fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(HasError, MatchDeclarationEnd()),
- MatchFunctionDeclaration(MatchDeclaredName("F"), MatchParameters(),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationSkipIndentedNewlineWithoutSemi) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn (x,\n"
- " y,\n"
- " z)\n"
- "fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree, MatchParseTreeNodes({MatchFunctionDeclaration(HasError),
- MatchFunctionDeclaration(
- MatchDeclaredName("F"), MatchParameters(),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationSkipIndentedNewlineUntilOutdent) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- " fn (x,\n"
- " y,\n"
- " z)\n"
- "fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree, MatchParseTreeNodes({MatchFunctionDeclaration(HasError),
- MatchFunctionDeclaration(
- MatchDeclaredName("F"), MatchParameters(),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDeclarationSkipWithoutSemiToCurly) {
- // FIXME: We don't have a grammar construct that uses curlies yet so this just
- // won't parse at all. Once it does, we should ensure that the close brace
- // gets properly parsed for the struct (or whatever other curly-braced syntax
- // we have grouping function declarations) despite the invalid function
- // declaration missing a semicolon.
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "struct X { fn () }\n"
- "fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- }
- TEST_F(ParseTreeTest, BasicFunctionDefinition) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("F"), MatchParameters(),
- MatchCodeBlock("{", MatchCodeBlockEnd("}"))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDefinitionWithIdenifierInStatements) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " bar\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- // Note: this might become valid depending on the expression syntax. This test
- // shouldn't be taken as a sign it should remain invalid.
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("F"), MatchParameters(),
- MatchCodeBlock(HasError, MatchNameReference("bar"),
- MatchCodeBlockEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, FunctionDefinitionWithFunctionCall) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " a.b.f(c.d, (e)).g();\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- ExpectedNode call_to_f = MatchCallExpression(
- MatchDesignator(MatchDesignator(MatchNameReference("a"), "b"), "f"),
- MatchDesignator(MatchNameReference("c"), "d"), MatchCallExpressionComma(),
- MatchParenExpression(MatchNameReference("e"), MatchParenExpressionEnd()),
- MatchCallExpressionEnd());
- ExpectedNode statement = MatchExpressionStatement(MatchCallExpression(
- MatchDesignator(call_to_f, "g"), MatchCallExpressionEnd()));
- EXPECT_THAT(tree, MatchParseTreeNodes(
- {MatchFunctionWithBody(statement), MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, InvalidDesignators) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " a.;\n"
- " a.fn;\n"
- " a.42;\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(tree, MatchParseTreeNodes(
- {MatchFunctionWithBody(
- MatchExpressionStatement(
- MatchDesignatorExpression(
- MatchNameReference("a"), ".", HasError),
- HasError, ";"),
- MatchExpressionStatement(
- MatchDesignatorExpression(
- MatchNameReference("a"), ".",
- MatchDesignatedName("fn", HasError)),
- ";"),
- MatchExpressionStatement(
- MatchDesignatorExpression(
- MatchNameReference("a"), ".", HasError),
- HasError, ";")),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, Operators) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " n = a * b + c * d = d * d << e & f - not g;\n"
- " ++++n;\n"
- " n++++;\n"
- " a and b and c;\n"
- " a and b or c;\n"
- " a or b and c;\n"
- " not a and not b and not c;\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(
- MatchExpressionStatement(MatchInfixOperator(
- MatchNameReference("n"), "=",
- MatchInfixOperator(
- MatchInfixOperator(
- MatchInfixOperator(MatchNameReference("a"), "*",
- MatchNameReference("b")),
- "+",
- MatchInfixOperator(MatchNameReference("c"), "*",
- MatchNameReference("d"))),
- "=",
- MatchInfixOperator(
- HasError,
- MatchInfixOperator(
- HasError,
- MatchInfixOperator(
- HasError,
- MatchInfixOperator(MatchNameReference("d"),
- "*",
- MatchNameReference("d")),
- "<<", MatchNameReference("e")),
- "&", MatchNameReference("f")),
- "-",
- MatchPrefixOperator("not",
- MatchNameReference("g")))))),
- MatchExpressionStatement(MatchPrefixOperator(
- "++", MatchPrefixOperator("++", MatchNameReference("n")))),
- MatchExpressionStatement(MatchPostfixOperator(
- MatchPostfixOperator(MatchNameReference("n"), "++"), "++")),
- MatchExpressionStatement(MatchInfixOperator(
- MatchInfixOperator(MatchNameReference("a"), "and",
- MatchNameReference("b")),
- "and", MatchNameReference("c"))),
- MatchExpressionStatement(MatchInfixOperator(
- HasError,
- MatchInfixOperator(MatchNameReference("a"), "and",
- MatchNameReference("b")),
- "or", MatchNameReference("c"))),
- MatchExpressionStatement(MatchInfixOperator(
- HasError,
- MatchInfixOperator(MatchNameReference("a"), "or",
- MatchNameReference("b")),
- "and", MatchNameReference("c"))),
- MatchExpressionStatement(MatchInfixOperator(
- MatchInfixOperator(
- MatchPrefixOperator("not", MatchNameReference("a")),
- "and",
- MatchPrefixOperator("not", MatchNameReference("b"))),
- "and",
- MatchPrefixOperator("not", MatchNameReference("c"))))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, OperatorFixity) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F(p: i32*, n: i32) {\n"
- " var q: i32* = p;\n"
- " var t: Type = i32*;\n"
- " t = t**;\n"
- " n = n * n;\n"
- " n = n * *p;\n"
- " n = n*n;\n"
- " G(i32*, n * n);\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionDeclaration(
- MatchDeclaredName("F"),
- MatchParameters(
- MatchPatternBinding(
- MatchDeclaredName("p"),
- MatchPostfixOperator(MatchLiteral("i32"), "*")),
- MatchParameterListComma(),
- MatchPatternBinding(MatchDeclaredName("n"),
- MatchLiteral("i32"))),
- MatchCodeBlock(
- MatchVariableDeclaration(
- MatchPatternBinding(
- MatchDeclaredName("q"),
- MatchPostfixOperator(MatchLiteral("i32"), "*")),
- MatchVariableInitializer(MatchNameReference("p")),
- MatchDeclarationEnd()),
- MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("t"),
- MatchNameReference("Type")),
- MatchVariableInitializer(
- MatchPostfixOperator(MatchLiteral("i32"), "*")),
- MatchDeclarationEnd()),
- MatchExpressionStatement(MatchInfixOperator(
- MatchNameReference("t"), "=",
- MatchPostfixOperator(
- MatchPostfixOperator(MatchNameReference("t"), "*"),
- "*"))),
- MatchExpressionStatement(MatchInfixOperator(
- MatchNameReference("n"), "=",
- MatchInfixOperator(MatchNameReference("n"), "*",
- MatchNameReference("n")))),
- MatchExpressionStatement(MatchInfixOperator(
- MatchNameReference("n"), "=",
- MatchInfixOperator(
- MatchNameReference("n"), "*",
- MatchPrefixOperator("*", MatchNameReference("p"))))),
- MatchExpressionStatement(MatchInfixOperator(
- MatchNameReference("n"), "=",
- MatchInfixOperator(MatchNameReference("n"), "*",
- MatchNameReference("n")))),
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"),
- MatchPostfixOperator(MatchLiteral("i32"), "*"),
- MatchCallExpressionComma(),
- MatchInfixOperator(MatchNameReference("n"), "*",
- MatchNameReference("n")),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, OperatorWhitespaceErrors) {
- // Test dispositions: Recovered means we issued an error but recovered a
- // proper parse tree; Failed means we didn't fully recover from the error.
- enum Kind { Valid, Recovered, Failed };
- struct Testcase {
- const char* input;
- Kind kind;
- } testcases[] = {
- {"var v: Type = i8*;", Valid},
- {"var v: Type = i8 *;", Recovered},
- {"var v: Type = i8* ;", Valid},
- {"var v: Type = i8 * ;", Recovered},
- {"var n: i8 = n * n;", Valid},
- {"var n: i8 = n*n;", Valid},
- {"var n: i8 = (n)*3;", Valid},
- {"var n: i8 = 3*(n);", Valid},
- {"var n: i8 = n *n;", Recovered},
- // FIXME: We could figure out that this first Failed example is infix
- // with one-token lookahead.
- {"var n: i8 = n* n;", Failed},
- {"var n: i8 = n* -n;", Failed},
- {"var n: i8 = n* *p;", Failed},
- // FIXME: We try to form (n*)*p and reject due to missing parentheses
- // before we notice the missing whitespace around the second `*`.
- // It'd be better to (somehow) form n*(*p) and reject due to the missing
- // whitespace around the first `*`.
- {"var n: i8 = n**p;", Failed},
- {"var n: i8 = -n;", Valid},
- {"var n: i8 = - n;", Recovered},
- {"var n: i8 =-n;", Valid},
- {"var n: i8 =- n;", Recovered},
- {"var n: i8 = F(i8 *);", Recovered},
- {"var n: i8 = F(i8 *, 0);", Recovered},
- };
- for (auto [input, kind] : testcases) {
- TokenizedBuffer tokens = GetTokenizedBuffer(input);
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- EXPECT_THAT(tree.HasErrors(), Eq(kind == Failed)) << input;
- EXPECT_THAT(error_tracker.SeenError(), Eq(kind != Valid)) << input;
- }
- }
- TEST_F(ParseTreeTest, VariableDeclarations) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "var v: i32 = 0;\n"
- "var w: i32;\n"
- "fn F() {\n"
- " var s: String = \"hello\";\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(tree,
- MatchParseTreeNodes(
- {MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("v"), ":",
- MatchLiteral("i32")),
- MatchVariableInitializer(MatchLiteral("0")),
- MatchDeclarationEnd()),
- MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("w"), ":",
- MatchLiteral("i32")),
- MatchDeclarationEnd()),
- MatchFunctionWithBody(MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("s"), ":",
- MatchNameReference("String")),
- MatchVariableInitializer(MatchLiteral("\"hello\"")),
- MatchDeclarationEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, IfNoElse) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if (a) {\n"
- " if (b) {\n"
- " if (c) {\n"
- " d;\n"
- " }\n"
- " }\n"
- " }\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_FALSE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(MatchIfStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchCodeBlock(
- MatchIfStatement(
- MatchCondition(MatchNameReference("b"),
- MatchConditionEnd()),
- MatchCodeBlock(
- MatchIfStatement(
- MatchCondition(MatchNameReference("c"),
- MatchConditionEnd()),
- MatchCodeBlock(MatchExpressionStatement(
- MatchNameReference("d")),
- MatchCodeBlockEnd())),
- MatchCodeBlockEnd())),
- MatchCodeBlockEnd()))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, IfNoElseUnbraced) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if (a)\n"
- " if (b)\n"
- " if (c)\n"
- " d;\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- // The missing braces are invalid, but we should be able to recover.
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_TRUE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(MatchIfStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchIfStatement(
- MatchCondition(MatchNameReference("b"), MatchConditionEnd()),
- MatchIfStatement(
- MatchCondition(MatchNameReference("c"),
- MatchConditionEnd()),
- MatchExpressionStatement(MatchNameReference("d")))))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, IfElse) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if (a) {\n"
- " if (b) {\n"
- " c;\n"
- " } else {\n"
- " d;\n"
- " }\n"
- " } else {\n"
- " e;\n"
- " }\n"
- " if (x) { G(1); }\n"
- " else if (x) { G(2); }\n"
- " else { G(3); }\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_FALSE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(
- MatchIfStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchCodeBlock(
- MatchIfStatement(
- MatchCondition(MatchNameReference("b"),
- MatchConditionEnd()),
- MatchCodeBlock(MatchExpressionStatement(
- MatchNameReference("c")),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchCodeBlock(MatchExpressionStatement(
- MatchNameReference("d")),
- MatchCodeBlockEnd())),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchCodeBlock(
- MatchExpressionStatement(MatchNameReference("e")),
- MatchCodeBlockEnd())),
- MatchIfStatement(
- MatchCondition(MatchNameReference("x"), MatchConditionEnd()),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("1"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchIfStatement(
- MatchCondition(MatchNameReference("x"),
- MatchConditionEnd()),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("2"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("3"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd())))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, IfElseUnbraced) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if (a)\n"
- " if (b)\n"
- " c;\n"
- " else\n"
- " d;\n"
- " else\n"
- " e;\n"
- " if (x) { G(1); }\n"
- " else if (x) { G(2); }\n"
- " else { G(3); }\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- // The missing braces are invalid, but we should be able to recover.
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_TRUE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(
- MatchIfStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchIfStatement(
- MatchCondition(MatchNameReference("b"),
- MatchConditionEnd()),
- MatchExpressionStatement(MatchNameReference("c")),
- MatchIfStatementElse(),
- MatchExpressionStatement(MatchNameReference("d"))),
- MatchIfStatementElse(),
- MatchExpressionStatement(MatchNameReference("e"))),
- MatchIfStatement(
- MatchCondition(MatchNameReference("x"), MatchConditionEnd()),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("1"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchIfStatement(
- MatchCondition(MatchNameReference("x"),
- MatchConditionEnd()),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("2"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd()),
- MatchIfStatementElse(),
- MatchCodeBlock(
- MatchExpressionStatement(MatchCallExpression(
- MatchNameReference("G"), MatchLiteral("3"),
- MatchCallExpressionEnd())),
- MatchCodeBlockEnd())))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, IfError) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if a {}\n"
- " if () {}\n"
- " if (b c) {}\n"
- " if (d)\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(
- MatchIfStatement(HasError, MatchNameReference("a"),
- MatchCodeBlock(MatchCodeBlockEnd())),
- MatchIfStatement(MatchCondition(HasError, MatchConditionEnd()),
- MatchCodeBlock(MatchCodeBlockEnd())),
- MatchIfStatement(
- MatchCondition(HasError, MatchNameReference("b"),
- MatchConditionEnd()),
- MatchCodeBlock(MatchCodeBlockEnd())),
- MatchIfStatement(HasError,
- MatchCondition(MatchNameReference("d"),
- MatchConditionEnd()))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, WhileBreakContinue) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " while (a) {\n"
- " if (b) {\n"
- " break;\n"
- " }\n"
- " if (c) {\n"
- " continue;\n"
- " }\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_FALSE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(MatchWhileStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchCodeBlock(
- MatchIfStatement(
- MatchCondition(MatchNameReference("b"),
- MatchConditionEnd()),
- MatchCodeBlock(MatchBreakStatement(MatchStatementEnd()),
- MatchCodeBlockEnd())),
- MatchIfStatement(MatchCondition(MatchNameReference("c"),
- MatchConditionEnd()),
- MatchCodeBlock(MatchContinueStatement(
- MatchStatementEnd()),
- MatchCodeBlockEnd())),
- MatchCodeBlockEnd()))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, WhileUnbraced) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " while (a) \n"
- " break;\n"
- "}");
- ErrorTrackingDiagnosticConsumer error_tracker(consumer);
- ParseTree tree = ParseTree::Parse(tokens, error_tracker);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_TRUE(error_tracker.SeenError());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(MatchWhileStatement(
- MatchCondition(MatchNameReference("a"), MatchConditionEnd()),
- MatchBreakStatement(MatchStatementEnd()))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, Return) {
- TokenizedBuffer tokens = GetTokenizedBuffer(
- "fn F() {\n"
- " if (c) {\n"
- " return;\n"
- " }\n"
- "}\n"
- "fn G(x: Foo) -> Foo {\n"
- " return x;\n"
- "}");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchFunctionWithBody(MatchIfStatement(
- MatchCondition(MatchNameReference("c"), MatchConditionEnd()),
- MatchCodeBlock(MatchReturnStatement(MatchStatementEnd()),
- MatchCodeBlockEnd()))),
- MatchFunctionDeclaration(
- MatchDeclaredName(),
- MatchParameters(MatchPatternBinding(MatchDeclaredName("x"), ":",
- MatchNameReference("Foo"))),
- MatchReturnType(MatchNameReference("Foo")),
- MatchCodeBlock(MatchReturnStatement(MatchNameReference("x"),
- MatchStatementEnd()),
- MatchCodeBlockEnd())),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, Tuples) {
- TokenizedBuffer tokens = GetTokenizedBuffer(R"(
- var x: (i32, i32) = (1, 2);
- var y: ((), (), ());
- )");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- auto empty_tuple = MatchTupleLiteral(MatchTupleLiteralEnd());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("x"), ":",
- MatchTupleLiteral(MatchLiteral("i32"),
- MatchTupleLiteralComma(),
- MatchLiteral("i32"),
- MatchTupleLiteralEnd())),
- MatchVariableInitializer(MatchTupleLiteral(
- MatchLiteral("1"), MatchTupleLiteralComma(),
- MatchLiteral("2"), MatchTupleLiteralEnd())),
- MatchDeclarationEnd()),
- MatchVariableDeclaration(
- MatchPatternBinding(
- MatchDeclaredName("y"), ":",
- MatchTupleLiteral(empty_tuple, MatchTupleLiteralComma(),
- empty_tuple, MatchTupleLiteralComma(),
- empty_tuple, MatchTupleLiteralEnd())),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, Structs) {
- TokenizedBuffer tokens = GetTokenizedBuffer(R"(
- var x: {.a: i32, .b: i32} = {.a = 1, .b = 2};
- var y: {} = {};
- var z: {.n: i32,} = {.n = 4,};
- )");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- EXPECT_THAT(
- tree,
- MatchParseTreeNodes(
- {MatchVariableDeclaration(
- MatchPatternBinding(
- MatchDeclaredName("x"), ":",
- MatchStructTypeLiteral(
- MatchStructFieldType(MatchStructFieldDesignator(
- ".", MatchDesignatedName("a")),
- ":", MatchLiteral("i32")),
- MatchStructComma(),
- MatchStructFieldType(MatchStructFieldDesignator(
- ".", MatchDesignatedName("b")),
- ":", MatchLiteral("i32")),
- MatchStructEnd())),
- MatchVariableInitializer(MatchStructLiteral(
- MatchStructFieldValue(MatchStructFieldDesignator(
- ".", MatchDesignatedName("a")),
- "=", MatchLiteral("1")),
- MatchStructComma(),
- MatchStructFieldValue(MatchStructFieldDesignator(
- ".", MatchDesignatedName("b")),
- "=", MatchLiteral("2")),
- MatchStructEnd())),
- MatchDeclarationEnd()),
- MatchVariableDeclaration(
- MatchPatternBinding(MatchDeclaredName("y"), ":",
- MatchStructLiteral(MatchStructEnd())),
- MatchVariableInitializer(MatchStructLiteral(MatchStructEnd())),
- MatchDeclarationEnd()),
- MatchVariableDeclaration(
- MatchPatternBinding(
- MatchDeclaredName("z"), ":",
- MatchStructTypeLiteral(
- MatchStructFieldType(MatchStructFieldDesignator(
- ".", MatchDesignatedName("n")),
- ":", MatchLiteral("i32")),
- MatchStructComma(), MatchStructEnd())),
- MatchVariableInitializer(MatchStructLiteral(
- MatchStructFieldValue(MatchStructFieldDesignator(
- ".", MatchDesignatedName("n")),
- "=", MatchLiteral("4")),
- MatchStructComma(), MatchStructEnd())),
- MatchDeclarationEnd()),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, StructErrors) {
- struct Testcase {
- llvm::StringLiteral input;
- ::testing::Matcher<const Diagnostic&> diag_matcher;
- };
- Testcase testcases[] = {
- {"var x: {i32} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {a} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {a:} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {a=} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {.} = {};", DiagnosticMessage("Expected identifier after `.`.")},
- {"var x: {.\"hello\" = 0, .y = 4} = {};",
- DiagnosticMessage("Expected identifier after `.`.")},
- {"var x: {.\"hello\": i32, .y: i32} = {};",
- DiagnosticMessage("Expected identifier after `.`.")},
- {"var x: {.a} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {.a:} = {};", DiagnosticMessage("Expected expression.")},
- {"var x: {.a=} = {};", DiagnosticMessage("Expected expression.")},
- {"var x: {.a: i32, .b = 0} = {};",
- DiagnosticMessage("Expected `.field: type`.")},
- {"var x: {.a = 0, b: i32} = {};",
- DiagnosticMessage("Expected `.field = value`.")},
- {"var x: {,} = {};",
- DiagnosticMessage("Expected `.field: type` or `.field = value`.")},
- {"var x: {.a: i32,,} = {};",
- DiagnosticMessage("Expected `.field: type`.")},
- {"var x: {.a = 0,,} = {};",
- DiagnosticMessage("Expected `.field = value`.")},
- {"var x: {.a: i32 banana} = {.a = 0};",
- DiagnosticMessage("Expected `,` or `}`.")},
- {"var x: {.a: i32} = {.a = 0 banana};",
- DiagnosticMessage("Expected `,` or `}`.")},
- };
- for (const Testcase& testcase : testcases) {
- TokenizedBuffer tokens = GetTokenizedBuffer(testcase.input);
- Testing::MockDiagnosticConsumer consumer;
- EXPECT_CALL(consumer, HandleDiagnostic(testcase.diag_matcher));
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- }
- }
- auto GetAndDropLine(llvm::StringRef& s) -> std::string {
- auto newline_offset = s.find_first_of('\n');
- llvm::StringRef line = s.slice(0, newline_offset);
- if (newline_offset != llvm::StringRef::npos) {
- s = s.substr(newline_offset + 1);
- } else {
- s = "";
- }
- return line.str();
- }
- TEST_F(ParseTreeTest, Printing) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- std::string print_storage;
- llvm::raw_string_ostream print_stream(print_storage);
- tree.Print(print_stream);
- llvm::StringRef print = print_stream.str();
- EXPECT_THAT(GetAndDropLine(print), StrEq("["));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq("{node_index: 4, kind: 'FunctionDeclaration', text: 'fn', "
- "subtree_size: 5, children: ["));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq(" {node_index: 0, kind: 'DeclaredName', text: 'F'},"));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq(" {node_index: 2, kind: 'ParameterList', text: '(', "
- "subtree_size: 2, children: ["));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq(" {node_index: 1, kind: 'ParameterListEnd', "
- "text: ')'}]},"));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq(" {node_index: 3, kind: 'DeclarationEnd', text: ';'}]},"));
- EXPECT_THAT(GetAndDropLine(print),
- StrEq("{node_index: 5, kind: 'FileEnd', text: ''},"));
- EXPECT_THAT(GetAndDropLine(print), StrEq("]"));
- EXPECT_TRUE(print.empty()) << print;
- }
- TEST_F(ParseTreeTest, PrintingAsYAML) {
- TokenizedBuffer tokens = GetTokenizedBuffer("fn F();");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_FALSE(tree.HasErrors());
- std::string print_output;
- llvm::raw_string_ostream print_stream(print_output);
- tree.Print(print_stream);
- print_stream.flush();
- EXPECT_THAT(
- Yaml::Value::FromText(print_output),
- ElementsAre(Yaml::SequenceValue{
- Yaml::MappingValue{
- {"node_index", "4"},
- {"kind", "FunctionDeclaration"},
- {"text", "fn"},
- {"subtree_size", "5"},
- {"children",
- Yaml::SequenceValue{
- Yaml::MappingValue{{"node_index", "0"},
- {"kind", "DeclaredName"},
- {"text", "F"}},
- Yaml::MappingValue{{"node_index", "2"},
- {"kind", "ParameterList"},
- {"text", "("},
- {"subtree_size", "2"},
- {"children", //
- Yaml::SequenceValue{Yaml::MappingValue{
- {"node_index", "1"},
- {"kind", "ParameterListEnd"},
- {"text", ")"}}}}},
- Yaml::MappingValue{{"node_index", "3"},
- {"kind", "DeclarationEnd"},
- {"text", ";"}}}}},
- Yaml::MappingValue{{"node_index", "5"}, //
- {"kind", "FileEnd"},
- {"text", ""}}}));
- }
- TEST_F(ParseTreeTest, ParenMatchRegression) {
- // A regression test that the search for the closing `)` doesn't end early on
- // the closing `}` when it skips over the nested scope.
- TokenizedBuffer tokens = GetTokenizedBuffer("var = (foo {})");
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- EXPECT_THAT(
- tree, MatchParseTreeNodes(
- {MatchVariableDeclaration(
- HasError, MatchVariableInitializer(
- "=", MatchParenExpression(
- HasError, MatchNameReference("foo"),
- MatchParenExpressionEnd()))),
- MatchFileEnd()}));
- }
- TEST_F(ParseTreeTest, RecursionLimit) {
- std::string code = "fn Foo() { return ";
- code.append(10000, '(');
- code.append(10000, ')');
- code += "; }";
- TokenizedBuffer tokens = GetTokenizedBuffer(code);
- ASSERT_FALSE(tokens.HasErrors());
- Testing::MockDiagnosticConsumer consumer;
- // Recursion might be exceeded multiple times due to quirks in parse tree
- // handling; we only need to be sure it's hit at least once for test
- // correctness.
- EXPECT_CALL(
- consumer,
- HandleDiagnostic(DiagnosticMessage(llvm::formatv(
- "Exceeded recursion limit ({0})", ParseTree::StackDepthLimit))))
- .Times(AtLeast(1));
- ParseTree tree = ParseTree::Parse(tokens, consumer);
- EXPECT_TRUE(tree.HasErrors());
- }
- } // namespace
- } // namespace Carbon::Testing
|