Module: Z3::VeryLowLevel

Extended by:
FFI::Library
Defined in:
lib/z3/very_low_level.rb,
lib/z3/very_low_level_auto.rb

Class Method Summary collapse

Class Method Details

.attach_function(name, arg_types, return_type) ⇒ Object

Aliases defined just to make APIs below look nicer



12
13
14
15
16
17
 
# File 'lib/z3/very_low_level.rb', line 12

def attach_function(name, arg_types, return_type)

  arg_types = arg_types.map{|t| map_type(t)}
  return_type = map_type(return_type)
  super(name, arg_types, return_type)
end

.map_type(t) ⇒ Object 



19
20
21
22
23
24
25
 
# File 'lib/z3/very_low_level.rb', line 19

def map_type(t)
  if t.to_s =~ /\A(.*)_pointer\z/
    :pointer
  else
    t
  end
end