equal
deleted
inserted
replaced
91 " |
91 " |
92 ! ! |
92 ! ! |
93 |
93 |
94 !SmalltalkInferencer class methodsFor:'instance creation'! |
94 !SmalltalkInferencer class methodsFor:'instance creation'! |
95 |
95 |
|
96 forClass: class expression: source |
|
97 |
|
98 ^self new class: class expression: source. |
|
99 |
|
100 "Created: / 13-11-2017 / 22:21:45 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
101 ! |
|
102 |
96 forClass: class methodSource: source |
103 forClass: class methodSource: source |
97 |
104 |
98 ^self new class: class source: source |
105 ^self new class: class source: source |
99 |
106 |
100 "Created: / 26-11-2011 / 12:45:49 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
107 "Created: / 26-11-2011 / 12:45:49 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
103 forClass: class selector: selector |
110 forClass: class selector: selector |
104 |
111 |
105 ^self new class: class selector: selector. |
112 ^self new class: class selector: selector. |
106 |
113 |
107 "Created: / 26-11-2011 / 12:44:48 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
114 "Created: / 26-11-2011 / 12:44:48 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
108 ! |
|
109 |
|
110 forExpression: source |
|
111 |
|
112 ^self new expression: source. |
|
113 |
|
114 "Created: / 04-10-2013 / 08:12:24 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
115 ! |
115 ! |
116 |
116 |
117 forMethod: method |
117 forMethod: method |
118 |
118 |
119 ^self new method: method. |
119 ^self new method: method. |
172 tree |
172 tree |
173 ^ tree |
173 ^ tree |
174 ! ! |
174 ! ! |
175 |
175 |
176 !SmalltalkInferencer methodsFor:'initialization'! |
176 !SmalltalkInferencer methodsFor:'initialization'! |
|
177 |
|
178 class: klass expression: expression |
|
179 |
|
180 type := #expression. |
|
181 self class: klass source: expression. |
|
182 |
|
183 "Created: / 13-11-2017 / 22:22:37 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
184 ! |
177 |
185 |
178 class: cls selector: sel |
186 class: cls selector: sel |
179 |
187 |
180 | m | |
188 | m | |
181 m := cls >> sel. |
189 m := cls >> sel. |
197 classInfo := self manager infoForClass: class. |
205 classInfo := self manager infoForClass: class. |
198 source := src. |
206 source := src. |
199 |
207 |
200 "Created: / 26-11-2011 / 14:46:55 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
208 "Created: / 26-11-2011 / 14:46:55 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
201 "Modified: / 04-10-2013 / 08:31:11 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
209 "Modified: / 04-10-2013 / 08:31:11 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
202 ! |
|
203 |
|
204 expression: expression |
|
205 |
|
206 type := #expression. |
|
207 self class: nil source: expression. |
|
208 |
|
209 "Created: / 04-10-2013 / 08:14:11 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
210 ! |
210 ! |
211 |
211 |
212 method: method |
212 method: method |
213 |
213 |
214 type := #method. |
214 type := #method. |