1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#include <iostream>
#include <fstream>
#include <string>
#include <cassert>
#include "mcrl2/utilities/text_utility.h"
#include "mcrl2/data/parse.h"
using namespace mcrl2;
int main(int argc, char* argv[])
{
if (argc < 2 || std::string(argv[1]) == "-h")
{
std::cout << "Usage: parse_data FILENAME" << std::endl;
return 0;
}
std::string text = utilities::read_text(argv[1]);
try
{
data::data_specification d = data::parse_data_specification(text);
}
catch (std::runtime_error e)
{
std::cout << e.what() << std::endl;
}
return 0;
}
|
