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

"{ NameSpace: Smalltalk }"

PPCAbstractParserTest subclass:#PPCExpressionGrammarVerificationTest
	instanceVariableNames:'parser result context resource fileResources'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Extras-Tests-Expressions'
!


!PPCExpressionGrammarVerificationTest class methodsFor:'accessing'!

resources
    ^ (OrderedCollection with: PPCResources)
        addAll: super resources;
        yourself
! !

!PPCExpressionGrammarVerificationTest class methodsFor:'testing'!

isAbstract
    ^ self == PPCExpressionGrammarVerificationTest

    "Modified: / 29-07-2015 / 18:50:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !

!PPCExpressionGrammarVerificationTest methodsFor:'accessing'!

petitParserClass
    "Return the name of the petit parser to compile"

    ^ PPExpressionGrammar

    "Modified: / 29-07-2015 / 17:08:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !

!PPCExpressionGrammarVerificationTest methodsFor:'setup'!

setUp
    super setUp.
    fileResources := (self resources detect: [:e | e = PPCResources ]) current.
!

tearDown
    super tearDown.
    "
    self compiledSmalltalkGrammarClass isNil ifFalse:[ 
        self compiledSmalltalkGrammarClass removeFromSystem
    ].
    "
! !

!PPCExpressionGrammarVerificationTest methodsFor:'tests'!

testExpressions
    | compiledParser petitParser expected actual |
    petitParser := self petitParser.
    compiledParser := self compiledParser.
    
    fileResources expressionSourcesMedium do: [ :source |
        expected := petitParser parse: source.
        expected isPetitFailure ifFalse: [ 
                actual := (compiledParser parse: source withContext: self context). 
            self assert: expected equals: actual.
        ]
    ].

    "Modified: / 29-07-2015 / 17:03:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!

testSanity
    | compiledParser petitParser source |
    petitParser := self petitParser.
    compiledParser := self compiledParser.
    
    source := fileResources expressionOfSize: 100. 
    result := petitParser parse: source.
    
    self assert: (((self deepFlattened: result) select: [ :e | e isNumber ]) size) = 100.
    self assert: (((self deepFlattened: result)select: [ :e | e isNumber ]) size) = 100.

    "Modified: / 29-07-2015 / 17:03:17 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !

!PPCExpressionGrammarVerificationTest methodsFor:'utilities'!

deepFlatten: anObject into: aCollection
    (anObject isCollection and:[anObject isString not]) ifTrue:[
        anObject do:[:each|self deepFlatten: each into: aCollection]
    ] ifFalse:[
        aCollection add: anObject 
    ].
    ^aCollection
!

deepFlattened: aCollection
    ^self deepFlatten: aCollection into: OrderedCollection new.
! !

!PPCExpressionGrammarVerificationTest class methodsFor:'documentation'!

version
    ^ 'Path: stx/goodies/petitparser/compiler/tests/extras/PPCExpressionsVerificationTest.st, Version: 1.0, User: jv, Time: 2015-07-29T18:56:55.770+01'
!

version_HG
    ^ 'Path: stx/goodies/petitparser/compiler/tests/extras/PPCExpressionsVerificationTest.st, Version: 1.0, User: jv, Time: 2015-07-29T18:56:55.770+01'
! !