Squeak-dev February 2011

squeak-dev@lists.squeakfoundation.org

87 participants
295 discussions

false caseOf: true
by Nicolas Cellier 04 Feb '11

04 Feb '11

While revisiting http://thread.gmane.org/gmane.comp.lang.smalltalk.squeak.general/131331 and http://thread.gmane.org/gmane.comp.lang.smalltalk.squeak.general/131333, I was intrigued by this: VariableNode>>canBeSpecialArgument "Can I be an argument of (e.g.) ifTrue:?" ^code < LdNil ? (as in chess notation) First reflex was to check that LdTrue and LdFalse both are < LdNil, so true and false pseudo variables canBeSpecialArgument. LdSelf too. This required more digging to find that other variables (inst var, temp vars etc...) have code < 0 < LdNil. So this means that a variable canBeSpecialArgument (but not the nil pseudo-variable). Who needs that ? MessageNode>>#checkBlock:as:from:maxArgs: uses node canBeSpecialArgument ifTrue: [^node isBlockNode]. So inlined messages require a Block in order to be inlined. The other sender is MessageNode>>#transformCase: Ah yes, we tolerate a variable here: ^encoder notify: 'caseOf: argument must be a brace construct or a variable' This is limiting a bit the usual chaining power... A variable would be OK, but another expression would not? No it wouldn't, as advertised above... For example this makes a Compiler bark: | lowab upAB | lowab := { [$a] -> [1]. [$b] -> [2] }. upAB := { [$a] -> [1]. [$b] -> [2] }. $a caseOf: lowab , upAB otherwise: [0] Note that the otherwise argument once upon a time had to be a 0-arg block... ... but I changed #checkBlock:as:from:maxArgs: to tolerate non block some time ago It now just turns message inlining off if not a block. I understand the intention, the syntax of caseOf: is quite unfriendly and we wanted to enforce rules just to help people learn it. But... 1) Noting that by now, any Object respondsTo: #value, an that we can consequently write | lowab | lowab := { $a -> 1. $b -> 2 }. $a caseOf: lowab otherwise: 0 2) Noting that other special messages supports inlining off and will eventually let the receiver bark when not understood at run time. 3) Noting that forcing usage of a variable versus any other expression creates a syntax singularity. 4) Noting there are holes in the barking anyway, (self caseOf: nil) barks, (self caseOf: true) doesn't I would now tend to reduce the barking and simplify canBeSpecialArgument, and transformCase: What do you think ? Nicolas

2 4

Call for All-in-One help
by Chris Muller 04 Feb '11

04 Feb '11

I have just posted Squeak-4.2-All-in-One.zip to http://ftp.squeak.org/4.2. It's a zip that contains VM's for Windows, Linux and Mac. The idea is anyone can download this, unzip it, then simply double-click on the appropriate launch: Linux users --> squeak.sh Windows users --> Squeak.exe Mac --> I have access to Linux and Windows, this is working with the latest VMs (Linux 4.4.7 and 4.1.1 Windows) for those platforms. However, the Mac VM currently included is the one that was shipped in the Squeak-4.1-All-in-One.zip. I don't know if we want to include Estebans new VM with 4.2 or not. I have no access or knowledge about Macs. Would someone with a Mac please help us and test and/or upgrade the Mac VM in this file? This is one of the last remaining steps to release 4.2. Thanks, Chris

5 8

Re: [squeak-dev] The Trunk: Graphics-nice.176.mcz
by Nicolas Cellier 04 Feb '11

04 Feb '11

I omitted to mention a minor change and: [] and [] -> and: [ and: []] (fed up of reverting my changes) Nicolas 2011/2/4 <commits(a)source.squeak.org>: > Nicolas Cellier uploaded a new version of Graphics to project The Trunk: > http://source.squeak.org/trunk/Graphics-nice.176.mcz > > ==================== Summary ==================== > > Name: Graphics-nice.176 > Author: nice > Time: 4 February 2011, 12:52:27.728 am > UUID: ddd38c78-5d87-4fc0-b547-f9a991cf4167 > Ancestors: Graphics-ul.175 > > Add an inst var charIndexCompatibilitySlot in order to let the japanese locale test pass. > > Some old .sar are using ReferenceStream binary format for saving some objets. > Unfortunately, ReferenceStream - unlike SmartRefStream - can't cope with modification of Object structure. > > This is a backward compatibility workaround with these .sar. In the future, StrikeFont should use SmartRefStream and these .sar should be converted. > > =============== Diff against Graphics-ul.175 =============== > > Item was changed: > AbstractFont subclass: #StrikeFont > + instanceVariableNames: 'characterToGlyphMap xTable glyphs name type minAscii maxAscii maxWidth strikeLength ascent descent xOffset raster subscript superscript emphasis derivativeFonts pointSize fallbackFont charIndexCompatibilitySlot' > - instanceVariableNames: 'characterToGlyphMap xTable glyphs name type minAscii maxAscii maxWidth strikeLength ascent descent xOffset raster subscript superscript emphasis derivativeFonts pointSize fallbackFont' > classVariableNames: 'DefaultStringScanner' > poolDictionaries: 'TextConstants' > category: 'Graphics-Fonts'! > > !StrikeFont commentStamp: '<historical>' prior: 0! > I represent a compact encoding of a set of Forms corresponding to characters in the ASCII character set. All the forms are placed side by side in a large form whose height is the font height, and whose width is the sum of all the character widths. The xTable variable gives the left-x coordinates of the subforms corresponding to the glyphs. Characters are mapped to glyphs by using the characterToGyphMap. > > Subclasses can have non-trivial mapping rules as well as different representations for glyphs sizes (e.g., not using an xTable). If so, these classes should return nil when queried for xTable and/or the characterToGlyphMap. This will cause the CharacterScanner primitive to fail and query the font for the width of a character (so that a more programatical approach can be implemented). > > For display, fonts need to implement two messages: > #installOn: aDisplayContext foregroundColor: foregroundColor backgroundColor: backgroundColor > This method installs the receiver (a font) on the given DisplayContext (which may be an instance of BitBlt or Canvas (or any of it's subclasses). The font should take the appropriate action to initialize the display context so that further display operations can be optimized. > #displayString: aString on: aDisplayContext from: startIndex to: stopIndex at: aPoint kern: kernDelta > This method is called for each subsequent run of characters in aString which is to be displayed with the (previously installed) settings. > ! > > Item was changed: > ----- Method: WarpBlt>>cellSize: (in category 'setup') ----- > cellSize: s > "Set the number of samples used for averaging" > cellSize := s. > cellSize = 1 ifTrue: [^ self]. > "Install the colorMap to used for mapping the averaged RGBA 32bit pixels to the > destination depth. Note that we need to install the 32->32 color map explicitly because > the VM will substitute a colorMap derived from sourceForm->destForm mapping which > is just plain wrong for <32 source and 32bit dest depth" > + (destForm depth = 32 and: [sourceForm notNil and: [sourceForm depth < 32]]) > - (destForm depth = 32 and: [sourceForm notNil] and: [sourceForm depth < 32]) > ifTrue:[colorMap := ColorMap shifts: #(0 0 0 0) masks:#(16rFF0000 16rFF00 16rFF 16rFF000000) colors: nil] > ifFalse:[colorMap := Color colorMapIfNeededFrom: 32 to: destForm depth]. > ! > > >

2 1

The Trunk: Tests-ul.114.mcz
by commits＠source.squeak.org 04 Feb '11

04 Feb '11

Levente Uzonyi uploaded a new version of Tests to project The Trunk: http://source.squeak.org/trunk/Tests-ul.114.mcz ==================== Summary ==================== Name: Tests-ul.114 Author: ul Time: 31 January 2011, 3:57:33.887 am UUID: b227acf0-758e-6e42-be8e-fbc92a7db74d Ancestors: Tests-ul.113 Fixed LocaleTest >> #testIsFontAvailable. =============== Diff against Tests-ul.113 =============== Item was removed: - ----- Method: LocaleTest>>expectedFailures (in category 'testing') ----- - expectedFailures - - ^#(testIsFontAvailable)! Item was changed: ----- Method: LocaleTest>>testIsFontAvailable (in category 'testing') ----- testIsFontAvailable "self debug: #testIsFontAvailable" + + <timeout: 60> "takes quite a while" + Preferences restoreFontsAfter: [ + | currentDefaultTextStyle | + currentDefaultTextStyle := TextStyle default. + [ + TextStyle setDefault: (TextStyle actualTextStyles at: #Accuny). + (Locale isoLanguage: 'ja') languageEnvironment removeFonts. + self assert: (Locale isoLanguage: 'en') languageEnvironment isFontAvailable. + "Next test should fail after installing Japanese font" + self assert: (Locale isoLanguage: 'ja') languageEnvironment isFontAvailable not. + (Locale isoLanguage: 'ja') languageEnvironment installFont. + self assert: (Locale isoLanguage: 'ja') languageEnvironment isFontAvailable ] + ensure: [ TextStyle setDefault: currentDefaultTextStyle ] ].! - Preferences restoreFontsAfter:[ - (Locale isoLanguage: 'ja') languageEnvironment removeFonts. - self assert: (Locale isoLanguage: 'en') languageEnvironment isFontAvailable. - "Next test should fail after installing Japanese font" - self assert: (Locale isoLanguage: 'ja') languageEnvironment isFontAvailable not. - (Locale isoLanguage: 'ja') languageEnvironment installFont. - self assert: (Locale isoLanguage: 'ja') languageEnvironment isFontAvailable. - ].!

1 0

The Trunk: Kernel-nice.542.mcz
by commits＠source.squeak.org 04 Feb '11

04 Feb '11

Nicolas Cellier uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-nice.542.mcz ==================== Summary ==================== Name: Kernel-nice.542 Author: nice Time: 4 February 2011, 1:00:46.508 am UUID: ea1d8beb-aa2d-4cf3-8389-2072df48f6e3 Ancestors: Kernel-ul.541 thu shalt not invoke super in vain =============== Diff against Kernel-ul.541 =============== Item was changed: Dictionary variableSubclass: #MethodDictionary instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! + !MethodDictionary commentStamp: 'nice 2/1/2011 02:47' prior: 0! + I am a special dictionary holding methods. I am just like a normal Dictionary, except that I am implemented differently. Each Class has an instance of MethodDictionary to hold the correspondence between selectors (names of methods) and methods themselves. - !MethodDictionary commentStamp: 'ul 10/30/2009 04:43' prior: 0! - I am just like a normal Dictionary, except that I am implemented differently. Each Class has an instances of MethodDictionary to hold the correspondence between selectors (names of methods) and methods themselves. In a normal Dictionary, the instance variable 'array' holds an array of Associations. Since there are thousands of methods in the system, these Associations waste space. Each MethodDictionary is a variable object, with the list of keys (selector Symbols) in the variable part of the instance. The variable 'array' holds the values, which are CompiledMethods. I also maintain the following invariant: (self basicAt: index) isNil = (array at: index) isNil.! Item was changed: ----- Method: MethodDictionary>>includesKey: (in category 'accessing') ----- includesKey: aSymbol + "This override assumes that instVarsInclude: uses a fast primitive" - "This override assumes that pointsTo is a fast primitive" aSymbol ifNil: [^ false]. + ^ self instVarsInclude: aSymbol! - ^ super instVarsInclude: aSymbol!

1 0

The Trunk: Morphic-mtf.518.mcz
by commits＠source.squeak.org 04 Feb '11

04 Feb '11

Matthew Fulmer uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mtf.518.mcz ==================== Summary ==================== Name: Morphic-mtf.518 Author: mtf Time: 3 February 2011, 6:56:42.404 pm UUID: b478e73e-95d2-4f7c-bb3a-f9f8897bbf7d Ancestors: Morphic-ul.517 added install script for Open Cobalt =============== Diff against Morphic-ul.517 =============== Item was changed: ----- Method: TheWorldMainDockingBar>>extendingTheSystem (in category 'submenu - help') ----- extendingTheSystem ^'"Note: Please edit this workspace and add your own contributions. To submit it to the inbox open the Monticello browser and submit it from there. Save the package ''* Morphic'' to the inbox." "Updating your system: The following will set the default update URL to receive development updates. For developers and dare-devils only." MCMcmUpdater defaultUpdateURL: ''http://source.squeak.org/trunk''. "Installing new packages: The following expression show how to load many interesting packages into Squeak." "FFI: http://source.squeak.org/FFI.html" (Installer repository: ''http://source.squeak.org/FFI'') install: ''FFI-Pools''; install: ''FFI-Kernel''; install: ''FFI-Tests''; install: ''FFI-Win32''; install: ''FFI-MacOS''; install: ''FFI-Unix''. "OCompletion provides source code completion as you type" (Installer ss project: ''OCompletion'') install: ''Ocompletion''. (Smalltalk at: #ECToolSet) register. (Smalltalk at: #ToolSet) default: (Smalltalk at: #ECToolSet). "Omnibrowser, including Refactoring engine" (Installer ss project: ''MetacelloRepository'') install: ''ConfigurationOfOmniBrowser''. ((Smalltalk at: #ConfigurationOfOmniBrowser) project perform: #lastVersion) load: #( Dev ). "Seaside 2.8 http://www.seaside.st" (Installer ss project: ''MetacelloRepository'') install: ''ConfigurationOfSeaside28''. "WAKom startOn: 9090" "Seaside 2.8 Examples http://www.seaside.st" (Installer ss project: ''MetacelloRepository'') install: ''ConfigurationOfSeaside28Examples''. (Smalltalk at: #ConfigurationOfSeaside28Examples) load. "Seaside 3.0 http://www.seaside.st" (Installer ss project: ''MetacelloRepository'') install: ''ConfigurationOfSeaside30''. (Smalltalk at: #ConfigurationOfSeaside30) load. (Smalltalk at: #WAPharoServerAdaptorBrowser) open. "Pier CMS: http://www.piercms.com" (Installer ss project: ''MetacelloRepository'') install: ''ConfigurationOfPier2''. (Smalltalk at: #ConfigurationOfPier2) load. (Installer lukas project: ''pier2'') install: ''Pier-Blog''. (Installer lukas project: ''pier2'') install: ''Pier-Book''. (Installer lukas project: ''pier2addons'') install: ''Pier-Setup''. (Smalltalk at: #PRDistribution) new register. + + "Open Cobalt: http://opencobalt.org (Best to run this from an image in an open cobalt directory)" + Installer ss project: ''TweakCore''; install: ''update''. + [Installer ss project: ''TweakExtras''; install: ''update''] + on: (Smalltalk at: #CUnsynchronizedModification) do: [:ex | ex resume]. + Installer cobalt project: ''Tweak''; + answer: ''Would you like to conserve memory at all costs?'' with: true; + answer: ''Password for interactive VNC connections?'' with: ''cobalt''; + answer: ''Would you like to add the RFBServer to the World open menu?'' with: true; + install: ''update'' !! + ]style[(189 2 139 15 17 1 32 3 108 2 40 12 11 1 30 3 8 1 11 3 8 1 12 3 8 1 11 3 8 1 11 3 8 1 11 3 8 1 10 3 57 12 2 1 8 1 13 2 8 1 13 13 3 1 10 2 8 13 3 1 8 2 8 12 3 1 10 4 44 11 2 1 8 1 21 2 8 1 28 14 3 1 1 28 7 11 11 2 5 4 3 5 35 12 2 1 8 1 21 2 8 1 26 2 21 2 44 12 2 1 8 1 21 2 8 1 34 13 3 1 33 2 4 3 35 12 2 1 8 1 21 2 8 1 26 13 3 1 25 2 4 13 3 1 28 2 4 3 34 12 2 1 8 1 21 2 8 1 22 13 3 1 21 2 4 14 5 1 8 1 7 2 8 1 11 13 5 1 8 1 7 2 8 1 11 13 5 1 8 1 13 2 8 1 12 13 3 1 15 3 3 1 8 101 460 1)c000120120,cblack;,c000120120,cblack;,c000000120,cblack;,c120000120,cblack;,c000120120,cblack;,c000120120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000125125,cblack;,c000000125,cblack;,c000000125,cblack;,c125000125,cblack;,c000000125,cblack;,c125000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000120120,cblack;,c000000123,cblack;,c000000123,cblack;,c123000123,cblack;,c000000123,cblack;,c123000123,cblack;,c000000120,cblack;,c000000120,cblack;,c000000123,cblack;,c000000123,cblack;,c000000123,cblack;,c000000123,cblack;,c000120120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000120120,cblack;,c000120120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000120120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000120120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c120000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,c000000120,cblack;,,cblack;!!' readStream nextChunkText! - ]style[(189 2 139 15 17 1 32 3 108 2 40 12 11 1 30 3 8 1 11 3 8 1 12 3 8 1 11 3 8 1 11 3 8 1 11 3 8 1 10 3 57 12 2 1 8 1 13 2 8 1 13 13 3 1 10 2 8 13 3 1 8 2 8 12 3 1 10 4 44 11 2 1 8 1 21 2 8 1 28 14 3 1 1 28 7 11 11 2 5 4 3 5 35 12 2 1 8 1 21 2 8 1 26 2 21 2 44 12 2 1 8 1 21 2 8 1 34 13 3 1 33 2 4 3 35 12 2 1 8 1 21 2 8 1 26 13 3 1 25 2 4 13 3 1 28 2 4 3 34 12 2 1 8 1 21 2 8 1 22 13 3 1 21 2 4 14 5 1 8 1 7 2 8 1 11 13 5 1 8 1 7 2 8 1 11 13 5 1 8 1 13 2 8 1 12 13 3 1 15 3 3 1 8 2)c000122122,cblack;,c000122122,cblack;,c000000122,cblack;,c122000122,cblack;,c000122122,cblack;,c000122122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000127127,cblack;,c000000127,cblack;,c000000127,cblack;,c127000127,cblack;,c000000127,cblack;,c127000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000000127,cblack;,c000122122,cblack;,c000000125,cblack;,c000000125,cblack;,c125000125,cblack;,c000000125,cblack;,c125000125,cblack;,c000000122,cblack;,c000000122,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000000125,cblack;,c000122122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000122122,cblack;,c000122122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000122122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000122122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c122000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;,c000000122,cblack;!!' readStream nextChunkText!

1 0

Daily Commit Log
by commits＠source.squeak.org 04 Feb '11

04 Feb '11

Changes to Trunk (http://source.squeak.org/trunk.html) in the last 24 hours: http://lists.squeakfoundation.org/pipermail/packages/2011-February/004213.h… Name: Installer-Core-mtf.343 Ancestors: Installer-Core-ul.342 Added "Installer cobalt" to name the cobalt squeaksource ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-February/004216.h… Name: Tools-laza.294 Ancestors: Tools-cmm.293 Display DependencyBrowsers class comment in it's code pane while no method is selected, to give a clue about what is being shown in the list views ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-February/004217.h… Name: Graphics-nice.176 Ancestors: Graphics-ul.175 Add an inst var charIndexCompatibilitySlot in order to let the japanese locale test pass. Some old .sar are using ReferenceStream binary format for saving some objets. Unfortunately, ReferenceStream - unlike SmartRefStream - can't cope with modification of Object structure. This is a backward compatibility workaround with these .sar. In the future, StrikeFont should use SmartRefStream and these .sar should be converted. =============================================

1 0

The Trunk: Graphics-nice.176.mcz
by commits＠source.squeak.org 04 Feb '11

04 Feb '11

Nicolas Cellier uploaded a new version of Graphics to project The Trunk: http://source.squeak.org/trunk/Graphics-nice.176.mcz ==================== Summary ==================== Name: Graphics-nice.176 Author: nice Time: 4 February 2011, 12:52:27.728 am UUID: ddd38c78-5d87-4fc0-b547-f9a991cf4167 Ancestors: Graphics-ul.175 Add an inst var charIndexCompatibilitySlot in order to let the japanese locale test pass. Some old .sar are using ReferenceStream binary format for saving some objets. Unfortunately, ReferenceStream - unlike SmartRefStream - can't cope with modification of Object structure. This is a backward compatibility workaround with these .sar. In the future, StrikeFont should use SmartRefStream and these .sar should be converted. =============== Diff against Graphics-ul.175 =============== Item was changed: AbstractFont subclass: #StrikeFont + instanceVariableNames: 'characterToGlyphMap xTable glyphs name type minAscii maxAscii maxWidth strikeLength ascent descent xOffset raster subscript superscript emphasis derivativeFonts pointSize fallbackFont charIndexCompatibilitySlot' - instanceVariableNames: 'characterToGlyphMap xTable glyphs name type minAscii maxAscii maxWidth strikeLength ascent descent xOffset raster subscript superscript emphasis derivativeFonts pointSize fallbackFont' classVariableNames: 'DefaultStringScanner' poolDictionaries: 'TextConstants' category: 'Graphics-Fonts'! !StrikeFont commentStamp: '<historical>' prior: 0! I represent a compact encoding of a set of Forms corresponding to characters in the ASCII character set. All the forms are placed side by side in a large form whose height is the font height, and whose width is the sum of all the character widths. The xTable variable gives the left-x coordinates of the subforms corresponding to the glyphs. Characters are mapped to glyphs by using the characterToGyphMap. Subclasses can have non-trivial mapping rules as well as different representations for glyphs sizes (e.g., not using an xTable). If so, these classes should return nil when queried for xTable and/or the characterToGlyphMap. This will cause the CharacterScanner primitive to fail and query the font for the width of a character (so that a more programatical approach can be implemented). For display, fonts need to implement two messages: #installOn: aDisplayContext foregroundColor: foregroundColor backgroundColor: backgroundColor This method installs the receiver (a font) on the given DisplayContext (which may be an instance of BitBlt or Canvas (or any of it's subclasses). The font should take the appropriate action to initialize the display context so that further display operations can be optimized. #displayString: aString on: aDisplayContext from: startIndex to: stopIndex at: aPoint kern: kernDelta This method is called for each subsequent run of characters in aString which is to be displayed with the (previously installed) settings. ! Item was changed: ----- Method: WarpBlt>>cellSize: (in category 'setup') ----- cellSize: s "Set the number of samples used for averaging" cellSize := s. cellSize = 1 ifTrue: [^ self]. "Install the colorMap to used for mapping the averaged RGBA 32bit pixels to the destination depth. Note that we need to install the 32->32 color map explicitly because the VM will substitute a colorMap derived from sourceForm->destForm mapping which is just plain wrong for <32 source and 32bit dest depth" + (destForm depth = 32 and: [sourceForm notNil and: [sourceForm depth < 32]]) - (destForm depth = 32 and: [sourceForm notNil] and: [sourceForm depth < 32]) ifTrue:[colorMap := ColorMap shifts: #(0 0 0 0) masks:#(16rFF0000 16rFF00 16rFF 16rFF000000) colors: nil] ifFalse:[colorMap := Color colorMapIfNeededFrom: 32 to: destForm depth]. !

1 0

final 4.2 image available
by Chris Muller 04 Feb '11

04 Feb '11

Squeak4.2-10950.zip is now available at http://ftp.squeak.org/4.2, which is intended to be the actual-released 4.2 image (unless we find some problem, which we won't). The trunk will be reopened shortly, thanks for your patience. - Chris

16 22

Re: [squeak-dev] The Inbox: Compiler-nice.186.mcz
by Nicolas Cellier 03 Feb '11

03 Feb '11

Oh, my class comment is poor. It should have better been lastJumpIfPcStack <OrderedCollection of: Integer> the value of program counter just before the conditional jumps not yet decoded so far This goes into the inbox for 2 reasons - I don't want to interfere with final 4.2 - 4 eyes better than 2 on complex code Nicolas 2011/2/3 <commits(a)source.squeak.org>: > A new version of Compiler was added to project The Inbox: > http://source.squeak.org/inbox/Compiler-nice.186.mcz > > ==================== Summary ==================== > > Name: Compiler-nice.186 > Author: nice > Time: 3 February 2011, 11:26:04.738 pm > UUID: 9bdb53d0-56a1-4d0b-9835-f60a135dd7f6 > Ancestors: Compiler-nice.184 > > Add both Compiler and Decompiler support for inlined #repeat. > > Implementation notes: > > For compilation, the repeat is implemented with a simple backward jump if ever the receiver is a block. > > For decompilation, things are a bit more tedious because conditonnal loops (whileTrue/False) must be differentiated from unconditional loops (repeat). > The signature of conditional loops is that they all have their backward jump hoping over their conditional jump. > If a backward jump does not cross any conditional jump on its way back, then it must be a repeat. > The idea is thus to register the program counter of the test instruction before the conditional jump (lastJumpIfPc), and verify if the bacward jump branch after or before this instruction. > Things are a bit more complex because there can be a conditional instruction inside the repeat body. > That's why those conditional jumps must be stacked (on lastJumpIfPcStack), and unstacked once decompiled. > > =============== Diff against Compiler-nice.184 =============== > > Item was changed: > InstructionStream subclass: #Decompiler > + instanceVariableNames: 'constructor method instVars tempVars constTable stack statements lastPc exit caseExits lastJumpPc lastReturnPc limit hasValue blockStackBase numLocalTemps blockStartsToTempVars tempVarCount lastJumpIfPcStack' > - instanceVariableNames: 'constructor method instVars tempVars constTable stack statements lastPc exit caseExits lastJumpPc lastReturnPc limit hasValue blockStackBase numLocalTemps blockStartsToTempVars tempVarCount' > classVariableNames: 'ArgumentFlag CascadeFlag CaseFlag IfNilFlag' > poolDictionaries: '' > category: 'Compiler-Kernel'! > > + !Decompiler commentStamp: 'nice 2/3/2011 22:54' prior: 0! > - !Decompiler commentStamp: 'nice 3/1/2010 19:56' prior: 0! > I decompile a method in three phases: > Reverser: postfix byte codes -> prefix symbolic codes (nodes and atoms) > Parser: prefix symbolic codes -> node tree (same as the compiler) > Printer: node tree -> text (done by the nodes) > > > instance vars: > > constructor <DecompilerConstructor> an auxiliary knowing how to generate Abstract Syntax Tree (node tree) > method <CompiledMethod> the method being decompiled > instVars <Array of: String> the instance variables of the class implementing method > tempVars <String | (OrderedCollection of: String)> hold the names of temporary variables (if known) > NOTE: POLYMORPHISM WILL BE RESOLVED IN #initSymbols: > constTable <Collection of: ParseNode> parse node associated with byte encoded constants (nil true false 0 1 -1 etc...) > stack <OrderedCollection of: (ParseNode | String | Integer) > multipurpose... > statements <OrderedCollection of: ParseNode> the statements of the method being decompiled > lastPc <Integer> > exit <Integer> > caseExits <OrderedCollection of: Integer> - stack of exit addresses that have been seen in the branches of caseOf:'s > lastJumpPc <Integer> > lastReturnPc <Integer> > limit <Integer> > hasValue <Boolean> > blockStackBase <Integer> > numLocaltemps <Integer | Symbol> - number of temps local to a block; also a flag indicating decompiling a block > blockStartsToTempVars <Dictionary key: Integer value: (OrderedCollection of: String)> > + tempVarCount <Integer> number of temp vars used by the method > + lastJumpIfPcStack <OrderedCollection of: Integer> the value of program counter just before the last encountered conditional jumps! > - tempVarCount <Integer> number of temp vars used by the method! > > Item was changed: > ----- Method: Decompiler>>decompile:in:method:using: (in category 'public access') ----- > decompile: aSelector in: aClass method: aMethod using: aConstructor > > | block node | > constructor := aConstructor. > method := aMethod. > self initSymbols: aClass. "create symbol tables" > method isQuick > ifTrue: [block := self quickMethod] > ifFalse: > [stack := OrderedCollection new: method frameSize. > + lastJumpIfPcStack := OrderedCollection new. > caseExits := OrderedCollection new. > statements := OrderedCollection new: 20. > numLocalTemps := 0. > super method: method pc: method initialPC. > "skip primitive error code store if necessary" > (method primitive ~= 0 and: [self willStore]) ifTrue: > [pc := pc + 2. > tempVars := tempVars asOrderedCollection]. > block := self blockTo: method endPC + 1. > stack isEmpty ifFalse: [self error: 'stack not empty']]. > node := constructor > codeMethod: aSelector > block: block > tempVars: tempVars > primitive: method primitive > class: aClass. > method primitive > 0 ifTrue: > [node removeAndRenameLastTempIfErrorCode]. > ^node preen! > > Item was changed: > ----- Method: Decompiler>>jump: (in category 'instruction decoding') ----- > jump: dist > + | blockBody destPc nextPC | > + destPc := pc + dist. > + (lastJumpIfPcStack isEmpty or: [dist < 0 and: [destPc > lastJumpIfPcStack last]]) > + ifTrue: > + ["Rule: aBackward jump not crossing a Bfp/Btp must be a repeat" > + nextPC := pc. > + pc := destPc. > + blockBody := self statementsTo: lastPc. > + blockBody size timesRepeat: [statements removeLast]. > + pc := nextPC. > + statements addLast: > + (constructor > + codeMessage: (constructor codeBlock: blockBody returns: false) > + selector: (constructor > + codeSelector: #repeat > + code: #macro) > + arguments: #()). > + ] > + ifFalse: > + [exit := destPc. > + lastJumpPc := lastPc]! > - > - exit := pc + dist. > - lastJumpPc := lastPc! > > Item was changed: > ----- Method: Decompiler>>jump:if: (in category 'instruction decoding') ----- > jump: dist if: condition > > | savePc sign elsePc elseStart end cond ifExpr thenBlock elseBlock > thenJump elseJump condHasValue isIfNil saveStack blockBody | > + lastJumpIfPcStack addLast: lastPc. > + stack last == CascadeFlag ifTrue: [^ [self case: dist] ensure: [lastJumpIfPcStack removeLast]]. > - stack last == CascadeFlag ifTrue: [^ self case: dist]. > elsePc := lastPc. > elseStart := pc + dist. > end := limit. > "Check for bfp-jmp to invert condition. > Don't be fooled by a loop with a null body." > sign := condition. > savePc := pc. > self interpretJump ifNotNil: > [:elseDist| > (elseDist >= 0 and: [elseStart = pc]) ifTrue: > [sign := sign not. elseStart := pc + elseDist]]. > pc := savePc. > ifExpr := stack removeLast. > (isIfNil := stack size > 0 and: [stack last == IfNilFlag]) ifTrue: > [stack removeLast]. > saveStack := stack. > stack := OrderedCollection new. > thenBlock := self blockTo: elseStart. > condHasValue := hasValue or: [isIfNil]. > "ensure jump is within block (in case thenExpr returns)" > thenJump := exit <= end ifTrue: [exit] ifFalse: [elseStart]. > "if jump goes back, then it's a loop" > thenJump < elseStart > ifTrue: > ["Must be a while loop... > thenJump will jump to the beginning of the while expr. In the case of while's > with a block in the condition, the while expr should include more than just > the last expression: find all the statements needed by re-decompiling." > stack := saveStack. > pc := thenJump. > blockBody := self statementsTo: elsePc. > "discard unwanted statements from block" > blockBody size - 1 timesRepeat: [statements removeLast]. > statements addLast: > (constructor > codeMessage: (constructor codeBlock: blockBody returns: false) > selector: (constructor > codeSelector: (sign > ifTrue: [#whileFalse:] > ifFalse: [#whileTrue:]) > code: #macro) > arguments: { thenBlock }). > pc := elseStart. > self convertToDoLoop] > ifFalse: > ["Must be a conditional..." > elseBlock := self blockTo: thenJump. > elseJump := exit. > "if elseJump is backwards, it is not part of the elseExpr" > elseJump < elsePc ifTrue: > [pc := lastPc]. > cond := isIfNil > ifTrue: > [constructor > codeMessage: ifExpr ifNilReceiver > selector: (constructor > codeSelector: (sign ifTrue: [#ifNotNil:] ifFalse: [#ifNil:]) > code: #macro) > arguments: (Array with: thenBlock)] > ifFalse: > [constructor > codeMessage: ifExpr > selector: (constructor codeSelector: #ifTrue:ifFalse: code: #macro) > arguments: (sign > ifTrue: [{elseBlock. thenBlock}] > ifFalse: [{thenBlock. elseBlock}])]. > stack := saveStack. > condHasValue > ifTrue: [stack addLast: cond] > + ifFalse: [statements addLast: cond]]. > + lastJumpIfPcStack removeLast.! > - ifFalse: [statements addLast: cond]]! > > Item was changed: > ----- Method: MessageNode class>>initialize (in category 'class initialization') ----- > + initialize > + "MessageNode initialize" > - initialize "MessageNode initialize" > MacroSelectors := > #( ifTrue: ifFalse: ifTrue:ifFalse: ifFalse:ifTrue: > and: or: > whileFalse: whileTrue: whileFalse whileTrue > to:do: to:by:do: > caseOf: caseOf:otherwise: > + ifNil: ifNotNil: ifNil:ifNotNil: ifNotNil:ifNil: > + repeat ). > - ifNil: ifNotNil: ifNil:ifNotNil: ifNotNil:ifNil:). > MacroTransformers := > #( transformIfTrue: transformIfFalse: transformIfTrueIfFalse: transformIfFalseIfTrue: > transformAnd: transformOr: > transformWhile: transformWhile: transformWhile: transformWhile: > transformToDo: transformToDo: > transformCase: transformCase: > + transformIfNil: transformIfNil: transformIfNilIfNotNil: transformIfNotNilIfNil: > + transformRepeat: ). > - transformIfNil: transformIfNil: transformIfNilIfNotNil: transformIfNotNilIfNil:). > MacroEmitters := > #( emitCodeForIf:encoder:value: emitCodeForIf:encoder:value: > emitCodeForIf:encoder:value: emitCodeForIf:encoder:value: > emitCodeForIf:encoder:value: emitCodeForIf:encoder:value: > emitCodeForWhile:encoder:value: emitCodeForWhile:encoder:value: > emitCodeForWhile:encoder:value: emitCodeForWhile:encoder:value: > emitCodeForToDo:encoder:value: emitCodeForToDo:encoder:value: > emitCodeForCase:encoder:value: emitCodeForCase:encoder:value: > emitCodeForIfNil:encoder:value: emitCodeForIfNil:encoder:value: > + emitCodeForIf:encoder:value: emitCodeForIf:encoder:value: > + emitCodeForRepeat:encoder:value:). > - emitCodeForIf:encoder:value: emitCodeForIf:encoder:value:). > MacroSizers := > #( sizeCodeForIf:value: sizeCodeForIf:value: sizeCodeForIf:value: sizeCodeForIf:value: > sizeCodeForIf:value: sizeCodeForIf:value: > sizeCodeForWhile:value: sizeCodeForWhile:value: sizeCodeForWhile:value: sizeCodeForWhile:value: > sizeCodeForToDo:value: sizeCodeForToDo:value: > sizeCodeForCase:value: sizeCodeForCase:value: > + sizeCodeForIfNil:value: sizeCodeForIfNil:value: sizeCodeForIf:value: sizeCodeForIf:value: > + sizeCodeForRepeat:value:). > - sizeCodeForIfNil:value: sizeCodeForIfNil:value: sizeCodeForIf:value: sizeCodeForIf:value:). > MacroPrinters := > #( printIfOn:indent: printIfOn:indent: printIfOn:indent: printIfOn:indent: > printIfOn:indent: printIfOn:indent: > printWhileOn:indent: printWhileOn:indent: printWhileOn:indent: printWhileOn:indent: > printToDoOn:indent: printToDoOn:indent: > printCaseOn:indent: printCaseOn:indent: > + printIfNil:indent: printIfNil:indent: printIfNilNotNil:indent: printIfNilNotNil:indent: > + printRepeatOn:indent:)! > - printIfNil:indent: printIfNil:indent: printIfNilNotNil:indent: printIfNilNotNil:indent:)! > > Item was added: > + ----- Method: MessageNode>>emitCodeForRepeat:encoder:value: (in category 'code generation') ----- > + emitCodeForRepeat: stack encoder: encoder value: forValue > + " L1: ... Jmp(L1)" > + | loopSize | > + loopSize := sizes at: 1. > + receiver emitCodeForEvaluatedEffect: stack encoder: encoder. > + self emitCodeForJump: 0 - loopSize encoder: encoder. > + forValue ifTrue: [encoder genPushSpecialLiteral: nil. stack push: 1]! > > Item was added: > + ----- Method: MessageNode>>printRepeatOn:indent: (in category 'printing') ----- > + printRepeatOn: aStream indent: level > + > + self printReceiver: receiver on: aStream indent: level. > + > + ^self printKeywords: selector key > + arguments: (Array new) > + on: aStream indent: level! > > Item was added: > + ----- Method: MessageNode>>sizeCodeForRepeat:value: (in category 'code generation') ----- > + sizeCodeForRepeat: encoder value: forValue > + "L1: ... Jmp(L1) nil (nil for value only);" > + | loopSize | > + loopSize := (receiver sizeCodeForEvaluatedEffect: encoder) + (encoder sizeJumpLong: 1). > + sizes := Array with: loopSize. > + ^loopSize + (forValue ifTrue: [encoder sizePushSpecialLiteral: nil] ifFalse: [0])! > > Item was added: > + ----- Method: MessageNode>>transformRepeat: (in category 'macro transformations') ----- > + transformRepeat: encoder > + "answer true if this #repeat message can be optimized" > + > + ^(self checkBlock: receiver as: 'receiver' from: encoder) > + and: [receiver noteOptimizedIn: self. > + true]! > > >

1 0

Jump to page: