Class: Udb::XlenCondition

Inherits:

Condition

• Object
• AbstractCondition
• Condition
• Udb::XlenCondition

Extended by:

T::Sig

Defined in:

lib/udb/condition.rb

Instance Method Summary

• #initialize(xlen) constructor
• #to_h ⇒ Hash{String => T.untyped}, Boolean
• #to_idl(cfg_arch) ⇒ String
• #to_logic_tree_internal ⇒ LogicNode

Constructor Details

#initialize(xlen)

Parameters:

• xlen (Integer)

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

def initialize(xlen)
  @xlen = xlen
  @satisfied_by_cfg_arch_memo = T.let({}, T::Hash[ConfiguredArchitecture, SatisfiedResult])
end

Instance Method Details

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

Returns:

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

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

def to_h = { "xlen" => @xlen }

#to_idl(cfg_arch) ⇒ String

Parameters:

• cfg_arch (ConfiguredArchitecture)

Returns:

• (String)

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

def to_idl(cfg_arch) = "xlen() == #{@xlen}"

#to_logic_tree_internal ⇒ LogicNode

Returns:

• (LogicNode)

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

def to_logic_tree_internal
  if @xlen == 32
    LogicNode::Xlen32
  elsif @xlen == 64
    LogicNode::Xlen64
  else
    raise "unexpected"
  end
end