class Bpl::AST::BitvectorLiteral
Attributes
base[RW]
Public Instance Methods
eql?(bv)
click to toggle source
# File lib/bpl/ast/expression.rb, line 29 def eql?(bv) bv.is_a?(BitvectorLiteral) && bv.base == @base && bv.value == value end
show()
click to toggle source
# File lib/bpl/ast/expression.rb, line 30 def show; "#{@value}bv#{@base}" end
type()
click to toggle source
# File lib/bpl/ast/expression.rb, line 31 def type; BitvectorType.new @base end