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