--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/compiler/PPCSpecializingVisitor.st	Sun May 10 06:28:36 2015 +0100
@@ -0,0 +1,175 @@
+"{ Package: 'stx:goodies/petitparser/compiler' }"
+
+"{ NameSpace: Smalltalk }"
+
+PPCRewritingVisitor subclass:#PPCSpecializingVisitor
+	instanceVariableNames:''
+	classVariableNames:''
+	poolDictionaries:''
+	category:'PetitCompiler-Visitors'
+!
+
+!PPCSpecializingVisitor methodsFor:'visiting'!
+
+visitActionNode: node
+    ("(node hasProperty: #trimmingToken) not and: [" node block isSymbol "]") ifTrue: [ 
+        self change.
+        ^ PPCSymbolActionNode new
+            block: node block;
+            name: node name;
+            child: node child;
+            yourself
+    ].
+
+    ^ super visitActionNode: node
+!
+
+visitForwardNode: node
+
+    self visitChildren: node.
+
+    node name ifNil: [ 
+        self change.
+        ^ node child.
+    ].
+
+    node child name ifNil: [  
+        self change.
+        node child name: node name.
+        ^ node child
+    ].
+
+    (node child name = node name) ifTrue: [ 
+        self change.
+        ^ node child
+    ].
+
+    ^ node
+!
+
+visitNotNode: node
+    self visitChildren: node.
+
+    (node child isKindOf: PPCAbstractLiteralNode) ifTrue: [  
+        self change.
+        ^ PPCNotLiteralNode new
+            name: node name;
+            literal: node child literal;
+            yourself
+    ]. 
+
+    (node child isKindOf: PPCMessagePredicateNode) ifTrue: [  
+        self change.
+        ^ PPCNotMessagePredicateNode new
+            name: node name;
+            message: node child message;
+            yourself
+    ].
+
+    (node child isKindOf: PPCCharSetPredicateNode) ifTrue: [  
+        self change.
+        ^ PPCNotCharSetPredicateNode new
+            name: node name;
+            predicate: node child predicate;
+            yourself
+    ].
+
+    ^ node
+
+    "Modified: / 23-04-2015 / 12:02:15 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+!
+
+visitPredicateNode: node
+    | charSet |
+    
+    (node predicate class == PPCharSetPredicate) ifTrue: [ 
+        charSet := node predicate.
+    ].
+    charSet := PPCharSetPredicate on: node predicate.
+
+
+    (charSet equals: (PPCharSetPredicate on: [ :char | char isLetter])) ifTrue: [ 
+        change := true.
+        ^ PPCMessagePredicateNode new
+            name: node name;
+            message: #isLetter;
+            predicate: node predicate;
+            yourself
+    ].
+
+
+    (charSet equals: (PPCharSetPredicate on: [ :char | char isDigit])) ifTrue: [ 
+        change := true.
+        ^ PPCMessagePredicateNode new
+            name: node name;
+            message: #isDigit;
+            predicate: node predicate;
+            yourself
+    ].
+
+    (charSet equals: (PPCharSetPredicate on: [ :char | char isAlphaNumeric])) ifTrue: [ 
+        change := true.
+        ^ PPCMessagePredicateNode new
+            name: node name;
+            message: #isAlphaNumeric;
+            predicate: node predicate;
+            yourself
+    ].
+
+    (charSet equals: (PPCharSetPredicate on: [ :char | char isSeparator])) ifTrue: [ 
+        change := true.
+        ^ PPCMessagePredicateNode new
+            name: node name;
+            message: #isSeparator;
+            predicate: node predicate;
+            yourself
+    ].
+
+    (charSet equals: (PPCharSetPredicate on: [ :char | true ])) ifTrue: [ 
+        change := true.
+        ^ PPCAnyNode new
+            name: node name;
+            yourself
+    ].
+
+
+    change := true.
+    ^ PPCCharSetPredicateNode new
+        name: node name;
+        predicate: charSet;
+        yourself.
+!
+
+visitStarNode: node
+
+    self visitChildren: node.
+
+    (node child isKindOf: PPCMessagePredicateNode) ifTrue: [ 
+        self change.
+        ^ PPCStarMessagePredicateNode new
+            name: node name;
+            child: node child;
+            message: node child message;
+            yourself
+    ].
+
+    (node child isKindOf: PPCAnyNode) ifTrue: [ 
+        self change.
+        ^ PPCStarAnyNode new
+            name: node name;
+            child: node child;
+            yourself
+    ]. 
+
+    (node child isKindOf: PPCCharSetPredicateNode) ifTrue: [ 
+        self change.
+        ^ PPCStarCharSetPredicateNode new
+            name: node name;
+            predicate: node child predicate;
+            child: node child;
+            yourself
+    ].
+
+    ^ node
+! !
+