Adding first test when moving cursor to the beginning of a statement, checking that the receiver and arguments are pushed on the stack and that nothing is executed

Author: adri09070

Sindarin-Tests/SindarinDebuggerTest.class.st

@@ -5,6 +5,9 @@ Class {
 		'breakpointsBeforeTest',
 		'testObjectPoint'
 	],
+	#classInstVars : [
+		'helperMethod1'
+	],
 	#category : #'Sindarin-Tests-Base'
 }
 
@@ -297,6 +300,34 @@ SindarinDebuggerTest >> testAssignmentVariableName [
 	self assert: scdbg assignmentVariableName equals: #a
 ]
 
+{ #category : #'tests - skipping' }
+SindarinDebuggerTest >> testChangingPcKeepsSameStateAndPushesCorrectElementsOnStack [
+
+	| scdbg newPc newNode expectedStackTop |
+	scdbg := SindarinDebugger debug: [ self helperMethod1 ].
+
+	scdbg
+		step;
+		stepOver.
+	"pc of '3' asInteger"
+	newNode := scdbg node.
+	newPc := scdbg pc.
+	expectedStackTop := scdbg topStack.
+	scdbg
+		stepOver;
+		stepOver;
+		stepOver.
+
+	self assert: (scdbg temporaryNamed: #a) equals: 5.
+
+	scdbg pc: newPc.
+
+	self assert: (scdbg temporaryNamed: #a) equals: 5.
+	self assert: scdbg node equals: newNode.
+	self assert: scdbg pc equals: newPc.
+	self assert: scdbg topStack equals: expectedStackTop
+]
+
 { #category : #tests }
 SindarinDebuggerTest >> testContext [
 	| scdbg |

Sindarin/SindarinDebugger.class.st

@@ -402,6 +402,17 @@ SindarinDebugger >> pc [
 	^ self context pc
 ]
 
+{ #category : #accessing }
+SindarinDebugger >> pc: anInteger [
+
+	self context pc: anInteger.
+	[ self context stackPtr > self context numTemps ] whileTrue: [ 
+		self context pop ].
+
+	self debugSession stepToFirstInterestingBytecodeIn:
+		self debugSession interruptedProcess
+]
+
 { #category : #'stepping -  auto' }
 SindarinDebugger >> proceed [
 	"alias of #continue"