+ bool getDebugMode() const { return mDebugMode; }
+ void setDebugMode(bool val) { mDebugMode = val; }
+ bool getNonConstantId() const { return mNonConstantId; }
+ void setNonConstantId(bool val) { mNonConstantId = val; }
+ const char* getProduct() const { return mProduct; }
+ void setProduct(const char * val) { mProduct = val; }
+ void setUseCrunchCache(bool val) { mUseCrunchCache = val; }
+ bool getUseCrunchCache() const { return mUseCrunchCache; }
+ const char* getOutputTextSymbols() const { return mOutputTextSymbols; }
+ void setOutputTextSymbols(const char* val) { mOutputTextSymbols = val; }