Tool.cpp File Reference

#include "AST.h"
#include "Debug.h"
#include "llvm/Support/CommandLine.h"
#include "clang/Frontend/CompilerInstance.h"
#include "clang/Frontend/FrontendActions.h"
#include "clang/Tooling/CompilationDatabase.h"
#include "clang/Tooling/Tooling.h"
#include "llvm/Support/PrettyStackTrace.h"
#include <google/protobuf/text_format.h>

Include dependency graph for Tool.cpp:

Go to the source code of this file.

Functions
cl::opt< string >	OutputFile ("o", cl::desc("<output file>"), cl::Required)
cl::list< string >	SourcePaths (cl::Positional, cl::desc("<source0> [... <sourceN>]"), cl::OneOrMore)
int	main (int argc, const char **argv)

Function Documentation

int main	(	int	argc,
		const char **	argv
	)

Definition at line 63 of file Tool.cpp.

References OutputFile(), tesla::panic(), and SourcePaths().

                                      {
  llvm::PrettyStackTraceProgram X(argc, argv);

  // Add a preprocessor definition to indicate we're doing TESLA parsing.
  std::vector<const char*> args(argv, argv + argc);
  args.push_back("-D");
  args.push_back("__TESLA_ANALYSER__");

  // Change argc and argv to refer to the vector's memory.
  // The CompilationDatabase will modify these, so we shouldn't pass in
  // args.data() directly.
  argc = (int) args.size();
  assert(((size_t) argc) == args.size());    // check for overflow

  argv = args.data();

  OwningPtr<CompilationDatabase> Compilations(
    FixedCompilationDatabase::loadFromCommandLine(argc, argv));

  if (!Compilations)
    panic(
        "Need compilation options, e.g. tesla-analyser foo.c -- -I ../include");

  cl::ParseCommandLineOptions(argc, argv);

  OwningPtr<TeslaActionFactory> Factory(new TeslaActionFactory(OutputFile));

  ClangTool Tool(*Compilations, SourcePaths);
  return Tool.run(Factory.get());
}

Here is the call graph for this function:

cl::opt<string> OutputFile	(	"o"	,
		cl::	desc"<output file>",
		cl::Required
	)

Referenced by main().

Here is the caller graph for this function:

cl::list<string> SourcePaths	(	cl::Positional	,
		cl::	desc"<source0> [... <sourceN>]",
		cl::OneOrMore
	)

Referenced by main().

Here is the caller graph for this function: