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

"{ NameSpace: Smalltalk }"

PPCompositeParserTest subclass:#PPCompiledSmalltalkGrammarTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'PetitCompiler-Tests-Smalltalk'

!

!PPCompiledSmalltalkGrammarTests class methodsFor:'accessing'!

packageNamesUnderTest

	^ #('PetitSmalltalk')

!

resources

	^ (OrderedCollection with: PPCompiledSmalltalkGrammarResource)

		addAll: super resources;

		yourself

! !

!PPCompiledSmalltalkGrammarTests methodsFor:'accessing'!

context

	^ PPCContext new

!

parserClass

	^ Smalltalk at: #PPCompiledSmalltalkGrammar

!

parserInstanceFor: aSymbol

	^ (Smalltalk at: #PPCompiledSmalltalkGrammar) new startSymbol: aSymbol

! !

!PPCompiledSmalltalkGrammarTests methodsFor:'testing'!

testArray1

	self 

		parse: '{}'

		rule: #array

!

testArray2

	self 

		parse: '{self foo}'

		rule: #array

!

testArray3

	self 

		parse: '{self foo. self bar}'

		rule: #array

!

testArray4

	self 

		parse: '{self foo. self bar.}'

		rule: #array

!

testAssignment1

	self 

		parse: '1'

		rule: #expression

!

testAssignment2

	self 

		parse: 'a := 1'

		rule: #expression

!

testAssignment3

	self 

		parse: 'a := b := 1'

		rule: #expression

!

testAssignment4

	PPSmalltalkGrammar allowUnderscoreAssignment

		ifTrue: [ self parse: 'a _ 1' rule: #expression ]

		ifFalse: [ self fail: 'a _ 1' rule: #expression ]

!

testAssignment5

	PPSmalltalkGrammar allowUnderscoreAssignment

		ifTrue: [ self parse: 'a _ b _ 1' rule: #expression ]

		ifFalse: [ self fail: 'a _ b _ 1' rule: #expression ]

!

testAssignment6

	self 

		parse: 'a := (b := c)'

		rule: #expression

!

testComment1

	self 

		parse: '1"one"+2'

		rule: #expression

!

testComment2

	self 

		parse: '1 "one" +2'

		rule: #expression

!

testComment3

	self 

		parse: '1"one"+"two"2'

		rule: #expression

!

testComment4

	self 

		parse: '1"one""two"+2'

		rule: #expression

!

testComment5

	self 

		parse: '1"one"	"two"+2'

		rule: #expression

!

testCompleteness

	"This test asserts that all subclasses override all test methods."

	self class allSubclasses do: [ :subclass |

		self class testSelectors do: [ :selector |

			self 

				assert: (selector = #testCompleteness or: [ subclass selectors includes: selector ])

				description: subclass printString , ' does not test ' , selector printString ] ]

!

testMethod1

	self 

		parse: 'negated ^ 0 - self'

		rule: #method

!

testMethod2

	"Spaces at the beginning of the method."

	self 

		parse: '	  negated ^ 0 - self'

		rule: #method

!

testMethod3

	"Spaces at the end of the method."

	self 

		parse: '	negated ^ 0 - self  '

		rule: #method

!

testSequence1

	self 

		parse: '| a | 1 . 2'

		rule: #sequence

!

testStatements1

	self 

		parse: '1'

		rule: #sequence

!

testStatements2

	self 

		parse: '1 . 2'

		rule: #sequence

!

testStatements3

	self 

		parse: '1 . 2 . 3'

		rule: #sequence

!

testStatements4

	self 

		parse: '1 . 2 . 3 .'

		rule: #sequence

!

testStatements5

	self 

		parse: '1 . . 2'

		rule: #sequence

!

testStatements6

	self 

		parse: '1. 2'

		rule: #sequence

!

testStatements7

	self 

		parse: '. 1'

		rule: #sequence

!

testStatements8

	self 

		parse: '.1'

		rule: #sequence

!

testStatements9

	self 

		parse: ''

		rule: #statements

!

testTemporaries1

	self 

		parse: '| a |'

		rule: #sequence

!

testTemporaries2

	self 

		parse: '| a b |'

		rule: #sequence

!

testTemporaries3

	self 

		parse: '| a b c |'

		rule: #sequence

!

testVariable1

	self 

		parse: 'trueBinding'

		rule: #primary

!

testVariable2

	self 

		parse: 'falseBinding'

		rule: #primary

!

testVariable3

	self 

		parse: 'nilly'

		rule: #primary

!

testVariable4

	self 

		parse: 'selfish'

		rule: #primary

!

testVariable5

	self 

		parse: 'supernanny'

		rule: #primary

!

testVariable6

	PPSmalltalkGrammar allowUnderscoreAssignment ifFalse: [

		self 

			parse: 'super_nanny'

			rule: #primary ]

!

testVariable7

	PPSmalltalkGrammar allowUnderscoreAssignment ifFalse: [

		self 

			parse: '__gen_var_123__'

			rule: #primary ]

! !

!PPCompiledSmalltalkGrammarTests methodsFor:'testing-blocks'!

testArgumentsBlock1

	self 

		parse: '[ :a | ]'

		rule: #block

!

testArgumentsBlock2

	self 

		parse: '[ :a :b | ]'

		rule: #block

!

testArgumentsBlock3

	self 

		parse: '[ :a :b :c | ]'

		rule: #block

!

testBlock1

	self 

		parse: '[]'

		rule: #block

!

testComplexBlock1

	self 

		parse: '[ :a | | b | c ]'

		rule: #block

!

testComplexBlock2

	self 

		parse: '[:a||b|c]'

		rule: #block

!

testSimpleBlock1

	self 

		parse: '[ ]'

		rule: #block

!

testSimpleBlock2

	self 

		parse: '[ nil ]'

		rule: #block

!

testSimpleBlock3

	self 

		parse: '[ :a ]'

		rule: #block

!

testStatementBlock1

	self 

		parse: '[ nil ]'

		rule: #block

!

testStatementBlock2

	self 

		parse: '[ | a | nil ]'

		rule: #block

!

testStatementBlock3

	self 

		parse: '[ | a b | nil ]'

		rule: #block

! !

!PPCompiledSmalltalkGrammarTests methodsFor:'testing-literals'!

testArrayLiteral1

	self 

		parse: '#()'

		rule: #arrayLiteral

!

testArrayLiteral10

	self 

		parse: '#((1 2) #(1 2 3))'

		rule: #arrayLiteral

!

testArrayLiteral11

	self 

		parse: '#([1 2] #[1 2 3])'

		rule: #arrayLiteral

!

testArrayLiteral2

	self 

		parse: '#(1)'

		rule: #arrayLiteral

!

testArrayLiteral3

	self 

		parse: '#(1 2)'

		rule: #arrayLiteral

!

testArrayLiteral4

	self 

		parse: '#(true false nil)'

		rule: #arrayLiteral

!

testArrayLiteral5

	self 

		parse: '#($a)'

		rule: #arrayLiteral

!

testArrayLiteral6

	self 

		parse: '#(1.2)'

		rule: #arrayLiteral

!

testArrayLiteral7

	self 

		parse: '#(size #at: at:put: #''=='')'

		rule: #arrayLiteral

!

testArrayLiteral8

	self 

		parse: '#(''baz'')'

		rule: #arrayLiteral

!

testArrayLiteral9

	self 

		parse: '#((1) 2)'

		rule: #arrayLiteral

!

testByteLiteral1

	self 

		parse: '#[]'

		rule: #byteLiteral

!

testByteLiteral2

	self 

		parse: '#[0]'

		rule: #byteLiteral

!

testByteLiteral3

	self 

		parse: '#[255]'

		rule: #byteLiteral

!

testByteLiteral4

	self 

		parse: '#[ 1 2 ]'

		rule: #byteLiteral

!

testByteLiteral5

	self 

		parse: '#[ 2r1010 8r77 16rFF ]'

		rule: #byteLiteral

!

testCharLiteral1

	self 

		parse: '$a'

		rule: #charLiteral

!

testCharLiteral2

	self 

		parse: '$ '

		rule: #charLiteral

!

testCharLiteral3

	self 

		parse: '$$'

		rule: #charLiteral

!

testNumberLiteral1

	self 

		parse: '0'

		rule: #numberLiteral

!

testNumberLiteral10

	self 

		parse: '10r10'

		rule: #numberLiteral

!

testNumberLiteral11

	self 

		parse: '8r777'

		rule: #numberLiteral

!

testNumberLiteral12

	self 

		parse: '16rAF'

		rule: #numberLiteral

!

testNumberLiteral13

	self 

		parse: '16rCA.FE'

		rule: #numberLiteral

!

testNumberLiteral14

	self 

		parse: '3r-22.2'

		rule: #numberLiteral

!

testNumberLiteral15

	self 

		parse: '0.50s2'

		rule: #numberLiteral

!

testNumberLiteral2

	self 

		parse: '0.1'

		rule: #numberLiteral

!

testNumberLiteral3

	self 

		parse: '123'

		rule: #numberLiteral

!

testNumberLiteral4

	self 

		parse: '123.456'