Linter rule

PalumboN · Jul 31, 2023 · 23c31f2 · 23c31f2
1 parent 1c3a3ca
commit 23c31f2
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 0 deletions.
diff --git a/smalltalksrc/VMMaker/RBPragmaNode.extension.st b/smalltalksrc/VMMaker/RBPragmaNode.extension.st
@@ -0,0 +1,7 @@
+Extension { #name : #RBPragmaNode }
+
+{ #category : #'*VMMaker' }
+RBPragmaNode >> isTypeDefinition [
+
+	^ self selector = #var:type:
+]
diff --git a/smalltalksrc/VMMaker/ReSlangRedundantTypeDeclarationRule.class.st b/smalltalksrc/VMMaker/ReSlangRedundantTypeDeclarationRule.class.st
@@ -0,0 +1,26 @@
+Class {
+	#name : #ReSlangRedundantTypeDeclarationRule,
+	#superclass : #ReAbstractRule,
+	#category : #'VMMaker-Slang'
+}
+
+{ #category : #'testing - interest' }
+ReSlangRedundantTypeDeclarationRule class >> checksNode [
+
+	^ true
+]
+
+{ #category : #running }
+ReSlangRedundantTypeDeclarationRule >> basicCheck: aNode [
+
+	^ aNode isPragma and: [
+		  aNode isTypeDefinition and: [
+			  (aNode methodNode allDefinedVariables includes:
+				  (aNode argumentAt: #var:) value) not ] ]
+]
+
+{ #category : #accessing }
+ReSlangRedundantTypeDeclarationRule >> name [
+
+	^ 'Type declaration for missing local'
+]