Class: Udb::AlwaysTrueCondition

Inherits:
AbstractCondition show all
Extended by:
T::Sig
Defined in:
lib/udb/condition.rb

Instance Method Summary collapse

Constructor Details

#initialize(cfg_arch)

Parameters:



1672
1673
1674
 
# File 'lib/udb/condition.rb', line 1672

def initialize(cfg_arch)
  @cfg_arch = cfg_arch
end

Instance Method Details

#&(other) ⇒ AbstractCondition

Parameters:

Returns:



1764
1765
1766
 
# File 'lib/udb/condition.rb', line 1764

def &(other)
  Condition.conjunction([self, other], @cfg_arch)
end

#-@ ⇒ AbstractCondition

Returns:



1774
1775
1776
 
# File 'lib/udb/condition.rb', line 1774

def -@
  AlwaysFalseCondition.new(@cfg_arch)
end

#compatible?(_other) ⇒ Boolean

Parameters:

  • _other (T.untyped)

Returns:

  • (Boolean) 


1694
 
# File 'lib/udb/condition.rb', line 1694

def compatible?(_other) = true

#empty? ⇒ Boolean

Returns:

  • (Boolean) 


1677
 
# File 'lib/udb/condition.rb', line 1677

def empty? = true

#failing_conjuncts(cfg_arch, expand: false) ⇒ Array<String>

Parameters:

Returns:

  • (Array<String>) 


1752
 
# File 'lib/udb/condition.rb', line 1752

def failing_conjuncts(cfg_arch, expand: false) = []

#has_extension_requirement? ⇒ Boolean

Returns:

  • (Boolean) 


1729
 
# File 'lib/udb/condition.rb', line 1729

def has_extension_requirement? = false

#has_param? ⇒ Boolean

Returns:

  • (Boolean) 


1735
 
# File 'lib/udb/condition.rb', line 1735

def has_param? = false

#implied_extension_conflicts(expand: true) ⇒ Array<ConditionalExtensionRequirement>

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



1761
 
# File 'lib/udb/condition.rb', line 1761

def implied_extension_conflicts(expand: true) = []

#implied_extension_requirements(expand: true) ⇒ Array<ConditionalExtensionRequirement>

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



1758
 
# File 'lib/udb/condition.rb', line 1758

def implied_extension_requirements(expand: true) = []

#minimize(expand: true) ⇒ AbstractCondition

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



1732
 
# File 'lib/udb/condition.rb', line 1732

def minimize(expand: true) = self

#partial_eval(ext_reqs: [], expand: true) ⇒ AbstractCondition

Parameters:

Returns:



1720
 
# File 'lib/udb/condition.rb', line 1720

def partial_eval(ext_reqs: [], expand: true) = self

#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ AbstractCondition

Parameters:

Returns:



1717
 
# File 'lib/udb/condition.rb', line 1717

def partially_evaluate_for_params(cfg_arch, expand: false) = self

#satisfiability_depends_on_ext_req?(ext_req, include_requirements: false) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1726
 
# File 'lib/udb/condition.rb', line 1726

def satisfiability_depends_on_ext_req?(ext_req, include_requirements: false) = false

#satisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


1779
 
# File 'lib/udb/condition.rb', line 1779

def satisfiable? = true

#satisfiable_by_arch?(cfg_arch) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1708
 
# File 'lib/udb/condition.rb', line 1708

def satisfiable_by_arch?(cfg_arch) = true

#satisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1702
 
# File 'lib/udb/condition.rb', line 1702

def satisfiable_by_cfg_arch?(cfg_arch) = true

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ SatisfiedResult

Parameters:

Returns:

  • (SatisfiedResult) 


1714
 
# File 'lib/udb/condition.rb', line 1714

def satisfied_by_cfg_arch?(_cfg_arch) = SatisfiedResult::Yes

#satisfied_by_ext_req?(ext_req, include_requirements: false) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1723
 
# File 'lib/udb/condition.rb', line 1723

def satisfied_by_ext_req?(ext_req, include_requirements: false) = false

#to_asciidoc ⇒ String

Returns:

  • (String) 


1755
 
# File 'lib/udb/condition.rb', line 1755

def to_asciidoc = "true"

#to_h ⇒ Hash{String => T.untyped}, Boolean

Returns:

  • (Hash{String => T.untyped}, Boolean) 


1697
1698
1699
 
# File 'lib/udb/condition.rb', line 1697

def to_h
  true
end

#to_idl(cfg_arch) ⇒ String

Parameters:

Returns:

  • (String) 


1738
 
# File 'lib/udb/condition.rb', line 1738

def to_idl(cfg_arch) = "-> true;"

#to_logic_tree(expand: false) ⇒ LogicNode

Parameters:

  • expand (Boolean) (defaults to: false)

Returns:



1680
1681
1682
 
# File 'lib/udb/condition.rb', line 1680

def to_logic_tree(expand: false)
  LogicNode::True
end

#to_logic_tree_internal ⇒ LogicNode

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Returns:



1689
1690
1691
 
# File 'lib/udb/condition.rb', line 1689

def to_logic_tree_internal
  LogicNode::True
end

#to_s(expand: false) ⇒ String

Parameters:

  • expand (Boolean) (defaults to: false)

Returns:

  • (String) 


1741
 
# File 'lib/udb/condition.rb', line 1741

def to_s(expand: false) = "true"

#to_s_pretty ⇒ String

Returns:

  • (String) 


1744
1745
1746
 
# File 'lib/udb/condition.rb', line 1744

def to_s_pretty
  "always"
end

#to_s_with_value(cfg_arch, expand: false) ⇒ String

Parameters:

Returns:

  • (String) 


1749
 
# File 'lib/udb/condition.rb', line 1749

def to_s_with_value(cfg_arch, expand: false) = "true"

#unsatisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


1782
 
# File 'lib/udb/condition.rb', line 1782

def unsatisfiable? = false

#unsatisfiable_by_arch?(cfg_arch) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1711
 
# File 'lib/udb/condition.rb', line 1711

def unsatisfiable_by_arch?(cfg_arch) = false

#unsatisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Parameters:

Returns:

  • (Boolean) 


1705
 
# File 'lib/udb/condition.rb', line 1705

def unsatisfiable_by_cfg_arch?(cfg_arch) = false

#|(other) ⇒ AbstractCondition

Parameters:

Returns:



1769
1770
1771
 
# File 'lib/udb/condition.rb', line 1769

def |(other)
  self
end