Squeak Smalltalk: 言語リファレンス

２００３年８月１３日更新

このページは、Andrew C. GreenbergさんとAndrew P. Blackさんによる"Squeak Smalltalk: Language Reference"の翻訳です。Blackさんから許可を得て公開しています。

Version 0.0, 20 November 1999, by Andrew C. Greenberg, werdna@mucow.com
Version 1.2, 26 April 2001, by Andrew P. Black, black@cse.ogi.edu
Version 0.1J, 16 Febrary 2003, by ICHIKAWA, Yuji. (based on Squeak version 3.2)

Based on:
    Smalltalk-80: The Language and Its Implementation, Author: Adele Goldberg and David Robson
    Squeak Source Code, and the readers of the Squeak mailing list.

Squeak site: http://www.squeak.org

目次

Squeakクラスリファレンスも見てください。

Squeakを使おう:基礎編

マウス関係

Squeak（とSqueakを生み出したSmalltalk-80）は、３ボタン（または３ボタン相当の）マウス付きのコンピュータを前提にしています。これらのボタンは、それぞれ「赤ボタン」「黄ボタン」「青ボタン」と呼ばれています。赤ボタンは、「モノ」を選択する際に使います。黄ボタンは、ウィンドウの中の「モノ」を操作する際に使います。青ボタンは、ウィンドウそのものを操作する際に使います。ただし、これらの規則は慣例的なもので、いつもそうという訳ではありません。

多くの今時のマウスは３ボタンではなく、また、ボタンは色付ではないので、様々な対応付けが用いられています。

色付でない３ボタンマウスでは、通常の対応付けは以下の通りです。

左ボタン	->	赤
中央ボタン	->	黄
右ボタン	->	青

３ボタンマウスのWindowsマシンで、この対応付けにするには、SqueakのWindowsタイトルバーを右クリックして、VM Preferences >> Use 3 button mouse mappingを選択します。デフォルトの対応付けは、以下の通りです（２ボタンマウス用です）。

左ボタン	->	赤
右ボタン	->	黄
Alt+左ボタン	->	青

MacOSでは基本的に１ボタンマウスを使用していますので、対応付けは以下のものが使われています。

ボタン	->	赤
Option+ボタン	->	黄
+ボタン	->	青

３ボタンマウスを購入することをお勧めします。私は指を馴染ませる間、ボタンにラベルで色をつけていました。また、上の対応付けとは違う対応付けを選択しました。

もしスクロール用のホイールマウスを持っているなら、"wheel up"をcommand-upArrowに、"wheel down"をcommand-downArrowに対応付けるとよいでしょう。Squeakでスクロールするのにホイールを使うことができるようになります。（訳注：バージョン3.2では最初から対応付けられています。）

システムメニュー

Squeakでは、以下のような色々なシステムメニューを通してSmalltalkの機能(service)を使うことができます。（訳注：バージョン3.2では若干変更されています。）

ワールドメニュー。　時々「メインメニュー」と呼ばれるこのワールドメニューは、システムプロジェクト（訳注：プロジェクトについては、Squeakを最初に立ち上げた時の"Welcome to..."ウィンドウを参照してください）の背景のところで赤ボタンをクリックすることで呼び出せます。このメニューを使って、イメージファイルやチェンジファイルを保存したり、別名で保存したり、Squeak仮想マシンの実行を終了させたりできます。また、下の４つのメニューを含む、たくさんのほかのメニューを呼び出すことができます。

オープンメニューは、システムブラウザや、ワークスペース、チェンジソータ、トランスクリプト、ファイルリスト、更にはメーラ(Celeste)、ウェッブブラウザ(Scamper)を含む、様々なシステムツールを起動することができます。

ヘルプメニューは、オンラインヘルプの他に、プレファレンスダイアログや、環境に関する問い合わせ、Genieなどの辞書を（訳注：この２つ、何についての話なのかよくわかりませんでした）呼び出したり、Squeakのアップデート機能(facilities)を呼び出せます。

ウィンドウ＆フラップメニュー（訳注：バージョン3.2では、ウィンドウメニューとフラップメニューは別々に用意されています）では、システムウィンドウや（モーフィックでの）フラップを操作するための機能(service)を呼び出せます。フラップはスクリーンの枠についた小さなタブのことで、タブをクリックすることで引き出しのように引き出して、そこに置いたもの何でもすばやくアクセスすることができます。是非使ってみてください。オープンメニューを使うよりむしろ、Toolsフラップを使うと、簡単に新たなシステムツールを取り出すことができます。

概観(appearance)メニューでは、システムの概観の色々な点を変えることができます。特に、画面の色設定を調整したり、フルスクリーンモードの切り替えを行うことができます。

システムキーバインド

システムブラウザやワークスペース、ファイルリスト、トランスクリプトを含む、Squeakの標準テキストコンテナウィジェットを使うアプリケーションでは、テキスト操作や、他のシステム機能(functionality)へのアクセス方法(facility)を提供します。これらの機能(facility)の多くは、赤ボタンメニューを使って呼び出すことができますが、多くは、もっと簡単に、特殊キーの組み合わせを使って呼び出すことができます。特殊なアプリケーションでは、このコマンドキーのサポートはまちまちです。WindowsではAltキーと一緒に、MacOSではキーと一緒に、下記のテーブルにある文字を押すことでコマンドキーを入力することができます。大文字の場合には、ShiftキーとAlt()キーを同時に押すか、ctrlキーを該当する文字を押すことでコマンドキーを入力することができます。

（訳注：Windowsの通常のアプリケーションではカット＆ペーストなどはctrlキーで実行します。Squeak上でAltキーとctrlキーをひっくり返すには、World Menu->appearance...->preferences...->general->swapControlAndAltKeysをオンにします。）

一般的な編集コマンド

備考

1. これらのコマンドは若干普通と異なります。これらのコマンドは、現在の選択範囲だけでなく、直前の選択範囲も考慮し、影響を与えます。

検索と置換

キャンセル／承諾(accept)

ブラウズとインスペクト

備考:

1. 選択範囲がない場合、単語もしくは現在の行に選択範囲が拡張されます。
2. 選択範囲が広い場合、これらの操作では、"それ"は一番外側ののキーワードセレクタを示します。

特殊な変換と処理

Smalltalkプログラムデータ登録(Program Data Entry)

括弧キー

これらのキーは、選択範囲を"括弧"で囲む（既に囲まれている場合には括弧を消す）のに使われます。括弧で囲まれたテキストの中をダブルクリックするだけで、括弧内のテキスト全体（括弧は含まない）を選択することができます。（訳注：バージョン3.2のcommand-key helpを参照すると、括弧キーはすべてのプラットフォーム利用可能というわけでなく、実際、Windows版では機能しませんでした。）

テキストスタイルや強勢を変えるキー

（訳注：swapControlAndAltKeysをオンにしても、このテーブルには影響ありませんでした(Squeak 3.5)。swapControlAndAltKeysのオンオフに関わらず、Altキーと一緒に使ってください。）

Squeak Smalltalkシンタックス:基礎編

擬似変数

• 擬似変数は、ほかの言語のキーワードと同様に、予約識別子です。
• nilとtrue、falseは定数です。
• selfとsuper、thisContextは、コードが実行されると、動的に変化します。
• これらの擬似変数どれにも代入はできません。
  

識別子

        文字 ( 文字 | 数字 )*

• Smalltalkの識別子（とシンボル）は大文字小文字の区別があります。
• いくつかの単語からなる識別子（インスタンスやtemporaries）は、小文字で始めて、続く単語の頭文字を大文字にするのがSmalltalkの慣例です。(例えば、thisIsACompoundIdentifier).
• 特定の識別子、例えばグローバル変数（例えば、Smalltalk)、クラス変数は、頭文字を大文字にするのが慣例です。クラス名もすべてグローバル変数です。(例えば、SystemDictionary)
  

コメント

"ダブルコーテーションで囲むとコメントになります。"
"コメントは'シングルコーテーション(string delimiting)'を含むことができます。"
"ダブルコーテーションを""二重""にすると、コメントの中でダブルコーテーションを使うことができます。"
"コメントは、
複
数
の
行にまたがることができます"

リテラル（定数表現）

数 (Numberクラスのインスタンス)

以下では、==>は、"・・・と出力される"という意味です。

１０進整数: 1234, 12345678901234567890
８進整数: 8r177, 8r1777777777777777777777
１６進整数: 16rFF, 16r123456789ABCDEF012345
任意の基数の整数: 2r1010 ==> 10
整数の指数表現: 123e2 ==> 12300, 2r1010e2 ==> 40
浮動小数点数（倍精度）: 3.14e-10
任意の基数の浮動小数点数: 2r1.1 ==> 1.5
浮動小数点数の指数表現: 2r1.1e2 ==> 6.0

• Squeakには、高速な内部プリミティブの演算をサポートするSmallIntegerクラス（-2³⁰から2^30-1までの整数）があります。
• Squeakは、任意精度の演算をシームレスにサポートします。（必要に応じて自動的に、SmallIntegerからLargePositiveIntegerやnegativeIntegerに変換します。）処理速度への影響はわずかです。
• Squeakは、Fraction（分数、任意精度の有理数）やPoint（２次元座標）など、ほかの種類の"数"値クラスをサポートします。これらのオブジェクトの定数表現はありませんが、用意された定数表現の演算の形で自然に表現されます。（それぞれ、"2/3"や"2@3"）
• 数は、色々な基数(radix)で表現できますが、基数自体は常に１０進表現です。指数表現の指数部も基数と同様です。従って: 2r1010 ==> 10, 10e2 ==> 1000 (=10 x 10²), but 2r1010e2 ==> 40 (=10 x 2²)

文字（Characterクラスのインスタンス）

$x "文字の定数表現はドル記号＋（プリント不可能なものでも）該当文字で表現されます。"
$3 "数字についても、"
$< "シンボルについても、"
$$ "ドル記号でも同様です"

文字列（Stringクラスのインスタンス）

'文字列はシングルコーテーション'で囲まれた文字の任意の列からなります。
'文字列は"コメント区切り"文字を含むことができます。'
'文字列にシングルコーテーションを含めるには、シングルコーテーションを''二重にします。'
'文字列は、改行文字を
含むことができます。'
'' "空文字列もお忘れなく。"

• 文字列は文字を含む配列と非常に似ています（"同質"です。）。文字列を１から始まるインデックスで参照すると、対応する位置の文字が返ります。

シンボル（Symbolクラスのインスタンス）

#'井桁記号に続く文字列はシンボルです。'
#井桁文字で始まる任意の識別子
#コロンで終わる識別子:
#それぞれが:コロン:で:終わる:いくつかの:識別子:
#-     "井桁に'-'など特殊文字がついたものもシンボルです。"
#+<  "井桁に特殊文字の任意の二文字をつけたものもシンボルです。"

• SymbolはStringのサブクラスです。大部分において同じメッセージを理解します。
• シンボルと文字列の主な違いは、同じ文字列からなるシンボルはすべて、同じインスタンスであるというところです。２つの異なる文字列インスタンスが例えば'test one two three'という内容を持つことができますが、#'test one two three'というシンボルはすべて同じインスタンスです。この"唯一のインスタンス"という性質のおかげで、Symbolを効率的に比較することができます。シンボルでは、等しいこと(=)と同一であること(==)が同じだからです。
• "コロン付きの識別子"のシンボル（例えば#a:keyword:selector:)は、しばしば、キーワードセレクタとして参照されます。理由は後で明らかになるでしょう。
• "シングルもしくはデュアルシンボル"（例えば#* or #++）は、しばしば、バイナリセレクタとして参照されます。
• 以下は許されている特殊文字です。: +/*\~<=>@%|&?!
• #--はシンボルでもバイナリセレクタでもないことに注意してください。一方、#'--'はシンボルです。(しかし、バイナリセレクタではないです。）

定配列（Arrayクラスのインスタンス）

#( 1 2 3 4 5 ) "５つの整数（１から５）からなる、サイズが５の配列"
#( 'this' #is $a #'constant' array ) "String ('this')とSymbol (#is)、Character ($a)と２つのSymbol（#constantと#array）からなる、サイズが５の配列"
#( 1 2 ( 1 #(2) 3 ) 4 ) "２つの整数（１と２）と、サイズが３の配列、もう１つの整数（４）からなる、サイズが４の配列。"
#( 1 + 2 ) "1, #+, and 2からなる、サイズが３の配列。3からなるサイズが１の配列ではない。"

• 定配列は固定値です。それ故にそれらの要素も定数でなければいけません。上の例のように、"式"は評価されず、一般に、シンボルの列としてパースされます。
• 定配列は、定配列を含むことができます。内部の定配列のための井桁は省略可能(optional)です。
• 定配列の中の識別子や文字列(sequences of characters)はシンボルとして扱われます。;内部のシンボルのための井桁記号は省略可能です。
• 配列は、インデックス１で最初の要素を指定できます。

Assignments

識別子  式
識別子 :=  式    " いつでも、:= をの代わりに使うことができます。but the pretty printer uses "

foo 100 factorial
foo bar 1000 factorial

• （インスタンス変数であれ、クラス変数であれ、テンポラリ変数であれ、他であれ）識別子は、割り当て後、式の評価結果のオブジェクトを参照します。
• The "" 絵文字は、Squeakの中では、アンダーバーで入力できます。
• 割り当て自体が式です。割り当て式は、右辺の評価の結果を返します。
• 割り当ては、上のようにカスケードできます。右辺の評価結果であるオブジェクトをそれぞれの変数が参照するようになります。

メッセージ

単項メッセージ

theta sin
quantity sqrt
nameString size
1.5 tan rounded asString "(((1.5 tan) rounded) asString)と同じ結果"

• 単項メッセージは引数のないメッセージです。
• 単項メッセージは最も"優先順位高くパース"されます。また、単項メッセージが並んでいる場合、左から右へパースされます。従って、最後の例は1.5に#tanを送った結果に#roundedを送り、その結果に#asStringを送った結果を返します。

二項メッセージ

3 + 4 " ==> 7 "
3 + 4 * 5 " ==> 35 (not 23) "
3 + 4 factorial " ==> 27 (not 5040) "
total - 1
total <= max  "もしtotalがmax以下ならばtrue"
(4/3)*3 = 4 "==> true なぜ？等号も二項メッセージの１つだから、またFractionは厳密だから、trueを返します。"
(3/4) == (3/4) "==> false なぜ？２つの等しいFractionですが、これらは同じオブジェクトではないから、falseを返します"

• 二項メッセージの場合、左側にレシーバ、右側に引数が１つ現れます。 上の最初の式では、引数4のセレクタ#+からなるメッセージを3に送ります。
• 二項メッセージは、数演算の優先順位に関わらず、括弧で指定しない限り、いつも左から右にパースされます。
• 単項メッセージは、二項メッセージよりも優先順位が高いです。

キーワードメッセージ

12 between: 8 and: 15 " ==> true "
#($t $e $s $t) at: 3 " ==> $s "
array at: index put: value "==> valueをarrayのindex位置に入れた後、valueを返します。"
array at: index factorial put: value "valueをarrayのindex factorial位置に入れた後、valueを返します。"
1 to: 3 do: aBlock "これは、（引数２つと一緒に）#to:do:整数1に送ります"
(1 to: 3) do: aBlock "これは、（引数１つと一緒に）#do:を、'1 to: 3'を評価した結果返されるIntervalに送ります。"

• キーワードメッセージは１つ以上の引数を伴います。
• キーワードメッセージは、一番優先順位が弱いメッセージです。括弧で指定しない限り、単項メッセージと二項メッセージが先に解決されます。
  

式の列

expressionSequence ::= expression (. expression)* (.)^opt

box  20@30 corner: 60@90.
box containsPoint: 40@50

• ピリオドで区切られた式は、順に実行されます。
• 列の値は、最後の式の値になります。
• 他の式のすべての値は無視されます。
• 最後のピリオドは必ずしも必要ありません。
  

カスケード式

receiver
    unaryMessage;
    + 23;
    at: 23 put: value;
    yourself

• カスケードの中のメッセージは、セミコロンで区切られます。それぞれのメッセージは、receiverに順に送られます。
• 途中の戻り値は無視されますが、receiverの変化(side-effect)は保たれます。
• カスケードは、（途中のメッセージをすべて送った後、）最後のメッセージをreceiverに送った結果を返します。
  

ブロック式

ブロックは、実際にはBlockContextクラスのインスタンスです。 ブロックは、制御構造を記述(build)する時必ず使われます。 ブロックは、式の列の回りを囲む[ ]シンタックスを使って作られます。

[  expressionSequence ]     "引数なしのブロック"
[  (: identifier)⁺ | expressionSequence ]     "引数を持つブロック"
[ (: identifier)⁺ | | identifier⁺ | expressionSequence ]      "引数とローカル変数を持つブロック"

[ 1. 2. 3 ] "このブロックは、評価される時、値3を返します。"
[ object doWithSideEffects. test] "このブロックは、評価される時、#doWithSideEffectsをobjectに送り、testオブジェクトを返します。"
[ :param | param doSomething ] "このブロックは、評価される時、パラメータに#doSomethingを送った結果を返します。

• ブロックは、後で評価される列(a deferred sequence of actions)をあらわします。
• ブロック式の値は、あとでリクエストがあった時に、囲まれた式を実行することができるオブジェクトです。Thus
  • [ 1. 2. 3 ] ==> [ ] in UndefinedObject>>DoIt
    [ 1. 2. 3 ] value ==> 3
• 言語の専門家は、大雑把に言って、ブロックがラムダ式や、匿名関数(anonymous function)、クロージャ(closure)に等価であることに気づくでしょう。
  

BlockContextの評価メッセージ

備考

1. ブロックにメッセージ#valueが送られると、ブロックが実行され、結果が返されます。
2. メッセージ #value: argでもブロックが実行されます。この場合、ブロックは引数を必ず１つ要求しないといけません。引数に対応するパラメータはargに初期化されます。
3. Squeakでは、#value:value:も、 #value:value:value:も、#value:value:value:value:も使えます。 ５つ以上のパラメータを持つブロックの場合には、#valueWithArguments:を使います。

制御構造

（レシーバがBooleanオブジェクトの場合の）二者択一の制御構造

備考

1. これらは、Booleanオブジェクトに送られるキーワードメッセージとして解釈されるので、技術的にいうと制御構造ではありません。（TrueクラスとFalseクラスのこれらのメソッドの定義を参照してください。）
2. しかし、これらの式は、他の言語の制御構造と同じ役割を果たします。

（レシーバが任意のオブジェクトの場合の）二者択一の制御構造

繰り返しのための制御構造（レシーバがaBlockContext）

列挙の制御構造（レシーバはanInteger)

列挙の制御構造（レシーバはCollection）

Note

1. Squeakの集合型は非常にたくさんの列挙演算を提供しています。クラスリファレンスの「集合を列挙する」節を見てください。

ケース構造（レシーバは任意のオブジェクト）

備考

1. aBlockAssociationCollectionは連想（キーと値のペア）の集合です。
   例: aSymbol caseOf: {[#a]->[1+1]. ['b' asSymbol]->[2+2]. [#c]->[3+3]}

式の "大括弧" 配列

        braceArray ::= {  expressionSequence }

{ 1. 2. 3. 4. 5 } "５つのInteger(1 to 5)からなる、サイズが５の配列。"
{ $a. #brace. array } "Character($a)とSymbol(#brace)と変数配列の現在の値からなる、サイズが３の配列。"
{ 1 + 2 } "１つの整数３からなる、サイズが１の配列。"

• 大括弧配列は、ランタイム時に計算される正真正銘のSmalltalk式です。
• 大括弧配列の要素は構成要素式の返り値です。
• これらは、時々、形式ばった式"Array with: expr1 with: expr2 with: expr3"の、便利でもっと一般的な代わりになります。
• インデックスは１から始まります。

アンサー式

answerExpression ::= ^ expression

^ aTemporary
^ 2+3

• メソッドの中身の中で、アンサー式はメソッドの実行を終了させるのに使われ、メソッドの返り値として式を伝えます。
• メソッドの中で使用されるブロック式の中のアンサー式を評価すると、（訳注：ブロックだけでなく）メソッドが終了します。

クラスの定義

通常のクラスの定義

SuperClass subclass: #NameOfClass
    instanceVariableNames: 'instVarName1 instVarName2'
    classVariableNames: 'ClassVarName1 ClassVarName2'
    poolDictionaries: ''
    category: 'Major-Minor'

変数クラスの定義

これらのクラス定義の形式は、ArrayとかByteArrayとかWordArrayのオブジェクトのように、番号付け可能なオブジェクトを生成するのに使われます。これらは完全を期すためにここに含まれて居ますが、通常は直接は使用されません；代わりに、その値が適切な配列（や他の集合）オブジェクトを指すインスタンス変数を伴う通常のオブジェクトを使います。

SuperClass variableSubclass: #NameOfClass
    instanceVariableNames: 'instVarName1 instVarName2'
    classVariableNames: 'ClassVarName1 ClassVarName2'
    poolDictionaries: ''
    category: 'Major-Minor'
         
SuperClass variableByteSubclass: #NameOfClass
    instanceVariableNames: 'instVarName1 instVarName2'
    classVariableNames: 'ClassVarName1 ClassVarName2'
    poolDictionaries: ''
    category: 'Major-Minor'
         
SuperClass variableWordSubclass: #NameOfClass
    instanceVariableNames: 'instVarName1 instVarName2'
    classVariableNames: 'ClassVarName1 ClassVarName2'
    poolDictionaries: ''
    category: 'Major-Minor'

メソッドの定義

すべてのメソッドは値を返します；これを保証するために、すべてのメソッドの終わりには暗黙の^selfが存在します。以下はStringクラスからの例です。

lineCount
    "すべてのcrで１行足すことで、レシーバの行数を返します。"
         
    | cr count |
    cr  Character cr.
    count  1  min: self size.
    self do:
        [:c | c == cr ifTrue: [count  count + 1]].
    ^ count
      

Copyright © 1999 Andrew C. Greenberg
Copyright © 2001 Andrew P. Black
Copyright © 2003 ICHIKAWA, Yuji