parsers/java/PPJavaWhitespaceParser.st
changeset 436 e1c44b571db9
parent 435 3bc08fb90133
child 454 a9cd5ea7cc36
equal deleted inserted replaced
435:3bc08fb90133 436:e1c44b571db9
     5 PPParser subclass:#PPJavaWhitespaceParser
     5 PPParser subclass:#PPJavaWhitespaceParser
     6 	instanceVariableNames:'separator'
     6 	instanceVariableNames:'separator'
     7 	classVariableNames:''
     7 	classVariableNames:''
     8 	poolDictionaries:''
     8 	poolDictionaries:''
     9 	category:'PetitJava-Core'
     9 	category:'PetitJava-Core'
    10 !
       
    11 
       
    12 PPJavaWhitespaceParser comment:''
       
    13 !
    10 !
    14 
    11 
    15 !PPJavaWhitespaceParser methodsFor:'as yet unclassified'!
    12 !PPJavaWhitespaceParser methodsFor:'as yet unclassified'!
    16 
    13 
    17 acceptsEpsilon
    14 acceptsEpsilon