442     options().setSelectGenericPattern();  in addGenericPatterns()
443     options().setSelectExecute();  in addGenericPatterns()
451     options().setSelectOffsetPattern();  in addOffsetPatterns()
452     options().setSelectExecute();  in addOffsetPatterns()
457   bool IgnoreCase = options().getSelectIgnoreCase();  in addPatterns()
458   bool UseRegex = options().getSelectUseRegex();  in addPatterns()
477   options().setSelectExecute();  in addElement()
478   if (options().getReportList())  in addElement()
480   if (options().getReportAnyView()) {  in addElement()
493     options().setSelectGenericKind();  in updateReportOptions()
494     options().setSelectExecute();  in updateReportOptions()
499   if (options().getSelectExecute() && !options().getReportExecute()) {  in updateReportOptions()
500     options().setReportExecute();  in updateReportOptions()
501     options().setReportList();  in updateReportOptions()
534   return (options().getPrintLines() && Line->getIsLineDebug()) ||  in printElement()
535          (options().getPrintInstructions() && Line->getIsLineAssembler());  in printElement()
539   if (options().getAttributeAll())  in printObject()
541   bool DoPrint = options().getAttributeAnyLocation();  in printObject()
544     DoPrint = options().getAttributeGaps();  in printObject()
554   return options().getPrintScopes() ||  in printElement()
555          (options().getPrintSymbols() && Scope->getHasSymbols()) ||  in printElement()
556          (options().getPrintAnyLine() && Scope->getHasLines()) ||  in printElement()
557          (options().getPrintTypes() && Scope->getHasTypes()) ||  in printElement()
558          ((options().getPrintSizesSummary() || options().getPrintWarnings()) &&  in printElement()
565     return options().getAttributeGenerated() && options().getPrintSymbols();  in printElement()
566   return options().getPrintSymbols();  in printElement()
572     return options().getAttributeSubrange() && options().getPrintTypes();  in printElement()
573   return options().getPrintTypes();  in printElement()