OCLiteralVariable protocol is copied into LiteralVariable

src/Calypso-SystemTools-Core/LiteralVariable.extension.st

@@ -0,0 +1,10 @@
+Extension { #name : #LiteralVariable }
+
+{ #category : #'*Calypso-SystemTools-Core' }
+LiteralVariable >> asCalypsoVariableOf: declarationClass [
+	"it is variable compatible object. Generally variable objects should have declaring class.
+	Then it will be not needed and simplified"
+	self isGlobalVariable ifTrue: [ ^ClyGlobalVariable on: self ]. 
+
+	^ClyClassVariable on: self visibleFrom: declarationClass "scope getClass"
+]

src/Kernel/LiteralVariable.class.st

@@ -53,6 +53,12 @@ LiteralVariable class >> key: newKey value: newValue [
 	^self basicNew key: newKey value: newValue
 ]
 
+{ #category : #OCVARIABLE }
+LiteralVariable class >> semanticNodeClass [
+
+	^RBGlobalNode
+]
+
 { #category : #comparing }
 LiteralVariable >> = anAssociation [
 
@@ -118,16 +124,28 @@ LiteralVariable >> isClassVariable [
 	^false
 ]
 
-{ #category : #testing }
+{ #category : #OCVARIABLE }
 LiteralVariable >> isGlobal [
-	^true
+
+	^ true
+]
+
+{ #category : #OCVARIABLE }
+LiteralVariable >> isGlobalClassNameBinding [
+	^ (self value isClass or: [ self value isTrait ])
+		and: [ name == self value name ]
 ]
 
 { #category : #testing }
 LiteralVariable >> isGlobalVariable [
 	^false
 ]
 
+{ #category : #OCVARIABLE }
+LiteralVariable >> isLiteralVariable [
+	^true
+]
+
 { #category : #testing }
 LiteralVariable >> isReadIn: aCompiledCode [
 	^aCompiledCode readsRef: self
@@ -155,6 +173,14 @@ LiteralVariable >> isVariableBinding [
 	^true
 ]
 
+{ #category : #OCVARIABLE }
+LiteralVariable >> isWritable [
+	"Literal variables are writable, if they aren't global bindings for class names, like
+ #Object -> Object "
+
+	^ (self isGlobalVariable and: [ self isGlobalClassNameBinding ]) not
+]
+
 { #category : #testing }
 LiteralVariable >> isWrittenIn: aCompiledCode [
 	^aCompiledCode writesRef: self

src/Kernel/UndeclaredVariable.class.st

@@ -23,6 +23,12 @@ UndeclaredVariable class >> registeredWithName: aString [
 		yourself
 ]
 
+{ #category : #OCVARIABLE }
+UndeclaredVariable class >> semanticNodeClass [
+
+	^RBVariableNode
+]
+
 { #category : #queries }
 UndeclaredVariable >> definingClass [
 	"Nobody defines undeclared variable"

src/Kernel/Variable.class.st

@@ -92,6 +92,11 @@ Variable >> isClassVariable [
 	^ false
 ]
 
+{ #category : #OCVARIABLE }
+Variable >> isGlobal [ 
+	^false
+]
+
 { #category : #OCVARIABLE }
 Variable >> isGlobalVariable [
 	^ false