source: src/Tests/Expect-e/Context.txt @ d67a9a1

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since d67a9a1 was 68cd1ce, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

unify and fix storage class
  • Property mode set to 100644
File size: 2.9 KB
Line 
1context has_q
2    with parameters
3      T: type
4
5    with members
6      q: function
7          with parameters
8            instance of type T (not function type)
9          returning
10            instance of type T (not function type)
11
12
13f: forall
14      z: type
15        with assertions
16          ?=?: pointer to function
17              with parameters
18                pointer to instance of type z (not function type)
19                instance of type z (not function type)
20              returning
21                instance of type z (not function type)
22
23          q: pointer to function
24              with parameters
25                instance of type z (not function type)
26              returning
27                instance of type z (not function type)
28
29
30    function
31      accepting unspecified arguments
32    returning
33      nothing
34    with body
35      CompoundStmt
36        Declaration of context has_r
37            with parameters
38              T: type
39              U: type
40
41            with members
42              r: function
43                  with parameters
44                    instance of type T (not function type)
45                    pointer to function
46                        with parameters
47                          instance of type T (not function type)
48                          instance of type U (not function type)
49                        returning
50                          instance of type T (not function type)
51
52                  returning
53                    instance of type T (not function type)
54
55
56        Declaration of x: extern type
57        Declaration of ?=?: automatically generated function
58            with parameters
59              _dst: pointer to instance of type x (not function type)
60              _src: instance of type x (not function type)
61            returning
62              instance of type x (not function type)
63
64        Declaration of y: extern type
65          with assertions
66            instance of context has_r
67              with parameters
68                instance of type x (not function type)
69                instance of type y (not function type)
70
71
72        Declaration of ?=?: automatically generated function
73            with parameters
74              _dst: pointer to instance of type y (not function type)
75              _src: instance of type y (not function type)
76            returning
77              instance of type y (not function type)
78
79
80;
81void __f__A1_0_0____operator_assign__PFt0_Pt0t0___q__PFt0_t0__F__(void (*_adapterF2tz_2tz_)(void (*)(), void *, void *), void (*_adapterF2tz_P2tz2tz_)(void (*)(), void *, void *, void *), long unsigned int z, void (*___operator_assign__PF2tz_P2tz2tz_)(), void (*__q__PF2tz_2tz_)(), ...){
82    ;
83    extern unsigned long x;
84    void *___operator_assign__F2tx_P2tx2tx_(void *___dst__P2tx, void *___src__2tx);
85    extern unsigned long y;
86    void *___operator_assign__F2ty_P2ty2ty_(void *___dst__P2ty, void *___src__2ty);
87}
Note: See TracBrowser for help on using the repository browser.