Improved type inference.
* UnionType now tries to reduce a number of types by trying to find a common superclass.
This is done when number ot types exeeds a threshold (defaults to 5)
* When inferring type for a variable, lower trustfullness for all class types for classes whose
package is not among effective prerequisites of current method.
"{ Package: 'jv:smallsense' }"
"{ NameSpace: SmallSense }"
SharedPool subclass:#SmalltalkInferencerParameters
instanceVariableNames:''
classVariableNames:'UnionTypeMaxSize UnionTypeReduceThreshold'
poolDictionaries:''
category:'SmallSense-Smalltalk-Types-Inference'
!
!SmalltalkInferencerParameters class methodsFor:'initialization'!
initialize
"Invoked at system start or when the class is dynamically loaded."
"/ please change as required (and remove this comment)
UnionTypeMaxSize := 15.
UnionTypeReduceThreshold := 5.
"Modified: / 01-03-2014 / 23:23:03 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
SmalltalkInferencerParameters initialize!