[Validator] Handle incorrect type of fixed value in ElementDefinition

[njnikodym]

When a profile states that a certain element should have a fixed code but the element is filled with an uri, neither Simplifier nor the validator report the resource as invalid.

Example: If a resource contains: "fixedCode": "http://terminology.hl7.org/CodeSystem/v3-ActClass". It should report an error as the element is not of type "code".

HL7 validator does report back an error, namely: Unable to generate snapshot for ca-on-ps-profile-composition from Composition because Profile CompositionPSON (http://ontariohealth.ca/fhir/StructureDefinition/ca-on-ps-profile-composition), element Coding.system. Error generating snapshot: The fixed value has type 'code' which is not valid (valid type: [uri])

[mmsmits]

We have to investigate what our current snapshot generator behavior is, and what have to discuss what the expected behavior is.

Options:

• Stop and throw an error (like the HL7 validator)
• Continue and ignore, let a validator catch this
• Fix the type of the fixed value (we know what the expected type should be)

[ewoutkramer]

• Not the last one - we should encourage the author to correct it
• The snapget should complain (it does)
• The validator should complain (it does not)

So, we should add this to the validator I think, and keep what we have in the snapshot generator.

[ewoutkramer]

I now understand the output in the message is the HL7 snapshot generator. Yes, so we should add it to both I think.