Updated to PetitCompiler-JanKurs.100, PetitCompiler-Tests-JanKurs.44 and PetitCompiler-Benchmarks-JanKurs.4
Name: PetitCompiler-JanKurs.100
Author: JanKurs
Time: 30-04-2015, 10:48:52.165 AM
UUID: 80196870-5921-46d9-ac20-a43bf5c2f3c2
Name: PetitCompiler-Tests-JanKurs.44
Author: JanKurs
Time: 30-04-2015, 10:49:22.489 AM
UUID: 348c02e8-18ce-48f6-885d-fcff4516a298
Name: PetitCompiler-Benchmarks-JanKurs.4
Author: JanKurs
Time: 30-04-2015, 10:58:44.890 AM
UUID: 18cadb42-f9ef-45fb-82e9-8469ade56c8b
"{ Package: 'stx:goodies/petitparser/compiler/tests' }"
"{ NameSpace: Smalltalk }"
TestCase subclass:#PPCOptimizingVisitorTest
instanceVariableNames:'node result visitor'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Tests-Visitors'
!
!PPCOptimizingVisitorTest methodsFor:'as yet unclassified'!
asNode: aPPParser
^ aPPParser asCompilerTree
!
assert: object type: class
self assert: object class == class
!
setUp
visitor := PPCOptimizingVisitor new.
!
testAnyPredicate
node := self asNode: #any asParser.
result := visitor visit: node.
self assert: result type: PPCAnyNode.
!
testIdentity
| token star1 star2 |
token := $a asParser token.
star1 := token star.
star2 := token star.
node := self asNode: star1, star2.
result := visitor visit: node.
self assert: result type: PPCSequenceNode.
self assert: result children first type: PPCStarNode.
self assert: result children second type: PPCStarNode.
!
testNoOptimization
node := self asNode: 'foo' asParser.
self assert: node type: PPCLiteralNode.
result := visitor visit: node.
self assert: result type: PPCLiteralNode.
!
testNotCharSet
node := self asNode: #hex asParser not.
result := visitor visit: node.
self assert: result type: PPCNotCharSetPredicateNode.
!
testNotLiteral
node := self asNode: 'foo' asParser not.
result := visitor visit: node.
self assert: result type: PPCNotLiteralNode.
self assert: result literal = 'foo'.
!
testNotMessagePredicate
node := self asNode: #letter asParser not.
result := visitor visit: node.
self assert: result type: PPCNotMessagePredicateNode.
!
testPredicateNode01
node := self asNode: #letter asParser.
result := visitor visit: node.
self assert: result type: PPCMessagePredicateNode.
self assert: result message = #isLetter.
!
testPredicateNode02
node := self asNode: #digit asParser.
result := visitor visit: node.
self assert: result type: PPCMessagePredicateNode.
self assert: result message = #isDigit.
!
testPredicateNode03
node := self asNode: #space asParser.
result := visitor visit: node.
self assert: result type: PPCMessagePredicateNode.
self assert: result message = #isSeparator.
!
testPredicateNode04
node := self asNode: #word asParser.
result := visitor visit: node.
self assert: result type: PPCMessagePredicateNode.
self assert: result message = #isAlphaNumeric.
!
testPredicateNode05
node := self asNode: #hex asParser.
result := visitor visit: node.
self assert: result type: PPCCharSetPredicateNode.
!
testStarNode1
node := self asNode: #letter asParser star.
result := visitor visit: node.
self assert: result type: PPCStarMessagePredicateNode.
self assert: result message = #isLetter.
!
testStarNode2
node := self asNode: #any asParser star.
result := visitor visit: node.
self assert: result type: PPCStarAnyNode.
!
testStarNode3
node := self asNode: #hex asParser star.
result := visitor visit: node.
self assert: result type: PPCStarCharSetPredicateNode.
!
testStarNode4
node := self asNode: #letter asParser not star.
result := visitor visit: node.
self assert: result type: PPCStarNode.
self assert: result child type: PPCNotMessagePredicateNode.
!
testStarNode5
| star |
star := $a asParser not star.
node := self asNode: star, star.
result := visitor visit: node.
self assert: result type: PPCSequenceNode.
self assert: result children first type: PPCStarNode.
self assert: result children second type: PPCStarNode.
! !