#include "Automaton.h"
#include "Manifest.h"
#include "tesla.pb.h"
#include <google/protobuf/text_format.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.
|
cl::list< string > | InputFiles (cl::desc("<input files>"), cl::Positional, cl::OneOrMore) |
|
cl::opt< string > | OutputFile ("o", cl::desc("<output file>"), cl::init("-")) |
|
int | main (int argc, char *argv[]) |
|
cl::list<string> InputFiles |
( |
cl:: |
desc"<input files>", |
|
|
cl::Positional |
, |
|
|
cl::OneOrMore |
|
|
) |
| |
int main |
( |
int |
argc, |
|
|
char * |
argv[] |
|
) |
| |
Definition at line 60 of file cat.cpp.
References InputFiles(), and OutputFile().
61 cl::ParseCommandLineOptions(argc, argv);
63 auto& err = llvm::errs();
68 OwningPtr<Manifest>
Manifest(Manifest::load(llvm::errs(),
72 err <<
"Unable to read manifest '" << Filename <<
"'\n";
77 *Result.add_automaton() = *i.second;
80 *Result.add_root() = *i;
84 google::protobuf::TextFormat::PrintToString(Result, &ProtobufText);
87 OwningPtr<raw_fd_ostream> outfile;
91 outfile.reset(
new raw_fd_ostream(
OutputFile.c_str(), OutErrorInfo));
93 raw_ostream& out = UseFile ? *outfile : llvm::outs();
96 google::protobuf::ShutdownProtobufLibrary();
cl::opt<string> OutputFile |
( |
"o" |
, |
|
|
cl:: |
desc"<output file>", |
|
|
cl:: |
init"-" |
|
) |
| |