1
2
3
4
5
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
|
/* go-check-interface.c -- check an interface type for a conversion
Copyright 2010 The Go Authors. All rights reserved.
Use of this source code is governed by a BSD-style
license that can be found in the LICENSE file. */
#include "go-panic.h"
#include "interface.h"
/* Check that an interface type matches for a conversion to a
non-interface type. This panics if the types are bad. The actual
extraction of the object is inlined. */
void
__go_check_interface_type (
const struct __go_type_descriptor *lhs_descriptor,
const struct __go_type_descriptor *rhs_descriptor,
const struct __go_type_descriptor *rhs_inter_descriptor)
{
if (rhs_descriptor == NULL)
{
struct __go_empty_interface panic_arg;
newTypeAssertionError(NULL, NULL, lhs_descriptor, NULL, NULL,
lhs_descriptor->__reflection, NULL, &panic_arg);
__go_panic(panic_arg);
}
if (lhs_descriptor != rhs_descriptor
&& !__go_type_descriptors_equal (lhs_descriptor, rhs_descriptor)
&& (lhs_descriptor->__code != GO_UNSAFE_POINTER
|| !__go_is_pointer_type (rhs_descriptor))
&& (rhs_descriptor->__code != GO_UNSAFE_POINTER
|| !__go_is_pointer_type (lhs_descriptor)))
{
struct __go_empty_interface panic_arg;
newTypeAssertionError(rhs_inter_descriptor, rhs_descriptor,
lhs_descriptor,
rhs_inter_descriptor->__reflection,
rhs_descriptor->__reflection,
lhs_descriptor->__reflection,
NULL, &panic_arg);
__go_panic(panic_arg);
}
}
|
