Module: Rtype

Defined in:
ext/rtype/c/rtype.c

Defined Under Namespace

Modules: Behavior Classes: ArgumentTypeError, ReturnTypeError, TypeSignatureError

Constant Summary collapse

NATIVE_EXT_VERSION = 
rb_str_new2(RTYPE_NATIVE_EXT_VERSION)

Instance Method Summary collapse

Instance Method Details

#assert_arguments_type(expected_args, args) ⇒ Object 



71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
 
# File 'ext/rtype/c/rtype.c', line 71

VALUE
rb_rtype_assert_arguments_type(VALUE self, VALUE expected_args, VALUE args) {
	// 'for' loop initial declarations are only allowed in c99 mode
	long i;
	long e_len = RARRAY_LEN(expected_args);
	for(i = 0; i < RARRAY_LEN(args); i++) {
		VALUE e, v;
		if(i >= e_len) {
			break;
		}
		e = rb_ary_entry(expected_args, i);
		v = rb_ary_entry(args, i);
		if( !RTEST(rb_rtype_valid(self, e, v)) ) {
			VALUE msg = rb_funcall(rb_mRtype, rb_intern("arg_type_error_message"), 3, LONG2FIX(i), e, v);
			rb_raise(rb_eRtypeArgumentTypeError, "%s", StringValueCStr(msg));
		}
	}
	return Qnil;
}

#assert_arguments_type_with_keywords(expected_args, args, expected_kwargs, kwargs) ⇒ Object 



103
104
105
106
107
108
 
# File 'ext/rtype/c/rtype.c', line 103

VALUE
rb_rtype_assert_arguments_type_with_keywords(VALUE self, VALUE expected_args, VALUE args, VALUE expected_kwargs, VALUE kwargs) {
	rb_rtype_assert_arguments_type(self, expected_args, args);
	rb_hash_foreach(kwargs, kwargs_do_each, expected_kwargs);
	return Qnil;
}

#assert_return_type(expected, result) ⇒ Object 



110
111
112
113
114
115
116
117
 
# File 'ext/rtype/c/rtype.c', line 110

VALUE
rb_rtype_assert_return_type(VALUE self, VALUE expected, VALUE result) {
	if( !RTEST(rb_rtype_valid(self, expected, result)) ) {
		VALUE msg = rb_funcall(rb_mRtype, rb_intern("type_error_message"), 2, expected, result);
		rb_raise(rb_eRtypeReturnTypeError, "for return:\n%s", StringValueCStr(msg));
	}
	return Qnil;
}

#valid?(expected, value) ⇒ Boolean

Returns:

  • (Boolean) 


6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
 
# File 'ext/rtype/c/rtype.c', line 6

VALUE
rb_rtype_valid(VALUE self, VALUE expected, VALUE value) {
	long i;
	VALUE e_keys;
	VALUE v_keys;
	
	switch(TYPE(expected)) {
		case T_MODULE:
		case T_CLASS:
			return rb_obj_is_kind_of(value, expected) ? Qtrue : Qfalse;
		case T_SYMBOL:
			return rb_respond_to(value, rb_to_id(expected)) ? Qtrue : Qfalse;
		case T_REGEXP:
			return rb_reg_match( expected, rb_funcall(value, id_to_s, 0) ) != Qnil ? Qtrue : Qfalse;
		case T_HASH:
			if( !RB_TYPE_P(value, T_HASH) ) {
				return Qfalse;
			}
			e_keys = rb_funcall(expected, id_keys, 0);
			v_keys = rb_funcall(value, id_keys, 0);
			if( !RTEST(rb_funcall(e_keys, id_eqeq, 1, v_keys)) ) {
				return Qfalse;
			}
			
			for(i = 0; i < RARRAY_LEN(e_keys); i++) {
				VALUE e_k = rb_ary_entry(e_keys, i);
				VALUE e_v = rb_hash_aref(expected, e_k);
				if(rb_rtype_valid(self, e_v, rb_hash_aref(value, e_k)) == Qfalse) {
					return Qfalse;
				}
			}
			return Qtrue;
		case T_ARRAY:
			for(i = 0; i < RARRAY_LEN(expected); i++) {
				VALUE e = rb_ary_entry(expected, i);
				VALUE valid = rb_rtype_valid(self, e, value);
				if(valid == Qtrue) {
					return Qtrue;
				}
			}
			return Qfalse;
		case T_TRUE:
			return RTEST(value) ? Qtrue : Qfalse;
		case T_FALSE:
			return !RTEST(value) ? Qtrue : Qfalse;
		case T_NIL:
			return value == Qnil;
		default:
			if(rb_obj_is_kind_of(expected, rb_cRange)) {
				return rb_funcall(expected, id_include, 1, value);
			}
			else if(rb_obj_is_kind_of(expected, rb_cProc)) {
				return RTEST(rb_funcall(expected, id_call, 1, value)) ? Qtrue : Qfalse;
			}
			else if( RTEST(rb_obj_is_kind_of(expected, rb_cRtypeBehaviorBase)) ) {
				return rb_funcall(expected, id_valid, 1, value);
			}
			else {
				VALUE str = rb_any_to_s(expected);
				rb_raise(rb_eRtypeTypeSignatureError, "Invalid type signature: Unknown type behavior %s", StringValueCStr(str));
				return Qfalse;
			}
	}
}