86int 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 ==
"") {
int main(int argc, char *argv[])
static Machine * loadMachine(const std::string &adfFile)
static std::string outputFileName(const std::string &adfFile)
static MachInfoCmdLineOptions options
TTAMachine::Machine * readMachine()
BinaryEncoding * generate()
void writeBinaryEncoding(const BinaryEncoding &bem)
void parse(char *argv[], int argc)
std::string fileName() const
std::string errorMessage() const
static std::string fileNameBody(const std::string &fileName)
virtual void printHelp() const
void setSourceFile(const std::string &fileName)
void setDestinationFile(const std::string &fileName)