static public int getTextSpanEnd( final DomainResource resource ) { final String url = createCtakesFhirUrl( SPAN_END_EXT ); return resource.getExtensionsByUrl( url ) .stream() .mapToInt( FhirElementParser::parseInteger ) .max() .orElse( Integer.MIN_VALUE ); }
static public int getTextSpanBegin( final DomainResource resource ) { final String url = createCtakesFhirUrl( SPAN_BEGIN_EXT ); return resource.getExtensionsByUrl( url ) .stream() .mapToInt( FhirElementParser::parseInteger ) .min() .orElse( Integer.MAX_VALUE ); }