| 187 | void setProduct(const char * val) { mProduct = val; } |
| 188 | void setUseCrunchCache(bool val) { mUseCrunchCache = val; } |
| 189 | bool getUseCrunchCache() const { return mUseCrunchCache; } |
| 190 | const char* getOutputTextSymbols() const { return mOutputTextSymbols; } |
| 191 | void setOutputTextSymbols(const char* val) { mOutputTextSymbols = val; } |
| 192 | const char* getSingleCrunchInputFile() const { return mSingleCrunchInputFile; } |