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

"{ NameSpace: Smalltalk }"

PPAbstractParserTest subclass:#PPCVerificationTest

	instanceVariableNames:'parser result context resource'

	classVariableNames:''

	poolDictionaries:''

	category:'PetitCompiler-Tests-Core'

!

!PPCVerificationTest class methodsFor:'as yet unclassified'!

resources

	^ (OrderedCollection with: PPCompiledJavaResource with: PPCompiledSmalltalkGrammarResource)

		addAll: super resources;

		yourself

! !

!PPCVerificationTest methodsFor:'tests - verification Java'!

compiledJavaSyntax

	^ (Smalltalk at: #PPCompiledJavaSyntax) new

!

compiledSmalltalkGrammar

	^ (Smalltalk at: #PPCompiledSmalltalkGrammar) new

!

context	

	^ context := PPCProfilingContext new

!

javaSyntax

	^ PPJavaSyntax new

!

setUp

	super setUp.

!

smalltalkGrammar

	^ PPSmalltalkGrammar new

!

testJava

	| compiledParser normalParser |

	normalParser := self javaSyntax.

	compiledParser := self compiledJavaSyntax.

	PPCBenchmarkResources new javaSourcesBig do: [ :source |

		result := normalParser parse: source.

		result isPetitFailure not ifTrue: [ 

			self assert: (compiledParser parse: source withContext: self context)

				  equals: result

		]

	].

!

testJavaTimer

	| compiledParser normalParser source |

	normalParser := self javaSyntax.

	source := FileStream fileNamed: '../java-src/java/util/Timer.java'.

	result := normalParser parse: source.

	result isPetitFailure not ifTrue: [ 

		compiledParser := self compiledJavaSyntax.

		self assert: (compiledParser parse: source withContext: self context)

			  equals: result

	]

! !

!PPCVerificationTest methodsFor:'tests - verification Smalltalk'!

testSmalltalk

	| compiledParser normalParser expected actual |

	normalParser := self smalltalkGrammar.

	compiledParser := self compiledSmalltalkGrammar.

	PPCBenchmarkResources new smalltalkSourcesBig do: [ :source |

		expected := normalParser parse: source.

		expected isPetitFailure ifFalse: [ 

	 		actual := (compiledParser parse: source withContext: self context). 

			self assert: expected equals: actual.

		]

	].

!

testSmalltalkClass

	| compiledParser normalParser source |

	normalParser := self smalltalkGrammar.

	compiledParser := self compiledSmalltalkGrammar.

	Class methods do: [ :m |

		source := m sourceCode.

		self assert: (normalParser parse: source) 

			  equals: (compiledParser parse: source withContext: self context). 

	].

!

testSmalltalkObject

	| compiledParser normalParser source |

	normalParser := self smalltalkGrammar.

	compiledParser := self compiledSmalltalkGrammar.

	Object methods do: [ :m |

		source := m sourceCode.

		self assert: (normalParser parse: source) 

			  equals: (compiledParser parse: source withContext: self context). 

	].

! !