Class: ShEx::Algebra::Or

Inherits:
Operator show all
Includes:
ShapeExpression
Defined in:
lib/shex/algebra/or.rb

Constant Summary collapse

NAME = 
:or

Constants inherited from Operator

ShEx::Algebra::Operator::ARITY

Instance Attribute Summary

Attributes inherited from Operator

#id, #logger, #operands, #options, #schema

Class Method Summary collapse

Instance Method Summary collapse

Methods included from ShapeExpression

#validate_expressions!, #validate_self_references!

Methods inherited from Operator

#base_uri, #closed?, #dup, #each_descendant, #eql?, #expression, #expressions, #find, #focus, #focus=, #inspect, #iri, iri, #matched, #matched=, #message, #message=, #not_matched, #not_satisfied, #operand, #parent, #parent=, #references, #satisfied, #satisfied=, #satisfy, #semact?, #semantic_actions, #serialize_value, #status, #structure_error, #to_h, #to_json, #to_sxp, #to_sxp_bin, #triple_expression?, #unmatched, #unmatched=, #unsatisfied, #unsatisfied=, #value, value

Constructor Details

#initialize(*args, **options) ⇒ Or

Returns a new instance of Or.

Raises:

  • (ArgumentError) 


7
8
9
10
11
12
13
14
15
16
 
# File 'lib/shex/algebra/or.rb', line 7

def initialize(*args, **options)
  case
  when args.length < 2
    raise ArgumentError, "wrong number of arguments (given #{args.length}, expected 2..)"
  end

  # All arguments must be ShapeExpression
  raise ArgumentError, "All operands must be Shape operands or resource" unless args.all? {|o| o.is_a?(ShapeExpression) || o.is_a?(RDF::Resource)}
  super
end

Class Method Details

.from_shexj(operator, **options) ⇒ Operator

Creates an operator instance from a parsed ShExJ representation

Returns:

Raises:

  • (ArgumentError) 


22
23
24
25
26
 
# File 'lib/shex/algebra/or.rb', line 22

def self.from_shexj(operator, **options)
  raise ArgumentError unless operator.is_a?(Hash) && operator['type'] == 'ShapeOr'
  raise ArgumentError, "missing shapeExprs in #{operator.inspect}" unless operator.is_a?(Hash) && operator.has_key?('shapeExprs')
  super
end

Instance Method Details

#json_type ⇒ Object 



80
81
82
 
# File 'lib/shex/algebra/or.rb', line 80

def json_type
  "ShapeOr"
end

#satisfies?(focus, depth: 0) ⇒ Boolean, ShapeExpression

S is a ShapeOr and there is some shape expression se2 in shapeExprs such that satisfies(n, se2, G, m).

Parameters:

  • focus (RDF::Resource)
  • depth (Integer) (defaults to: 0) —

    for logging

  • options (Hash{Symbol => Object}) —

    Other, operand-specific options

Returns:

  • (Boolean)
  • (ShapeExpression) —

    with matched and satisfied accessors for matched triples and sub-expressions

Raises:

  • (ShEx::NotMatched) —

    with expression accessor to access matched and unmatched statements along with satisfied and unsatisfied operations.



33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
 
# File 'lib/shex/algebra/or.rb', line 33

def satisfies?(focus, depth: 0)
  status "", depth: depth
  unsatisfied = []
  expressions.any? do |op|
    begin
      matched_op = case op
      when RDF::Resource
        schema.enter_shape(op, focus) do |shape|
          if shape
            shape.satisfies?(focus, depth: depth + 1)
          else
            status "Satisfy as #{op} was re-entered for #{focus}", depth: depth
            shape
          end
        end
      when ShapeExpression
        op.satisfies?(focus, depth: depth + 1)
      end
      return satisfy focus: focus, satisfied: matched_op, depth: depth
    rescue ShEx::NotSatisfied => e
      status "unsatisfied #{focus}", depth: depth
      op = op.dup
      if op.respond_to?(:satisfied)
        op.satisfied = e.expression.satisfied
        op.unsatisfied = e.expression.unsatisfied
      end
      unsatisfied << op
      status "unsatisfied: #{e.message}", depth: depth
      false
    end
  end

  not_satisfied "Expected some expression to be satisfied",
                focus: focus, unsatisfied: unsatisfied, depth: depth
end

#validate! ⇒ Operator

expressions must be ShapeExpressions or references to ShapeExpressions

Returns:

Raises:



74
75
76
77
78
 
# File 'lib/shex/algebra/or.rb', line 74

def validate!
  validate_expressions!
  validate_self_references!
  super
end