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
string
with_gc
|
Last change
on this file since fe3b61b was 51b73452, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago |
|
initial commit
|
-
Property mode
set to
100644
|
|
File size:
3.1 KB
|
| Line | |
|---|
| 1 | x: a int
|
|---|
| 2 | y: a typedef definition for double
|
|---|
| 3 | t: a typedef definition for float
|
|---|
| 4 | z: a instance of type y
|
|---|
| 5 | u: a type definition for instance of struct __anonymous0
|
|---|
| 6 | with members
|
|---|
| 7 | a: a int
|
|---|
| 8 | b: a double
|
|---|
| 9 |
|
|---|
| 10 | f: a function
|
|---|
| 11 | with parameters
|
|---|
| 12 | y: a int
|
|---|
| 13 | returning int
|
|---|
| 14 |
|
|---|
| 15 | q: a instance of type y
|
|---|
| 16 | w: a function
|
|---|
| 17 | with parameters
|
|---|
| 18 | y: a instance of type y
|
|---|
| 19 | v: a instance of type u
|
|---|
| 20 | returning instance of type y
|
|---|
| 21 | with body
|
|---|
| 22 | x: a type definition
|
|---|
| 23 | with assertions
|
|---|
| 24 | t: a function
|
|---|
| 25 | with parameters
|
|---|
| 26 | instance of type u
|
|---|
| 27 | returning instance of type x
|
|---|
| 28 |
|
|---|
| 29 |
|
|---|
| 30 | u: a instance of type u
|
|---|
| 31 | with initializer y
|
|---|
| 32 | z: a instance of type x
|
|---|
| 33 | with initializer ( t u )
|
|---|
| 34 |
|
|---|
| 35 | p: a instance of type y
|
|---|
| 36 | context has_u
|
|---|
| 37 | with type parameters
|
|---|
| 38 | z: a type variable
|
|---|
| 39 | with members
|
|---|
| 40 | u: a function
|
|---|
| 41 | with parameters
|
|---|
| 42 | instance of type z
|
|---|
| 43 | returning instance of type z
|
|---|
| 44 |
|
|---|
| 45 |
|
|---|
| 46 | q: a forall
|
|---|
| 47 | t: a type variable
|
|---|
| 48 | with assertions
|
|---|
| 49 | instance of context has_u
|
|---|
| 50 | with parameters
|
|---|
| 51 | Type: instance of type t
|
|---|
| 52 |
|
|---|
| 53 |
|
|---|
| 54 | function
|
|---|
| 55 | with parameters
|
|---|
| 56 | the_t: a instance of type t
|
|---|
| 57 | returning instance of type y
|
|---|
| 58 | with body
|
|---|
| 59 | y: a instance of type t
|
|---|
| 60 | with initializer ( u the_t )
|
|---|
| 61 |
|
|---|
| 62 | f: a function
|
|---|
| 63 | with parameters
|
|---|
| 64 | p: a instance of type y
|
|---|
| 65 | returning instance of type t
|
|---|
| 66 | with body
|
|---|
| 67 | y: a int
|
|---|
| 68 | x: a typedef definition for char
|
|---|
| 69 | y: a instance of type x
|
|---|
| 70 | z: a typedef definition for instance of type x
|
|---|
| 71 | x: a instance of type z
|
|---|
| 72 | y: a typedef definition for instance of type z
|
|---|
| 73 | z: a instance of type y
|
|---|
| 74 | with initializer x
|
|---|
| 75 | x: a instance of type z
|
|---|
| 76 | with initializer y
|
|---|
| 77 | q: a instance of type x
|
|---|
| 78 | with initializer y
|
|---|
| 79 |
|
|---|
| 80 | g: a function
|
|---|
| 81 | with parameters
|
|---|
| 82 | void
|
|---|
| 83 | returning instance of type t
|
|---|
| 84 | with body
|
|---|
| 85 | x: a typedef definition for char
|
|---|
| 86 |
|
|---|
| 87 | Try
|
|---|
| 88 |
|
|---|
| 89 | Branches of execution:
|
|---|
| 90 |
|
|---|
| 91 | Application of:
|
|---|
| 92 |
|
|---|
| 93 | Referencing: Variable: some_func
|
|---|
| 94 |
|
|---|
| 95 | ... on no arguments:
|
|---|
| 96 |
|
|---|
| 97 |
|
|---|
| 98 | Catch
|
|---|
| 99 |
|
|---|
| 100 | Declaration:
|
|---|
| 101 | x: a instance of type x
|
|---|
| 102 |
|
|---|
| 103 | Branches of execution:
|
|---|
| 104 | y: a instance of type t
|
|---|
| 105 | with initializer x
|
|---|
| 106 | z: a instance of type x
|
|---|
| 107 |
|
|---|
| 108 | q: a function
|
|---|
| 109 | with no parameters
|
|---|
| 110 | with old-style identifier list
|
|---|
| 111 | i: a untyped entity
|
|---|
| 112 | with old-style declaration list
|
|---|
| 113 | i: a int
|
|---|
| 114 | returning instance of type y
|
|---|
| 115 | with body
|
|---|
| 116 |
|
|---|
| 117 | Switch
|
|---|
| 118 |
|
|---|
| 119 | Expression:
|
|---|
| 120 |
|
|---|
| 121 | Referencing: Variable: i
|
|---|
| 122 |
|
|---|
| 123 | Branches of execution:
|
|---|
| 124 |
|
|---|
| 125 | Case
|
|---|
| 126 |
|
|---|
| 127 | Expression:
|
|---|
| 128 |
|
|---|
| 129 | Referencing: Variable: 0
|
|---|
| 130 |
|
|---|
| 131 | Branches of execution:
|
|---|
| 132 |
|
|---|
| 133 | Return
|
|---|
| 134 |
|
|---|
| 135 | Expression:
|
|---|
| 136 |
|
|---|
| 137 | Referencing: Variable: q
|
|---|
| 138 |
|
|---|
| 139 | Default
|
|---|
| 140 |
|
|---|
| 141 | Expression:
|
|---|
| 142 |
|
|---|
| 143 | Null Expression
|
|---|
| 144 |
|
|---|
| 145 | Branches of execution:
|
|---|
| 146 |
|
|---|
| 147 | Return
|
|---|
| 148 |
|
|---|
| 149 | Expression:
|
|---|
| 150 |
|
|---|
| 151 | Referencing: Variable: i
|
|---|
| 152 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
