source:
src/Tests/Expect-v/Context.txt
@
848fb00
Last change on this file since 848fb00 was 68cd1ce, checked in by , 9 years ago | |
---|---|
|
|
File size: 2.4 KB |
Rev | Line | |
---|---|---|
[51b7345] | 1 | context has_q |
2 | with parameters | |
[5f2f2d7] | 3 | T: type |
[51b7345] | 4 | |
5 | with members | |
[5f2f2d7] | 6 | q: function |
[51b7345] | 7 | with parameters |
[5f2f2d7] | 8 | instance of type T (not function type) |
[51b7345] | 9 | returning |
[5f2f2d7] | 10 | instance of type T (not function type) |
[51b7345] | 11 | |
12 | ||
[5f2f2d7] | 13 | f: forall |
14 | z: type | |
[51b7345] | 15 | with assertions |
[b1d6dd5] | 16 | ?=?: pointer to function |
[5f2f2d7] | 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 | ||
[b1d6dd5] | 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) | |
[51b7345] | 28 | |
29 | ||
[5f2f2d7] | 30 | function |
31 | accepting unspecified arguments | |
[51b7345] | 32 | returning |
[b1d6dd5] | 33 | nothing |
[51b7345] | 34 | with body |
[5f2f2d7] | 35 | CompoundStmt |
36 | Declaration of context has_r | |
[51b7345] | 37 | with parameters |
[5f2f2d7] | 38 | T: type |
39 | U: type | |
40 | ||
41 | with members | |
42 | r: function | |
43 | with parameters | |
44 | instance of type T (not function type) | |
[b1d6dd5] | 45 | pointer to function |
[5f2f2d7] | 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 | ||
[68cd1ce] | 56 | Declaration of x: extern type |
[b1d6dd5] | 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 | ||
[68cd1ce] | 64 | Declaration of y: extern type |
[5f2f2d7] | 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) | |
[51b7345] | 70 | |
71 | ||
[b1d6dd5] | 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 | ||
[51b7345] | 79 |
Note: See TracBrowser
for help on using the repository browser.