Class: Udb::AlwaysFalseCondition

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

Instance Method Summary collapse

Constructor Details

#initialize(cfg_arch)

Parameters:



1486
1487
1488
 
# File 'lib/udb/condition.rb', line 1486

def initialize(cfg_arch)
  @cfg_arch = cfg_arch
end

Instance Method Details

#&(other) ⇒ AbstractCondition

Parameters:

Returns:



1563
1564
1565
 
# File 'lib/udb/condition.rb', line 1563

def &(other)
  self
end

#-@ ⇒ AbstractCondition

Returns:



1573
1574
1575
 
# File 'lib/udb/condition.rb', line 1573

def -@
  AlwaysTrueCondition.new(@cfg_arch)
end

#compatible?(_other) ⇒ Boolean

Parameters:

  • _other (T.untyped)

Returns:

  • (Boolean) 


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

def compatible?(_other) = false

#empty? ⇒ Boolean

Returns:

  • (Boolean) 


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

def empty? = true

#has_extension_requirement? ⇒ Boolean

Returns:

  • (Boolean) 


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

def has_extension_requirement? = false

#has_param? ⇒ Boolean

Returns:

  • (Boolean) 


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

def has_param? = false

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

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



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

def implied_extension_conflicts(expand: true) = []

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

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



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

def implied_extension_requirements(expand: true) = []

#minimize(expand: true) ⇒ AbstractCondition

Parameters:

  • expand (Boolean) (defaults to: true)

Returns:



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

def minimize(expand: true) = self

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

Parameters:

Returns:



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

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

#partially_evaluate_for_params(cfg_arch, expand:) ⇒ AbstractCondition

Parameters:

Returns:



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

def partially_evaluate_for_params(cfg_arch, expand:) = self

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

Parameters:

Returns:

  • (Boolean) 


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

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

#satisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


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

def satisfiable? = false

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ SatisfiedResult

Parameters:

Returns:

  • (SatisfiedResult) 


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

def satisfied_by_cfg_arch?(_cfg_arch) = SatisfiedResult::No

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

Parameters:

Returns:

  • (Boolean) 


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

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

#to_asciidoc ⇒ String

Returns:

  • (String) 


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

def to_asciidoc = "false"

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

Returns:

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


1510
1511
1512
 
# File 'lib/udb/condition.rb', line 1510

def to_h
  false
end

#to_idl(cfg_arch) ⇒ String

Parameters:

Returns:

  • (String) 


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

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

#to_logic_tree(expand:) ⇒ LogicNode

Parameters:

  • expand (Boolean)

Returns:



1494
1495
1496
 
# File 'lib/udb/condition.rb', line 1494

def to_logic_tree(expand:)
  LogicNode::False
end

#to_logic_tree_internal ⇒ LogicNode

Returns:



1502
1503
1504
 
# File 'lib/udb/condition.rb', line 1502

def to_logic_tree_internal
  LogicNode::False
end

#to_s(expand: false) ⇒ String

Parameters:

  • expand (Boolean) (defaults to: false)

Returns:

  • (String) 


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

def to_s(expand: false) = "false"

#to_s_pretty ⇒ String

Returns:

  • (String) 


1545
1546
1547
 
# File 'lib/udb/condition.rb', line 1545

def to_s_pretty
  "never"
end

#to_s_with_value(cfg_arch, expand: false) ⇒ String

Parameters:

Returns:

  • (String) 


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

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

#unsatisfiable? ⇒ Boolean

Returns:

  • (Boolean) 


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

def unsatisfiable? = true

#|(other) ⇒ AbstractCondition

Parameters:

Returns:



1568
1569
1570
 
# File 'lib/udb/condition.rb', line 1568

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