}
public InMemoryReportWriter analyze(Store store, List<String> conceptNames, List<String> constraintNames, List<String> groupNames) throws Exception {
RuleSet effectiveRuleSet = getEffectiveRuleSet(conceptNames, constraintNames, groupNames);
InMemoryReportWriter reportWriter = new InMemoryReportWriter();
Slf4jConsole console = new Slf4jConsole();
Analyzer analyzer = new AnalyzerImpl(store, reportWriter, console);
analyzer.execute(effectiveRuleSet);
ReportHelper reportHelper = new ReportHelper(console);
reportHelper.verifyConceptResults(reportWriter);
reportHelper.verifyConstraintViolations(reportWriter);