Class: Udb::AlwaysTrueCondition

Inherits:

AbstractCondition

Object
AbstractCondition
Udb::AlwaysTrueCondition

show all

Extended by:: T::Sig

Defined in:: lib/udb/condition.rb

Instance Method Summary collapse

#&(other) ⇒ AbstractCondition
#-@ ⇒ AbstractCondition
#compatible?(_other) ⇒ Boolean
#empty? ⇒ Boolean
#has_extension_requirement? ⇒ Boolean
#has_param? ⇒ Boolean
#implied_extension_conflicts(expand: true) ⇒ Array<ConditionalExtensionRequirement>
#implied_extension_requirements(expand: true) ⇒ Array<ConditionalExtensionRequirement>
#initialize(cfg_arch) constructor
#minimize(expand: true) ⇒ AbstractCondition
#partial_eval(ext_reqs: [], expand: true) ⇒ AbstractCondition
#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ AbstractCondition
#satisfiability_depends_on_ext_req?(ext_req, include_requirements: false) ⇒ Boolean
#satisfiable? ⇒ Boolean
#satisfied_by_cfg_arch?(_cfg_arch) ⇒ SatisfiedResult
#satisfied_by_ext_req?(ext_req, include_requirements: false) ⇒ Boolean
#to_asciidoc ⇒ String
#to_h ⇒ Hash{String => T.untyped}, Boolean
#to_idl(cfg_arch) ⇒ String
#to_logic_tree(expand: false) ⇒ LogicNode
#to_logic_tree_internal ⇒ LogicNode private
#to_s(expand: false) ⇒ String
#to_s_pretty ⇒ String
#to_s_with_value(cfg_arch, expand: false) ⇒ String
#unsatisfiable? ⇒ Boolean
#|(other) ⇒ AbstractCondition

Constructor Details

#initialize(cfg_arch)

Parameters:

cfg_arch (ConfiguredArchitecture)



1385
1386
1387

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

def initialize(cfg_arch)
  @cfg_arch = cfg_arch
end

Instance Method Details

#&(other) ⇒ `AbstractCondition`

Parameters:

other (AbstractCondition)

Returns:

(AbstractCondition)



1462
1463
1464

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

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

#-@ ⇒ `AbstractCondition`

Returns:

(AbstractCondition)



1472
1473
1474

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

def -@
  AlwaysFalseCondition.new(@cfg_arch)
end

#compatible?(_other) ⇒ `Boolean`

Parameters:

_other (T.untyped)

Returns:

(Boolean)

1407	# File 'lib/udb/condition.rb', line 1407 def compatible?(_other) = true

#empty? ⇒ `Boolean`

Returns:

(Boolean)

1390	# File 'lib/udb/condition.rb', line 1390 def empty? = true

#has_extension_requirement? ⇒ `Boolean`

Returns:

(Boolean)

1430	# File 'lib/udb/condition.rb', line 1430 def has_extension_requirement? = false

#has_param? ⇒ `Boolean`

Returns:

(Boolean)

1436	# File 'lib/udb/condition.rb', line 1436 def has_param? = false

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

Parameters:

expand (Boolean) (defaults to: true)

Returns:

(Array<ConditionalExtensionRequirement>)

1459	# File 'lib/udb/condition.rb', line 1459 def implied_extension_conflicts(expand: true) = []

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

Parameters:

expand (Boolean) (defaults to: true)

Returns:

(Array<ConditionalExtensionRequirement>)

1456	# File 'lib/udb/condition.rb', line 1456 def implied_extension_requirements(expand: true) = []

#minimize(expand: true) ⇒ `AbstractCondition`

Parameters:

expand (Boolean) (defaults to: true)

Returns:

(AbstractCondition)

1433	# File 'lib/udb/condition.rb', line 1433 def minimize(expand: true) = self

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

Parameters:

ext_reqs (Array<ExtensionRequirement>) (defaults to: [])
expand (Boolean) (defaults to: true)

Returns:

(AbstractCondition)

1421	# File 'lib/udb/condition.rb', line 1421 def partial_eval(ext_reqs: [], expand: true) = self

#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ `AbstractCondition`

Parameters:

cfg_arch (ConfiguredArchitecture)
expand (Boolean) (defaults to: false)

Returns:

(AbstractCondition)

1418	# File 'lib/udb/condition.rb', line 1418 def partially_evaluate_for_params(cfg_arch, expand: false) = self

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

Parameters:

ext_req (ExtensionRequirement)
include_requirements (Boolean) (defaults to: false)

Returns:

(Boolean)

1427	# File 'lib/udb/condition.rb', line 1427 def satisfiability_depends_on_ext_req?(ext_req, include_requirements: false) = false

#satisfiable? ⇒ `Boolean`

Returns:

(Boolean)

1477	# File 'lib/udb/condition.rb', line 1477 def satisfiable? = true

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ `SatisfiedResult`

Parameters:

_cfg_arch (ConfiguredArchitecture)

Returns:

(SatisfiedResult)

1415	# File 'lib/udb/condition.rb', line 1415 def satisfied_by_cfg_arch?(_cfg_arch) = SatisfiedResult::Yes

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

Parameters:

ext_req (ExtensionRequirement)
include_requirements (Boolean) (defaults to: false)

Returns:

(Boolean)

1424	# File 'lib/udb/condition.rb', line 1424 def satisfied_by_ext_req?(ext_req, include_requirements: false) = false

#to_asciidoc ⇒ `String`

Returns:

(String)

1453	# File 'lib/udb/condition.rb', line 1453 def to_asciidoc = "true"

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

Returns:

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



1410
1411
1412

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

def to_h
  true
end

#to_idl(cfg_arch) ⇒ `String`

Parameters:

cfg_arch (ConfiguredArchitecture)

Returns:

(String)

1439	# File 'lib/udb/condition.rb', line 1439 def to_idl(cfg_arch) = "-> true;"

#to_logic_tree(expand: false) ⇒ `LogicNode`

Parameters:

expand (Boolean) (defaults to: false)

Returns:

(LogicNode)



1393
1394
1395

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

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:

(LogicNode)



1402
1403
1404

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

def to_logic_tree_internal
  LogicNode::True
end

#to_s(expand: false) ⇒ `String`

Parameters:

expand (Boolean) (defaults to: false)

Returns:

(String)

1442	# File 'lib/udb/condition.rb', line 1442 def to_s(expand: false) = "true"

#to_s_pretty ⇒ `String`

Returns:

(String)



1445
1446
1447

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

def to_s_pretty
  "always"
end

#to_s_with_value(cfg_arch, expand: false) ⇒ `String`

Parameters:

cfg_arch (ConfiguredArchitecture)
expand (Boolean) (defaults to: false)

Returns:

(String)

1450	# File 'lib/udb/condition.rb', line 1450 def to_s_with_value(cfg_arch, expand: false) = "true"

#unsatisfiable? ⇒ `Boolean`

Returns:

(Boolean)

1480	# File 'lib/udb/condition.rb', line 1480 def unsatisfiable? = false

#|(other) ⇒ `AbstractCondition`

Parameters:

other (AbstractCondition)

Returns:

(AbstractCondition)



1467
1468
1469

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

def |(other)
  self
end

Class: Udb::AlwaysTrueCondition

Instance Method Summary collapse

Constructor Details

#initialize(cfg_arch)

Instance Method Details

#&(other) ⇒ AbstractCondition

#-@ ⇒ AbstractCondition

#compatible?(_other) ⇒ Boolean

#empty? ⇒ Boolean

#has_extension_requirement? ⇒ Boolean

#has_param? ⇒ Boolean

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

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

#minimize(expand: true) ⇒ AbstractCondition

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

#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ AbstractCondition

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

#satisfiable? ⇒ Boolean

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ SatisfiedResult

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

#to_asciidoc ⇒ String

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

#to_idl(cfg_arch) ⇒ String

#to_logic_tree(expand: false) ⇒ LogicNode

#to_logic_tree_internal ⇒ LogicNode

#to_s(expand: false) ⇒ String

#to_s_pretty ⇒ String

#to_s_with_value(cfg_arch, expand: false) ⇒ String

#unsatisfiable? ⇒ Boolean

#|(other) ⇒ AbstractCondition

#&(other) ⇒ `AbstractCondition`

#-@ ⇒ `AbstractCondition`

#compatible?(_other) ⇒ `Boolean`

#empty? ⇒ `Boolean`

#has_extension_requirement? ⇒ `Boolean`

#has_param? ⇒ `Boolean`

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

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

#minimize(expand: true) ⇒ `AbstractCondition`

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

#partially_evaluate_for_params(cfg_arch, expand: false) ⇒ `AbstractCondition`

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

#satisfiable? ⇒ `Boolean`

#satisfied_by_cfg_arch?(_cfg_arch) ⇒ `SatisfiedResult`

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

#to_asciidoc ⇒ `String`

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

#to_idl(cfg_arch) ⇒ `String`

#to_logic_tree(expand: false) ⇒ `LogicNode`

#to_logic_tree_internal ⇒ `LogicNode`

#to_s(expand: false) ⇒ `String`

#to_s_pretty ⇒ `String`

#to_s_with_value(cfg_arch, expand: false) ⇒ `String`

#unsatisfiable? ⇒ `Boolean`

#|(other) ⇒ `AbstractCondition`