read.cpp File Reference

Detailed Description

Tool for reading TESLA manifests.

Definition in file read.cpp.

#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 read.cpp:

Go to the source code of this file.

Enumerations
enum	Command { ListAutomata }

Functions
cl::opt< string >	ManifestName (cl::desc("[manifest file]"), cl::Positional, cl::Optional)
cl::opt< Command >	UserCommand (cl::desc("Command to execute"), cl::Required, cl::values("list-automata", int(ListAutomata),"Print short string representation of all automata",(reinterpret_cast< void * >(0))))
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[])

Enumeration Type Documentation

enum Command

Enumerator
ListAutomata

Definition at line 51 of file read.cpp.

             {
  ListAutomata
};

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
	)

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

Definition at line 71 of file read.cpp.

References tesla::Manifest::AllAutomata(), Determinism(), tesla::Manifest::FindAutomaton(), ListAutomata, tesla::ManifestName(), tesla::Automaton::String(), and UserCommand().

                             {
  cl::ParseCommandLineOptions(argc, argv);

  auto& out = llvm::outs();
  auto& err = llvm::errs();

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

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

  switch (UserCommand) {
  case ListAutomata:
    for (auto i : Manifest->AllAutomata()) {
      auto ID = i.first;

      auto *A = Manifest->FindAutomaton(ID);
      out << A->String() << "\n\n";
    }
    break;
  }

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

Here is the call graph for this function:

cl::opt<string> ManifestName	(	cl::	desc"[manifest file]",
		cl::Positional	,
		cl::Optional
	)

cl::opt<Command> UserCommand	(	cl::	desc"Command to execute",
		cl::Required	,
		cl::	values"list-automata", int(ListAutomata),"Print short string representation of all automata",(reinterpret_cast< void * >(0))
	)

Referenced by main().

Here is the caller graph for this function: