Squeak-dev October 2014

squeak-dev@lists.squeakfoundation.org

46 participants
184 discussions

The Trunk: Tests-ul.304.mcz
by commits＠source.squeak.org 22 Oct '14

22 Oct '14

Levente Uzonyi uploaded a new version of Tests to project The Trunk: http://source.squeak.org/trunk/Tests-ul.304.mcz ==================== Summary ==================== Name: Tests-ul.304 Author: ul Time: 21 October 2014, 4:59:20.64 pm UUID: 6778c29a-0c8f-4e38-9bed-26c6720b6503 Ancestors: Tests-eem.303 Be explicit and use CompiledMethod empty. =============== Diff against Tests-eem.303 =============== Item was changed: ----- Method: BlockLocalTemporariesRemovalTest>>assert:isChangedDuringParsingTo:withRemovalOfTemporariesNamed: (in category 'test helper') ----- assert: someCode isChangedDuringParsingTo: someOtherCode withRemovalOfTemporariesNamed: someTempNames | failBlock | self sourceCode: someCode. failBlock := [ self fail ]. [ self class compile: self sourceCode notifying: self + trailer: CompiledMethodTrailer empty - trailer: self class defaultMethodTrailer ifFail: failBlock ] on: UnusedVariable do: [ : aNotification | aNotification openMenuIn: [ : options : emptyCollection : someText | aNotification resume: (someTempNames anySatisfy: [ : tempName | someText beginsWith: tempName ]) ] ]. self assert: self sourceCode = someOtherCode!

1 0

The Trunk: Kernel-ul.880.mcz
by commits＠source.squeak.org 22 Oct '14

22 Oct '14

Levente Uzonyi uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-ul.880.mcz ==================== Summary ==================== Name: Kernel-ul.880 Author: ul Time: 21 October 2014, 4:56:17.427 pm UUID: 4b600072-456c-413f-8b7e-e3f1ae8340f3 Ancestors: Kernel-eem.879 Compile methods with the right trailer to avoid a #becomeForward: when the actual trailer is added. =============== Diff against Kernel-eem.879 =============== Item was changed: ----- Method: Behavior>>compile:notifying: (in category 'compiling') ----- compile: code notifying: requestor "Compile the argument, code, as source code in the context of the receiver and insEtall the result in the receiver's method dictionary. The second argument, requestor, is to be notified if an error occurs. The argument code is either a string or an object that converts to a string or a PositionableStream. This method also saves the source code." | methodAndNode | methodAndNode := self compile: code "a Text" notifying: requestor + trailer: (self defaultMethodTrailerIfLogSource: true) - trailer: self defaultMethodTrailer ifFail: [^nil]. methodAndNode method putSource: code fromParseNode: methodAndNode node inFile: 2 withPreamble: [:f | f cr; nextPut: $!!; nextChunkPut: 'Behavior method'; cr]. self addSelector: methodAndNode selector withMethod: methodAndNode method notifying: requestor. ^ methodAndNode selector! Item was added: + ----- Method: Behavior>>defaultMethodTrailerIfLogSource: (in category 'compiling') ----- + defaultMethodTrailerIfLogSource: logSource + + logSource ifFalse: [ ^self defaultMethodTrailer ]. + ^CompiledMethodTrailer sourcePointerInFile: 2! Item was changed: ----- Method: ClassDescription>>compile:classified:withStamp:notifying:logSource: (in category 'compiling') ----- compile: text classified: category withStamp: changeStamp notifying: requestor logSource: logSource + + | methodAndNode selector | + methodAndNode := self + compile: text asString + notifying: requestor + trailer: (self defaultMethodTrailerIfLogSource: logSource) + ifFail: [ ^nil ]. + selector := methodAndNode selector. - | methodAndNode | - methodAndNode := self compile: text asString notifying: requestor - trailer: self defaultMethodTrailer ifFail: [^nil]. logSource ifTrue: [ self logMethodSource: text forMethodWithNode: methodAndNode inCategory: category withStamp: changeStamp notifying: requestor. ]. + self addAndClassifySelector: selector withMethod: methodAndNode - self addAndClassifySelector: methodAndNode selector withMethod: methodAndNode method inProtocol: category notifying: requestor. + self instanceSide noteCompilationOf: selector meta: self isClassSide. + ^selector! - self instanceSide noteCompilationOf: methodAndNode selector meta: self isClassSide. - ^ methodAndNode selector! Item was changed: ----- Method: ClassDescription>>compile:environment:classified:withStamp:notifying:logSource: (in category 'compiling') ----- compile: text environment: anEnvironment classified: category withStamp: changeStamp notifying: requestor logSource: logSource | methodAndNode context methodNode | context := CompilationCue source: text class: self environment: anEnvironment requestor: requestor. methodNode := self newCompiler compile: context ifFail: [^ nil]. methodAndNode := CompiledMethodWithNode generateMethodFromNode: methodNode + trailer: (self defaultMethodTrailerIfLogSource: logSource). - trailer: self defaultMethodTrailer. logSource ifTrue: [ self logMethodSource: text forMethodWithNode: methodAndNode inCategory: category withStamp: changeStamp notifying: requestor. ]. self addAndClassifySelector: methodAndNode selector withMethod: methodAndNode method inProtocol: category notifying: requestor. self instanceSide noteCompilationOf: methodAndNode selector meta: self isClassSide. ^ methodAndNode selector! Item was changed: ----- Method: CompiledMethod>>decompileWithTemps (in category 'decompiling') ----- decompileWithTemps "Return the decompiled parse tree that represents self, but with the temp names obtained either by compiling the sourcecode, or directly if the method has temps in its trailer." | class selector tempNames source | class := self methodClass ifNil: [Object]. selector := self selector ifNil: [self defaultSelector]. self holdsTempNames ifTrue: [tempNames := self tempNamesString] ifFalse: ["No source file or no source (e.g. doits) and no temp names -- decompile without temp names " ((self fileIndex > 0 and: [(SourceFiles at: self fileIndex) isNil]) or: [(source := self getSourceFromFile) isNil]) ifTrue: [^self decompile]. tempNames := (class newCompiler parse: source asString in: class notifying: nil) + generate: CompiledMethodTrailer empty; - generate: CompiledMethodTrailer defaultMethodTrailer; schematicTempNamesString]. ^(self decompilerClass new withTempNames: tempNames) decompile: selector in: class method: self methodForDecompile! Item was added: + ----- Method: CompiledMethodTrailer class>>sourcePointerInFile: (in category 'as yet unclassified') ----- + sourcePointerInFile: fileIndex + + ^self new + sourcePointer: (SourceFiles + sourcePointerFromFileIndex: fileIndex + andPosition: (SourceFiles at: fileIndex) position); + yourself + !

1 0

The Trunk: Nebraska-ul.38.mcz
by commits＠source.squeak.org 21 Oct '14

21 Oct '14

Levente Uzonyi uploaded a new version of Nebraska to project The Trunk: http://source.squeak.org/trunk/Nebraska-ul.38.mcz ==================== Summary ==================== Name: Nebraska-ul.38 Author: ul Time: 21 October 2014, 5:13:14.046 pm UUID: 4891da96-28c4-4a50-84d6-6dd4a8b109d0 Ancestors: Nebraska-nice.37 There's no guarantee for port 9999 being available. Use whatever port socket1 got. =============== Diff against Nebraska-nice.37 =============== Item was changed: ----- Method: ArbitraryObjectSocketTestCase>>setUp (in category 'setup') ----- setUp "it would be nice to have an in-image loopback socket, so that the tests do not need the underlying platform's sockets to behave nicely" socket1 := Socket newTCP. socket2 := Socket newTCP. socket1 listenOn: 9999. + socket2 connectTo: (NetNameResolver localHostAddress) port: socket1 port. - socket2 connectTo: (NetNameResolver localHostAddress) port: 9999. socket1 waitForConnectionFor: 60. socket2 waitForConnectionFor: 60. end1 := ArbitraryObjectSocket on: socket1. end2 := ArbitraryObjectSocket on: socket2. ! Item was changed: ----- Method: StringSocketTestCase>>setUp (in category 'running') ----- setUp "it would be nice to have an in-image loopback socket, so that the tests do not need the underlying platform's sockets to behave nicely" socket1 := Socket newTCP. socket2 := Socket newTCP. socket1 listenOn: 9999. + socket2 connectTo: (NetNameResolver localHostAddress) port: socket1 port. - socket2 connectTo: (NetNameResolver localHostAddress) port: 9999. socket1 waitForConnectionFor: 60. socket2 waitForConnectionFor: 60. end1 := StringSocket on: socket1. end2 := StringSocket on: socket2. !

1 0

The Trunk: Collections-cmm.585.mcz
by commits＠source.squeak.org 21 Oct '14

21 Oct '14

Chris Muller uploaded a new version of Collections to project The Trunk: http://source.squeak.org/trunk/Collections-cmm.585.mcz ==================== Summary ==================== Name: Collections-cmm.585 Author: cmm Time: 20 October 2014, 7:48:42.698 pm UUID: 954b50eb-27a5-41e8-9b9f-a49f39336c75 Ancestors: Collections-ul.584 Speed up visiting with #addNewElement:. It provides the common pattern of checking for inclusion, followed by add:, in just one scan, instead of two. =============== Diff against Collections-ul.584 =============== Item was added: + ----- Method: Set>>addNewElement: (in category 'adding') ----- + addNewElement: anObject + "Ensure anObject is part of the receiver. Answer whether its membership was newly acquired." + | index | + index := self scanFor: anObject. + ^ (array at: index) + ifNil: + [ self + atNewIndex: index + put: anObject asSetElement. + true ] + ifNotNil: [ false ]!

1 0

Error when Opening Repo from MC Browser
by Sean P. DeNigris 20 Oct '14

20 Oct '14

Squeak4.5 latest update: #13965 1. In MC Browser, select http://source.squeak.org/trunk 2. Click open I get "Error: subscript is out of bounds: -2" when SocketStream>>upToAll:limit: computes a negative index via "lastRead - sz + 2", which is (0 - 4 + 2). ----- Cheers, Sean -- View this message in context: http://forum.world.st/Error-when-Opening-Repo-from-MC-Browser-tp4785340.html Sent from the Squeak - Dev mailing list archive at Nabble.com.

3 3

Re: [Pharo-dev] Image Segment semantics and weakness
by Eliot Miranda 20 Oct '14

20 Oct '14

On Mon, Oct 20, 2014 at 8:26 AM, stepharo <stepharo(a)free.fr> wrote: > While I as a big fan of imageSegment and proposed to mariano to work on > imageSegment2 (it was the original idea for his phd) > he convinced us that imagesegment were not worth their complexity. > I absolutely agree. > So why do you want to have imageSegment? > Because of backwards-compatibility. If Spur does not provide image segments then the barrier to entry for Terf, eToys and Squeak may be too high. Spur is supposed to be a plug-in replacement for Cog, not something that requires lots of effort to port to. > Stef > > > > On 20/10/14 03:01, Eliot Miranda wrote: > > Hi All, > > I want to check my understanding of reference semantics for image > segments as I'm close to completing the Spur implementation. Specifically > the question is whether objects reachable only through weak pointers should > be included in an image segment or not. > > Remember that an image segment is created from the transitive closure of > an Array of root objects, the *segment roots*. i.e. we can think of an > image segment as a set of objects created by tracing the object graph from > the segment roots. > > The segment always includes the segment roots. Except for the roots, > objects are excluded from the segment that are also reachable form the > roots of the system (the *system roots*, effectively the root > environment, Smalltalk, and the stack of the current process). > > Consider a weak array in the transitive closure that is not reachable > from the system roots, and hence should be included in the segment. > Objects referenced from that weak array may be in one of three categories > > - reachable from the system roots (and hence not to be included in the > segment) > - *not* reachable form the system roots, but reachable from the segment > roots via strong pointers (and hence to be included in the segment) > - *not* reachable form the system roots, *not* reachable from the segment > roots via strong pointers > > Should this last category be included or excluded from the segment? I > think that it makes no difference, and excluding them is only an > optimization. The argument is as follows. Imagine that immediately after > loading the image segment there is a garbage collection. That garbage > collection will collect all the objects in the last category as they are > only reachable from the weak arrays in the segment. Hence we are free to > follow weak references as if they are strong when we create the image > segment, leaving it to subsequent events to reclaim those objects. > > An analogous argument accounts for objects reachable from ephemerons. > Is my reasoning sound? > -- > best, > Eliot > > > -- best, Eliot

2 1

Shrinking
by Colin Putney 20 Oct '14

20 Oct '14

Hi folks, What's the state of the art in shrinking these days? I'm starting a new web project with Squeak, and I want to create a smallish base image that I can use to build up images for development and deployment. It doesn't have to be absolutely minimal, just unloading unnecessary code and cleaning up the registries, clearing caches etc would fine. I tried "Smalltalk shrinkAndCleanDesktop", but it complains about obsolete behaviours still being present, so I guess there's some bit rot there. Suggestions? Colin

10 24

Re: [squeak-dev] The Inbox: SMBase-nice.132.mcz
by Levente Uzonyi 19 Oct '14

19 Oct '14

I don't know who and why pushed these packages to The Inbox, but I moved them to The Treated Inbox. Levente

1 0

Contribution Instructions
by Sean P. DeNigris 19 Oct '14

19 Oct '14

Does something exist like https://pharo.org/contribute-propose-fix for Pharo? An apparent new user is asking a lot of very basic questions about how to contribute a fix. On http://stackoverflow.com/questions/26442071/how-to-check-out-code-for-squea…, Tobias suggested "A New Community Development Model". I went to look myself and it didn't really seem to be geared toward newbies. Is there anywhere such a user can go that explains the process from start to finish? ----- Cheers, Sean -- View this message in context: http://forum.world.st/Contribution-Instructions-tp4785338.html Sent from the Squeak - Dev mailing list archive at Nabble.com.

2 1

The Inbox: ShoutCore-ul.42.mcz
by commits＠source.squeak.org 19 Oct '14

19 Oct '14

A new version of ShoutCore was added to project The Inbox: http://source.squeak.org/inbox/ShoutCore-ul.42.mcz ==================== Summary ==================== Name: ShoutCore-ul.42 Author: ul Time: 8 July 2014, 2:38:44.976 pm UUID: 071b2588-3dfb-433a-be3c-6db67e8f07dd Ancestors: ShoutCore-nice.41, ShoutCore-ul.41 - merged - use #encodedCharSet where possible =============== Diff against ShoutCore-nice.41 =============== Item was changed: Object subclass: #SHParserST80 + instanceVariableNames: 'classOrMetaClass source workspace arguments sourcePosition currentToken currentTokenFirst temporaries instanceVariables errorBlock currentTokenSourcePosition blockDepth bracketDepth ranges environment encodedCharSet' - instanceVariableNames: 'classOrMetaClass source workspace arguments sourcePosition currentToken currentTokenFirst temporaries instanceVariables errorBlock currentTokenSourcePosition blockDepth bracketDepth ranges environment' classVariableNames: '' poolDictionaries: '' category: 'ShoutCore-Parsing'! !SHParserST80 commentStamp: 'tween 8/16/2004 15:44' prior: 0! I am a Smalltalk method / expression parser. Rather than creating an Abstract Syntax Tree, I create a sequence of SHRanges (in my 'ranges' instance variable), which represent the tokens within the String I am parsing. I am used by a SHTextStylerST80 to parse method source strings. I am able to parse incomplete / incorrect methods, and so can be used to parse methods that are being edited. My 'source' instance variable should be set to the string to be parsed. My 'classOrMetaClass' instance var must be set to the class or metaClass for the method source so that I can correctly resolve identifiers within the source. If this is nil , I parse the source as an expression (i.e. a doIt expression). My 'workspace' instance variable can be set to a Workspace, so that I can resolve workspace variables. My 'environment' instance variable is the global namespace (this is initialized to Smalltalk, but can be set to a different environment). Example 1. ranges := SHParserST80 new classOrMetaClass: Object; source: 'testMethod ^self'; parse; ranges ! Item was changed: ----- Method: SHParserST80>>currentChar (in category 'scan') ----- currentChar + ^source at: sourcePosition ifAbsent: nil! - ^source at: sourcePosition ifAbsent: [nil]! Item was changed: ----- Method: SHParserST80>>isKeyword (in category 'token testing') ----- isKeyword "This method assumes that currentTokenFirst is a non-letter character when currentToken is nil." + ^((encodedCharSet isLetter: currentTokenFirst) or: [ - ^(currentTokenFirst isLetter or: [ currentTokenFirst == $_ and: [ currentToken notNil and: [ currentToken size > 1 and: [ self allowUnderscoreSelectors ] ] ] ]) and: [ currentToken last == $: ]! Item was changed: ----- Method: SHParserST80>>isName (in category 'token testing') ----- isName "This method assumes that currentTokenFirst is a non-letter character when currentToken is nil." + ^((encodedCharSet isLetter: currentTokenFirst) + or: [ currentTokenFirst == $_ + and: [ currentToken notNil + and: [ currentToken size > 1 + and: [ self allowUnderscoreSelectors ] ] ] ]) + and: [ (encodedCharSet isAlphaNumeric: currentToken last) + or: [ currentToken last == $_ + and: [ self allowUnderscoreSelectors ] ] ] ! - ^(currentTokenFirst isLetter or: [ - currentTokenFirst == $_ and: [ - currentToken notNil and: [ - currentToken size > 1 and: [ - self allowUnderscoreSelectors ] ] ] ]) and: [ - currentToken last isAlphaNumeric or: [ - currentToken last == $_ and: [ - self allowUnderscoreSelectors ] ] ] ! Item was changed: ----- Method: SHParserST80>>isSelectorCharacter: (in category 'character testing') ----- isSelectorCharacter: aCharacter + (encodedCharSet isAlphaNumeric: aCharacter) ifTrue: [^false]. - aCharacter isAlphaNumeric ifTrue: [^false]. aCharacter isSeparator ifTrue:[^false]. ('"#$'':().;[]{}^_' includes: aCharacter) ifTrue:[^false]. aCharacter asciiValue = 30 ifTrue: [^false "the doIt char"]. aCharacter asciiValue = 0 ifTrue: [^false]. "Any other char is ok as a binary selector char." ^true ! Item was changed: ----- Method: SHParserST80>>parseByteArray (in category 'parse') ----- parseByteArray [currentTokenFirst == $]] whileFalse: [ + (encodedCharSet isDigit: currentTokenFirst) - currentTokenFirst isDigit ifTrue: [ "do not parse the number, can be time consuming" self scanPast: #number] ifFalse: [ self failWhen: currentTokenFirst == $. . self error]]. self scanPast: #byteArrayEnd! Item was changed: ----- Method: SHParserST80>>parseExternalCall (in category 'parse') ----- parseExternalCall [self scanNext. ((Smalltalk at: #ExternalFunction) callingConventionModifierFor: currentToken) notNil] whileTrue. self failUnless: currentToken notNil. self scanPast: #externalCallType. currentToken = '*' ifTrue: [self scanPast: #externalCallTypePointerIndicator]. + (encodedCharSet isDigit: currentTokenFirst) - currentTokenFirst isDigit ifTrue: [self scanPast: #integer] ifFalse: [ self failUnless: currentTokenFirst == $'. self parseString]. self failUnless: currentTokenFirst == $(. self scanPast: #leftParenthesis. [currentTokenFirst ~= $)] whileTrue: [ self failUnless: currentToken notNil. self scanPast: #externalCallType. currentToken = '*' ifTrue: [self scanPast: #externalCallTypePointerIndicator]]. self scanPast: #rightParenthesis. currentToken = 'module:' ifTrue: [ self scanPast: #module. self parseStringOrSymbol ]. currentToken = 'error:' ifTrue: [ self scanPast: #primitive. "there's no rangeType for error" self isName ifTrue: [ self scanPast: #patternTempVar ] ifFalse: [ self parseStringOrSymbol ] ]. self failUnless: currentToken = '>'. self scanPast: #primitiveOrExternalCallEnd! Item was changed: ----- Method: SHParserST80>>parseLiteral: (in category 'parse') ----- parseLiteral: inArray currentTokenFirst == $$ ifTrue: [ | pos | self failWhen: self currentChar isNil. self rangeType: #'$'. pos := currentTokenSourcePosition + 1. self nextChar. ^self scanPast: #character start: pos end: pos]. + (encodedCharSet isDigit: currentTokenFirst) - currentTokenFirst isDigit ifTrue: [ "do not parse the number, can be time consuming" ^self scanPast: #number]. currentToken = '-' ifTrue: [ | c | c := self currentChar. + (inArray and: [c isNil or: [(encodedCharSet isDigit: c) not]]) - (inArray and: [c isNil or: [c isDigit not]]) ifTrue: [ "single - can be a symbol in an Array" ^self scanPast: #symbol]. self scanPast: #-. self failWhen: currentToken isNil. "token isNil ifTrue: [self error: 'Unexpected End Of Input']." "do not parse the number, can be time consuming" ^self scanPast: #number]. currentTokenFirst == $' ifTrue: [^self parseString]. currentTokenFirst == $# ifTrue: [^self parseSymbol]. (inArray and: [currentToken notNil]) ifTrue: [^self scanPast: #symbol]. self failWhen: currentTokenFirst == $. . self error ": 'argument missing'"! Item was changed: ----- Method: SHParserST80>>parseLiteralArrayElement (in category 'parse') ----- parseLiteralArrayElement + (encodedCharSet isLetter: currentTokenFirst) - currentTokenFirst isLetter ifTrue: [ + #true = currentToken ifTrue: [ ^self scanPast: #true ]. + #false = currentToken ifTrue: [ ^self scanPast: #false ]. + #nil = currentToken ifTrue: [ ^self scanPast: #nil ]. + ^self scanPast: #symbol ]. - | type | - type := (#('true' 'false' 'nil') includes: currentToken) - ifTrue: [currentToken asSymbol] - ifFalse: [#symbol]. - ^self scanPast: type]. currentTokenFirst == $( ifTrue: [ self scanPast: #arrayStart. ^self parseArray]. ^self parseLiteral: true! Item was changed: ----- Method: SHParserST80>>parsePrimitive (in category 'parse') ----- parsePrimitive self scanNext. + (encodedCharSet isDigit: currentTokenFirst) - currentTokenFirst isDigit ifTrue: [ self scanPast: #integer ] ifFalse: [ self parseStringOrSymbol. currentToken = 'module:' ifTrue: [ self scanPast: #module. self parseStringOrSymbol ] ]. currentToken = 'error:' ifTrue: [ self scanPast: #primitive. "there's no rangeType for error" self isName ifTrue: [ self scanPast: #patternTempVar ] ifFalse: [ self parseStringOrSymbol ] ]. self failUnless: currentToken = '>'. self scanPast: #primitiveOrExternalCallEnd! Item was changed: ----- Method: SHParserST80>>parseString (in category 'parse') ----- parseString + | first c last | - | first c answer last | first := sourcePosition. - answer := ''. [(c := self currentChar) ifNil: [ self rangeType: #unfinishedString start: first - 1 end: source size. self error ": 'unfinished string'"]. + c ~~ $' or: [ - (c == $' - ifFalse: [answer := answer copyWith: c. true] - ifTrue: [false] - ) or: [ self peekChar == $' ifTrue: [ sourcePosition := sourcePosition + 1. - answer := answer copyWith: $'. true] ifFalse: [false]] ] whileTrue: [sourcePosition := sourcePosition + 1]. last := sourcePosition. self nextChar. + self scanPast: #string start: first - 1 end: last! - self scanPast: #string start: first - 1 end: last. - ^answer! Item was changed: ----- Method: SHParserST80>>parseSymbol (in category 'parse') ----- parseSymbol | c | currentToken = '#' ifTrue: [ "if token is just the #, then scan whitespace and comments and then process the next character. Squeak allows space between the # and the start of the symbol e.g. # (), # a, # 'sym' " self rangeType: #symbol. self scanWhitespace]. c := self currentChar. self failWhen: (c isNil or: [c isSeparator]). c == $( ifTrue: [ self nextChar. self scanPast: #arrayStart start: currentTokenSourcePosition end: currentTokenSourcePosition + 1. ^self parseArray]. c == $' ifTrue: [^self parseSymbolString]. c == $[ ifTrue: [ self nextChar. self scanPast: #byteArrayStart start: currentTokenSourcePosition end: currentTokenSourcePosition + 1. ^self parseByteArray]. ((self isSelectorCharacter: c) or: [c == $-]) ifTrue: [^self parseSymbolSelector]. + ((encodedCharSet isLetter: c) or: [ - (c isLetter or: [ c == $: or: [ c == $_ and: [self allowUnderscoreSelectors] ] ]) ifTrue: [^self parseSymbolIdentifier]. ^self parseCharSymbol! Item was changed: ----- Method: SHParserST80>>parseSymbolIdentifier (in category 'parse') ----- parseSymbolIdentifier | c start end | c := self currentChar. + self failUnless: ((encodedCharSet isLetter: c) or: [c == $: or: [c == $_ and: [self allowUnderscoreSelectors]]]). - self failUnless: (c isLetter or: [c == $: or: [c == $_ and: [self allowUnderscoreSelectors]]]). start := sourcePosition. [c := self nextChar. + (encodedCharSet isAlphaNumeric: c) or: [c == $: or: [c == $_ and: [self allowUnderscoreSelectors]]]] whileTrue. - c isAlphaNumeric or: [c == $: or: [c == $_ and: [self allowUnderscoreSelectors]]]] whileTrue. end := sourcePosition - 1. c := source copyFrom: start - 1 to: end. self scanPast: #symbol start: start - 1 end: end. ^c! Item was changed: ----- Method: SHParserST80>>peekChar (in category 'scan') ----- peekChar + ^source at: sourcePosition + 1 ifAbsent: $ ! - ^source at: sourcePosition + 1 ifAbsent: [$ ]! Item was changed: ----- Method: SHParserST80>>resolve: (in category 'identifier testing') ----- + resolve: aString + + aString = #self ifTrue: [ ^#self ]. + aString = #true ifTrue: [ ^#true ]. + aString = #false ifTrue: [ ^#false ]. + aString = #nil ifTrue: [ ^#nil ]. + aString = #super ifTrue: [ ^#super ]. + aString = #thisContext ifTrue: [ ^#thisContext ]. - resolve: aString - (#('self' 'super' 'true' 'false' 'nil' 'thisContext') includes: aString) - ifTrue: [^aString asSymbol]. (self isBlockTempName: aString) ifTrue: [^#blockTempVar]. (self isBlockArgName: aString) ifTrue: [^#blockArg]. (self isMethodTempName: aString) ifTrue: [^#tempVar]. (self isMethodArgName: aString) ifTrue: [^#methodArg]. (instanceVariables includes: aString) ifTrue: [^#instVar]. workspace ifNotNil: [(workspace hasBindingOf: aString) ifTrue: [^#workspaceVar]]. Symbol hasInterned: aString ifTrue: [:sym | classOrMetaClass isBehavior ifTrue: [ classOrMetaClass theNonMetaClass withAllSuperclasses do: [:c | (c classPool bindingOf: sym) ifNotNil: [^#classVar]. c sharedPools do: [:p | (p bindingOf: sym) ifNotNil: [^#poolConstant]]. (c environment bindingOf: sym) ifNotNil: [^#globalVar]]] ifFalse: [(environment bindingOf: sym) ifNotNil: [^#globalVar]]]. ^self resolvePartial: aString! Item was changed: ----- Method: SHParserST80>>scanIdentifier (in category 'scan') ----- scanIdentifier | c start | start := sourcePosition. + [(encodedCharSet isAlphaNumeric: (c := self nextChar)) or: [c == $_ and: [self allowUnderscoreSelectors]]] whileTrue. - [(c := self nextChar) isAlphaNumeric or: [c == $_ and: [self allowUnderscoreSelectors]]] whileTrue. (c == $: and: [(self isSelectorCharacter: self peekChar) not]) ifTrue: [self nextChar]. currentToken := source copyFrom: start to: sourcePosition - 1. currentTokenSourcePosition := start! Item was changed: ----- Method: SHParserST80>>scanNext (in category 'scan') ----- scanNext self scanWhitespace. currentTokenFirst := self currentChar. currentTokenFirst ifNil: [" end of input " currentTokenFirst := $ . currentTokenSourcePosition := nil. currentToken := nil. ^nil]. + (encodedCharSet isDigit: currentTokenFirst) ifTrue: [^self scanNumber]. + ((encodedCharSet isLetter: currentTokenFirst) or: [ - currentTokenFirst isDigit ifTrue: [^self scanNumber]. - (currentTokenFirst isLetter or: [ currentTokenFirst == $_ and: [ self allowUnderscoreSelectors ] ]) ifTrue: [^self scanIdentifier]. ^self scanBinary! Item was changed: ----- Method: SHParserST80>>scanNumber (in category 'scan') ----- scanNumber | start c nc base | start := sourcePosition. self skipDigits. c := self currentChar. c == $r ifTrue: [ base := Integer readFrom: (ReadStream on: (source copyFrom: start to: sourcePosition - 1)). self peekChar == $- ifTrue:[self nextChar]. self skipBigDigits: base. c := self currentChar. c == $. ifTrue: [ (self isBigDigit: self nextChar base: base) ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipBigDigits: base]]. c := self currentChar. ('deq'includes: c) ifTrue: [ + ((encodedCharSet isDigit: (nc := self nextChar)) or: [nc == $- and:[(encodedCharSet isDigit: self peekChar)]]) - ((nc := self nextChar) isDigit or: [nc == $- and:[self peekChar isDigit]]) ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipDigits]]. c == $s ifTrue: [ + (encodedCharSet isDigit: self nextChar) - self nextChar isDigit ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipDigits]]. currentToken := source copyFrom: start to: sourcePosition - 1. ^currentTokenSourcePosition := start]. c == $s ifTrue: [ + (encodedCharSet isDigit: self nextChar) - self nextChar isDigit ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipDigits.]. currentToken := source copyFrom: start to: sourcePosition - 1. ^currentTokenSourcePosition := start]. c == $. ifTrue: [ + (encodedCharSet isDigit: self nextChar) - self nextChar isDigit ifFalse: [ sourcePosition := sourcePosition - 1. currentToken := source copyFrom: start to: sourcePosition - 1. ^currentTokenSourcePosition := start] ifTrue: [self skipDigits]]. c := self currentChar. ('deq' includes: c) ifTrue: [ + ((encodedCharSet isDigit: (nc := self nextChar)) or: [nc == $- and:[(encodedCharSet isDigit: self peekChar)]]) - ((nc := self nextChar) isDigit or: [nc == $- and:[self peekChar isDigit]]) ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipDigits]]. c == $s ifTrue: [ + (encodedCharSet isDigit: self nextChar) - self nextChar isDigit ifFalse: [sourcePosition := sourcePosition - 1] ifTrue: [self skipDigits]]. currentToken := source copyFrom: start to: sourcePosition - 1. ^currentTokenSourcePosition := start! Item was changed: ----- Method: SHParserST80>>scanPast: (in category 'scan') ----- scanPast: rangeType "record rangeType for current token . record argument and temp declarations. scan and answer the next token" + rangeType == #blockPatternArg ifTrue: [self pushArgument: currentToken]. + rangeType == #blockPatternTempVar ifTrue: [self pushTemporary: currentToken]. + rangeType == #patternArg ifTrue: [self pushArgument: currentToken]. + rangeType == #patternTempVar ifTrue: [self pushTemporary: currentToken]. - rangeType = #blockPatternArg ifTrue: [self pushArgument: currentToken]. - rangeType = #blockPatternTempVar ifTrue: [self pushTemporary: currentToken]. - rangeType = #patternArg ifTrue: [self pushArgument: currentToken]. - rangeType = #patternTempVar ifTrue: [self pushTemporary: currentToken]. ^self rangeType: rangeType; scanNext! Item was changed: ----- Method: SHParserST80>>skipDigits (in category 'scan') ----- skipDigits + + [ (encodedCharSet isDigit: self nextChar) ] whileTrue! - [self nextChar isDigit] - whileTrue: []! Item was changed: ----- Method: SHParserST80>>source: (in category 'accessing') ----- source: aString + + source := aString. + encodedCharSet := (source at: 1 ifAbsent: [ $0 ]) encodedCharSet + ! - source := aString!

1 0

← Newer
1
...
7
8
9
10
11
12
13
...
19
Older →

Jump to page: