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/compiler' }"
PPCDelegateNode subclass:#PPCNotNode
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Nodes'
!
!PPCNotNode methodsFor:'accessing'!
prefix
^ #not
! !
!PPCNotNode methodsFor:'analysis'!
firstCharSet
^ PPCharSetPredicate on: [:e | true ]
!
isFirstSetTerminal
^ true
! !
!PPCNotNode methodsFor:'compiling'!
compileWith: compiler effect: effect id: id
compiler startMethod: id.
compiler addVariable: 'memento'.
compiler add: (compiler smartRemember: child).
compiler call: (child compileWith: compiler).
compiler add: (compiler smartRestore: child).
compiler add: '^ error ifFalse: [ self error ] ifTrue: [ self clearError. nil ]'.
^ compiler stopMethod.
! !
!PPCNotNode methodsFor:'optimizing'!
optimize: params
(self rewrite: params) ifTrue: [
^ true.
].
^ super optimize: params.
!
rewrite: changeStatus
(child isKindOf: PPCAbstractLiteralNode) ifTrue: [
changeStatus change.
^ PPCNotLiteralNode new
name: self name;
literal: self child literal;
yourself
].
(child isKindOf: PPCMessagePredicateNode) ifTrue: [
changeStatus change.
^ PPCNotMessagePredicateNode new
name: self name;
message: child message;
yourself
].
(child isKindOf: PPCCharSetPredicateNode) ifTrue: [
changeStatus change.
^ PPCNotCharSetPredicateNode new
name: self name;
predicate: child predicate;
yourself
].
"Can do the fast version, because we throw away the result and return nil"
(self allNodes anySatisfy: [ :node | node asFast ~= node ]) ifTrue: [
changeStatus change.
self replace: child with: (child transform: [:node | node asFast]).
]
! !