annotate clang-tools-extra/clang-tidy/abseil/DurationRewriter.h @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===--- DurationRewriter.h - clang-tidy ------------------------*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_ABSEIL_DURATIONREWRITER_H
anatofuz
parents:
diff changeset
10 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_ABSEIL_DURATIONREWRITER_H
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 #include "clang/ASTMatchers/ASTMatchFinder.h"
anatofuz
parents:
diff changeset
13 #include "clang/ASTMatchers/ASTMatchers.h"
anatofuz
parents:
diff changeset
14 #include <cinttypes>
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
15 #include <optional>
150
anatofuz
parents:
diff changeset
16
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
17 namespace clang::tidy::abseil {
150
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 /// Duration factory and conversion scales
anatofuz
parents:
diff changeset
20 enum class DurationScale : std::uint8_t {
anatofuz
parents:
diff changeset
21 Hours = 0,
anatofuz
parents:
diff changeset
22 Minutes,
anatofuz
parents:
diff changeset
23 Seconds,
anatofuz
parents:
diff changeset
24 Milliseconds,
anatofuz
parents:
diff changeset
25 Microseconds,
anatofuz
parents:
diff changeset
26 Nanoseconds,
anatofuz
parents:
diff changeset
27 };
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 /// Given a `Scale`, return the appropriate factory function call for
anatofuz
parents:
diff changeset
30 /// constructing a `Duration` for that scale.
anatofuz
parents:
diff changeset
31 llvm::StringRef getDurationFactoryForScale(DurationScale Scale);
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 /// Given a 'Scale', return the appropriate factory function call for
anatofuz
parents:
diff changeset
34 /// constructing a `Time` for that scale.
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
35 llvm::StringRef getTimeFactoryForScale(DurationScale Scale);
150
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 // Determine if `Node` represents a literal floating point or integral zero.
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
38 bool isLiteralZero(const ast_matchers::MatchFinder::MatchResult &Result,
150
anatofuz
parents:
diff changeset
39 const Expr &Node);
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 /// Possibly strip a floating point cast expression.
anatofuz
parents:
diff changeset
42 ///
anatofuz
parents:
diff changeset
43 /// If `Node` represents an explicit cast to a floating point type, return
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
44 /// the textual context of the cast argument, otherwise `std::nullopt`.
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
45 std::optional<std::string>
150
anatofuz
parents:
diff changeset
46 stripFloatCast(const ast_matchers::MatchFinder::MatchResult &Result,
anatofuz
parents:
diff changeset
47 const Expr &Node);
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 /// Possibly remove the fractional part of a floating point literal.
anatofuz
parents:
diff changeset
50 ///
anatofuz
parents:
diff changeset
51 /// If `Node` represents a floating point literal with a zero fractional part,
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
52 /// return the textual context of the integral part, otherwise `std::nullopt`.
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
53 std::optional<std::string>
150
anatofuz
parents:
diff changeset
54 stripFloatLiteralFraction(const ast_matchers::MatchFinder::MatchResult &Result,
anatofuz
parents:
diff changeset
55 const Expr &Node);
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 /// Possibly further simplify a duration factory function's argument, without
anatofuz
parents:
diff changeset
58 /// changing the scale of the factory function. Return that simplification or
anatofuz
parents:
diff changeset
59 /// the text of the argument if no simplification is possible.
anatofuz
parents:
diff changeset
60 std::string
anatofuz
parents:
diff changeset
61 simplifyDurationFactoryArg(const ast_matchers::MatchFinder::MatchResult &Result,
anatofuz
parents:
diff changeset
62 const Expr &Node);
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 /// Given the name of an inverse Duration function (e.g., `ToDoubleSeconds`),
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
65 /// return its `DurationScale`, or `std::nullopt` if a match is not found.
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
66 std::optional<DurationScale> getScaleForDurationInverse(llvm::StringRef Name);
150
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 /// Given the name of an inverse Time function (e.g., `ToUnixSeconds`),
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
69 /// return its `DurationScale`, or `std::nullopt` if a match is not found.
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
70 std::optional<DurationScale> getScaleForTimeInverse(llvm::StringRef Name);
150
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 /// Given a `Scale` return the fully qualified inverse functions for it.
anatofuz
parents:
diff changeset
73 /// The first returned value is the inverse for `double`, and the second
anatofuz
parents:
diff changeset
74 /// returned value is the inverse for `int64`.
anatofuz
parents:
diff changeset
75 const std::pair<llvm::StringRef, llvm::StringRef> &
anatofuz
parents:
diff changeset
76 getDurationInverseForScale(DurationScale Scale);
anatofuz
parents:
diff changeset
77
anatofuz
parents:
diff changeset
78 /// Returns the Time inverse function name for a given `Scale`.
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
79 llvm::StringRef getTimeInverseForScale(DurationScale Scale);
150
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 /// Assuming `Node` has type `double` or `int` representing a time interval of
anatofuz
parents:
diff changeset
82 /// `Scale`, return the expression to make it a suitable `Duration`.
anatofuz
parents:
diff changeset
83 std::string rewriteExprFromNumberToDuration(
anatofuz
parents:
diff changeset
84 const ast_matchers::MatchFinder::MatchResult &Result, DurationScale Scale,
anatofuz
parents:
diff changeset
85 const Expr *Node);
anatofuz
parents:
diff changeset
86
anatofuz
parents:
diff changeset
87 /// Assuming `Node` has a type `int` representing a time instant of `Scale`
anatofuz
parents:
diff changeset
88 /// since The Epoch, return the expression to make it a suitable `Time`.
anatofuz
parents:
diff changeset
89 std::string rewriteExprFromNumberToTime(
anatofuz
parents:
diff changeset
90 const ast_matchers::MatchFinder::MatchResult &Result, DurationScale Scale,
anatofuz
parents:
diff changeset
91 const Expr *Node);
anatofuz
parents:
diff changeset
92
anatofuz
parents:
diff changeset
93 /// Return `false` if `E` is a either: not a macro at all; or an argument to
anatofuz
parents:
diff changeset
94 /// one. In the both cases, we often want to do the transformation.
anatofuz
parents:
diff changeset
95 bool isInMacro(const ast_matchers::MatchFinder::MatchResult &Result,
anatofuz
parents:
diff changeset
96 const Expr *E);
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 AST_MATCHER_FUNCTION(ast_matchers::internal::Matcher<FunctionDecl>,
anatofuz
parents:
diff changeset
99 DurationConversionFunction) {
anatofuz
parents:
diff changeset
100 using namespace clang::ast_matchers;
anatofuz
parents:
diff changeset
101 return functionDecl(
anatofuz
parents:
diff changeset
102 hasAnyName("::absl::ToDoubleHours", "::absl::ToDoubleMinutes",
anatofuz
parents:
diff changeset
103 "::absl::ToDoubleSeconds", "::absl::ToDoubleMilliseconds",
anatofuz
parents:
diff changeset
104 "::absl::ToDoubleMicroseconds", "::absl::ToDoubleNanoseconds",
anatofuz
parents:
diff changeset
105 "::absl::ToInt64Hours", "::absl::ToInt64Minutes",
anatofuz
parents:
diff changeset
106 "::absl::ToInt64Seconds", "::absl::ToInt64Milliseconds",
anatofuz
parents:
diff changeset
107 "::absl::ToInt64Microseconds", "::absl::ToInt64Nanoseconds"));
anatofuz
parents:
diff changeset
108 }
anatofuz
parents:
diff changeset
109
anatofuz
parents:
diff changeset
110 AST_MATCHER_FUNCTION(ast_matchers::internal::Matcher<FunctionDecl>,
anatofuz
parents:
diff changeset
111 DurationFactoryFunction) {
anatofuz
parents:
diff changeset
112 using namespace clang::ast_matchers;
anatofuz
parents:
diff changeset
113 return functionDecl(hasAnyName("::absl::Nanoseconds", "::absl::Microseconds",
anatofuz
parents:
diff changeset
114 "::absl::Milliseconds", "::absl::Seconds",
anatofuz
parents:
diff changeset
115 "::absl::Minutes", "::absl::Hours"));
anatofuz
parents:
diff changeset
116 }
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 AST_MATCHER_FUNCTION(ast_matchers::internal::Matcher<FunctionDecl>,
anatofuz
parents:
diff changeset
119 TimeConversionFunction) {
anatofuz
parents:
diff changeset
120 using namespace clang::ast_matchers;
anatofuz
parents:
diff changeset
121 return functionDecl(hasAnyName(
anatofuz
parents:
diff changeset
122 "::absl::ToUnixHours", "::absl::ToUnixMinutes", "::absl::ToUnixSeconds",
anatofuz
parents:
diff changeset
123 "::absl::ToUnixMillis", "::absl::ToUnixMicros", "::absl::ToUnixNanos"));
anatofuz
parents:
diff changeset
124 }
anatofuz
parents:
diff changeset
125
anatofuz
parents:
diff changeset
126 AST_MATCHER_FUNCTION_P(ast_matchers::internal::Matcher<Stmt>,
anatofuz
parents:
diff changeset
127 comparisonOperatorWithCallee,
anatofuz
parents:
diff changeset
128 ast_matchers::internal::Matcher<Decl>, funcDecl) {
anatofuz
parents:
diff changeset
129 using namespace clang::ast_matchers;
anatofuz
parents:
diff changeset
130 return binaryOperator(
anatofuz
parents:
diff changeset
131 anyOf(hasOperatorName(">"), hasOperatorName(">="), hasOperatorName("=="),
anatofuz
parents:
diff changeset
132 hasOperatorName("<="), hasOperatorName("<")),
anatofuz
parents:
diff changeset
133 hasEitherOperand(ignoringImpCasts(callExpr(callee(funcDecl)))));
anatofuz
parents:
diff changeset
134 }
anatofuz
parents:
diff changeset
135
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
136 } // namespace clang::tidy::abseil
150
anatofuz
parents:
diff changeset
137
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
138 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_ABSEIL_DURATIONREWRITER_H