pharo
pharo copied to clipboard
[RB] RBAddTemporaryVariableTransformation get some precondition inside the transformation phase
privateTransform
| methodTree parseTree |
methodTree := self definingMethod.
parseTree := methodTree body.
interval ifNotNil: [
| nodeInInterval |
nodeInInterval := methodTree bestNodeFor: interval.
nodeInInterval isSequence ifTrue: [ parseTree := nodeInInterval ] ].
self flag: #skippingPreconditions.
(parseTree allTemporaryVariables includes: variableName) ifTrue: [ ^ self ].
parseTree addTemporaryNamed: variableName.
class compileTree: methodTree
and clearly (parseTree allTemporaryVariables includes: variableName) ifTrue: [ ^ self ]. should be done in applicability phase.