Go to the documentation of this file.
86 int main(
int argc,
char* argv[]) {
97 string adfFile =
options.adfFile();
98 string outputFile =
options.outputFile();
108 cerr <<
"Error while loading machine from adf:" << endl
119 if (outputFile ==
"") {
virtual void printHelp() const
static Machine * loadMachine(const std::string &adfFile)
void setSourceFile(const std::string &fileName)
static std::string outputFileName(const std::string &adfFile)
std::string fileName() const
void setDestinationFile(const std::string &fileName)
int main(int argc, char *argv[])
std::string errorMessage() const
void parse(char *argv[], int argc)
static MachInfoCmdLineOptions options
void writeBinaryEncoding(const BinaryEncoding &bem)
TTAMachine::Machine * readMachine()
static std::string fileNameBody(const std::string &fileName)
BinaryEncoding * generate()