Package org.fhirfrog.frog.profilecompiler.model

Record Class ChoiceTypeMustSupportElement

java.lang.Object
java.lang.Record
org.fhirfrog.frog.profilecompiler.model.ChoiceTypeMustSupportElement
public record ChoiceTypeMustSupportElement(String originalChoiceElementId, String originalChoicePath, String syntheticPath, String typeCode, boolean mandatory, List<String> targetProfiles) extends Record
A choice-type (xxx[x]) element with a specific must-support type, produced by the elementdefinition-type-must-support extension (algorithm.md §3.3), e.g. Condition.onset[x]'s dateTime type yielding the synthetic path onsetDateTime. originalChoiceElementId is kept so PlainElementExtractor can perform genuine structural ancestor-path rewriting for nested must-support sub-elements (algorithm.md §3.4 rule 3 / §8.7's substring-containment fix) instead of string-matching.

  • Constructor Details

    • ChoiceTypeMustSupportElement

      public ChoiceTypeMustSupportElement(String originalChoiceElementId, String originalChoicePath, String syntheticPath, String typeCode, boolean mandatory, List<String> targetProfiles)
      Creates an instance of a ChoiceTypeMustSupportElement record class.
      Parameters:
      originalChoiceElementId - the value for the originalChoiceElementId record component
      originalChoicePath - the value for the originalChoicePath record component
      syntheticPath - the value for the syntheticPath record component
      typeCode - the value for the typeCode record component
      mandatory - the value for the mandatory record component
      targetProfiles - the value for the targetProfiles record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • originalChoiceElementId

      public String originalChoiceElementId()
      Returns the value of the originalChoiceElementId record component.
      Returns:
      the value of the originalChoiceElementId record component

    • originalChoicePath

      public String originalChoicePath()
      Returns the value of the originalChoicePath record component.
      Returns:
      the value of the originalChoicePath record component

    • syntheticPath

      public String syntheticPath()
      Returns the value of the syntheticPath record component.
      Returns:
      the value of the syntheticPath record component

    • typeCode

      public String typeCode()
      Returns the value of the typeCode record component.
      Returns:
      the value of the typeCode record component

    • mandatory

      public boolean mandatory()
      Returns the value of the mandatory record component.
      Returns:
      the value of the mandatory record component

    • targetProfiles

      public List<String> targetProfiles()
      Returns the value of the targetProfiles record component.
      Returns:
      the value of the targetProfiles record component