Class: Udb::AlwaysTrueCondition

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

Instance Method Summary collapse

Methods inherited from AbstractCondition

#always_implies?, #could_be_satisfied_by_cfg_arch?, #covered_by?, #equivalent?, #ext_req_terms, #implies, #mentions?, #mentions_xlen?, #param_terms, #rv32_only?, #rv64_only?, #to_yaml

Constructor Details

#initialize(cfg_arch) ⇒ AlwaysTrueCondition

Returns a new instance of AlwaysTrueCondition.



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

def initialize(cfg_arch)
  @cfg_arch = cfg_arch
end

Instance Method Details

#&(other) ⇒ Object 



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

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

#-@ ⇒ Object 



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

def -@
  AlwaysFalseCondition.new(@cfg_arch)
end

#compatible?(_other) ⇒ Boolean

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) ⇒ Object 



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) ⇒ Object 



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

def implied_extension_conflicts(expand: true) = []

#implied_extension_requirements(expand: true) ⇒ Object 



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

def implied_extension_requirements(expand: true) = []

#minimize(expand: true) ⇒ Object 



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

def minimize(expand: true) = self

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



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

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

#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ Object 



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

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

Returns:

  • (Boolean) 


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

def satisfiable_by_arch?(cfg_arch) = true

#satisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfiable_by_cfg_arch?(cfg_arch) = true

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

Returns:

  • (Boolean) 


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

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

#to_asciidoc ⇒ Object 



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

def to_asciidoc = "true"

#to_h ⇒ Object 



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

def to_h
  true
end

#to_idl(cfg_arch) ⇒ Object 



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

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

#to_logic_tree(expand: false) ⇒ Object 



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

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

#to_logic_tree_internal ⇒ Object 



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

def to_logic_tree_internal
  LogicNode::True
end

#to_s(expand: false) ⇒ Object 



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

def to_s(expand: false) = "true"

#to_s_pretty ⇒ Object 



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

def to_s_pretty
  "always"
end

#to_s_with_value(cfg_arch, expand: false) ⇒ Object 



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

Returns:

  • (Boolean) 


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

def unsatisfiable_by_arch?(cfg_arch) = false

#unsatisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def unsatisfiable_by_cfg_arch?(cfg_arch) = false

#|(other) ⇒ Object 



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

def |(other)
  self
end