Subclass replacement operator

src/MuTalk-Model/MTBlockBasedMutantOperator.class.st

@@ -17,24 +17,27 @@ MTBlockBasedMutantOperator class >> isOriginalOperator [
 	^ false
 ]
 
-{ #category : 'testing' }
+{ #category : 'private' }
 MTBlockBasedMutantOperator >> isAPosibleMutatedNode: aRBMethodNode [
 
 	| nodeThatMatches |
-	nodeThatMatches := aRBMethodNode allChildren detect:  self newExpression ifNone: [nil].
-	^ nodeThatMatches notNil and: [ 
+	nodeThatMatches := aRBMethodNode allChildren
+		                   detect: self newExpression
+		                   ifNone: [ nil ].
+
+	^ nodeThatMatches notNil and: [
 		  self is: nodeThatMatches equalTo: aRBMethodNode ]
 ]
 
-{ #category : 'testing' }
+{ #category : 'private' }
 MTBlockBasedMutantOperator >> isAPosibleNodeToMutate: aRBMethodNode [
 
 	| nodeThatMatches |
 	nodeThatMatches := aRBMethodNode allChildren
 		                   detect: self expressionToReplace
 		                   ifNone: [ nil ].
 
-	^ nodeThatMatches notNil and: [ 
+	^ nodeThatMatches notNil and: [
 		  self is: aRBMethodNode equalTo: nodeThatMatches ]
 ]
 

src/MuTalk-Model/MTMessageSendToYourselfOperator.class.st

@@ -9,7 +9,7 @@ Class {
 { #category : 'printing' }
 MTMessageSendToYourselfOperator >> description [
 
-	^ 'Chnage a message send with #yourself'
+	^ 'Change a message send with #yourself'
 ]
 
 { #category : 'applying' }

src/MuTalk-Model/MTMutantOperator.class.st

@@ -143,13 +143,14 @@ MTMutantOperator >> modifiedSourceFor: aCompiledMethod with: aParseTree number:
 ]
 
 { #category : 'private' }
-MTMutantOperator >> mutationFor: aCompiledMethod with: aParseTree number: aNumberOfSelector [
+MTMutantOperator >> mutationFor: aCompiledMethod with: aParseTree number: aNumberOfSelector storeIn: aCollection [
 
-	^ MTMethodMutation
-		  for: aCompiledMethod
-		  using: self
-		  nodeNumber: aNumberOfSelector
-		  ofClass: aCompiledMethod methodClass
+	aCollection add: (MTMethodMutation
+			 for: aCompiledMethod
+			 using: self
+			 nodeNumber: aNumberOfSelector
+			 ofClass: aCompiledMethod methodClass).
+	^ aCollection
 ]
 
 { #category : 'mutant generation' }
@@ -162,16 +163,26 @@ MTMutantOperator >> mutationsFor: aCompiledMethod [
 ]
 
 { #category : 'mutant generation' }
-MTMutantOperator >> mutationsFor: aCompiledMethod with: aParseTree [ 
+MTMutantOperator >> mutationsFor: aCompiledMethod with: aParseTree [
+
 	| numberOfMutations |
-	numberOfMutations := ((aCompiledMethod hasPragmaNamed: #ignoreForMutations) or: [ aCompiledMethod hasPragmaNamed: #ignoreForCoverage ])
-		ifTrue: [ ^ Array new ]
-		ifFalse: [ self timesToApplyIn: aCompiledMethod with: aParseTree ].
+	numberOfMutations := ((aCompiledMethod hasPragmaNamed:
+		                       #ignoreForMutations) or: [
+		                      aCompiledMethod hasPragmaNamed:
+			                      #ignoreForCoverage ])
+		                     ifTrue: [ ^ Array new ]
+		                     ifFalse: [
+		                     self
+			                     timesToApplyIn: aCompiledMethod
+			                     with: aParseTree ].
 	^ (1 to: numberOfMutations)
-		collect: [:aNumberOfSelector | self
-				mutationFor: aCompiledMethod
-				with: aParseTree
-				number: aNumberOfSelector]
+		  inject: OrderedCollection new
+		  into: [ :collection :aNumberOfSelector |
+			  self
+				  mutationFor: aCompiledMethod
+				  with: aParseTree
+				  number: aNumberOfSelector
+				  storeIn: collection ]
 ]
 
 { #category : 'applying' }

src/MuTalk-Model/MTParametricMethodMutation.class.st

@@ -0,0 +1,41 @@
+Class {
+	#name : 'MTParametricMethodMutation',
+	#superclass : 'MTMethodMutation',
+	#instVars : [
+		'newExpression'
+	],
+	#category : 'MuTalk-Model',
+	#package : 'MuTalk-Model'
+}
+
+{ #category : 'instance creation' }
+MTParametricMethodMutation class >> for: aMethod using: anOperatorApplied nodeNumber: aNodeNumber ofClass: aClass replacingWith: anObject [
+
+	^ self new
+		  initializeFor: aMethod
+		  using: anOperatorApplied
+		  nodeNumber: aNodeNumber
+		  ofClass: aClass
+		  replacingWith: anObject;
+		  yourself
+]
+
+{ #category : 'initialization' }
+MTParametricMethodMutation >> initializeFor: aMethod using: anOperatorApplied nodeNumber: aNodeNumber ofClass: aClass replacingWith: anObject [
+
+	super
+		initializeFor: aMethod
+		using: anOperatorApplied
+		nodeNumber: aNodeNumber
+		ofClass: aClass.
+	newExpression := anObject
+]
+
+{ #category : 'accessing' }
+MTParametricMethodMutation >> modifiedSource [
+
+	^ operator
+		  modifiedSourceFor: originalMethod
+		  number: nodeNumber
+		  newExpression: newExpression
+]

src/MuTalk-Model/MTSubclassReplacementOperator.class.st

@@ -0,0 +1,93 @@
+Class {
+	#name : 'MTSubclassReplacementOperator',
+	#superclass : 'MTBlockBasedMutantOperator',
+	#instVars : [
+		'classesToReplace'
+	],
+	#category : 'MuTalk-Model-Operators',
+	#package : 'MuTalk-Model',
+	#tag : 'Operators'
+}
+
+{ #category : 'printing' }
+MTSubclassReplacementOperator >> description [
+
+	^ 'Replace a class reference by a reference to one of its subclasses'
+]
+
+{ #category : 'applying' }
+MTSubclassReplacementOperator >> expressionToReplace [
+
+	^ [ :aNode |
+	  aNode isVariable and: [
+		  (self class environment includesKey: aNode name) and: [
+			  | referencedClass shouldReplace |
+			  referencedClass := self class environment at: aNode name.
+			  shouldReplace := referencedClass isClass and: [
+				                   referencedClass subclasses notEmpty ].
+			  shouldReplace ifTrue: [ classesToReplace add: referencedClass ].
+			  shouldReplace ] ] ]
+]
+
+{ #category : 'initialization' }
+MTSubclassReplacementOperator >> initialize [
+
+	super initialize.
+	classesToReplace := OrderedCollection new
+]
+
+{ #category : 'private' }
+MTSubclassReplacementOperator >> modifiedSourceFor: aCompiledMethod number: aNumber newExpression: anExpression [
+
+	^ self
+		  modifiedSourceFor: aCompiledMethod
+		  with: aCompiledMethod parseTree
+		  number: aNumber
+		  newExpression: anExpression
+]
+
+{ #category : 'private' }
+MTSubclassReplacementOperator >> modifiedSourceFor: aCompiledMethod with: aParseTree number: aNumber newExpression: anExpression [
+
+	| parser allNodes |
+	parser := aParseTree copy.
+	allNodes := parser allChildren select: self expressionToReplace.
+	allNodes size >= aNumber ifTrue: [
+		| oldNode newNode |
+		oldNode := allNodes at: aNumber.
+		newNode := anExpression value: oldNode.
+		oldNode replaceWith: newNode ].
+	^ parser formattedCode
+]
+
+{ #category : 'private' }
+MTSubclassReplacementOperator >> mutationFor: aCompiledMethod with: aParseTree number: aNumberOfSelector storeIn: aCollection [
+
+	| classToReplace |
+	classToReplace := classesToReplace at: aNumberOfSelector.
+	aCollection addAll:
+		((1 to: classToReplace subclasses size) collect: [ :index |
+			 | newExpression |
+			 newExpression := self
+				                  newExpressionForClass: aNumberOfSelector
+				                  andSubclass: index.
+			 MTParametricMethodMutation
+				 for: aCompiledMethod
+				 using: self
+				 nodeNumber: aNumberOfSelector
+				 ofClass: aCompiledMethod methodClass
+				 replacingWith: newExpression ]).
+	^ aCollection
+]
+
+{ #category : 'applying' }
+MTSubclassReplacementOperator >> newExpressionForClass: classIndex andSubclass: subclassIndex [
+
+	^ [ :anOldNode |
+	  | nodeCopy |
+	  nodeCopy := anOldNode copy.
+	  nodeCopy name:
+		  ((classesToReplace at: classIndex) subclasses at: subclassIndex)
+			  name.
+	  nodeCopy ]
+]

src/MuTalk-TestResources/MTAuxiliarClassForSubclassReplacementOperator.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarClassForSubclassReplacementOperator',
+	#superclass : 'Object',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}

src/MuTalk-TestResources/MTAuxiliarClassForSubclassReplacementWithManySubclasses.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarClassForSubclassReplacementWithManySubclasses',
+	#superclass : 'Object',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}

src/MuTalk-TestResources/MTAuxiliarSubclass1ForSubclassReplacementWithManySubclasses.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarSubclass1ForSubclassReplacementWithManySubclasses',
+	#superclass : 'MTAuxiliarClassForSubclassReplacementWithManySubclasses',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}

src/MuTalk-TestResources/MTAuxiliarSubclass2ForSubclassReplacementWithManySubclasses.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarSubclass2ForSubclassReplacementWithManySubclasses',
+	#superclass : 'MTAuxiliarClassForSubclassReplacementWithManySubclasses',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}

src/MuTalk-TestResources/MTAuxiliarSubclass3ForSubclassReplacementWithManySubclasses.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarSubclass3ForSubclassReplacementWithManySubclasses',
+	#superclass : 'MTAuxiliarClassForSubclassReplacementWithManySubclasses',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}

src/MuTalk-TestResources/MTAuxiliarSubclassForSubclassReplacementOperator.class.st

@@ -0,0 +1,6 @@
+Class {
+	#name : 'MTAuxiliarSubclassForSubclassReplacementOperator',
+	#superclass : 'MTAuxiliarClassForSubclassReplacementOperator',
+	#category : 'MuTalk-TestResources',
+	#package : 'MuTalk-TestResources'
+}