Squeak-dev January 2018

squeak-dev@lists.squeakfoundation.org

50 participants
171 discussions

The Trunk: ReleaseBuilder-mt.171.mcz
by commits＠source.squeak.org 05 Jan '18

05 Jan '18

Marcel Taeumel uploaded a new version of ReleaseBuilder to project The Trunk: http://source.squeak.org/trunk/ReleaseBuilder-mt.171.mcz ==================== Summary ==================== Name: ReleaseBuilder-mt.171 Author: mt Time: 5 January 2018, 3:25:45.144276 pm UUID: e341b81d-8a93-af4b-a164-01b39e294ff6 Ancestors: ReleaseBuilder-dtl.170 Adds recent text-drag preference to release builder. =============== Diff against ReleaseBuilder-dtl.170 =============== Item was changed: ----- Method: ReleaseBuilder class>>setPreferences (in category 'scripts') ----- setPreferences "Preferences class defaultValueTableForCurrentRelease" " Preferences outOfTheBox." "<-- uncomment after #defaultValueTableForCurrentRelease is fixed up." "General User interaction" Preferences enable: #generalizedYellowButtonMenu ; enable: #swapMouseButtons; disable: #mouseOverForKeyboardFocus. Morph indicateKeyboardFocus: true. Project uiManager openToolsAttachedToMouseCursor: false. SearchBar useScratchPad: false. HandMorph sendMouseWheelToKeyboardFocus: false. HandMorph synthesizeMouseWheelEvents: true. "Text input." TextEditor autoEnclose: true ; autoIndent: true ; encloseSelection: false ; destructiveBackWord: false ; blinkingCursor: true ; dumbbellCursor: false. PluggableTextMorph simpleFrameAdornments: false. + TextMorphForEditView draggableTextSelection: true. "Windows" SystemWindow reuseWindows: false. SystemWindow windowsRaiseOnClick: true. SystemWindow windowTitleActiveOnFirstClick: true. Model windowActiveOnFirstClick: false. "Not good for little screen real estate." Model useColorfulWindows: false. Preferences disable: #showSplitterHandles; disable: #fastDragWindowForMorphic. CornerGripMorph drawCornerResizeHandles: false; passiveColor: (Color gray: 0.85); activeColor: (Color r: 1 g: 0.599 b: 0.0). ProportionalSplitterMorph smartHorizontalSplitters: false ; smartVerticalSplitters: false. "Scroll bars." Preferences enable: #scrollBarsNarrow; enable: #scrollBarsOnRight; enable: #alwaysHideHScrollbar; disable: #alwaysShowHScrollbar; disable: #alwaysShowVScrollbar. ScrollBar scrollBarsWithoutArrowButtons: true; scrollBarsWithoutMenuButton: true. ScrollPane useRetractableScrollBars: false. "Rounded corners." Morph preferredCornerRadius: 8. SystemWindow roundedWindowCorners: false. DialogWindow roundedDialogCorners: false. MenuMorph roundedMenuCorners: false. PluggableButtonMorph roundedButtonCorners: false. ScrollBar roundedScrollBarLook: false. "Gradients." SystemWindow gradientWindow: false. DialogWindow gradientDialog: false. MenuMorph gradientMenu: false. PluggableButtonMorph gradientButton: false. ScrollBar gradientScrollBar: false. "Shadows" Preferences enable: #menuAppearance3d. Morph useSoftDropShadow: true. "Lists and Trees" PluggableListMorph filterableLists: true; clearFilterAutomatically: false; highlightHoveredRow: true; menuRequestUpdatesSelection: true. PluggableTreeMorph filterByLabelsOnly: false; maximumSearchDepth: 1. "Standard Tools" TheWorldMainDockingBar showWorldMainDockingBar: true; showSecondsInClock: true; twentyFourHourClock: true. SearchBar useSmartSearch: true. Workspace shouldStyle: false. Browser listClassesHierarchically: true; showClassIcons: true; showMessageIcons: true; sortMessageCategoriesAlphabetically: true. Preferences enable: #annotationPanes; enable: #optionalButtons; disable: #diffsWithPrettyPrint; enable: #traceMessages; enable: #alternativeBrowseIt; enable: #menuWithIcons; enable: #visualExplorer. SystemNavigation thoroughSenders: true. Preferences disable: #debugLogTimestamp. "Halo" Preferences enable: #showBoundsInHalo ; disable: #alternateHandlesLook; disable: #showDirectionHandles. "System" NetNameResolver enableIPv6: false. Scanner allowUnderscoreAsAssignment: true; prefAllowUnderscoreSelectors: true. Deprecation showDeprecationWarnings: true "that's all, folks"!

1 0

How do I open a file stream on a single byte file that has characters with values > 127 but are not MultiByteFileStream files?
by Louis LaBrunda 04 Jan '18

04 Jan '18

Hi All, How do I open a file stream on a single byte file that has characters with values > 127 but are not MultiByteFileStream files? The file has single byte characters but some are > 127. The values like 147 and 148. The opened MultiByteFileStream complains. Lou -- Louis LaBrunda Keystone Software Corp. SkypeMe callto://PhotonDemon

1 1

How to draw a circle in a form
by Chris Cunnington 04 Jan '18

04 Jan '18

Let’s see. I searched for a class called Circle and found: Circle exampleOne Chris

2 1

How to draw a circle in a form
by Louis LaBrunda 04 Jan '18

04 Jan '18

Hi, Am I missing something? Is there a method to draw a circle in a form? I'm sure it is not that hard but why reinvent the wheel or circle. Lou -- Louis LaBrunda Keystone Software Corp. SkypeMe callto://PhotonDemon

1 0

[MoreVMs'18] Call for Contributions: 2nd Workshop on Modern Language Runtimes, Ecosystems, and VMs at <Programming> 2018
by Stefan Marr 04 Jan '18

04 Jan '18

============================================================================ Call for Papers: MoreVMs'18 2nd Workshop on Modern Language Runtimes, and Ecosystems Co-located with <Programming>'18 April 9th, 2018, Nice, France https://2018.programming-conference.org/track/MoreVMs-2018 ============================================================================ The MoreVMs'18 workshop aims to bring together industrial and academic programmers to discuss the design, implementation, and usage of modern languages and runtimes. This includes aspects such as reuse of language runtimes, modular implementation, language design and compilation strategies. The workshop aims to enable a diverse discussion on how languages and runtimes are currently being utilized, and where they need to improve further. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions, from either an academic or industrial perspective. Relevant topics include, but are definitely not limited to, the following: - Extensible VM design (compiler- or interpreter-based VMs) - Reusable components (e.g. interpreters, garbage collectors, ...) - Static and dynamic compilation techniques - Techniques for targeting high-level languages such as JavaScript - Interoperability between languages - Tooling support (e.g. debugging, profiling, etc.) - Programming language development environments - Case studies of existing language implementation approaches - Language implementation challenges and trade-offs - Surveys and usage reports to understand usage in the wild - Ideas for more predictable performance - Ideas for how VMs could take advantage of new hardware features - Ideas for how we should build languages in the future Workshop Format and Submissions ------------------------------- Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions. https://www.acm.org/publications/proceedings-template If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template). Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible. Submission Site: https://easychair.org/conferences/?conf=morevms18 Important Dates --------------- Extended abstract submission: 2018-01-26 Author notification: 2018-02-23 Workshop: 2018-04-09 All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC-12:00 hour. Program Committee ----------------- Clément Bera, Inria Lille Nord Europe, France Maxime Chevalier-Boisvert, University of Montreal, Canada Sébastien Doeraene, EPFL, Switzerland Johan Fabry, Raincode Labs, Belgium Juliana Franco, Imperial College London, United Kingdom Tobias Grosser, ETH Zurich, Switzerland Ben L. Titzer, Google, Germany Niko Matsakis, Mozilla Research, United States Armin Rigo, PyPy, Switzerland Maoni Stephens, Microsoft, United States Gaël Thomas, Telecom SudParis, France Mario Wolczko, Oracle Labs, United States Workshop Organizers ------------------- Edd Barrett, King's College London, United Kingdom Adam Welc, Uber Technologies, United States Stefan Marr, University of Kent, United Kingdom

1 0

The Trunk: Compiler-eem.361.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Eliot Miranda uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-eem.361.mcz ==================== Summary ==================== Name: Compiler-eem.361 Author: eem Time: 2 January 2018, 5:47:32.911397 pm UUID: 5fe8c44c-f098-43cc-b689-1bf367f5ed8e Ancestors: Compiler-eem.360 First cut of FullBlockClosure support in the compiler. If the encoder answers true to supportsFullBlocks then non-optimized blocks are compiled to their own CompiledBlock instance. Reduce the use of code in a few ParseNode subclasses. Use the more generic isSpecialLiteralForPush: [todo: use SistaV1's BlockReturn nil]. [And for the curious here's a way to exercise the compiler (self systemNavigation allMethodsSelect: [:m| m scanFor: 143]) do: [:mr| (Parser new encoderClass: EncoderForSistaV1; parse: mr sourceString class: mr actualClass) generate] =============== Diff against Compiler-eem.360 =============== Item was changed: ----- Method: BlockNode>>constructClosureCreationNode: (in category 'code generation') ----- constructClosureCreationNode: encoder copiedValues := self computeCopiedValues: encoder rootNode. + ^self ensureClosureCreationNode: encoder! - ^self ensureClosureCreationNode! Item was added: + ----- Method: BlockNode>>createBlockLiteral: (in category 'code generation (closures)') ----- + createBlockLiteral: encoder + ^self + reindexingLocalsDo: + [encoder reindexingLiteralsDo: + [encoder copyWithNewLiterals + generateBlockMethodOfClass: CompiledBlock + trailer: CompiledMethodTrailer empty + from: self]] + encoder: encoder! Item was added: + ----- Method: BlockNode>>emitCodeForEvaluatedFullClosureValue:encoder: (in category 'code generation') ----- + emitCodeForEvaluatedFullClosureValue: stack encoder: encoder + | position | + position := stack position. + self emitCodeExceptLast: stack encoder: encoder. + statements last emitCodeForBlockValue: stack encoder: encoder. + self returns ifFalse: + [encoder genReturnTopToCaller. + pc := encoder methodStreamPosition]. + self assert: stack position - 1 = position! Item was added: + ----- Method: BlockNode>>emitCodeForFullBlockValue:encoder: (in category 'code generation (closures)') ----- + emitCodeForFullBlockValue: stack encoder: encoder + copiedValues do: + [:copiedValue| copiedValue emitCodeForValue: stack encoder: encoder]. + encoder + genPushFullClosure: closureCreationNode index + numCopied: copiedValues size. + stack + pop: copiedValues size; + push: 1! Item was changed: ----- Method: BlockNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder + encoder supportsFullBlocks ifTrue: + [^self emitCodeForFullBlockValue: stack encoder: encoder]. copiedValues do: [:copiedValue| copiedValue emitCodeForValue: stack encoder: encoder]. closureCreationNode pc: encoder methodStreamPosition + 1. encoder genPushClosureCopyNumCopiedValues: copiedValues size numArgs: arguments size jumpSize: size. stack pop: copiedValues size; push: 1. "Emit the body of the block" self emitCodeForEvaluatedClosureValue: stack encoder: encoder! Item was removed: - ----- Method: BlockNode>>ensureClosureCreationNode (in category 'accessing') ----- - ensureClosureCreationNode - closureCreationNode ifNil: - [closureCreationNode := LeafNode new - key: #closureCreationNode - code: nil]. - ^closureCreationNode! Item was added: + ----- Method: BlockNode>>ensureClosureCreationNode: (in category 'accessing') ----- + ensureClosureCreationNode: encoder + closureCreationNode ifNil: + [closureCreationNode := LiteralNode new + key: #closureCreationNode + code: (encoder supportsFullBlocks ifTrue: [LdLitType negated])]. + ^closureCreationNode! Item was added: + ----- Method: BlockNode>>localsNodes (in category 'accessing') ----- + localsNodes + "Answer the correctly ordered sequence of local nodes (arguments and temporaries) in the receiver." + ^arguments asArray, copiedValues, temporaries! Item was changed: ----- Method: BlockNode>>noteSourceRangeStart:end:encoder: (in category 'initialize-release') ----- noteSourceRangeStart: start end: end encoder: encoder "Note two source ranges for this node. One is for the debugger and is of the last expression, the result of the block. One is for source analysis and is for the entire block." encoder noteSourceRange: (start to: end) + forNode: (self ensureClosureCreationNode: encoder). - forNode: self ensureClosureCreationNode. startOfLastStatement ifNil: [encoder noteSourceRange: (start to: end) forNode: self] ifNotNil: [encoder noteSourceRange: (startOfLastStatement to: end - 1) forNode: self]! Item was added: + ----- Method: BlockNode>>sizeCodeForEvaluatedFullClosureValue: (in category 'code generation') ----- + sizeCodeForEvaluatedFullClosureValue: encoder + "The closure value primitives push the arguments and the copied values. + The compiler guarantees that any copied values come before all local temps. + So on full closure activation we need do nothing." + ^(self sizeCodeForEvaluatedValue: encoder) + + (self returns ifTrue: [0] ifFalse: [encoder sizeReturnTopToCaller])! Item was changed: ----- Method: BlockNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder "Compute the size for the creation of the block and its code." copiedValues := self computeCopiedValues: encoder rootNode. + self ensureClosureCreationNode: encoder. + encoder supportsFullBlocks ifTrue: + [^(copiedValues inject: 0 into: [:sum :node| sum + (node sizeCodeForValue: encoder)]) + + (encoder + sizePushFullClosure: + (closureCreationNode + key: (self createBlockLiteral: encoder); + reserve: encoder; + index) + numCopied: copiedValues size)]. - self ensureClosureCreationNode. "Remember size of body for emit time so we know the size of the jump around it." size := self sizeCodeForEvaluatedClosureValue: encoder. ^(copiedValues inject: 0 into: [:sum :node| sum + (node sizeCodeForValue: encoder)]) + (encoder sizePushClosureCopyNumCopiedValues: copiedValues size numArgs: arguments size jumpSize: size) + size! Item was added: + ----- Method: BytecodeEncoder>>copyWithNewLiterals (in category 'full blocks') ----- + copyWithNewLiterals + ^self shallowCopy resetLiteralStreamForFullBlock! Item was added: + ----- Method: BytecodeEncoder>>generateBlockMethodOfClass:trailer:from: (in category 'method encoding') ----- + generateBlockMethodOfClass: aCompiledBlockClass trailer: trailer from: blockNode + "Generate a CompiledBlock for the block whose parse tree is blockNode." + + "The closure analysis should already have been done." + | blkSize header literals locals method nLits stack | + self assert: blockNode blockExtent notNil. + self assert: rootNode notNil. + blkSize := blockNode sizeCodeForEvaluatedFullClosureValue: self. + locals := blockNode localsNodes. + self noteBlockExtent: blockNode blockExtent hasLocals: locals. + header := self computeMethodHeaderForNumArgs: blockNode arguments size + numTemps: locals size + numLits: (nLits := (literals := self allLiterals) size) + primitive: 0. + method := trailer + createMethod: blkSize + class: aCompiledBlockClass + header: header. + 1 to: nLits do: + [:lit | + (method literalAt: lit put: (literals at: lit)) isCompiledCode ifTrue: + [(literals at: lit) outerCode: method]]. + self streamToMethod: method. + stack := ParseStack new init. + stack position: method numTemps. + [blockNode emitCodeForEvaluatedFullClosureValue: stack encoder: self] + on: Error "If an attempt is made to write too much code the method will be asked" + do: [:ex| "to grow, and the grow attempt will fail in CompiledCode class>>#newMethodViaNewError" + ex signalerContext sender method = (CompiledCode class>>#newMethodViaNewError) + ifTrue: [^self error: 'Compiler code size discrepancy'] + ifFalse: [ex pass]]. + stack position ~= (method numTemps + 1) ifTrue: + [^self error: 'Compiler stack discrepancy']. + self methodStreamPosition ~= (method size - trailer size) ifTrue: + [^self error: 'Compiler code size discrepancy']. + method needsFrameSize: stack size - method numTemps. + ^method! Item was changed: ----- Method: BytecodeEncoder>>generateMethodOfClass:trailer:from: (in category 'method encoding') ----- generateMethodOfClass: aCompiledMethodClass trailer: trailer from: methodNode "The receiver is the root of a parse tree. Answer an instance of aCompiledMethodClass. The argument, trailer, is arbitrary but is typically either the reference to the source code that is stored with every CompiledMethod, or an encoding of the method's temporary names." | primErrNode blkSize nLits locals literals header method stack | primErrNode := methodNode primitiveErrorVariableName ifNotNil: [self fixTemp: methodNode primitiveErrorVariableName]. methodNode ensureClosureAnalysisDone. self rootNode: methodNode. "this is for BlockNode>>sizeCodeForClosureValue:" blkSize := (methodNode block sizeCodeForEvaluatedValue: self) + (methodNode primitive > 0 ifTrue: [self sizeCallPrimitive: methodNode primitive] ifFalse: [0]) + (primErrNode ifNil: [0] ifNotNil: [primErrNode index: methodNode arguments size + methodNode temporaries size; sizeCodeForStore: self "The VM relies on storeIntoTemp: (129)"]). locals := methodNode arguments, methodNode temporaries, (primErrNode ifNil: [#()] ifNotNil: [{primErrNode}]). self noteBlockExtent: methodNode block blockExtent hasLocals: locals. header := self computeMethodHeaderForNumArgs: methodNode arguments size numTemps: locals size numLits: (nLits := (literals := self allLiterals) size) primitive: methodNode primitive. method := trailer createMethod: blkSize class: aCompiledMethodClass header: header. + 1 to: nLits do: + [:lit | + (method literalAt: lit put: (literals at: lit)) isCompiledCode ifTrue: + [(literals at: lit) outerCode: method]]. - 1 to: nLits do: [:lit | method literalAt: lit put: (literals at: lit)]. self streamToMethod: method. stack := ParseStack new init. methodNode primitive > 0 ifTrue: [self genCallPrimitive: methodNode primitive]. primErrNode ifNotNil: [primErrNode emitCodeForStore: stack encoder: self]. stack position: method numTemps. [methodNode block emitCodeForEvaluatedValue: stack encoder: self] on: Error "If an attempt is made to write too much code the method will be asked" + do: [:ex| "to grow, and the grow attempt will fail in CompiledCode class>>#newMethodViaNewError" + ex signalerContext sender method = (CompiledCode class>>#newMethodViaNewError) - do: [:ex| "to grow, and the grow attempt will fail in CompiledMethod class>>#new:" - ex signalerContext sender method = (CompiledMethod class>>#new:) ifTrue: [^self error: 'Compiler code size discrepancy'] ifFalse: [ex pass]]. stack position ~= (method numTemps + 1) ifTrue: [^self error: 'Compiler stack discrepancy']. self methodStreamPosition ~= (method size - trailer size) ifTrue: [^self error: 'Compiler code size discrepancy']. method needsFrameSize: stack size - method numTemps. ^method! Item was changed: ----- Method: BytecodeEncoder>>if:isSpecialLiteralForPush: (in category 'special literal encodings') ----- if: code isSpecialLiteralForPush: aBlock "If code is that of a special literal for push then evaluate aBlock with the special literal + The special literals for push are at least nil true false which have special encodings - The special literals for push are nil true false -1 0 1 & 2 which have special encodings in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil) + and: [aBlock value: (#(true false nil) at: code - LdSelf). - ^(code between: LdTrue and: LdNil + 4) - and: [aBlock value: (#(true false nil -1 0 1 2) at: code - LdSelf). true]! Item was added: + ----- Method: BytecodeEncoder>>reindexingLiteralsDo: (in category 'code generation') ----- + reindexingLiteralsDo: aBlock + | savedLiterals | + savedLiterals := PluggableDictionary new equalBlock: litSet equalBlock. + litSet associationsDo: + [:assoc| + savedLiterals at: assoc key put: assoc value shallowCopy]. + litIndSet associationsDo: + [:assoc| + savedLiterals at: assoc key put: assoc value shallowCopy]. + ^[aBlock value] + ensure: + [litSet associationsDo: + [:assoc| + assoc value resetFromCopy: (savedLiterals at: assoc key)]. + litIndSet associationsDo: + [:assoc| + assoc value resetFromCopy: (savedLiterals at: assoc key)]]! Item was added: + ----- Method: BytecodeEncoder>>resetLiteralStreamForFullBlock (in category 'code generation') ----- + resetLiteralStreamForFullBlock + literalStream := WriteStream on: (Array new: 32). + addedSelectorAndMethodClassLiterals := false. + optimizedSelectors := Set new! Item was added: + ----- Method: BytecodeEncoder>>sizePushFullClosure:numCopied: (in category 'opcode sizing') ----- + sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied + ^self sizeOpcodeSelector: #genPushFullClosure:numCopied: + withArguments: {compiledBlockLiteralIndex. numCopied}! Item was added: + ----- Method: BytecodeEncoder>>sizePushFullClosure:numCopied:receiverOnStack:ignoreOuterContext: (in category 'opcode sizing') ----- + sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied receiverOnStack: receiverOnStack ignoreOuterContext: ignoreOuterContext + ^self sizeOpcodeSelector: #genPushFullClosure:numCopied:receiverOnStack:ignoreOuterContext + withArguments: {compiledBlockLiteralIndex. numCopied. receiverOnStack. ignoreOuterContext}! Item was added: + ----- Method: Decompiler>>doClosureCopy:copiedValues: (in category 'control') ----- + doClosureCopy: aCompiledBlock copiedValues: blockCopiedValues + | savedTemps savedTempVarCount savedNumLocalTemps savedMethod savedPC + blockArgs blockTemps blockTempsOffset block | + savedTemps := tempVars. + savedTempVarCount := tempVarCount. + savedNumLocalTemps := numLocalTemps. + numLocalTemps := aCompiledBlock numTemps - aCompiledBlock numArgs - blockCopiedValues size. + blockTempsOffset := aCompiledBlock numArgs + blockCopiedValues size. + (blockStartsToTempVars notNil "implies we were intialized with temp names." + and: [blockStartsToTempVars includesKey: pc]) + ifTrue: + [tempVars := blockStartsToTempVars at: pc] + ifFalse: + [blockArgs := (1 to: aCompiledBlock numArgs) collect: + [:i| (constructor + codeTemp: i - 1 + named: 't', (tempVarCount + i) printString) + beBlockArg]. + blockTemps := (1 to: numLocalTemps) collect: + [:i| constructor + codeTemp: i + blockTempsOffset - 1 + named: 't', (tempVarCount + i + aCompiledBlock numArgs) printString]. + tempVars := blockArgs, blockCopiedValues, blockTemps]. + tempVarCount := tempVarCount + aCompiledBlock numArgs + numLocalTemps. + savedMethod := self method. savedPC := pc. + super method: aCompiledBlock pc: aCompiledBlock initialPC. + block := [self blockTo: aCompiledBlock endPC] + ensure: [super method: savedMethod pc: savedPC]. + stack addLast: ((constructor + codeArguments: (tempVars copyFrom: 1 to: aCompiledBlock numArgs) + temps: (tempVars copyFrom: blockTempsOffset + 1 to: blockTempsOffset + numLocalTemps) + block: block) + pc: pc; + yourself). + tempVars := savedTemps. + tempVarCount := savedTempVarCount. + numLocalTemps := savedNumLocalTemps! Item was added: + ----- Method: Decompiler>>pushFullClosure:numCopied: (in category 'instruction decoding') ----- + pushFullClosure: aCompiledBlock numCopied: numCopied + | copiedValues | + copiedValues := ((1 to: numCopied) collect: [:ign| stack removeLast]) reversed. + self doClosureCopy: aCompiledBlock copiedValues: copiedValues! Item was removed: - ----- Method: Encoder>>bindAndJuggle: (in category 'temps') ----- - bindAndJuggle: name - - | node nodes first thisCode | - node := self reallyBind: name. - - "Declared temps must precede block temps for decompiler and debugger to work right" - nodes := self tempNodes. - (first := nodes findFirst: [:n | n scope > 0]) > 0 ifTrue: - [node == nodes last ifFalse: [self error: 'logic error']. - thisCode := (nodes at: first) code. - first to: nodes size - 1 do: - [:i | (nodes at: i) key: (nodes at: i) key - code: (nodes at: i+1) code]. - nodes last key: nodes last key code: thisCode]. - - ^ node! Item was changed: ----- Method: Encoder>>fixTemp: (in category 'temps') ----- fixTemp: name | node | node := scopeTable at: name ifAbsent: []. + (node isTemp and: [node isIndirectTempVector not]) ifFalse: - node class ~~ TempVariableNode ifTrue: [self error: 'can only fix a floating temp var']. node index: nTemps. nTemps := nTemps + 1. ^node! Item was changed: ----- Method: Encoder>>floatTemp: (in category 'temps') ----- floatTemp: node + (node == (scopeTable at: node name ifAbsent: []) + and: [node isTemp + and: [node index = (nTemps - 1)]]) ifFalse: - (node ~~ (scopeTable at: node name ifAbsent: []) - or: [node class ~~ TempVariableNode - or: [node code ~= (node code: nTemps - 1 type: LdTempType)]]) ifTrue: [self error: 'can only float the last allocated temp var']. nTemps := nTemps - 1! Item was changed: ----- Method: Encoder>>tempNodes (in category 'results') ----- tempNodes | tempNodes | tempNodes := OrderedCollection new. scopeTable associationsDo: [:assn | assn value isArray ifTrue: [assn value do: [:temp| tempNodes add: temp]] ifFalse: [assn value isTemp ifTrue: [tempNodes add: assn value]]]. + ^tempNodes sort: [:n1 :n2 | n1 index <= n2 index]! - ^tempNodes sort: [:n1 :n2 | n1 code <= n2 code]! Item was changed: ----- Method: EncoderForSistaV1>>genPushSpecialLiteral: (in category 'bytecode generation') ----- genPushSpecialLiteral: aLiteral "77 01001101 Push true 78 01001110 Push false 79 01001111 Push nil 80 01010000 Push 0 81 01010001 Push 1 + 232 11101000 iiiiiiii Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, s=1) + 233 11101001 i i i i i i i i Push Character #iiiiiiii (+ Extend B * 256)" - 232 11101000 iiiiiiii Push Integer #iiiiiiii (+ Extend B * 256, where bbbbbbbb = sddddddd, e.g. -32768 = i=0, a=0, s=1)" | index | aLiteral isInteger ifTrue: [aLiteral == 0 ifTrue: [stream nextPut: 80. ^self]. aLiteral == 1 ifTrue: [stream nextPut: 81. ^self]. ^self genPushInteger: aLiteral]. + aLiteral isCharacter ifTrue: + [^self genPushCharacter: aLiteral]. index := #(true false nil) indexOf: aLiteral ifAbsent: [^self error: 'push special literal: ', aLiteral printString, ' is not one of true false nil']. stream nextPut: 76 + index! Item was changed: ----- Method: EncoderForSistaV1>>isSpecialLiteralForPush: (in category 'special literal encodings') ----- isSpecialLiteralForPush: literal + ^literal isInteger + ifFalse: + [literal isCharacter + ifFalse: + [false == literal + or: [true == literal + or: [nil == literal]]] + ifTrue: + [literal asInteger between: 0 and: 65535]] + ifTrue: + [literal between: -32768 and: 32767]! - ^literal == false - or: [literal == true - or: [literal == nil - or: [(literal isInteger and: [literal between: -32768 and: 32767]) - or: [(literal isCharacter and: [literal asInteger between: 0 and: 65535])]]]]! Item was added: + ----- Method: EncoderForSistaV1>>isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + isSpecialLiteralForReturn: literal + ^literal == false + or: [literal == true + or: [literal == nil]]! Item was added: + ----- Method: EncoderForV3>>if:isSpecialLiteralForPush: (in category 'special literal encodings') ----- + if: code isSpecialLiteralForPush: aBlock + "If code is that of a special literal for push then evaluate aBlock with the special literal + The special literals for push are nil true false -1 0 1 & 2 which have special encodings + in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil + 4) + and: [aBlock value: (#(true false nil -1 0 1 2) at: code - LdSelf). + true]! Item was added: + ----- Method: EncoderForV3>>if:isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + if: code isSpecialLiteralForReturn: aBlock + "If code is that of a special literal for return then evaluate aBlock with the special literal. + The special literals for return are nil true false which have special encodings + in the blue book bytecode set. Answer whether it was a special literal." + ^(code between: LdTrue and: LdNil) + and: [aBlock value: (#(true false nil) at: code - LdSelf). + true]! Item was added: + ----- Method: EncoderForV3>>isSpecialLiteralForPush: (in category 'special literal encodings') ----- + isSpecialLiteralForPush: literal + ^literal isInteger + ifFalse: + [false == literal + or: [true == literal + or: [nil == literal]]] + ifTrue: [literal between: -1 and: 2]! Item was added: + ----- Method: EncoderForV3>>isSpecialLiteralForReturn: (in category 'special literal encodings') ----- + isSpecialLiteralForReturn: literal + ^literal == false + or: [literal == true + or: [literal == nil]]! Item was added: + ----- Method: FieldNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aFieldNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: (fieldDef == aFieldNode fieldDef + and: [rcvrNode == (aFieldNode instVarNamed: 'rcvrNode') + and: [readNode == (aFieldNode instVarNamed: 'readNode') + and: [writeNode == (aFieldNode instVarNamed: 'writeNode')]]]). + super resetFromCopy: aFieldNode! Item was added: + ----- Method: LeafNode>>index (in category 'accessing') ----- + index + "Answer the index of the receiver, which has various uses depending on the class of the receiver." + + ^index! Item was added: + ----- Method: LeafNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aLeafNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: key == aLeafNode key. + code := aLeafNode code. + index := aLeafNode index! Item was changed: ----- Method: LiteralNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder stack push: 1. + (encoder isSpecialLiteralForPush: key) + ifTrue: [encoder genPushSpecialLiteral: key] + ifFalse: [encoder genPushLiteral: index]! - (encoder - if: code - isSpecialLiteralForPush: - [:specialLiteral| - encoder genPushSpecialLiteral: specialLiteral]) - ifFalse: - [encoder genPushLiteral: index]! Item was changed: ----- Method: LiteralNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder self reserve: encoder. + ^(encoder isSpecialLiteralForPush: key) + ifTrue: [encoder sizePushSpecialLiteral: key] + ifFalse: [encoder sizePushLiteral: index]! - (encoder - if: code - isSpecialLiteralForPush: - [:specialLiteral| - ^encoder sizePushSpecialLiteral: specialLiteral]) - ifFalse: - [^encoder sizePushLiteral: index]! Item was added: + ----- Method: LiteralVariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aLiteralVariableNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: (readNode == (aLiteralVariableNode instVarNamed: 'readNode') + and: [writeNode == (aLiteralVariableNode instVarNamed: 'writeNode')]). + super resetFromCopy: aLiteralVariableNode! Item was added: + ----- Method: TempVariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aFieldNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block. + Temps are managed via the reindexingLocalsDo:encoder: route, + not via reindexingLiteralsDo:." + self shouldNotImplement! Item was changed: ----- Method: VariableNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder stack push: 1. encoder if: code isSpecialLiteralForPush: [:specialLiteral| ^encoder genPushSpecialLiteral: specialLiteral]. (code = LdSelf or: [code = LdSuper]) ifTrue: [^encoder genPushReceiver]. code = LdThisContext ifTrue: [^encoder genPushThisContext]. + self error: 'internal compiler error; should not happen'! - self flag: 'probably superfluous'. - self halt. - ^encoder genPushInstVar: index! Item was added: + ----- Method: VariableNode>>resetFromCopy: (in category 'code generation') ----- + resetFromCopy: aVariableNode + "Reset the state of the recever to match that of the argument. + This is used to reset nodes that may have been repurposed + while generatig the compiled method for a full block." + + self assert: name == aVariableNode name. + super resetFromCopy: aVariableNode! Item was changed: ----- Method: VariableNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder self reserve: encoder. encoder if: code isSpecialLiteralForPush: [:specialLiteral| "i.e. the pseudo-variables nil true & false" ^encoder sizePushSpecialLiteral: specialLiteral]. (code = LdSelf or: [code = LdSuper]) ifTrue: [^encoder sizePushReceiver]. code = LdThisContext ifTrue: [^encoder sizePushThisContext]. + self error: 'internal compiler error; should not happen'! - self flag: 'probably superfluous'. - self halt. - ^encoder sizePushInstVar: index!

3 2

The Trunk: Morphic-mt.1387.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.1387.mcz ==================== Summary ==================== Name: Morphic-mt.1387 Author: mt Time: 3 January 2018, 9:57:39.385816 am UUID: 431484b1-a71b-0c42-8973-37b110485d1d Ancestors: Morphic-mt.1386 Fixes a bug that I introduced in the last commit. =============== Diff against Morphic-mt.1386 =============== Item was changed: ----- Method: TextMorphForEditView>>acceptDroppingMorph:event: (in category 'dropping/grabbing') ----- acceptDroppingMorph: aTransferMorph event: evt "Accept a text to be inserted at the event/cursor position. Either remove or keep the source text depending on the transfer morph's copy state." | sourceEditor | sourceEditor := (aTransferMorph source respondsTo: #editor) ifTrue: [aTransferMorph source editor] ifFalse: [nil]. self handleInteraction: [ "1) Delete selection if it is a move operation." (aTransferMorph shouldCopy or: [sourceEditor isNil]) ifFalse: [ sourceEditor destructiveBackWord. + sourceEditor history previous isCompositeRedo: sourceEditor == self editor]. - sourceEditor == self editor - ifTrue: [self editor history previous isCompositeRedo: true]]. "2) Insert selection at new place." self editor addText: aTransferMorph passenger asText event: evt. + self editor history previous + isCompositeUndo: (sourceEditor == self editor and: [aTransferMorph shouldCopy not])] - sourceEditor == self editor - ifTrue: [self editor history previous isCompositeUndo: true]] fromEvent: evt. evt hand newKeyboardFocus: self.!

1 0

The Trunk: Morphic-mt.1386.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.1386.mcz ==================== Summary ==================== Name: Morphic-mt.1386 Author: mt Time: 3 January 2018, 9:48:33.350816 am UUID: f9d1c8e8-849f-9d4b-8529-c1b163677c65 Ancestors: Morphic-eem.1385 Text drag/drop: Creates a composite undo/redo if source and target are the same morph/editor. Note that drag-dropping text between text morphs (i.e. windows or panes) is not affected. You have to focus and undo/redo separately. Do-it the following example to drop text from a source that does not use the TextMorph/TextEditor mechanism: ActiveHand grabMorph: (TransferMorph withPassenger: 'Hello, World!' asText from: nil). =============== Diff against Morphic-eem.1385 =============== Item was changed: ----- Method: TextMorphForEditView>>acceptDroppingMorph:event: (in category 'dropping/grabbing') ----- acceptDroppingMorph: aTransferMorph event: evt "Accept a text to be inserted at the event/cursor position. Either remove or keep the source text depending on the transfer morph's copy state." + | sourceEditor | + sourceEditor := (aTransferMorph source respondsTo: #editor) + ifTrue: [aTransferMorph source editor] + ifFalse: [nil]. + self handleInteraction: [ + + "1) Delete selection if it is a move operation." + (aTransferMorph shouldCopy or: [sourceEditor isNil]) ifFalse: [ + sourceEditor destructiveBackWord. + sourceEditor == self editor + ifTrue: [self editor history previous isCompositeRedo: true]]. + + "2) Insert selection at new place." + self editor addText: aTransferMorph passenger asText event: evt. + sourceEditor == self editor + ifTrue: [self editor history previous isCompositeUndo: true]] + - aTransferMorph shouldCopy - ifFalse: [(aTransferMorph source respondsTo: #editor) - ifTrue: [aTransferMorph source editor destructiveBackWord]]. - self editor addText: aTransferMorph passenger asText event: evt] fromEvent: evt. evt hand newKeyboardFocus: self.!

1 0

The Trunk: Tools-eem.786.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Eliot Miranda uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-eem.786.mcz ==================== Summary ==================== Name: Tools-eem.786 Author: eem Time: 2 January 2018, 5:19:05.94314 pm UUID: 1d9a2ff4-457b-4a66-9a76-6d24d776aa57 Ancestors: Tools-eem.785 Integrate CompiledBlock with the inspectors and with the MNU template generator. =============== Diff against Tools-eem.785 =============== Item was added: + ----- Method: CompiledBlock>>canonicalArgumentName (in category '*Tools-Debugger') ----- + canonicalArgumentName + ^ 'CompiledBlock'! Item was added: + ----- Method: CompiledCode>>inspectorClass (in category '*Tools-Inspector') ----- + inspectorClass + "Answer the class of the inspector to be used on the receiver. Called by inspect; + use basicInspect to get a normal (less useful) type of inspector." + + ^ CompiledMethodInspector!

1 0

The Trunk: Morphic-eem.1385.mcz
by commits＠source.squeak.org 03 Jan '18

03 Jan '18

Eliot Miranda uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-eem.1385.mcz ==================== Summary ==================== Name: Morphic-eem.1385 Author: eem Time: 2 January 2018, 5:15:20.469423 pm UUID: 0664f735-9f8a-41f4-b1dd-70a22da13503 Ancestors: Morphic-tpr.1384 Minor refactoring for CompiledBlock. Move CompiledMethod>>explorerContents up to CompiledCode. =============== Diff against Morphic-tpr.1384 =============== Item was added: + ----- Method: CompiledCode>>explorerContents (in category '*Morphic-Explorer') ----- + explorerContents + "(CompiledCode compiledMethodAt: #explorerContents) explore" + + ^Array streamContents: + [:s| | tokens | + tokens := Scanner new scanTokens: (self headerDescription readStream skipTo: $"; upTo: $"). + s nextPut: (ObjectExplorerWrapper + with: ((0 to: tokens size by: 2) collect: + [:i| i = 0 ifTrue: [self header] ifFalse: [{tokens at: i - 1. tokens at: i}]]) + name: 'header' + model: self). + (1 to: self numLiterals) do: + [:key| + s nextPut: (ObjectExplorerWrapper + with: (self literalAt: key) + name: ('literal', key printString contractTo: 32) + model: self)]. + self isQuick + ifTrue: [s nextPut: (ObjectExplorerWrapper + with: self symbolic + name: #symbolic + model: self)] + ifFalse: + [self symbolicLinesDo: + [:pc :line| + pc <= 1 + ifTrue: + [s nextPut: (ObjectExplorerWrapper + with: line + name: 'pragma' + model: self)] + ifFalse: + [s nextPut: (ObjectExplorerWrapper + with: line + name: pc printString + model: self)]]]. + "should be self numLiterals + 1 * Smalltalk wordSize + 1" + self endPC + 1 + to: self basicSize + do: [:key| + s nextPut: (ObjectExplorerWrapper + with: (self basicAt: key) + name: key printString + model: self)]]! Item was removed: - ----- Method: CompiledMethod>>explorerContents (in category '*Morphic-Explorer') ----- - explorerContents - "(CompiledMethod compiledMethodAt: #explorerContents) explore" - - ^Array streamContents: - [:s| | tokens | - tokens := Scanner new scanTokens: (self headerDescription readStream skipTo: $"; upTo: $"). - s nextPut: (ObjectExplorerWrapper - with: ((0 to: tokens size by: 2) collect: - [:i| i = 0 ifTrue: [self header] ifFalse: [{tokens at: i - 1. tokens at: i}]]) - name: 'header' - model: self). - (1 to: self numLiterals) do: - [:key| - s nextPut: (ObjectExplorerWrapper - with: (self literalAt: key) - name: ('literal', key printString contractTo: 32) - model: self)]. - self isQuick - ifTrue: [s nextPut: (ObjectExplorerWrapper - with: self symbolic - name: #symbolic - model: self)] - ifFalse: - [self symbolicLinesDo: - [:pc :line| - pc <= 1 - ifTrue: - [s nextPut: (ObjectExplorerWrapper - with: line - name: 'pragma' - model: self)] - ifFalse: - [s nextPut: (ObjectExplorerWrapper - with: line - name: pc printString - model: self)]]]. - "should be self numLiterals + 1 * Smalltalk wordSize + 1" - self endPC + 1 - to: self basicSize - do: [:key| - s nextPut: (ObjectExplorerWrapper - with: (self basicAt: key) - name: key printString - model: self)]]!

1 0

Jump to page: