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

PPAbstractParserTest subclass:#PPExtensionTest

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'PetitTests-Tests'

!

!PPExtensionTest methodsFor:'testing-parser'!

testCharacter

	| parser |

	parser := $a asParser.

	self assert: parser parse: 'a' to: $a.

	self assert: parser fail: 'b'

!

testChoice

	| parser |

	parser := #(1 2) asChoiceParser.

	self assert: parser parse: #(1) to: 1.

	self assert: parser parse: #(2) to: 2.

	self assert: parser parse: #(1 2) to: 1 end: 1.

	self assert: parser parse: #(2 1) to: 2 end: 1.

	self assert: parser fail: #().

	self assert: parser fail: #(3)

!

testClosure

	| parser |

	parser := [ :stream | stream upTo: $s ] asParser.

	self assert: parser parse: '' to: ''.

	self assert: parser parse: 'a' to: 'a'.

	self assert: parser parse: 'aa' to: 'aa'.

	self assert: parser parse: 's' to: ''.

	self assert: parser parse: 'as' to: 'a'.

	self assert: parser parse: 'aas' to: 'aa'.

	self assert: parser parse: 'sa' to: '' end: 1.

	self assert: parser parse: 'saa' to: '' end: 1.

	parser := [ :stream | stream upTo: $s. PPFailure message: 'stream' context: stream ] asParser.

	self assert: parser fail: ''.

	self assert: parser fail: 's'.

	self assert: parser fail: 'as'

!

testEpsilon

	| parser |

	parser := nil asParser.

	self assert: parser asParser equals: parser

!

testParser

	| parser |

	parser := $a asParser.

	self assert: parser asParser equals: parser

!

testRange

	| parser |

	parser := ($a to: $c) asParser.

	self assert: parser parse: 'a' to: $a.

	self assert: parser parse: 'b' to: $b.

	self assert: parser parse: 'c' to: $c.

	self assert: parser fail: 'd'

!

testSequence

	| parser |

	parser := #(1 2) asSequenceParser.

	self assert: parser parse: #(1 2) to: #(1 2).

	self assert: parser parse: #(1 2 3) to: #(1 2) end: 2.

	self assert: parser fail: #().

	self assert: parser fail: #(1).

	self assert: parser fail: #(1 1).

	self assert: parser fail: #(1 1 2)

!

testString

	| parser |

	parser := 'ab' asParser.

	self assert: parser parse: 'ab' to: 'ab'.

	self assert: parser parse: 'aba' to: 'ab' end: 2.

	self assert: parser parse: 'abb' to: 'ab' end: 2.

	self assert: parser fail: 'a'.

	self assert: parser fail: 'ac'

!

testSymbol

	| parser |

	parser := #any asParser.

	self assert: parser parse: 'a'.

	self assert: parser fail: ''

!

testUnordered

	| parser |

	parser := #(1 2) asSet asParser.

	self assert: parser parse: #(1) to: 1.

	self assert: parser parse: #(2) to: 2.

	self assert: parser parse: #(1 2) to: 1 end: 1.

	self assert: parser parse: #(2 1) to: 2 end: 1.

	self assert: parser fail: #().

	self assert: parser fail: #(3)

! !

!PPExtensionTest methodsFor:'testing-stream'!

testStream

	stream := 'abc' readStream asPetitStream.

	self assert: stream class equals: PPStream.

	self assert: stream peek equals: $a.

	self assert: stream uncheckedPeek equals: $a.

	self assert: stream next equals: $a.

	self assert: stream asPetitStream equals: stream

!

testText

	| stream |

	stream := 'abc' asText asPetitStream.

	self assert: stream class equals: PPStream

! !

!PPExtensionTest class methodsFor:'documentation'!

version

    ^ '$Header: /cvs/stx/stx/goodies/petitparser/PPExtensionTest.st,v 1.4 2014-03-04 14:34:17 cg Exp $'

!

version_CVS

    ^ '$Header: /cvs/stx/stx/goodies/petitparser/PPExtensionTest.st,v 1.4 2014-03-04 14:34:17 cg Exp $'

!

version_SVN

    ^ '$Id: PPExtensionTest.st,v 1.4 2014-03-04 14:34:17 cg Exp $'

! !