Merged JK's version from Monticello
Name: PetitParser-JanKurs.260
Author: JanKurs
Time: 17-11-2014, 12:09:05.490 PM
UUID: 07411cef-ef69-40db-9d93-d4018a9b34ef
Name: PetitTests-JanKurs.65
Author: JanKurs
Time: 17-11-2014, 12:09:04.530 PM
UUID: f98d613f-f4ce-4e0e-a7e9-310ee7c7e7a6
Name: PetitSmalltalk-JanKurs.78
Author: JanKurs
Time: 14-11-2014, 05:05:07.765 PM
UUID: 3d68330d-44d5-46c3-9705-97f627b3edbc
Name: PetitCompiler-JanKurs.71
Author: JanKurs
Time: 18-11-2014, 09:48:35.425 AM
UUID: 06352c33-3c76-4382-8536-0cc48e225117
Name: PetitCompiler-Tests-JanKurs.21
Author: JanKurs
Time: 17-11-2014, 05:51:53.134 PM
UUID: 8d6c0799-14e7-4871-8d91-8b0f9886db83
Name: PetitCompiler-Benchmarks-JanKurs.2
Author: JanKurs
Time: 17-11-2014, 05:51:07.887 PM
UUID: d5e3a980-7871-487a-a232-e3ca93fc2483
"{ Package: 'stx:goodies/petitparser/compiler/tests' }"
TestCase subclass:#PPCGuardTest
instanceVariableNames:'guard compiler'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Tests-Core'
!
!PPCGuardTest methodsFor:'as yet unclassified'!
setUp
super setUp.
compiler := PPCMockCompiler new.
!
testCompiling
guard := PPCGuard new initializeFor: ($a asParser / $b asParser) asCompilerTree.
guard id: #foo.
guard compileGuard: compiler.
self assert: compiler lines size = 1.
self assert: compiler lines first = '(foo at: context peek asInteger)'.
!
testCompiling2
guard := PPCGuard new initializeFor: (#letter asParser / #digit asParser) asCompilerTree.
guard id: #foo.
guard compileGuard: compiler.
self assert: compiler lines size = 1.
self assert: compiler lines first = '(context peek isAlphaNumeric)'.
!
testCompiling3
guard := PPCGuard new initializeFor: ($a asParser, (#letter asParser / #digit asParser)) asCompilerTree.
guard id: #foo.
guard compileGuard: compiler.
self assert: compiler lines size = 1.
self assert: compiler lines first = ('(context peek = ', $a storeString ,')').
!
testCompiling4
guard := PPCGuard new initializeFor: ('foo' asParser / 'foobar' asParser) asCompilerTree.
guard id: #foo.
guard compileGuard: compiler.
self assert: compiler lines size = 1.
self assert: compiler lines first = ('(context peek = ', $f storeString ,')').
!
testIdentifierToken
| id parser |
id := (#letter asParser plus)
name: 'identifier';
yourself.
parser := id smalltalkToken.
parser name: 'kw'.
guard := PPCGuard new initializeFor: parser asCompilerTree optimizeTree.
self assert: (guard classification at: $a asInteger).
self assert: (guard classification at: $z asInteger).
!
testMakesSense
guard := PPCGuard new initializeFor: #letter asParser.
self assert: guard makesSense.
guard := PPCGuard new initializeFor: nil asParser asCompilerTree.
self assert: guard makesSense not.
guard := PPCGuard new initializeFor: (#letter asParser / nil asParser) asCompilerTree.
self assert: guard makesSense not.
guard := PPCGuard new initializeFor: (#letter asParser / #digit asParser) asCompilerTree.
self assert: guard makesSense.
guard := PPCGuard new initializeFor: (#letter asParser / #digit asParser star) asCompilerTree.
self assert: guard makesSense not.
!
testMessage
guard := PPCGuard new initializeFor: #letter asParser asCompilerTree.
self assert: (guard message = #isLetter).
self assert: (guard message = #isAlphaNumeric) not.
guard := PPCGuard new initializeFor: #word asParser asCompilerTree.
self assert: (guard message = #isAlphaNumeric).
guard := PPCGuard new initializeFor: #digit asParser asCompilerTree.
self assert: (guard message = #isDigit).
guard := PPCGuard new initializeFor: 'a' asParser asCompilerTree.
self assert: (guard message = #isDigit) not.
self assert: (guard message = #isLetter) not.
self assert: (guard message = #isAlphaNumeric) not.
!
testMessage2
guard := PPCGuard new initializeFor: (#letter asParser / #digit asParser) asCompilerTree.
self assert: guard message = #isAlphaNumeric
!
testNot
guard := PPCGuard new initializeFor: ('foo' asParser not, 'fee' asParser) asCompilerTree.
self assert: (guard classification at: $f asInteger).
!
testNot2
guard := PPCGuard new initializeFor: ('foo' asParser not, 'fee' asParser) asCompilerTree optimizeTree.
self assert: (guard classification at: $f asInteger).
!
testNot3
guard := PPCGuard new initializeFor: (#letter asParser negate star, #letter asParser) asCompilerTree optimizeTree.
self assert: (guard classification allSatisfy: [ :e | e]).
!
testTestMessage
guard := PPCGuard new initializeFor: #letter asParser asCompilerTree.
self assert: (guard testMessage: #isLetter).
self assert: (guard testMessage: #isAlphaNumeric) not.
guard := PPCGuard new initializeFor: #word asParser asCompilerTree.
self assert: (guard testMessage: #isAlphaNumeric).
guard := PPCGuard new initializeFor: #digit asParser asCompilerTree.
self assert: (guard testMessage: #isDigit).
guard := PPCGuard new initializeFor: 'a' asParser asCompilerTree.
self assert: (guard testMessage: #isDigit) not.
self assert: (guard testMessage: #isLetter) not.
self assert: (guard testMessage: #isAlphaNumeric) not.
!
testTestSingleCharacter
guard := PPCGuard new initializeFor: $a asParser asCompilerTree.
self assert: guard testSingleCharacter.
guard := PPCGuard new initializeFor: 'foo' asParser asCompilerTree.
self assert: guard testSingleCharacter.
guard := PPCGuard new initializeFor: ('foo' asParser / 'bar' asParser) asCompilerTree.
self assert: guard testSingleCharacter not.
guard := PPCGuard new initializeFor: ($a asParser, (#letter asParser / #digit asParser)) asCompilerTree.
self assert: guard testSingleCharacter.
guard := PPCGuard new initializeFor: ('foo' asParser / 'fee' asParser) asCompilerTree.
self assert: guard testSingleCharacter.
! !
!PPCGuardTest class methodsFor:'documentation'!
version_HG
^ '$Changeset: <not expanded> $'
! !