blob: f1c97ce423b9df16198c5d998c7512ffafb11989 [file] [log] [blame]
Peter Collingbourne8b1265b2013-11-08 00:08:23 +00001//===---- ClangQuery.cpp - clang-query tool -------------------------------===//
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//
10// This tool is for interactive exploration of the Clang AST using AST matchers.
11// It currently allows the user to enter a matcher at an interactive prompt and
12// view the resulting bindings as diagnostics, AST pretty prints or AST dumps.
13// Example session:
14//
15// $ cat foo.c
16// void foo(void) {}
17// $ clang-query foo.c --
18// clang-query> match functionDecl()
19//
20// Match #1:
21//
22// foo.c:1:1: note: "root" binds here
23// void foo(void) {}
24// ^~~~~~~~~~~~~~~~~
25// 1 match.
26//
27//===----------------------------------------------------------------------===//
28
29#include "Query.h"
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000030#include "QueryParser.h"
Chandler Carruth85e6e872014-01-07 20:05:01 +000031#include "QuerySession.h"
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000032#include "clang/Frontend/ASTUnit.h"
Alexander Kornienko228dda52014-08-02 01:02:33 +000033#include "clang/Tooling/CommonOptionsParser.h"
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000034#include "clang/Tooling/Tooling.h"
Peter Collingbournec31176d2014-02-01 01:42:42 +000035#include "llvm/LineEditor/LineEditor.h"
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000036#include "llvm/Support/CommandLine.h"
37#include "llvm/Support/MemoryBuffer.h"
38#include "llvm/Support/Signals.h"
39#include <fstream>
Chandler Carruth85e6e872014-01-07 20:05:01 +000040#include <string>
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000041
42using namespace clang;
43using namespace clang::ast_matchers;
44using namespace clang::ast_matchers::dynamic;
45using namespace clang::query;
46using namespace clang::tooling;
47using namespace llvm;
48
Alexander Kornienko228dda52014-08-02 01:02:33 +000049static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
50static cl::OptionCategory ClangQueryCategory("clang-query options");
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000051
52static cl::list<std::string> Commands("c", cl::desc("Specify command to run"),
Alexander Kornienko228dda52014-08-02 01:02:33 +000053 cl::value_desc("command"),
54 cl::cat(ClangQueryCategory));
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000055
56static cl::list<std::string> CommandFiles("f",
57 cl::desc("Read commands from file"),
Alexander Kornienko228dda52014-08-02 01:02:33 +000058 cl::value_desc("file"),
59 cl::cat(ClangQueryCategory));
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000060
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000061int main(int argc, const char **argv) {
62 llvm::sys::PrintStackTraceOnErrorSignal();
Alexander Kornienko228dda52014-08-02 01:02:33 +000063
64 CommonOptionsParser OptionsParser(argc, argv, ClangQueryCategory);
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000065
66 if (!Commands.empty() && !CommandFiles.empty()) {
67 llvm::errs() << argv[0] << ": cannot specify both -c and -f\n";
68 return 1;
69 }
70
Alexander Kornienko228dda52014-08-02 01:02:33 +000071 ClangTool Tool(OptionsParser.getCompilations(),
72 OptionsParser.getSourcePathList());
David Blaikie329be892014-04-25 15:06:18 +000073 std::vector<std::unique_ptr<ASTUnit>> ASTs;
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000074 if (Tool.buildASTs(ASTs) != 0)
75 return 1;
76
77 QuerySession QS(ASTs);
78
79 if (!Commands.empty()) {
80 for (cl::list<std::string>::iterator I = Commands.begin(),
81 E = Commands.end();
82 I != E; ++I) {
Samuel Benzaquen1f6066c2014-04-23 14:04:52 +000083 QueryRef Q = QueryParser::parse(I->c_str(), QS);
Peter Collingbourne8b1265b2013-11-08 00:08:23 +000084 if (!Q->run(llvm::outs(), QS))
85 return 1;
86 }
87 } else if (!CommandFiles.empty()) {
88 for (cl::list<std::string>::iterator I = CommandFiles.begin(),
89 E = CommandFiles.end();
90 I != E; ++I) {
91 std::ifstream Input(I->c_str());
92 if (!Input.is_open()) {
93 llvm::errs() << argv[0] << ": cannot open " << *I << "\n";
94 return 1;
95 }
96 while (Input.good()) {
97 std::string Line;
98 std::getline(Input, Line);
99
Samuel Benzaquen1f6066c2014-04-23 14:04:52 +0000100 QueryRef Q = QueryParser::parse(Line.c_str(), QS);
Peter Collingbourne8b1265b2013-11-08 00:08:23 +0000101 if (!Q->run(llvm::outs(), QS))
102 return 1;
103 }
104 }
105 } else {
Peter Collingbournec31176d2014-02-01 01:42:42 +0000106 LineEditor LE("clang-query");
Samuel Benzaquen1f6066c2014-04-23 14:04:52 +0000107 LE.setListCompleter([&QS](StringRef Line, size_t Pos) {
108 return QueryParser::complete(Line, Pos, QS);
109 });
Peter Collingbournec31176d2014-02-01 01:42:42 +0000110 while (llvm::Optional<std::string> Line = LE.readLine()) {
Samuel Benzaquen1f6066c2014-04-23 14:04:52 +0000111 QueryRef Q = QueryParser::parse(*Line, QS);
Peter Collingbourne8b1265b2013-11-08 00:08:23 +0000112 Q->run(llvm::outs(), QS);
Manuel Klimek5a1ef9c2014-05-21 18:10:47 +0000113 llvm::outs().flush();
Aaron Ballman58907172015-08-06 11:56:57 +0000114 if (QS.Terminate)
115 break;
Peter Collingbourne8b1265b2013-11-08 00:08:23 +0000116 }
Peter Collingbourne8b1265b2013-11-08 00:08:23 +0000117 }
118
Peter Collingbourne8b1265b2013-11-08 00:08:23 +0000119 return 0;
120}