parsers/java/extensions.st
changeset 435 3bc08fb90133
child 454 a9cd5ea7cc36
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/parsers/java/extensions.st	Tue Apr 21 14:57:16 2015 +0100
@@ -0,0 +1,25 @@
+"{ Package: 'stx:goodies/petitparser/parsers/java' }"!
+
+!Integer class methodsFor:'*PetitJava-AST'!
+
+readFromJavaString: aString
+	^ Number readFromString: (
+		(aString asLowercase beginsWith: '0x')
+			ifTrue: [ '16r', (aString allButFirst: 2) ]
+			ifFalse: [ aString size > 1 & aString first = $0
+				ifTrue: [ '8r', aString ]
+				ifFalse: [ aString ]])
+! !
+
+!PPParser methodsFor:'*petitjava-operations'!
+
+javaToken
+	^ PPJavaTokenParser on: self
+! !
+
+!stx_goodies_petitparser_parsers_java class methodsFor:'documentation'!
+
+extensionsVersion_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !