Updated to PetitCompiler-JanKurs.118, PetitCompiler-Tests-JanKurs.46, PetitCompiler-Extras-Tests-JanKurs.11, and PetitCompiler-Benchmarks-JanKurs.11
Name: PetitCompiler-JanKurs.118
Author: JanKurs
Time: 13-05-2015, 03:59:01.292 PM
UUID: 4a8ccd94-3131-4cc7-9098-528f8e5ea0b5
Name: PetitCompiler-Tests-JanKurs.46
Author: JanKurs
Time: 04-05-2015, 04:25:06.162 PM
UUID: 9f4cf8b7-876e-4a13-9579-b833f016db66
Name: PetitCompiler-Extras-Tests-JanKurs.11
Author: JanKurs
Time: 13-05-2015, 04:27:27.940 PM
UUID: e9f30c31-fbd0-4e96-ad2a-868f88d20ea8
Name: PetitCompiler-Benchmarks-JanKurs.11
Author: JanKurs
Time: 13-05-2015, 02:21:49.932 PM
UUID: 6a23fd1e-a86f-46db-8221-cc41b778d32c
"{ Package: 'stx:goodies/petitparser/tests' }"
PPCompositeParserTest subclass:#PPLambdaParserTest
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitTests-Tests'
!
!PPLambdaParserTest methodsFor:'accessing'!
parserClass
^ PPLambdaParser
! !
!PPLambdaParserTest methodsFor:'testing'!
testAbstraction
self assert: '\x.y' is: #('x' 'y').
self assert: '\x.\y.z' is: #('x' ('y' 'z'))
!
testApplication
self assert: '(x x)' is: #('x' 'x').
self assert: '(x y)' is: #('x' 'y').
self assert: '((x y) z)' is: #(('x' 'y') 'z').
self assert: '(x (y z))' is: #('x' ('y' 'z'))
!
testVariable
self assert: 'x' is: 'x'.
self assert: 'xy' is: 'xy'.
self assert: 'x12' is: 'x12'
! !
!PPLambdaParserTest methodsFor:'testing-curch'!
testAnd
self assert: self parserClass and equals: #('p' #('q' #(#('p' 'q') 'p')))
!
testFalse
self assert: self parserClass false equals: #('x' #('y' 'y'))
!
testIfThenElse
self assert: self parserClass ifthenelse equals: #('p' 'p')
!
testNot
self assert: self parserClass not equals: #('p' #('a' #('b' #(#('p' 'b') 'a'))))
!
testOr
self assert: self parserClass or equals: #('p' #('q' #(#('p' 'p') 'q')))
!
testTrue
self assert: self parserClass true equals: #('x' #('y' 'x'))
! !
!PPLambdaParserTest methodsFor:'testing-utilities'!
testParseOnError
| beenHere |
result := self parserClass parse: '\x.y' onError: [ self fail ].
self assert: result equals: #('x' 'y').
beenHere := false.
result := self parserClass parse: '\x.' onError: [ beenHere := true ].
self assert: beenHere.
beenHere := false.
result := self parserClass
parse: '\x.'
onError: [ :fail |
beenHere := true.
fail ].
self assert: beenHere.
self assert: (result message includesSubstring: 'separator').
self assert: (result message includesSubstring: 'expected').
self assert: result position equals: 3.
beenHere := false.
result := self parserClass
parse: '\x.'
onError: [ :msg :pos |
self assert: (msg includesSubstring: 'separator').
self assert: (msg includesSubstring: 'expected').
self assert: pos equals: 3.
beenHere := true ].
self assert: result.
self assert: beenHere
!
testParseStartingAtOnError
| beenHere |
result := self parserClass parse: 'x' startingAt: #variable onError: [ self fail ].
self assert: result equals: 'x'.
beenHere := false.
result := self parserClass parse: '\' startingAt: #variable onError: [ beenHere := true ].
self assert: beenHere.
beenHere := false.
result := self parserClass
parse: '\'
startingAt: #variable
onError: [ :fail |
beenHere := true.
fail ].
self assert: beenHere.
self assert: result message equals: 'separator expected'.
self assert: result position equals: 0.
beenHere := false.
result := self parserClass
parse: '\'
startingAt: #variable
onError: [ :msg :pos |
self assert: msg equals: 'separator expected'.
self assert: pos equals: 0.
beenHere := true ].
self assert: beenHere
!
testProductionAt
self assert: (parser productionAt: #foo) isNil.
self assert: (parser productionAt: #foo ifAbsent: [ true ]).
self assert: (parser productionAt: #start) notNil.
self assert: (parser productionAt: #start ifAbsent: [ true ]) notNil.
self assert: (parser productionAt: #variable) notNil.
self assert: (parser productionAt: #variable ifAbsent: [ true ]) notNil
! !
!PPLambdaParserTest class methodsFor:'documentation'!
version
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $'
!
version_CVS
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $'
!
version_SVN
^ '$Id: PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $'
! !