"{ Package: 'stx:goodies/petitparser/compiler/tests' }"
"{ NameSpace: Smalltalk }"
TestCase subclass:#PPCNodeTest
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Tests-Nodes'
!
!PPCNodeTest methodsFor:'as yet unclassified'!
testCopy
| n1 n2 |
n1 := PPCDelegateNode new
child: #foo;
yourself.
n2 := n1 copy.
self assert: (n1 = n2).
n2 child: #bar.
self assert: (n1 = n2) not.
!
testCopy2
| n1 n2 |
n1 := PPCSequenceNode new
children: (Array with: #foo with: #bar);
yourself.
n2 := n1 copy.
self assert: (n1 = n2).
n2 children at: 1 put: #zorg.
self assert: (n1 = n2) not.
!
testEquals
self assert: (PPCNode new = PPCNode new).
!
testEquals2
| n1 n2 n3 |
n1 := PPCDelegateNode new
child: #foo;
yourself.
n2 := PPCDelegateNode new
child: #bar;
yourself.
n3 := PPCDelegateNode new
child: #foo;
yourself.
self assert: (n1 = n3).
self assert: (n1 = n2) not.
! !
!PPCNodeTest methodsFor:'test support'!
assert: object type: class
self assert: object class == class
! !
!PPCNodeTest methodsFor:'tests - converting'!
testConvertBlock
| parser tree |
parser := [ :ctx | [ctx atEnd] whileFalse ] asParser.
tree := parser asCompilerTree.
self assert: tree type: PPCPluggableNode.
self assert: tree block asString = '[ :ctx | [ ctx atEnd ] whileFalse ]'.
!
testConvertChoice
| parser tree |
parser := 'foo' asParser / $b asParser.
tree := parser asCompilerTree.
self assert: tree type: PPCChoiceNode.
self assert: tree children size = 2.
self assert: tree children first type: PPCLiteralNode.
self assert: tree children second type: PPCCharacterNode.
!
testConvertNil
| parser tree |
parser := nil asParser.
tree := parser asCompilerTree.
self assert: tree type: PPCNilNode.
!
testConvertSequence
| parser tree |
parser := 'foo' asParser, $b asParser.
tree := parser asCompilerTree.
self assert: tree type: PPCSequenceNode.
self assert: tree children size = 2.
self assert: tree children first type: PPCLiteralNode.
self assert: tree children second type: PPCCharacterNode.
!
testConvertToken
| parser tree |
parser := 'foo' asParser token.
tree := parser asCompilerTree.
self assert: tree type: PPCTokenNode.
self assert: tree child type: PPCLiteralNode.
parser := ('foo' asParser, $b asParser) token.
tree := parser asCompilerTree.
self assert: tree type: PPCTokenNode.
self assert: tree child type: PPCSequenceNode.
parser := $d asParser token star.
tree := parser asCompilerTree.
self assert: tree type: PPCStarNode.
self assert: tree child type: PPCTokenNode.
self assert: tree child child type: PPCCharacterNode.
!
testConvertTrimmingToken
| parser tree |
parser := 'foo' asParser trimmingToken.
tree := parser asCompilerTree optimizeTree.
self assert: tree type: PPCTrimmingTokenNode.
self assert: tree child type: PPCInlineLiteralNode.
self assert: (tree whitespace allNodes allSatisfy: [ :n | n isKindOf: PPCNode ]).
parser := ('foo' asParser, $b asParser) trimmingToken.
tree := parser asCompilerTree optimizeTree.
self assert: tree type: PPCTrimmingTokenNode.
self assert: tree child type: PPCTokenSequenceNode.
self assert: tree whitespace type: PPCInlineTokenStarSeparatorNode.
parser := $d asParser trimmingToken star.
tree := parser asCompilerTree optimizeTree.
self assert: tree type: PPCStarNode.
self assert: tree child type: PPCTrimmingTokenNode.
self assert: tree child child type: PPCInlineCharacterNode.
! !
!PPCNodeTest methodsFor:'tests - epsilon'!
testActionAcceptsEpsilon
| tree |
tree := ('foo' asParser token optional ==> [ :e | e ]) asCompilerTree.
self assert: tree acceptsEpsilon.
!
testChoiceAcceptsEpsilon
| tree |
tree := ($a asParser / $b asParser star) asCompilerTree.
self assert: tree acceptsEpsilon.
!
testLiteralAcceptsEpsilon
| tree |
tree := 'foo' asParser asCompilerTree.
self assert: tree acceptsEpsilon not.
tree := '' asParser asCompilerTree.
self assert: tree acceptsEpsilon.
!
testPlusAcceptsEpsilon
| tree |
tree := ($b asParser plus) asCompilerTree.
self assert: tree acceptsEpsilon not.
tree := #letter asParser plus asCompilerTree.
self assert: tree acceptsEpsilon not.
!
testSequenceAcceptsEpsilon
| tree parser |
parser := 'foo' asParser token optional, 'bar' asParser token star, ($a asParser / $b asParser star).
tree := parser asCompilerTree.
self assert: tree acceptsEpsilon.
!
testStarAcceptsEpsilon
| tree |
tree := $b asParser star asCompilerTree.
self assert: tree acceptsEpsilon.
!
testTokenAcceptsEpsilon
| tree |
tree := ($a asParser / $b asParser plus) token asCompilerTree.
self assert: tree acceptsEpsilon not.
tree := ($a asParser / $b asParser star) token asCompilerTree.
self assert: tree acceptsEpsilon.
! !
!PPCNodeTest class methodsFor:'documentation'!
version_HG
^ '$Changeset: <not expanded> $'
! !