Rename qualif to hQualifier for consistency and to avoid confusion wi…

…th F.qualifierP
shingarov · Oct 17, 2024 · 94ddedf · 94ddedf
1 parent 493a839
commit 94ddedf
Showing 1 changed file with 14 additions and 15 deletions.
diff --git a/src/Refinements-Parsing/NNFParser.class.st b/src/Refinements-Parsing/NNFParser.class.st
@@ -6,7 +6,6 @@ Class {
 		'hCstr',
 		'var',
 		'sort',
-		'qualif',
 		'hBind',
 		'symSort',
 		'hPred',
@@ -90,12 +89,25 @@ NNFParser >> hPred [
 	) parens
 ]
 
+{ #category : #grammar }
+NNFParser >> hQualifier [
+	^'qualif' asParser trim,
+	NNFParser upperId trim, "name"
+	symSort trim plus parens trim, "params"
+	hPred "body"
+	==> [ :x | Qualifier
+		name: x second
+		params: (x third collect: [ :p | QualParam symbol: p first sort: p second ])
+		body: x fourth expr ]
+
+]
+
 { #category : #grammar }
 NNFParser >> hThing [
 	^(
 		  constraint
 		/ var
-		/ qualif
+		/ self hQualifier
 		/ ('constant' asParser trim, self tok trim, sort ==> [ :x | HCon symbol: x second sort: x third ])
 		/ self fixpoint
 		/ define
@@ -117,19 +129,6 @@ NNFParser >> pred [
 	==> [ :x | DecidableRefinement text: x ]
 ]
 
-{ #category : #grammar }
-NNFParser >> qualif [
-	^'qualif' asParser trim,
-	NNFParser upperId trim, "name"
-	symSort trim plus parens trim, "params"
-	hPred "body"
-	==> [ :x | Qualifier
-		name: x second
-		params: (x third collect: [ :p | QualParam symbol: p first sort: p second ])
-		body: x fourth expr ]
-
-]
-
 { #category : #grammar }
 NNFParser >> sort [
 	^ self sort′: sortArg trim star