Class: Bundler::PubGrub::Incompatibility

Inherits:
Object
  • Object
show all
Defined in:
lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb

Direct Known Subclasses

Resolver::Incompatibility

Defined Under Namespace

Classes: CircularDependency, ConflictCause, InvalidDependency, NoVersions

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(terms, cause:, custom_explanation: nil) ⇒ Incompatibility

Returns a new instance of Incompatibility.



19
20
21
22
23
24
25
26
27
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 19

def initialize(terms, cause:, custom_explanation: nil)
  @cause = cause
  @terms = cleanup_terms(terms)
  @custom_explanation = custom_explanation

  if cause == :dependency && @terms.length != 2
    raise ArgumentError, "a dependency Incompatibility must have exactly two terms. Got #{@terms.inspect}"
  end
end

Instance Attribute Details

#cause ⇒ Object (readonly)

Returns the value of attribute cause.



17
18
19
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 17

def cause
  @cause
end

#terms ⇒ Object (readonly)

Returns the value of attribute terms.



17
18
19
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 17

def terms
  @terms
end

Instance Method Details

#conflict? ⇒ Boolean

Returns:

  • (Boolean) 


42
43
44
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 42

def conflict?
  ConflictCause === cause
end

#eql?(other) ⇒ Boolean

Returns:

  • (Boolean) 


33
34
35
36
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 33

def eql?(other)
  cause.eql?(other.cause) &&
    terms.eql?(other.terms)
end

#external_incompatibilities ⇒ Object

Returns all external incompatibilities in this incompatibility’s derivation graph



48
49
50
51
52
53
54
55
56
57
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 48

def external_incompatibilities
  if conflict?
    [
      cause.conflict,
      cause.other
    ].flat_map(&:external_incompatibilities)
  else
    [this]
  end
end

#failure? ⇒ Boolean

Returns:

  • (Boolean) 


38
39
40
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 38

def failure?
  terms.empty? || (terms.length == 1 && Package.root?(terms[0].package) && terms[0].positive?)
end

#hash ⇒ Object 



29
30
31
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 29

def hash
  cause.hash ^ terms.hash
end

#inspect ⇒ Object 



112
113
114
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 112

def inspect
  "#<#{self.class} #{to_s}>"
end

#pretty_print(q) ⇒ Object 



116
117
118
119
120
121
122
123
124
125
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 116

def pretty_print(q)
  q.group 2, "#<#{self.class}", ">" do
    q.breakable
    q.text to_s

    q.breakable
    q.text " caused by "
    q.pp @cause
  end
end

#to_s ⇒ Object 



59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
 
# File 'lib/bundler/vendor/pub_grub/lib/pub_grub/incompatibility.rb', line 59

def to_s
  return @custom_explanation if @custom_explanation

  case cause
  when :root
    "(root dependency)"
  when :dependency
    "#{terms[0].to_s(allow_every: true)} depends on #{terms[1].invert}"
  when Bundler::PubGrub::Incompatibility::InvalidDependency
    "#{terms[0].to_s(allow_every: true)} depends on unknown package #{cause.package}"
  when Bundler::PubGrub::Incompatibility::CircularDependency
    "#{terms[0].to_s(allow_every: true)} depends on itself"
  when Bundler::PubGrub::Incompatibility::NoVersions
    "no versions satisfy #{cause.constraint}"
  when Bundler::PubGrub::Incompatibility::ConflictCause
    if failure?
      "version solving has failed"
    elsif terms.length == 1
      term = terms[0]
      if term.positive?
        "#{terms[0].to_s(allow_every: true)} is forbidden"
      else
        "#{terms[0].invert} is required"
      end
    else
      if terms.all?(&:positive?)
        if terms.length == 2
          "#{terms[0].to_s(allow_every: true)} is incompatible with #{terms[1]}"
        else
          "one of #{terms.map(&:to_s).join(" or ")} must be false"
        end
      elsif terms.all?(&:negative?)
        if terms.length == 2
          "either #{terms[0].invert} or #{terms[1].invert}"
        else
          "one of #{terms.map(&:invert).join(" or ")} must be true";
        end
      else
        positive = terms.select(&:positive?)
        negative = terms.select(&:negative?).map(&:invert)

        if positive.length == 1
          "#{positive[0].to_s(allow_every: true)} requires #{negative.join(" or ")}"
        else
          "if #{positive.join(" and ")} then #{negative.join(" or ")}"
        end
      end
    end
  else
    raise "unhandled cause: #{cause.inspect}"
  end
end