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

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 7ff30d07 was 68cd1ce, checked in by Peter A. Buhr <pabuhr@…>, 10 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.