Fix for SmallSense::SmalltalkInferencer.
Ignore non-instance variables when infering instvar type from sends.
--- a/SmallSense__SmalltalkInferencer.st Sat Oct 26 10:52:07 2013 +0100
+++ b/SmallSense__SmalltalkInferencer.st Sat Oct 26 17:53:10 2013 +0100
@@ -285,39 +285,6 @@
self process: tree in: cls info: (Manager instance infoForClass: cls)
"Created: / 26-11-2011 / 13:48:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-!
-
-process: tree in: cls info: clsInfo
-
- | i c |
-
- class := cls.
- classInfo := clsInfo.
-
- "Fill types with cached data..."
-
- c := class.
- i := classInfo.
- [ c notNil and:[i notNil] ] whileTrue:[
- c instVarNames do:[:nm|
- types at: nm put: (i infoForInstvar: nm)
- ].
- c := c superclass.
- i := i superclassInfo.
- ].
-
- self visit: tree.
-
-
- "Now, infer variable types based on collected sends"
- sends keysAndValuesDo:[:varName :sentSelectors|
- | classes |
-
- classes := self rootsUnderstanding: sentSelectors.
- (types at: varName) addClasses: classes.
- ].
-
- "Created: / 27-11-2011 / 16:22:24 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!SmalltalkInferencer::Phase1 methodsFor:'visiting'!