# File lib_wpm/wpm.rb, line 1173 def get_number_property(prop_value) if (prop_value !~ /^[\+\-]?\d+$/) then raise PropertyError, "invalid number format: #{prop_value.inspect}: at #{@widget_id.inspect}" end prop_value.to_i end