Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12
Name: PetitCompiler-JanVrany.135
Author: JanVrany
Time: 22-07-2015, 06:53:29.127 PM
UUID: 890178b5-275d-46af-a2ad-1738998f07cb
Ancestors: PetitCompiler-JanVrany.134
Name: PetitCompiler-Tests-JanKurs.93
Author: JanKurs
Time: 20-07-2015, 11:30:10.283 PM
UUID: 6473e671-ad70-42ca-b6c3-654b78edc531
Ancestors: PetitCompiler-Tests-JanKurs.92
Name: PetitCompiler-Extras-Tests-JanVrany.16
Author: JanVrany
Time: 22-07-2015, 05:18:22.387 PM
UUID: 8f6f9129-dbba-49b1-9402-038470742f98
Ancestors: PetitCompiler-Extras-Tests-JanKurs.15
Name: PetitCompiler-Benchmarks-JanKurs.12
Author: JanKurs
Time: 06-07-2015, 02:10:06.901 PM
UUID: cb24f1ac-46a4-494d-9780-64576f0f0dba
Ancestors: PetitCompiler-Benchmarks-JanKurs.11, PetitCompiler-Benchmarks-JanVrany.e29bd90f388e.20150619081300
"{ 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 child isKindOf: PPCCharacterNode) ifTrue: [
self change.
^ PPCNotCharacterNode new
name: node name;
character: node child character;
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
!
visitTrimmingTokenNode: node
self visitChildren: node.
(node child isKindOf: PPCCharacterNode) ifTrue: [
self change.
^ PPCTrimmingCharacterTokenNode new
child: node child;
whitespace: node whitespace;
tokenClass: node tokenClass;
name: node name;
yourself
].
^ node
"Modified: / 21-05-2015 / 14:41:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !