Contents

module SHACL::Algebra
  ##
  class AndConstraintComponent < ConstraintComponent
    NAME = :and

    ##
    # Specifies the condition that each value node conforms to all provided shapes. This is comparable to conjunction and the logical "and" operator.
    #
    # @example
    #   ex:SuperShape
    #   	a sh:NodeShape ;
    #   	sh:property [
    #   		sh:path ex:property ;
    #   		sh:minCount 1 ;
    #   	] .
    #   
    #   ex:ExampleAndShape
    #   	a sh:NodeShape ;
    #   	sh:targetNode ex:ValidInstance, ex:InvalidInstance ;
    #   	sh:and (
    #   		ex:SuperShape
    #   		[
    #   			sh:path ex:property ;
    #   			sh:maxCount 1 ;
    #   		]
    #   	) .
    #
    # @param [RDF::Term] node focus node
    # @param [RDF::URI, SPARQL::Algebra::Expression] path (nil) the property path from the focus node to the value nodes.
    # @param [Hash{Symbol => Object}] options
    # @return [Array<SHACL::ValidationResult>]
    def conforms(node, path: nil, depth: 0, **options)
      log_debug(NAME, depth: depth) {SXP::Generator.string({node: node}.to_sxp_bin)}
      operands.each do |op|
        results = op.conforms(node, depth: depth + 1, **options)
        if !results.all?(&:conform?)
          return not_satisfied(focus: node, path: path,
            value: node,
            message: "node does not conform to all shapes",
            resultSeverity: options.fetch(:severity),
            component: RDF::Vocab::SHACL.AndConstraintComponent,
            depth: depth, **options)
        end
      end
      satisfy(focus: node, path: path,
        value: node,
        message: "node conforms to all shapes",
        component: RDF::Vocab::SHACL.AndConstraintComponent,
        depth: depth, **options)
    end
  end
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
shacl-0.4.1	lib/shacl/algebra/and.rb
shacl-0.4.0	lib/shacl/algebra/and.rb
shacl-0.3.0	lib/shacl/algebra/and.rb