compiler/PPCRecognizerComponentDetector.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 24 Aug 2015 15:34:14 +0100
changeset 524 f6f68d32de73
parent 515 b5316ef15274
child 537 fb212e14d1f4
permissions -rw-r--r--
Merged in PetitCompiler-JanVrany.170, PetitCompiler-Tests-JanKurs.116, PetitCompiler-Extras-Tests-JanKurs.29, PetitCompiler-Benchmarks-JanKurs.19 Name: PetitCompiler-JanVrany.170 Author: JanVrany Time: 24-08-2015, 03:19:51.340 PM UUID: c20a744f-3b41-4aaa-bb8a-71ce74a2a952 Name: PetitCompiler-Tests-JanKurs.116 Author: JanKurs Time: 24-08-2015, 11:37:54.332 AM UUID: 549e0927-358a-4a1b-8270-050ccfcb4217 Name: PetitCompiler-Extras-Tests-JanKurs.29 Author: JanKurs Time: 24-08-2015, 11:36:52.503 AM UUID: ea1dbb67-f884-4237-8f34-adb0677c0954 Name: PetitCompiler-Benchmarks-JanKurs.19 Author: JanKurs Time: 24-08-2015, 11:48:47.045 AM UUID: 1c342fdb-8ddd-4104-9c47-a8f589c51694

"{ Package: 'stx:goodies/petitparser/compiler' }"

"{ NameSpace: Smalltalk }"

PPCRewritingVisitor subclass:#PPCRecognizerComponentDetector
	instanceVariableNames:''
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Visitors'
!

!PPCRecognizerComponentDetector methodsFor:'visiting'!

visitNotNode: node
    "We don't need result of the not,..."
    | child newChild |
    self change.
    child := node child.
    newChild := self visitWithRecognizingComponentVisitor: child.
    node replace: child with: newChild.
    ^ node
!

visitTokenConsumeNode: node
    "Let the scanner handle this stuff"
    ^ node
!

visitTokenNode: node
    | child newChild |
    
    self change.
    child := node child.
    newChild := self visitWithRecognizingComponentVisitor: child.
    node replace: child with: newChild.
    
    ^ node
!

visitTokenWhitespaceNode: node
    | child newChild |
    self change.
    child := node child.
    newChild := self visitWithRecognizingComponentVisitor: child.
    node replace: child with: newChild.
    
    ^ node
!

visitTokenizingParserNode: node
    |  |

    "Do not visit whitespace, it is tokenizer's job"
"	self change.
    newWhitespace := self visitWithRecognizingComponentVisitor: node whitespace.
    node replace: node whitespace with: newWhitespace.
"

    "Do not visit tokens, they will be handled by the scanner:"
    "self visit: node tokens."
    
    self visitChild: node parser of: node.
    
    ^ node
!

visitTrimmingTokenNode: node
    | child newChild whitespace newWhitespace |
    
    self change.
    child := node child.
    newChild := self visitWithRecognizingComponentVisitor: child.
    node replace: child with: newChild.

    whitespace := node whitespace.
    newWhitespace := self visitWithRecognizingComponentVisitor: whitespace.
    node replace: whitespace with: newWhitespace.

    
    ^ node
!

visitWithRecognizingComponentVisitor: node
    | retval forbiddenNodes copyVisitor tokenVisitor |
    
    copyVisitor := PPCCopyVisitor new.
    tokenVisitor := PPCRecognizerComponentVisitor new.
    
    forbiddenNodes := openSet copy.
    tokenVisitor forbiddenNodes: forbiddenNodes.

    retval := copyVisitor visit: node.
    retval := tokenVisitor visit: retval.
    ^ retval
! !