Merged JK's version from Monticello
Name: PetitParser-JanKurs.260
Author: JanKurs
Time: 17-11-2014, 12:09:05.490 PM
UUID: 07411cef-ef69-40db-9d93-d4018a9b34ef
Name: PetitTests-JanKurs.65
Author: JanKurs
Time: 17-11-2014, 12:09:04.530 PM
UUID: f98d613f-f4ce-4e0e-a7e9-310ee7c7e7a6
Name: PetitSmalltalk-JanKurs.78
Author: JanKurs
Time: 14-11-2014, 05:05:07.765 PM
UUID: 3d68330d-44d5-46c3-9705-97f627b3edbc
Name: PetitCompiler-JanKurs.71
Author: JanKurs
Time: 18-11-2014, 09:48:35.425 AM
UUID: 06352c33-3c76-4382-8536-0cc48e225117
Name: PetitCompiler-Tests-JanKurs.21
Author: JanKurs
Time: 17-11-2014, 05:51:53.134 PM
UUID: 8d6c0799-14e7-4871-8d91-8b0f9886db83
Name: PetitCompiler-Benchmarks-JanKurs.2
Author: JanKurs
Time: 17-11-2014, 05:51:07.887 PM
UUID: d5e3a980-7871-487a-a232-e3ca93fc2483
"{ Package: 'stx:goodies/petitparser/tests' }"
PPCompositeParser subclass:#PPLambdaParser
instanceVariableNames:'expression abstraction application variable'
classVariableNames:''
poolDictionaries:''
category:'PetitTests-Examples'
!
!PPLambdaParser class methodsFor:'curch-booleans'!
and
^ self parse: '\p.\q.((p q) p)'
!
false
^ self parse: '\x.\y.y'
!
ifthenelse
^ self parse: '\p.p'
!
not
^ self parse: '\p.\a.\b.((p b) a)'
!
or
^ self parse: '\p.\q.((p p) q)'
!
true
^ self parse: '\x.\y.x'
! !
!PPLambdaParser methodsFor:'accessing'!
start
^ expression end
! !
!PPLambdaParser methodsFor:'productions'!
abstraction
^ $\ asParser trim , variable , $. asParser trim , expression ==> [ :node | Array with: node second with: node fourth ]
!
application
^ $( asParser trim , expression , expression , $) asParser trim ==> [ :node | Array with: node second with: node third ]
!
expression
^ variable / abstraction / application
!
variable
^ (#letter asParser , #word asParser star) flatten trim
! !
!PPLambdaParser class methodsFor:'documentation'!
version
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParser.st,v 1.4 2014-03-04 14:34:00 cg Exp $'
!
version_CVS
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParser.st,v 1.4 2014-03-04 14:34:00 cg Exp $'
!
version_HG
^ '$Changeset: <not expanded> $'
!
version_SVN
^ '$Id: PPLambdaParser.st,v 1.4 2014-03-04 14:34:00 cg Exp $'
! !