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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
/******************************************************************************\
* This file is part of packup. *
* *
* packup is free software: you can redistribute it and/or modify *
* it under the terms of the GNU General Public License as published by *
* the Free Software Foundation, either version 3 of the License, or *
* (at your option) any later version. *
* *
* packup is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
* GNU General Public License for more details. *
* *
* You should have received a copy of the GNU General Public License *
* along with packup. If not, see <http://www.gnu.org/licenses/>. *
\******************************************************************************/
/*
* File: Options.cc
* Author: mikolas
*
* Created on April 23, 2011, 4:23 PM
* Copyright (C) 2011, Mikolas Janota
*/
#include <iostream>
#include <stdlib.h>
#include <getopt.h>
#include <stdio.h>
#include "Options.hh"
using std::cerr;
using std::endl;
Options::Options()
: help (0)
, solving_disabled(0)
, paranoid(0)
, trendy(0)
, leave_temporary_files(0)
, max_solver(0)
{}
bool Options::parse(int argc,char **argv) {
bool return_value = true;
static struct option long_options[] = {
{"help", no_argument, &help, 1}
, {"no-sol", no_argument, &solving_disabled, 1}
,{"external-solver", required_argument, 0, 500}
,{"solution-check", required_argument, 0, 501}
#ifdef MAPPING
,{"mapping-file", required_argument, 0, 502}
#endif
,{"multiplication-string", required_argument, 0, 503}
,{"temporary-directory", required_argument, 0, 504}
,{"leave-temporary-files", no_argument, &leave_temporary_files, 1}
,{"max-sat", no_argument, &max_solver, 1}
,{0, 0, 0, 0}
};
int c;
while (1) {
/* getopt_long stores the option index here. */
int option_index = 0;
c = getopt_long(argc, argv, "hu:pt", long_options, &option_index);
opterr = 0;
/* Detect the end of the options. */
if (c == -1) break;
switch (c) {
case 0: if (long_options[option_index].flag != 0) break;
else return false;
case 'p': paranoid = 1; break;
case 't': trendy = 1; break;
case 'h': help = 1; break;
case 'u': user_criterion = optarg; break;
case 500: external_solver = optarg; break;
case 501: solution_check = optarg; break;
case 502: mapping_file = optarg; break;
case 503: multiplication_string = optarg; break;
case 504: temporary_directory = optarg; break;
case '?':
if ( (optopt == 'u') )
fprintf(stderr, "Option -%c requires an argument.\n", optopt);
else if (isprint (optopt))
fprintf (stderr, "Unknown option `-%c'.\n", optopt);
else
fprintf (stderr,"Unknown option character `\\x%x'.\n",optopt);
return_value = false;
break;
default:
return false;
}
}
if (!get_help()) {
if (optind >= argc) {
cerr << "cudf file expected" << endl;
return_value = false;
} else {
input_file_name=argv[optind++];
}
if (optind < argc) {
output_file_name = argv[optind++];
}
}
if (optind < argc) {
cerr << "WARNING: Unprocessed options at the end." << endl;
}
return return_value;
}
Options::~Options() {}
|
