001package org.hl7.fhir.validation.codesystem;
002
003/*
004  Copyright (c) 2011+, HL7, Inc.
005  All rights reserved.
006  
007  Redistribution and use in source and binary forms, with or without modification, 
008  are permitted provided that the following conditions are met:
009    
010   * Redistributions of source code must retain the above copyright notice, this 
011     list of conditions and the following disclaimer.
012   * Redistributions in binary form must reproduce the above copyright notice, 
013     this list of conditions and the following disclaimer in the documentation 
014     and/or other materials provided with the distribution.
015   * Neither the name of HL7 nor the names of its contributors may be used to 
016     endorse or promote products derived from this software without specific 
017     prior written permission.
018  
019  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 
020  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 
021  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 
022  IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 
023  INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 
024  NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 
025  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, 
026  WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 
027  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 
028  POSSIBILITY OF SUCH DAMAGE.
029  
030 */
031
032
033
034import java.util.ArrayList;
035import java.util.HashSet;
036import java.util.List;
037import java.util.Set;
038
039import org.hl7.fhir.r5.context.IWorkerContext;
040import org.hl7.fhir.r5.model.CodeSystem;
041import org.hl7.fhir.r5.model.CodeSystem.ConceptDefinitionComponent;
042import org.hl7.fhir.r5.utils.XVerExtensionManager;
043import org.hl7.fhir.utilities.validation.ValidationMessage;
044import org.hl7.fhir.utilities.validation.ValidationMessage.IssueType;
045import org.hl7.fhir.validation.BaseValidator;
046
047public class CodeSystemValidator extends BaseValidator {
048
049  public CodeSystemValidator(IWorkerContext context, XVerExtensionManager xverManager) {
050    super(context, xverManager);
051  }
052
053  public List<ValidationMessage> validate(CodeSystem cs, boolean forBuild) {
054    List<ValidationMessage> errors = new ArrayList<ValidationMessage>();
055    
056    // this is an invariant on CodeSystem, but the invariant is wrong in R3, and doesn't work 
057    checkCodesUnique(cs, errors);
058    return errors;
059  }
060
061  private void checkCodesUnique(CodeSystem cs, List<ValidationMessage> errors) {
062    Set<String> codes = new HashSet<String>();
063    checkCodes(codes, cs.getConcept(), "CodeSystem.where(id = '"+cs.getId()+"')", errors);
064  }
065
066  private void checkCodes(Set<String> codes, List<ConceptDefinitionComponent> list, String path, List<ValidationMessage> errors) {
067    for (ConceptDefinitionComponent cc : list) {
068      String npath = path+".concept.descendents().where(code = '"+cc.getCode()+"')";
069      rule(errors, IssueType.BUSINESSRULE, npath, !codes.contains(cc.getCode()), "Duplicate Code "+cc.getCode());
070      codes.add(cc.getCode());
071      checkCodes(codes, cc.getConcept(), npath, errors);
072    }
073  }
074}