compiler/PPCRecognizerComponentDetector.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 17 Aug 2015 12:13:16 +0100
changeset 515 b5316ef15274
parent 452 9f4558b3be66
child 524 f6f68d32de73
permissions -rw-r--r--
Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Name: PetitCompiler-JanKurs.160 Author: JanKurs Time: 17-08-2015, 09:52:26.291 AM UUID: 3b4bfc98-8098-4951-af83-a59e2585b121 Name: PetitCompiler-Tests-JanKurs.112 Author: JanKurs Time: 16-08-2015, 05:00:32.936 PM UUID: 85613d47-08f3-406f-9823-9cdab451e805 Name: PetitCompiler-Extras-Tests-JanKurs.25 Author: JanKurs Time: 16-08-2015, 05:00:10.328 PM UUID: 09731810-51a1-4151-8d3a-56b636fbd1f7 Name: PetitCompiler-Benchmarks-JanKurs.17 Author: JanKurs Time: 05-08-2015, 05:29:32.407 PM UUID: e544b5f1-bcf8-470b-93a6-d2363e4dfc8a

"{ 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
    | newWhitespace |
    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
! !