1 // Copyright 2020 The Tint Authors.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 // http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14
15 #include "src/reader/wgsl/parser_impl_test_helper.h"
16
17 namespace tint {
18 namespace reader {
19 namespace wgsl {
20 namespace {
21
TEST_F(ParserImplTest,SwitchStmt_WithoutDefault)22 TEST_F(ParserImplTest, SwitchStmt_WithoutDefault) {
23 auto p = parser(R"(switch(a) {
24 case 1: {}
25 case 2: {}
26 })");
27 auto e = p->switch_stmt();
28 EXPECT_TRUE(e.matched);
29 EXPECT_FALSE(e.errored);
30 EXPECT_FALSE(p->has_error()) << p->error();
31 ASSERT_NE(e.value, nullptr);
32 ASSERT_TRUE(e->Is<ast::SwitchStatement>());
33 ASSERT_EQ(e->body.size(), 2u);
34 EXPECT_FALSE(e->body[0]->IsDefault());
35 EXPECT_FALSE(e->body[1]->IsDefault());
36 }
37
TEST_F(ParserImplTest,SwitchStmt_Empty)38 TEST_F(ParserImplTest, SwitchStmt_Empty) {
39 auto p = parser("switch(a) { }");
40 auto e = p->switch_stmt();
41 EXPECT_TRUE(e.matched);
42 EXPECT_FALSE(e.errored);
43 EXPECT_FALSE(p->has_error()) << p->error();
44 ASSERT_NE(e.value, nullptr);
45 ASSERT_TRUE(e->Is<ast::SwitchStatement>());
46 ASSERT_EQ(e->body.size(), 0u);
47 }
48
TEST_F(ParserImplTest,SwitchStmt_DefaultInMiddle)49 TEST_F(ParserImplTest, SwitchStmt_DefaultInMiddle) {
50 auto p = parser(R"(switch(a) {
51 case 1: {}
52 default: {}
53 case 2: {}
54 })");
55 auto e = p->switch_stmt();
56 EXPECT_TRUE(e.matched);
57 EXPECT_FALSE(e.errored);
58 EXPECT_FALSE(p->has_error()) << p->error();
59 ASSERT_NE(e.value, nullptr);
60 ASSERT_TRUE(e->Is<ast::SwitchStatement>());
61
62 ASSERT_EQ(e->body.size(), 3u);
63 ASSERT_FALSE(e->body[0]->IsDefault());
64 ASSERT_TRUE(e->body[1]->IsDefault());
65 ASSERT_FALSE(e->body[2]->IsDefault());
66 }
67
TEST_F(ParserImplTest,SwitchStmt_InvalidExpression)68 TEST_F(ParserImplTest, SwitchStmt_InvalidExpression) {
69 auto p = parser("switch(a=b) {}");
70 auto e = p->switch_stmt();
71 EXPECT_FALSE(e.matched);
72 EXPECT_TRUE(e.errored);
73 EXPECT_EQ(e.value, nullptr);
74 EXPECT_TRUE(p->has_error());
75 EXPECT_EQ(p->error(), "1:9: expected ')'");
76 }
77
TEST_F(ParserImplTest,SwitchStmt_MissingExpression)78 TEST_F(ParserImplTest, SwitchStmt_MissingExpression) {
79 auto p = parser("switch {}");
80 auto e = p->switch_stmt();
81 EXPECT_FALSE(e.matched);
82 EXPECT_TRUE(e.errored);
83 EXPECT_EQ(e.value, nullptr);
84 EXPECT_TRUE(p->has_error());
85 EXPECT_EQ(p->error(), "1:8: expected '('");
86 }
87
TEST_F(ParserImplTest,SwitchStmt_MissingBracketLeft)88 TEST_F(ParserImplTest, SwitchStmt_MissingBracketLeft) {
89 auto p = parser("switch(a) }");
90 auto e = p->switch_stmt();
91 EXPECT_FALSE(e.matched);
92 EXPECT_TRUE(e.errored);
93 EXPECT_EQ(e.value, nullptr);
94 EXPECT_TRUE(p->has_error());
95 EXPECT_EQ(p->error(), "1:11: expected '{' for switch statement");
96 }
97
TEST_F(ParserImplTest,SwitchStmt_MissingBracketRight)98 TEST_F(ParserImplTest, SwitchStmt_MissingBracketRight) {
99 auto p = parser("switch(a) {");
100 auto e = p->switch_stmt();
101 EXPECT_FALSE(e.matched);
102 EXPECT_TRUE(e.errored);
103 EXPECT_EQ(e.value, nullptr);
104 EXPECT_TRUE(p->has_error());
105 EXPECT_EQ(p->error(), "1:12: expected '}' for switch statement");
106 }
107
TEST_F(ParserImplTest,SwitchStmt_InvalidBody)108 TEST_F(ParserImplTest, SwitchStmt_InvalidBody) {
109 auto p = parser(R"(switch(a) {
110 case: {}
111 })");
112 auto e = p->switch_stmt();
113 EXPECT_FALSE(e.matched);
114 EXPECT_TRUE(e.errored);
115 EXPECT_EQ(e.value, nullptr);
116 EXPECT_TRUE(p->has_error());
117 EXPECT_EQ(p->error(), "2:7: unable to parse case selectors");
118 }
119
120 } // namespace
121 } // namespace wgsl
122 } // namespace reader
123 } // namespace tint
124