Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 1 | //===-- SourceCodeTests.cpp ------------------------------------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | #include "SourceCode.h" |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 9 | #include "llvm/Support/Error.h" |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 10 | #include "llvm/Support/raw_os_ostream.h" |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 11 | #include "llvm/Testing/Support/Error.h" |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 12 | #include "gmock/gmock.h" |
| 13 | #include "gtest/gtest.h" |
| 14 | |
Sam McCall | c008af6 | 2018-10-20 15:30:37 +0000 | [diff] [blame] | 15 | namespace clang { |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 16 | namespace clangd { |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 17 | namespace { |
| 18 | |
| 19 | MATCHER_P2(Pos, Line, Col, "") { |
| 20 | return arg.line == Line && arg.character == Col; |
| 21 | } |
| 22 | |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 23 | // The = → 🡆 below are ASCII (1 byte), BMP (3 bytes), and astral (4 bytes). |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 24 | const char File[] = R"(0:0 = 0 |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 25 | 1:0 → 8 |
| 26 | 2:0 🡆 18)"; |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 27 | |
Ilya Biryukov | 7beea3a | 2018-02-14 10:52:04 +0000 | [diff] [blame] | 28 | /// A helper to make tests easier to read. |
| 29 | Position position(int line, int character) { |
| 30 | Position Pos; |
| 31 | Pos.line = line; |
| 32 | Pos.character = character; |
| 33 | return Pos; |
| 34 | } |
| 35 | |
Kadir Cetinkaya | a9c9d00 | 2018-08-13 08:23:01 +0000 | [diff] [blame] | 36 | Range range(const std::pair<int, int> p1, const std::pair<int, int> p2) { |
| 37 | Range range; |
| 38 | range.start = position(p1.first, p1.second); |
| 39 | range.end = position(p2.first, p2.second); |
| 40 | return range; |
| 41 | } |
| 42 | |
Sam McCall | 7189112 | 2018-10-23 11:51:53 +0000 | [diff] [blame] | 43 | TEST(SourceCodeTests, lspLength) { |
| 44 | EXPECT_EQ(lspLength(""), 0UL); |
| 45 | EXPECT_EQ(lspLength("ascii"), 5UL); |
| 46 | // BMP |
| 47 | EXPECT_EQ(lspLength("↓"), 1UL); |
| 48 | EXPECT_EQ(lspLength("¥"), 1UL); |
| 49 | // astral |
| 50 | EXPECT_EQ(lspLength("😂"), 2UL); |
| 51 | } |
| 52 | |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 53 | TEST(SourceCodeTests, PositionToOffset) { |
| 54 | // line out of bounds |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 55 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(-1, 2)), llvm::Failed()); |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 56 | // first line |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 57 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, -1)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 58 | llvm::Failed()); // out of range |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 59 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 0)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 60 | llvm::HasValue(0)); // first character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 61 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 3)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 62 | llvm::HasValue(3)); // middle character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 63 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 6)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 64 | llvm::HasValue(6)); // last character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 65 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 7)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 66 | llvm::HasValue(7)); // the newline itself |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 67 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 7), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 68 | llvm::HasValue(7)); |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 69 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 8)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 70 | llvm::HasValue(7)); // out of range |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 71 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(0, 8), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 72 | llvm::Failed()); // out of range |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 73 | // middle line |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 74 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, -1)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 75 | llvm::Failed()); // out of range |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 76 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 0)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 77 | llvm::HasValue(8)); // first character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 78 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 3)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 79 | llvm::HasValue(11)); // middle character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 80 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 3), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 81 | llvm::HasValue(11)); |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 82 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 6)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 83 | llvm::HasValue(16)); // last character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 84 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 7)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 85 | llvm::HasValue(17)); // the newline itself |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 86 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 8)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 87 | llvm::HasValue(17)); // out of range |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 88 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(1, 8), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 89 | llvm::Failed()); // out of range |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 90 | // last line |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 91 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, -1)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 92 | llvm::Failed()); // out of range |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 93 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 0)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 94 | llvm::HasValue(18)); // first character |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 95 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 3)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 96 | llvm::HasValue(21)); // middle character |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 97 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 5), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 98 | llvm::Failed()); // middle of surrogate pair |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 99 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 5)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 100 | llvm::HasValue(26)); // middle of surrogate pair |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 101 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 6), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 102 | llvm::HasValue(26)); // end of surrogate pair |
Simon Marchi | 766338a | 2018-03-21 14:36:46 +0000 | [diff] [blame] | 103 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 8)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 104 | llvm::HasValue(28)); // last character |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 105 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 9)), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 106 | llvm::HasValue(29)); // EOF |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 107 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(2, 10), false), |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 108 | llvm::Failed()); // out of range |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 109 | // line out of bounds |
Ilya Biryukov | f2001aa | 2019-01-07 15:45:19 +0000 | [diff] [blame] | 110 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(3, 0)), llvm::Failed()); |
| 111 | EXPECT_THAT_EXPECTED(positionToOffset(File, position(3, 1)), llvm::Failed()); |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 112 | } |
| 113 | |
| 114 | TEST(SourceCodeTests, OffsetToPosition) { |
| 115 | EXPECT_THAT(offsetToPosition(File, 0), Pos(0, 0)) << "start of file"; |
| 116 | EXPECT_THAT(offsetToPosition(File, 3), Pos(0, 3)) << "in first line"; |
| 117 | EXPECT_THAT(offsetToPosition(File, 6), Pos(0, 6)) << "end of first line"; |
| 118 | EXPECT_THAT(offsetToPosition(File, 7), Pos(0, 7)) << "first newline"; |
| 119 | EXPECT_THAT(offsetToPosition(File, 8), Pos(1, 0)) << "start of second line"; |
Sam McCall | a4962cc | 2018-04-27 11:59:28 +0000 | [diff] [blame] | 120 | EXPECT_THAT(offsetToPosition(File, 12), Pos(1, 4)) << "before BMP char"; |
| 121 | EXPECT_THAT(offsetToPosition(File, 13), Pos(1, 5)) << "in BMP char"; |
| 122 | EXPECT_THAT(offsetToPosition(File, 15), Pos(1, 5)) << "after BMP char"; |
| 123 | EXPECT_THAT(offsetToPosition(File, 16), Pos(1, 6)) << "end of second line"; |
| 124 | EXPECT_THAT(offsetToPosition(File, 17), Pos(1, 7)) << "second newline"; |
| 125 | EXPECT_THAT(offsetToPosition(File, 18), Pos(2, 0)) << "start of last line"; |
| 126 | EXPECT_THAT(offsetToPosition(File, 21), Pos(2, 3)) << "in last line"; |
| 127 | EXPECT_THAT(offsetToPosition(File, 22), Pos(2, 4)) << "before astral char"; |
| 128 | EXPECT_THAT(offsetToPosition(File, 24), Pos(2, 6)) << "in astral char"; |
| 129 | EXPECT_THAT(offsetToPosition(File, 26), Pos(2, 6)) << "after astral char"; |
| 130 | EXPECT_THAT(offsetToPosition(File, 28), Pos(2, 8)) << "end of last line"; |
| 131 | EXPECT_THAT(offsetToPosition(File, 29), Pos(2, 9)) << "EOF"; |
| 132 | EXPECT_THAT(offsetToPosition(File, 30), Pos(2, 9)) << "out of bounds"; |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 133 | } |
| 134 | |
Kadir Cetinkaya | a9c9d00 | 2018-08-13 08:23:01 +0000 | [diff] [blame] | 135 | TEST(SourceCodeTests, IsRangeConsecutive) { |
Haojian Wu | aa3ed5a | 2019-01-25 15:14:03 +0000 | [diff] [blame] | 136 | EXPECT_TRUE(isRangeConsecutive(range({2, 2}, {2, 3}), range({2, 3}, {2, 4}))); |
Kadir Cetinkaya | a9c9d00 | 2018-08-13 08:23:01 +0000 | [diff] [blame] | 137 | EXPECT_FALSE( |
Haojian Wu | aa3ed5a | 2019-01-25 15:14:03 +0000 | [diff] [blame] | 138 | isRangeConsecutive(range({0, 2}, {0, 3}), range({2, 3}, {2, 4}))); |
Kadir Cetinkaya | a9c9d00 | 2018-08-13 08:23:01 +0000 | [diff] [blame] | 139 | EXPECT_FALSE( |
Haojian Wu | aa3ed5a | 2019-01-25 15:14:03 +0000 | [diff] [blame] | 140 | isRangeConsecutive(range({2, 2}, {2, 3}), range({2, 4}, {2, 5}))); |
Kadir Cetinkaya | a9c9d00 | 2018-08-13 08:23:01 +0000 | [diff] [blame] | 141 | } |
| 142 | |
Sam McCall | b536a2a | 2017-12-19 12:23:48 +0000 | [diff] [blame] | 143 | } // namespace |
| 144 | } // namespace clangd |
| 145 | } // namespace clang |