Module: Algebrick::TypeCheck

Included in:

DSL::TypeDefinitionScope, Matchers::Abstract, ParametrizedType, ProductConstructors::Abstract, Protocol, Serializer, Serializers2::AbstractConverter, Serializers::Abstract, Type, Value

Defined in:

lib/algebrick/type_check.rb

Overview

Class Method Summary (collapse)

• + (Object) error(value, message, types) private

Instance Method Summary (collapse)

• - (Object) Child!(value, *types)
• - (Boolean) Child?(value, *types)
• - (Object) Match!(value, *types)
• - (Boolean) Match?(value, *types)
• - (Object) Type!(value, *types)
• - (Boolean) Type?(value, *types)

  FIND: type checking of collections?.

53
54
55
56

# File 'lib/algebrick/type_check.rb', line 53

def self.error(value, message, types)
  raise TypeError,
        "Value (#{value.class}) '#{value}' #{message} any of: #{types.join('; ')}."
end

45
46
47
48
49

# File 'lib/algebrick/type_check.rb', line 45

def Child!(value, *types)
  Child?(value, *types) or
      TypeCheck.error(value, 'is not child', types)
  value
end

40
41
42
43

# File 'lib/algebrick/type_check.rb', line 40

def Child?(value, *types)
  Type?(value, Class) &&
      types.any? { |t| value <= t }
end

34
35
36
37
38

# File 'lib/algebrick/type_check.rb', line 34

def Match!(value, *types)
  Match?(value, *types) or
      TypeCheck.error(value, 'is not matching', types)
  value
end

30
31
32

# File 'lib/algebrick/type_check.rb', line 30

def Match?(value, *types)
  types.any? { |t| t === value }
end

24
25
26
27
28

# File 'lib/algebrick/type_check.rb', line 24

def Type!(value, *types)
  Type?(value, *types) or
      TypeCheck.error(value, 'is not', types)
  value
end

20
21
22

# File 'lib/algebrick/type_check.rb', line 20

def Type?(value, *types)
  types.any? { |t| value.is_a? t }
end