source: src/Tests/Expect-v/Context.txt @ db175c8

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 db175c8 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.4 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
Note: See TracBrowser for help on using the repository browser.