compiler/tests/PPCTokenizingVisitorTest.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 01 Jun 2015 22:02:17 +0100
changeset 477 b18b6cc7aabc
parent 452 9f4558b3be66
child 515 b5316ef15274
permissions -rw-r--r--
Codegen refactoring [1/x]: Introduced a PPCCodeBlock A PPCCodeBlock is an abstraction of a block of statements with temporaries. This will allow for scoped temporary management in code generator - temporary variables could be allocated for block only. (i.e., make them block-temporaries)

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

"{ NameSpace: Smalltalk }"

TestCase subclass:#PPCTokenizingVisitorTest
	instanceVariableNames:'node result visitor'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Tests-Visitors'
!

!PPCTokenizingVisitorTest methodsFor:'as yet unclassified'!

assert: object type: class
    self assert: object class == class
!

setUp
    visitor := PPCTokenizingVisitor new.
!

testTokenNode1
    | nilNode |
    nilNode := PPCNilNode new.
    node := PPCTokenNode new
        child: nilNode.
    result := visitor visit: node.
    
    self assert: result type: PPCTokenizingParserNode.
    self assert: result parser type: PPCTokenConsumeNode.
    self assert: result parser child = node.
    
    self assert: result tokenizer children size = 2.
    self assert: (result tokenizer children anySatisfy: [ :e | e =  node ]).
!

testTokenizingParserNode
    node := PPCNilNode new.
    result := visitor visit: node.
    
    self assert: result type: PPCTokenizingParserNode.
    self assert: result parser = node.
    self assert: result tokenizer children size = 1.
!

testTokenizingParserNode2
    | nilNode |
    nilNode := PPCNilNode new.
    node := PPCTokenNode new
        child: nilNode.
    result := visitor visit: node.
    
    self assert: result type: PPCTokenizingParserNode.
    self assert: result parser type: PPCTokenConsumeNode.
    self assert: result parser child = node.
    
    self assert: result tokenizer children size = 2.
    self assert: (result tokenizer children anySatisfy: [ :e | e =  node ]).
!

testTrimmingTokenNode1
    | nilNode tokenNode |
    nilNode := PPCNilNode new.
    tokenNode := PPCTokenNode new
        child: nilNode.
    node := PPCTrimmingTokenNode new
        child: tokenNode;
        whitespace: nilNode;
        yourself.		
    result := visitor visit: node.
    
    self assert: result type: PPCTokenizingParserNode.
    self assert: result parser type: PPCTokenConsumeNode.
    self assert: result parser child = node.
    
    self assert: result tokenizer children size = 2.
    self assert: (result tokenizer children anySatisfy: [ :e | e =  node ]).
! !