class Bpl::AST::BitvectorExtract

Public Instance Methods

eql?(bve) click to toggle source
# File lib/bpl/ast/expression.rb, line 166
def eql?(bve)
  bve.is_a?(BitvectorExtract) &&
  bve.bitvector.eql?(@bitvector) && bve.msb == @msb && bve.lsb == @lsb
end
show() click to toggle source
# File lib/bpl/ast/expression.rb, line 170
def show; "#{yield @bitvector}[#{@msb}:#{@lsb}]" end
type() click to toggle source
# File lib/bpl/ast/expression.rb, line 171
def type; BitvectorType.new width: (@msb - @lsb) end