Implements dynamic inst var access to enable probes in super class methods for subclass examples. Closes #136

Author: codeZeilen

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/README.md

@@ -0,0 +1,6 @@
+as yet unclassified
+Reference: aNode with: identifier
+
+	^ (argumentNames includes: identifier interval contents asSymbol)
+		ifTrue: [self value: identifier]
+		ifFalse: ['(self bpResolveReferenceDynamically: #' , identifier interval contents , ' in: thisContext)']

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/instance/Reference.with..st

@@ -0,0 +1,4 @@
+as yet unclassified
+blockArgument: aNode with: some and: more and: moree and: evenMore
+	argumentNames add: aNode interval contents copyWithoutFirst asSymbol.
+	^ aNode interval contents

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/instance/blockArgument.with.and.and.and..st

@@ -0,0 +1,5 @@
+initialize-release
+initialize
+
+	super initialize.
+	argumentNames := Set new.

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/instance/initialize.st

@@ -0,0 +1,7 @@
+{
+	"class" : {
+		 },
+	"instance" : {
+		"Reference:with:" : "pre 1/10/2023 17:50",
+		"blockArgument:with:and:and:and:" : "pre 1/10/2023 17:51",
+		"initialize" : "pre 1/10/2023 17:37" } }

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/methodProperties.json

@@ -0,0 +1,14 @@
+{
+	"category" : "Babylonian-Compiler",
+	"classinstvars" : [
+		 ],
+	"classvars" : [
+		 ],
+	"commentStamp" : "",
+	"instvars" : [
+		"argumentNames" ],
+	"name" : "BPReferenceRewriter",
+	"pools" : [
+		 ],
+	"super" : "OhmSmalltalkSourceRewriter",
+	"type" : "normal" }

packages/Babylonian-Compiler.package/BPReferenceRewriter.class/properties.json

@@ -2,9 +2,10 @@ serialization
 instrumentationCallFor: actualEnclosedExpressionSource
 
 	^ self hasExpression 
-		ifTrue: [
+		ifTrue: [ |rewrittenExpression|
+			rewrittenExpression := self makeReferenceReadsDynamic: self expression.
 			'(self bpTrace: [{1}] through: {2} forProbe: {3} inContext: thisContext)' 
-				format: {actualEnclosedExpressionSource . self expression . self id}]
+				format: {actualEnclosedExpressionSource . rewrittenExpression . self id}]
 		ifFalse: [
 			'(self bpTrace: [{1}] forProbe: {2} inContext: thisContext)' 
 				format: {actualEnclosedExpressionSource . self id}]

packages/Babylonian-Core.package/BPProbe.class/instance/instrumentationCallFor..st

@@ -0,0 +1,9 @@
+serialization
+makeReferenceReadsDynamic: expression
+
+	| rewriter ast | 
+	rewriter := BPSmalltalkGrammar synthesizedAttribute: BPReferenceRewriter new.
+	ast := PEGParserBPSmalltalk new
+		match: expression
+		startingFrom: #BlockLiteral.
+	^ rewriter value: ast

packages/Babylonian-Core.package/BPProbe.class/instance/makeReferenceReadsDynamic..st

@@ -12,11 +12,12 @@
 		"expression:" : "jb 12/7/2020 18:09",
 		"hasExpression" : "pre 6/7/2021 16:52",
 		"hasLabel" : "lu 5/20/2021 15:14",
-		"instrumentationCallFor:" : "jb 12/3/2020 23:15",
+		"instrumentationCallFor:" : "pre 1/10/2023 17:33",
 		"isProbe" : "pre 7/3/2019 11:12",
 		"isTemporaryProbe" : "pre 9/2/2022 14:40",
 		"label" : "lu 6/1/2021 21:29",
 		"label:" : "lu 5/20/2021 15:07",
+		"makeReferenceReadsDynamic:" : "pre 1/10/2023 17:41",
 		"probeId" : "pre 9/21/2020 17:13",
 		"probeId:" : "jb 12/7/2020 18:09",
 		"probeTypeTag" : "pre 9/2/2022 15:02",

packages/Babylonian-Core.package/BPProbe.class/methodProperties.json

@@ -0,0 +1,8 @@
+*Babylonian-Core
+bpResolveReferenceDynamically: aSymbol in: aContext
+
+	(aContext tempNames includes: aSymbol) ifTrue: [
+		^ aContext namedTempAt: (aContext tempNames indexOf: aSymbol)].
+	(self class instVarNames includes: aSymbol) ifTrue: [
+		^ self instVarNamed: aSymbol].
+	^ (KeyNotFound key: aSymbol) signal