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:
2.5 KB
|
| Line | |
|---|
| 1 | in default case, (shouldn't be here)
|
|---|
| 2 | in default case, (shouldn't be here)
|
|---|
| 3 | in default case, (shouldn't be here)
|
|---|
| 4 | x: a signed int
|
|---|
| 5 | y: a typedef for double
|
|---|
| 6 | t: a typedef for float
|
|---|
| 7 | z: a instance of type y
|
|---|
| 8 | struct __anonymous0
|
|---|
| 9 | with members
|
|---|
| 10 | a: a signed int
|
|---|
| 11 | b: a double
|
|---|
| 12 |
|
|---|
| 13 | u: a type for instance of struct __anonymous0
|
|---|
| 14 | f: a function
|
|---|
| 15 | with parameters
|
|---|
| 16 | y: a signed int
|
|---|
| 17 | returning
|
|---|
| 18 | signed int
|
|---|
| 19 |
|
|---|
| 20 | q: a instance of type y
|
|---|
| 21 | w: a function
|
|---|
| 22 | with parameters
|
|---|
| 23 | y: a instance of type y
|
|---|
| 24 | v: a instance of type u
|
|---|
| 25 | returning
|
|---|
| 26 | instance of type y
|
|---|
| 27 | with body
|
|---|
| 28 | Declaration of x: a type
|
|---|
| 29 | with assertions
|
|---|
| 30 | t: a function
|
|---|
| 31 | with parameters
|
|---|
| 32 | instance of type u
|
|---|
| 33 | returning
|
|---|
| 34 | instance of type x
|
|---|
| 35 |
|
|---|
| 36 |
|
|---|
| 37 | Declaration of u: a instance of type u
|
|---|
| 38 | Declaration of z: a instance of type x
|
|---|
| 39 |
|
|---|
| 40 | p: a instance of type y
|
|---|
| 41 | context has_u
|
|---|
| 42 | with parameters
|
|---|
| 43 | z: a type
|
|---|
| 44 |
|
|---|
| 45 | with members
|
|---|
| 46 | u: a function
|
|---|
| 47 | with parameters
|
|---|
| 48 | instance of type z
|
|---|
| 49 | returning
|
|---|
| 50 | instance of type z
|
|---|
| 51 |
|
|---|
| 52 |
|
|---|
| 53 | q: a function
|
|---|
| 54 | with parameters
|
|---|
| 55 | the_t: a instance of type t
|
|---|
| 56 | with forall
|
|---|
| 57 | t: a type
|
|---|
| 58 | with assertions
|
|---|
| 59 | instance of context has_u
|
|---|
| 60 | with parameters
|
|---|
| 61 | instance of type t
|
|---|
| 62 |
|
|---|
| 63 |
|
|---|
| 64 | returning
|
|---|
| 65 | instance of type y
|
|---|
| 66 | with body
|
|---|
| 67 | Declaration of y: a instance of type t
|
|---|
| 68 |
|
|---|
| 69 | f: a function
|
|---|
| 70 | with parameters
|
|---|
| 71 | p: a instance of type y
|
|---|
| 72 | returning
|
|---|
| 73 | instance of type t
|
|---|
| 74 | with body
|
|---|
| 75 | Declaration of y: a signed int
|
|---|
| 76 | Declaration of x: a typedef for char
|
|---|
| 77 | Declaration of y: a instance of type x
|
|---|
| 78 | Declaration of z: a typedef for instance of type x
|
|---|
| 79 | Declaration of x: a instance of type z
|
|---|
| 80 | Declaration of y: a typedef for instance of type z
|
|---|
| 81 | Declaration of z: a instance of type y
|
|---|
| 82 |
|
|---|
| 83 | Declaration of x: a instance of type z
|
|---|
| 84 |
|
|---|
| 85 | Declaration of q: a instance of type x
|
|---|
| 86 |
|
|---|
| 87 | g: a function
|
|---|
| 88 | with parameters
|
|---|
| 89 | void
|
|---|
| 90 | returning
|
|---|
| 91 | instance of type t
|
|---|
| 92 | with body
|
|---|
| 93 | Declaration of x: a typedef for char
|
|---|
| 94 | Declaration of z: a instance of type x
|
|---|
| 95 |
|
|---|
| 96 | q: a function
|
|---|
| 97 | returning
|
|---|
| 98 | instance of type y
|
|---|
| 99 | with parameter names
|
|---|
| 100 | i
|
|---|
| 101 | with parameter declarations
|
|---|
| 102 | i: a signed int
|
|---|
| 103 | with body
|
|---|
| 104 |
|
|---|
| 105 | Switch on condition:
|
|---|
| 106 | Name: i
|
|---|
| 107 |
|
|---|
| 108 | Case:
|
|---|
| 109 | .... and 1 conditions
|
|---|
| 110 | Name: 0
|
|---|
| 111 |
|
|---|
| 112 | Case:
|
|---|
| 113 | .... and 0 conditions
|
|---|
| 114 |
|
|---|
| 115 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
