1c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet/*
2c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Copyright (C) 2013 The Android Open Source Project
3c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
4c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Licensed under the Apache License, Version 2.0 (the "License");
5c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * you may not use this file except in compliance with the License.
6c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * You may obtain a copy of the License at
7c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
8c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      http://www.apache.org/licenses/LICENSE-2.0
9c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
10c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Unless required by applicable law or agreed to in writing, software
11c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * distributed under the License is distributed on an "AS IS" BASIS,
12c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * See the License for the specific language governing permissions and
14c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * limitations under the License.
15c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet */
16c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
17c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet/* This program processes Renderscript function definitions described in spec files.
18c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * For each spec file provided on the command line, it generates a corresponding
19c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Renderscript header (*.rsh) which is meant for inclusion in client scripts.
20c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
21c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * This program also generates Junit test files to automatically test each of the
22c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * functions using randomly generated data.  We create two files for each function:
23c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - a Renderscript file named Test{Function}.rs,
24c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - a Junit file named Test{function}.java, which calls the above RS file.
25c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
26c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Finally, this program generates HTML documentation files.
27c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
282217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet * This program takes an optional -v parameter, the API level to target.  The generated
292217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet * files will not contain APIs passed that API level.  Note that this does not affect
302217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet * generic comments found in headers.
31c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
32c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * This program contains five main classes:
33c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - SpecFile: Represents on spec file.
34c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - Function: Each instance represents a function, like clamp.  Even though the
35c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      spec file contains many entries for clamp, we'll only have one clamp instance.
36c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - FunctionSpecification: Defines one of the many variations of the function.  There's
37c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      a one to one correspondance between FunctionSpecification objects and entries in the
38c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      spec file.  Strings that are parts of a FunctionSpecification can include placeholders,
39c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      which are "#1", "#2", "#3", and "#4".  We'll replace these by values before
40c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      generating the files.
41c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - Permutation: A concrete version of a specification, where all placeholders have
42c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      been replaced by actual values.
43c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * - ParameterDefinition: A definition of a parameter of a concrete function.
44c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
45c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * The format of the .spec files is described below.  Line that starts with # are comments.
46c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Replace the {} sections with your own contents.  [] indicates optional parts.
47c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
48c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * It should start with a header as follows:
49c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
50c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * header:
51c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary:  {A one line string describing this section.}
52c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
53c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
54c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
55c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [include:
56c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     { Multiline code lines to be included as-is in the generated header file.}]
57c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
58c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
59c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Constants are defined as follows:
60c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
61c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * constant:  {The name of the constant.}
6212398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [version: ({Starting API level} [ {Last API level that supports this.}] | UNRELEASED)
63c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [size: {32 or 64.  Used if this is available only for 32 or 64 bit code.}]
64c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * value: {The value of the constant.}
65c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [hidden:]   ...If present, don't document the constant.  Omit the following two fields.
6666fea24fb5f3a02b744a9c71ae0fc22c03c4fc6eJean-Luc Brouillet * [deprecated: [{Deprecation message.}]   ... This is deprecated.  Compiler will issue a wrning.
67c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary: {A one line string describing this section.}
68c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
69c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
70c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
71c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
72c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
73c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Types can either be simple types, structs, or enums.  They have the format:
74c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
75c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * type:  {The typedef name of the type.}
7612398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [version: ({Starting API level} [ {Last API level that supports this.}] | UNRELEASED)
77c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [size: {32 or 64.  Used if this is available only for 32 or 64 bit code.}]
78c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * simple: {The C declaration that this type is the typedef equivalent.}
79c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [hidden:]   ...If present, don't document the type.  Omit the following two fields.
8066fea24fb5f3a02b744a9c71ae0fc22c03c4fc6eJean-Luc Brouillet * [deprecated: [{Deprecation message.}]   ... This is deprecated.  Compiler will issue a wrning.
81c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary: {A one line string describing this section.}
82c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
83c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
84c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
85c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
86c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
87c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * type:  {The typedef name of the type.}
8812398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [version: ({Starting API level} [ {Last API level that supports this.}] | UNRELEASED)
89c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [size: {32 or 64.  Used if this is available only for 32 or 64 bit code.}]
90c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * struct: [{The name that will appear right after the struct keyword}]
91c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * field: {Type and name of the field}[, "{One line documentation of the field}"]
92c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * field:   ... Same for all the other fields of the struct.
93c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [attrib: {Attributes of the struct.}]
94c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [hidden:]   ...If present, don't document the type.  Omit the following two fields.
95c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary: {A one line string describing this section.}
96c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
97c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
98c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
99c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
100c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
101c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * type:  {The typedef name of the type.}
10212398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [version: ({Starting API level} [ {Last API level that supports this.}] | UNRELEASED)
103c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [size: {32 or 64.  Used if this is available only for 32 or 64 bit code.}]
104c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * enum: [{The name that will appear right after the enum keyword}]
105c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * value: {Type and name of the field}[, "{One line documentation of the field}"]
106c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * value:   ... Same for all the other values of the enum.
107c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [hidden:]   ...If present, don't document the type.  Omit the following two fields.
108c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary: {A one line string describing this section.}
109c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
110c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
111c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
112c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
113c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
114c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * Functions have the following format:
115c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *
116c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * function:  {The name of the function.}
11712398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [version: ({Starting API level} [ {Last API level that supports this.}] | UNRELEASED)
118c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [size: {32 or 64.  Used if this is available only for 32 or 64 bit code.}]
119c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [attrib: {Attributes of the function.}]
120c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [w: {A comma separated list of width supported.  Only 1, 2, 3, 4 are supported.
121c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [t: {A comma separated list of the types supported.}]]
122c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * ... Up to four w: or t: can be defined.  The order matter.  These will be replace
123c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * ... the #1, #2, #3, #4 that can be found in the rest of the specification.
124c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * ret: [{The return type} [, "{One line documentation of the return}"]]
12512398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni * [arg:(({Type}[ {Name})]|{Elipsis})[, {ParameterEntry.testOption}][, "{One line documentation of the field}"]]
126c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [arg:   ... Same for all the other arguments of the function.]
127c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [hidden:]   ... If present, don't include in the HTML documentation.
12866fea24fb5f3a02b744a9c71ae0fc22c03c4fc6eJean-Luc Brouillet * [deprecated: [{Deprecation message.}]   ... This is deprecated.  Compiler will issue a wrning.
129c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * summary: {A one line string describing this section.}
130c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * description:
131c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline description.  Can include HTML.  References to constants, types,
132c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *      and functions can be created by prefixing with a '@'.}
133c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [inline:
134c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet *     {Multiline code that implements this function inline.}]
135c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * [test: {How to test this function.  See FunctionSpecification::mTest.}]
136c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet * end:
137c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet */
138c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
139c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <stdio.h>
140c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <cctype>
141c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <cstdlib>
142c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <fstream>
143c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <functional>
144c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <iostream>
145c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <memory>
146c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <sstream>
147c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include <strings.h>
148c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
149c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include "Generator.h"
150c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include "Scanner.h"
151c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include "Specification.h"
152c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet#include "Utilities.h"
153c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
154c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouilletusing namespace std;
155c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
15612398d81f32e5e0479d02b8608a83c75cd991bb3Yang Nistatic bool parseCommandLine(int argc, char* argv[], unsigned int* maxApiLevel, bool* forVerification,
157c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                             vector<string>* specFileNames) {
158c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    for (int i = 1; i < argc; i++) {
159c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        if (argv[i][0] == '-') {
160c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet            if (argv[i][1] == 'v') {
161c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                i++;
162c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                if (i < argc) {
163c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                    char* end;
1642217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet                    *maxApiLevel = strtol(argv[i], &end, 10);
165c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                    if (*end != '\0') {
166c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                        cerr << "Error. Can't parse the version number" << argv[i] << "\n";
167c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                        return false;
168c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                    }
169c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                } else {
170c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                    cerr << "Missing version number after -v\n";
171c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                    return false;
172c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                }
1732217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet            } else if (argv[i][1] == 'H') {
1742217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet                *forVerification = true;
175c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet            } else {
176c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                cerr << "Unrecognized flag %s\n" << argv[i] << "\n";
177c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet                return false;
178c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet            }
179c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        } else {
180c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet            specFileNames->push_back(argv[i]);
181c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        }
182c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    }
183c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    if (specFileNames->size() == 0) {
184c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        cerr << "No spec file specified\n";
185c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        return false;
186c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    }
187c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    return true;
188c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet}
189c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet
190c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouilletint main(int argc, char* argv[]) {
191c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    // If there's no restriction, generated test files for the very highest version.
19212398d81f32e5e0479d02b8608a83c75cd991bb3Yang Ni    unsigned int maxApiLevel = VersionInfo::kUnreleasedVersion;
193c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    vector<string> specFileNames;
1942217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet    bool forVerification = false;
1952217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet    if (!parseCommandLine(argc, argv, &maxApiLevel, &forVerification, &specFileNames)) {
1962217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet        cout << "Usage: gen_runtime spec_file [spec_file...] [-v version_of_test_files][-H]\n";
197c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        return -1;
198c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    }
199c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    bool success = true;
200c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    for (auto i : specFileNames) {
2012217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet        if (!systemSpecification.readSpecFile(i, maxApiLevel)) {
202c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet            success = false;
203c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet        }
204c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    }
205c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    if (success) {
2062217eb7b12e598e5b435a732207647918c171560Jean-Luc Brouillet        success = systemSpecification.generateFiles(forVerification, maxApiLevel);
207c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    }
208c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet    return success ? 0 : -2;
209c5184e202ced435258adb2cfe2013570e7190954Jean-Luc Brouillet}
210