source: translator/Tests/Parser/Expected/TypeGenerator.tst @ 51587aa

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 51587aa was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit
  • Property mode set to 100644
File size: 2.4 KB
Line 
1context addable
2  with type parameters
3    T: a type variable
4  with members
5    ?+?: a function
6      with parameters
7        instance of type T
8        instance of type T
9      returning instance of type T
10
11
12List: a type definition
13  with parameters
14  T: a type variable
15    with assertions
16      instance of context addable
17        with parameters
18        Type:          instance of type T
19
20   
21
22  with assertions
23    instance of context addable
24      with parameters
25      Type:        instance of type T
26
27  for pointer to instance of struct __anonymous0
28    with members
29      data: a instance of type T
30      next: a pointer to instance of type List with parameters
31        Type:          instance of type T
32
33
34ListOfIntegers: a typedef definition for instance of type List with parameters
35    Type:      int
36
37li: a instance of type ListOfIntegers
38f: a function
39  with parameters
40    g: a pointer to function
41      with parameters
42        int
43      returning instance of type List with parameters
44          Type:            int
45
46
47  returning int
48
49h: a function
50  with parameters
51    p: a pointer to instance of type List with parameters
52      Type:        int
53
54  returning tuple with members
55      int
56
57
58struct node
59  with type parameters
60    T: a type variable
61      with assertions
62        instance of context addable
63          with parameters
64          Type:            instance of type T
65
66     
67  with members
68    data: a instance of type T
69    next: a pointer to instance of struct node
70      instantiated with actual parameters
71        Type:          instance of type T
72      with parameters
73      Type:        instance of type T
74
75
76List: a type definition
77  with parameters
78  T: a type variable
79for pointer to instance of struct node
80    instantiated with actual parameters
81      Type:        instance of type T
82    with parameters
83    Type:      instance of type T
84
85my_list: a instance of type List with parameters
86  Type:    int
87
88Complex: a type definition
89  with assertions
90    instance of context addable
91      with parameters
92      Type:        instance of type Complex
93
94 
95main: a function
96  with no parameters
97  returning int
98  with body
99   
100    Application of:
101
102        Operator: Cast
103
104    ... on arguments:
105        Type:          struct node
106            instantiated with actual parameters
107              Type:                int
108
109
110        Referencing: Variable: my_list
111
112
Note: See TracBrowser for help on using the repository browser.