graph.cpp File Reference

Detailed Description

Tool for graphing TESLA manifests.

Definition in file graph.cpp.

#include "Automaton.h"
#include "Manifest.h"
#include "tesla.pb.h"
#include <llvm/IR/Function.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/LLVMContext.h>
#include <llvm/IR/Module.h>
#include <llvm/Support/CommandLine.h>
#include <llvm/Support/raw_ostream.h>
#include <llvm/Pass.h>

Include dependency graph for graph.cpp:

Go to the source code of this file.

Functions
cl::opt< string >	ManifestName (cl::desc("<input file>"), cl::Positional, cl::Required)
cl::opt< string >	OutputFile ("o", cl::desc("<output file>"), cl::init("-"))
cl::opt< Automaton::Type >	Determinism (cl::desc("automata determinism:"), cl::values("u", int(Automaton::Unlinked),"unlinked NFA","l", int(Automaton::Linked),"linked NFA","d", int(Automaton::Deterministic),"DFA",(reinterpret_cast< void * >(0))), cl::init(Automaton::Unlinked))
int	main (int argc, char *argv[])

Function Documentation

cl::opt<Automaton::Type> Determinism	(	cl::	desc"automata determinism:",
		cl::	values"u", int(Automaton::Unlinked),"unlinked NFA","l", int(Automaton::Linked),"linked NFA","d", int(Automaton::Deterministic),"DFA",(reinterpret_cast< void * >(0)),
		cl::	initAutomaton::Unlinked
	)

Referenced by main().

Here is the caller graph for this function:

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 65 of file graph.cpp.

References Determinism(), tesla::ManifestName(), and OutputFile().

                             {
  cl::ParseCommandLineOptions(argc, argv);

  bool UseFile = (OutputFile != "-");
  OwningPtr<raw_fd_ostream> outfile;

  if (UseFile) {
    string OutErrorInfo;
    outfile.reset(new raw_fd_ostream(OutputFile.c_str(), OutErrorInfo));
  }

  raw_ostream& out = UseFile ? *outfile : llvm::outs();
  auto& err = llvm::errs();

  OwningPtr<Manifest> Manifest(
    Manifest::load(llvm::errs(), Determinism, ManifestName));

  if (!Manifest) {
    err << "Unable to read manifest '" << ManifestName << "'\n";
    return false;
  }

  for (auto i : Manifest->AllAutomata()) {
    Identifier ID = i.first;
    auto *A = Manifest->FindAutomaton(ID);
    assert(A);

    out << A->Dot() << "\n\n";
    out.flush();
  }

  google::protobuf::ShutdownProtobufLibrary();
  return 0;
}

Here is the call graph for this function:

cl::opt<string> ManifestName	(	cl::	desc"<input file>",
		cl::Positional	,
		cl::Required
	)

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