Class: Udb::AlwaysFalseCondition

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

Returns a new instance of AlwaysFalseCondition.



1789
1790
1791
 
# File 'lib/udb/condition.rb', line 1789

def initialize(cfg_arch)
  @cfg_arch = cfg_arch
end

Instance Method Details

#&(other) ⇒ Object 



1881
1882
1883
 
# File 'lib/udb/condition.rb', line 1881

def &(other)
  self
end

#-@ ⇒ Object 



1891
1892
1893
 
# File 'lib/udb/condition.rb', line 1891

def -@
  AlwaysTrueCondition.new(@cfg_arch)
end

#compatible?(_other) ⇒ Boolean

Returns:

  • (Boolean) 


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

def compatible?(_other) = false

#empty? ⇒ Boolean

Returns:

  • (Boolean) 


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

def empty? = true

#failing_conjuncts(cfg_arch, expand: false) ⇒ Object 



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

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

#has_extension_requirement? ⇒ Boolean

Returns:

  • (Boolean) 


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

def has_extension_requirement? = false

#has_param? ⇒ Boolean

Returns:

  • (Boolean) 


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

def has_param? = false

#implied_extension_conflicts(expand: true) ⇒ Object 



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

def implied_extension_conflicts(expand: true) = []

#implied_extension_requirements(expand: true) ⇒ Object 



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

def implied_extension_requirements(expand: true) = []

#minimize(expand: true) ⇒ Object 



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

def minimize(expand: true) = self

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



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

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

#partially_evaluate_for_params(cfg_arch, expand:) ⇒ Object 



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

def partially_evaluate_for_params(cfg_arch, expand:) = self

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

Returns:

  • (Boolean) 


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

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

#satisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfiable? = false

#satisfiable_by_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfiable_by_arch?(cfg_arch) = false

#satisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfiable_by_cfg_arch?(cfg_arch) = false

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfied_by_cfg_arch?(_cfg_arch) = SatisfiedResult::No

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

Returns:

  • (Boolean) 


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

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

#to_asciidoc ⇒ Object 



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

def to_asciidoc = "false"

#to_h ⇒ Object 



1813
1814
1815
 
# File 'lib/udb/condition.rb', line 1813

def to_h
  false
end

#to_idl(cfg_arch) ⇒ Object 



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

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

#to_logic_tree(expand:) ⇒ Object 



1797
1798
1799
 
# File 'lib/udb/condition.rb', line 1797

def to_logic_tree(expand:)
  LogicNode::False
end

#to_logic_tree_internal ⇒ Object 



1805
1806
1807
 
# File 'lib/udb/condition.rb', line 1805

def to_logic_tree_internal
  LogicNode::False
end

#to_s(expand: false) ⇒ Object 



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

def to_s(expand: false) = "false"

#to_s_pretty ⇒ Object 



1860
1861
1862
 
# File 'lib/udb/condition.rb', line 1860

def to_s_pretty
  "never"
end

#to_s_with_value(cfg_arch, expand: false) ⇒ Object 



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

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

#unsatisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


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

def unsatisfiable? = true

#unsatisfiable_by_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def unsatisfiable_by_arch?(cfg_arch) = true

#unsatisfiable_by_cfg_arch?(cfg_arch) ⇒ Boolean

Returns:

  • (Boolean) 


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

def unsatisfiable_by_cfg_arch?(cfg_arch) = true

#|(other) ⇒ Object 



1886
1887
1888
 
# File 'lib/udb/condition.rb', line 1886

def |(other)
  Condition.disjunction([self, other], @cfg_arch)
end