author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Fri, 14 Aug 2015 11:28:29 +0100 | |
changeset 46 | cc6b765ad420 |
parent 41 | edb5e4849b79 |
permissions | -rw-r--r-- |
32
d7464405cbda
Package renamed from cvut:fel/cface to jv:cface
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
24
diff
changeset
|
1 |
"{ Package: 'jv:cface' }" |
1 | 2 |
|
3 |
"{ NameSpace: Cface }" |
|
4 |
||
5 |
CNodeVisitor subclass:#TypeResolver |
|
6 |
instanceVariableNames:'typeMap' |
|
7 |
classVariableNames:'' |
|
8 |
poolDictionaries:'' |
|
9 |
category:'Cface-Visitors' |
|
10 |
! |
|
11 |
||
12 |
||
13 |
!TypeResolver methodsFor:'accessing'! |
|
14 |
||
15 |
typeMap |
|
16 |
^ typeMap |
|
17 |
||
18 |
"Created: / 12-02-2008 / 23:44:35 / janfrog" |
|
19 |
! |
|
20 |
||
21 |
typeMap:something |
|
22 |
typeMap := something. |
|
23 |
||
24 |
"Created: / 12-02-2008 / 23:44:35 / janfrog" |
|
25 |
! ! |
|
26 |
||
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
27 |
!TypeResolver methodsFor:'private'! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
28 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
29 |
resolve: node |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
30 |
node type isUnresolved ifTrue:[ |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
31 |
| type | |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
32 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
33 |
type := typeMap at: node type cName ifAbsent:[ CPointerNode new type: CIntNode new ]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
34 |
node type: type |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
35 |
]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
36 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
37 |
"Created: / 06-07-2015 / 22:33:12 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
38 |
! ! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
39 |
|
1 | 40 |
!TypeResolver methodsFor:'processing'! |
41 |
||
42 |
process: aCNode |
|
43 |
||
44 |
typeMap := TypeCollector new |
|
45 |
process: aCNode; |
|
46 |
typeMap. |
|
47 |
^super process: aCNode |
|
48 |
||
49 |
"Created: / 12-02-2008 / 23:48:03 / janfrog" |
|
50 |
! ! |
|
51 |
||
52 |
!TypeResolver methodsFor:'visiting'! |
|
53 |
||
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
54 |
visitCArgumentNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
55 |
super visitCArgumentNode: anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
56 |
self resolve: anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
57 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
58 |
"Created: / 06-07-2015 / 22:33:58 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
59 |
! |
24 | 60 |
|
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
61 |
visitCArrayNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
62 |
super visitCArrayNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
63 |
self resolve: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
64 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
65 |
"Created: / 06-07-2015 / 22:34:17 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
66 |
! |
24 | 67 |
|
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
68 |
visitCConstNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
69 |
self visit: anObject type. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
70 |
self resolve: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
71 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
72 |
"Created: / 06-07-2015 / 22:38:49 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
73 |
! |
24 | 74 |
|
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
75 |
visitCFunctionNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
76 |
super visitCFunctionNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
77 |
anObject return isUnresolved ifTrue:[ |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
78 |
| type | |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
79 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
80 |
type := typeMap at: anObject return cName ifAbsent:[ CPointerNode new type: CIntNode new ]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
81 |
anObject return: type |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
82 |
]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
83 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
84 |
"Created: / 06-07-2015 / 22:49:46 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
24 | 85 |
! |
86 |
||
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
87 |
visitCFunctionTypeNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
88 |
super visitCFunctionTypeNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
89 |
anObject return isUnresolved ifTrue:[ |
40
7d1e77b6115e
Renamed CUserDefinedTypeNode to CUnresolvedTypeNode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
38
diff
changeset
|
90 |
| type | |
5
c110eef5b9ef
- externalization of libraryName (now supports unix & win32 simultaneously)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
91 |
|
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
92 |
type := typeMap at: anObject return cName ifAbsent:[ CPointerNode new type: CIntNode new ]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
93 |
anObject return: type |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
94 |
]. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
95 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
96 |
"Created: / 06-07-2015 / 22:48:50 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
97 |
! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
98 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
99 |
visitCLongNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
100 |
self assert: anObject type isUnresolved not. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
101 |
super visitCLongNode: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
102 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
103 |
"Created: / 06-07-2015 / 22:37:00 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
104 |
! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
105 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
106 |
visitCPointerNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
107 |
super visitCPointerNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
108 |
self resolve: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
109 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
110 |
"Created: / 06-07-2015 / 22:34:59 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
111 |
! |
1 | 112 |
|
41
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
113 |
visitCShortNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
114 |
self assert: anObject type isUnresolved not. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
115 |
super visitCShortNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
116 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
117 |
"Created: / 06-07-2015 / 22:37:33 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
118 |
! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
119 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
120 |
visitCStructFieldNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
121 |
super visitCStructFieldNode:anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
122 |
self resolve: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
123 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
124 |
"Created: / 06-07-2015 / 22:39:20 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
125 |
! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
126 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
127 |
visitCTypedefNode: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
128 |
super visitCTypedefNode: anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
129 |
self resolve: anObject. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
130 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
131 |
"Created: / 05-09-2012 / 11:37:13 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
132 |
"Modified: / 06-07-2015 / 22:46:42 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
133 |
! |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
134 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
135 |
visitCUnsignedNode:anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
136 |
self assert: anObject type isUnresolved not. |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
137 |
super visitCUnsignedNode: anObject |
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
138 |
|
edb5e4849b79
Type resolving reintroduced again.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
40
diff
changeset
|
139 |
"Created: / 06-07-2015 / 22:38:10 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
1 | 140 |
! ! |
141 |
||
142 |
!TypeResolver class methodsFor:'documentation'! |
|
143 |
||
144 |
version |
|
19
1297bf936bfb
Some fixes for modern GCC XML
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
14
diff
changeset
|
145 |
^ '$Id$' |
14 | 146 |
! |
147 |
||
33
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
148 |
version_HG |
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
149 |
|
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
150 |
^ '$Changeset: <not expanded> $' |
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
151 |
! |
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
152 |
|
14 | 153 |
version_SVN |
154 |
^ '$Id$' |
|
1 | 155 |
! ! |
33
f87d54770abe
Minor fixes for recent Smalltalk/X
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
32
diff
changeset
|
156 |