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>
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[]) |
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 65 of file graph.cpp.
References Determinism(), tesla::ManifestName(), and OutputFile().
cl::opt<string> ManifestName | ( | cl:: | desc"<input file>", |
cl::Positional | , | ||
cl::Required | |||
) |
cl::opt<string> OutputFile | ( | "o" | , |
cl:: | desc"<output file>", | ||
cl:: | init"-" | ||
) |