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

"{ NameSpace: Smalltalk }"

PPCompositeParserTest subclass:#PPTokenizedSmalltalkGrammarTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'PetitCompiler-Extras-Tests-Smalltalk'

!

!PPTokenizedSmalltalkGrammarTests class methodsFor:'accessing'!

resources

    ^ (OrderedCollection with: PPTokenizedSmalltalkGrammarResource)

        addAll: super resources;

        yourself

! !

!PPTokenizedSmalltalkGrammarTests methodsFor:'accessing'!

context

    ^ PPCContext new

!

parserClass

    ^ Smalltalk at: #PPTokenizedSmalltalkGrammar

!

parserInstanceFor: aSymbol

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

!

testSmalltalkWhitespace

    | whitespaces |

    whitespaces :=	parser class methodDictionary keys select: [:e | e beginsWith: 'smalltalk_ws' ].

    self assert: whitespaces size = 1.

! !

!PPTokenizedSmalltalkGrammarTests 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 ]

! !

!PPTokenizedSmalltalkGrammarTests 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

! !

!PPTokenizedSmalltalkGrammarTests 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