PREFIX fhir: PREFIX fhirvs: PREFIX xsd: BASE start=@ AND {fhir:nodeRole [fhir:treeRoot]} # Server push subscription criteria CLOSED { a [fhir:Subscription]; fhir:nodeRole [fhir:treeRoot]?; fhir:Resource.id id?; # Logical id of this artifact fhir:Resource.meta @?; # Metadata about the resource fhir:Resource.implicitRules @?; # A set of rules under which this # content was created fhir:Resource.language @?; # Language of the resource content fhir:DomainResource.text @?; # Text summary of the resource, for # human interpretation fhir:DomainResource.contained @*; # Contained, inline Resources fhir:DomainResource.extension @*; # Additional content defined by # implementations fhir:DomainResource.modifierExtension @*; # Extensions that cannot be ignored fhir:Subscription.status @ AND {fhir:value @fhirvs:subscription-status}; # requested | active | error | off fhir:Subscription.contact @*; # Contact details for source (e.g. # troubleshooting) fhir:Subscription.end @?; # When to automatically delete the # subscription fhir:Subscription.reason @; # Description of why this # subscription was created fhir:Subscription.criteria @; # Rule for server push fhir:Subscription.error @?; # Latest error note fhir:Subscription.channel @; # The channel on which to report # matches to the criteria fhir:index xsd:integer? # Relative position in a list } # The channel on which to report matches to the criteria CLOSED { fhir:Element.id string?; # Unique id for inter-element # referencing fhir:Element.extension @*; # Additional content defined by # implementations fhir:BackboneElement.modifierExtension @*; # Extensions that cannot be ignored # even if unrecognized fhir:Subscription.channel.type @ AND {fhir:value @fhirvs:subscription-channel-type}; # rest-hook | websocket | email | # sms | message fhir:Subscription.channel.endpoint @?; # Where the channel points to fhir:Subscription.channel.payload @ AND {fhir:value @fhirvs:mimetypes}?; # MIME type to send, or omit for no # payload fhir:Subscription.channel.header @*; # Usage depends on the channel type fhir:index xsd:integer? # Relative position in a list } #---------------------- Data Types ------------------- # Optional Extensions Element CLOSED { fhir:Element.id id?; fhir:Element.extension @*; fhir:Extension.url uri; ( fhir:Extension.valueBase64Binary @ | fhir:Extension.valueBoolean @ | fhir:Extension.valueCanonical @ | fhir:Extension.valueCode @ | fhir:Extension.valueDate @ | fhir:Extension.valueDateTime @ | fhir:Extension.valueDecimal @ | fhir:Extension.valueId @ | fhir:Extension.valueInstant @ | fhir:Extension.valueInteger @ | fhir:Extension.valueMarkdown @ | fhir:Extension.valueOid @ | fhir:Extension.valuePositiveInt @ | fhir:Extension.valueString @ | fhir:Extension.valueTime @