mabdi / small-amp

Test Amplification for Pharo
MIT License
5 stars 4 forks source link

Method Purity #92

Open mabdi opened 4 years ago

mabdi commented 4 years ago

We need to enhance method-purity detection. example: this method (MADescription>>#accessor) is pure, but we indicate it as non-pure because. it writes an instance variable.

accessor
    "Answer the access-strategy of the model-value described by the receiver."

    ^ accessor ifNil: [ accessor := self class defaultAccessor ]