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



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

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 



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

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