summaryrefslogtreecommitdiff
path: root/libgo/runtime/go-assert-interface.c
blob: 57a092d59b6a754a5c1e1b48827ccc7defa7efbd (plain)
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
47
48
49
/* go-assert-interface.c -- interface type assertion for Go.

   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-alloc.h"
#include "go-assert.h"
#include "go-panic.h"
#include "interface.h"

/* This is called by the compiler to implement a type assertion from
   one interface type to another.  This returns the value that should
   go in the first field of the result tuple.  The result may be an
   empty or a non-empty interface.  */

const void *
__go_assert_interface (const struct __go_type_descriptor *lhs_descriptor,
		       const struct __go_type_descriptor *rhs_descriptor)
{
  const struct __go_interface_type *lhs_interface;

  if (rhs_descriptor == NULL)
    {
      struct __go_empty_interface panic_arg;

      /* A type assertion is not permitted with a nil interface.  */

      newTypeAssertionError (NULL,
			     NULL,
			     lhs_descriptor,
			     NULL,
			     NULL,
			     lhs_descriptor->__reflection,
			     NULL,
			     &panic_arg);
      __go_panic (panic_arg);
    }

  /* A type assertion to an empty interface just returns the object
     descriptor.  */

  __go_assert (lhs_descriptor->__code == GO_INTERFACE);
  lhs_interface = (const struct __go_interface_type *) lhs_descriptor;
  if (lhs_interface->__methods.__count == 0)
    return rhs_descriptor;

  return __go_convert_interface_2 (lhs_descriptor, rhs_descriptor, 0);
}