Class: Qrb::BuiltinType

Inherits:
Type
  • Object
show all
Defined in:
lib/qrb/type/builtin_type.rb

Overview

A BuiltinType generator allows capuring an information type to a type of the host language, here a Ruby class. For instance,

Int := BuiltinType(ruby.Fixnum)

The set of values captured by the information type is the same set of values that can be represented by the host type. In the example, ‘Int` captures the same set of numbers as ruby’s Fixnum.

The ruby class is used as concrete representation of the information type. In the example:

R(Int) = Fixnum

Accordingly, the ‘dress` transformation function has the following signature:

dress :: Alpha  -> Int    throws TypeError
dress :: Object -> Fixnum throws TypeError

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods inherited from Type

#name, #name=, #to_s

Constructor Details

#initialize(ruby_type, name = nil) ⇒ BuiltinType

Returns a new instance of BuiltinType.



24
25
26
27
 
# File 'lib/qrb/type/builtin_type.rb', line 24

def initialize(ruby_type, name = nil)
  super(name)
  @ruby_type = ruby_type
end

Instance Attribute Details

#ruby_type ⇒ Object (readonly)

Returns the value of attribute ruby_type.



28
29
30
 
# File 'lib/qrb/type/builtin_type.rb', line 28

def ruby_type
  @ruby_type
end

Instance Method Details

#==(other) ⇒ Object Also known as: eql? 



45
46
47
48
 
# File 'lib/qrb/type/builtin_type.rb', line 45

def ==(other)
  return false unless other.is_a?(BuiltinType)
  other.ruby_type==ruby_type
end

#default_name ⇒ Object 



30
31
32
 
# File 'lib/qrb/type/builtin_type.rb', line 30

def default_name
  @ruby_type.name.to_s
end

#dress(value, handler = DressHelper.new) ⇒ Object

Check that ‘value` is a valid instance of `ruby_type` through `===` or raise an error.



40
41
42
43
 
# File 'lib/qrb/type/builtin_type.rb', line 40

def dress(value, handler = DressHelper.new)
  handler.failed!(self, value) unless ruby_type===value
  value
end

#hash ⇒ Object 



51
52
53
 
# File 'lib/qrb/type/builtin_type.rb', line 51

def hash
  self.class.hash ^ ruby_type.hash
end

#include?(value) ⇒ Boolean

Returns:

  • (Boolean) 


34
35
36
 
# File 'lib/qrb/type/builtin_type.rb', line 34

def include?(value)
  ruby_type === value
end