HOME

2. Sather を インストールする

Sather を試そう

4. 繰り返しとイテレーター

書き込む

3. Sather を 動かす

1. はじめに

2. Hello World!

01:     -- a simple "Hello World" program
02:     
03:     class MAIN is
04:        main is
05:           #OUT +  "Hello World!\n";
06:        end;
07:     end;

• 命令は ';' で終わります。
• 'is' はクラスや関数定義の本体の始まりを示すキーワードです。
• 'end;' は定義やブロックの終わりを示します。
• '#OUT' は標準出力を表します。出力するときは '+' のあとに出力する値を書きます。 次の例のように '+' は複数つなげることができ、'str' メソッドが定義されているオブジェクトなら 何でも出力されます。ちなみに備え付けのデータ型にはすぺて str メソッドが定義されています。

  #OUT + "1 + 2 = " + (1+2) + "\n";
  

• '-' のあとに ';' が現れなかった場合、'-' から行末まではコメントです。 ただ、エディタに認識させるため、普通コメントは '--' ではじめます。
• MAIN クラスの内部にある main 関数が起動時に呼び出されます。
  MAIN 以外に main がある場合には -main オプションで sacomp に知らせてあげる必要があります。

$ sacomp hello.sa -o hello
$ ./hello
Hello World!

$ sacomp foo1.sa foo2.sa foo3.sa -o foo

-output_C や -only_C オプションをつけてコンパイルすると C 言語のソースコードが生成されるので そのソースを他のプラットフォームでコンパイルすることが可能です。win32+cygwin ではそのまま make して 実行ファイルが作成されます。

sabrowse はソースコードおよびクラス間の関係を表示します（図 1, 2)。 Sather は多重継承をサポートしているので、このヴューアーは複雑なプログラムを書くときに重宝します。

$ sabrowse hello.sa

図 1. ソースコードを表示する画面

図 2. クラス間の関係を表示する画面

3. 変数

3.1 基本的なデータ型

3.2. 変数の宣言

b0:BOOL := true;

ia:INT := 10;
ib:INT := -321;
ic:INT := 13_456_367_443;    -- '_' で区切ることができます。
id:INT := 0b11001;           -- binary = 25
ie:INT := 0o37323;           -- Oct
if:INT := 0x_ea_75_67;       -- Hex

ig:INTI := -4325i;           -- 無限精度整数
ih:INTI := 0o33784;

fa:FLT := 0.0;
fb:FLTD := 3.1345e-2d;

ca:CHAR := 'a';
cb:CHAR := '\n';               -- 改行

sa:STR := "Hi";

a,b,c :INT;
x,y,z :FLT;

3.3. ARRAY 型

                                          -- C style
a:ARRAY{INT}:=#(10);                      -- int a[10];
a[0] := 100;                              -- a[0] = 100;
i:INT := a[1];                            -- int i = a[1];

s:ARRAY{STR}:= |"foo", "bar", "baz"|;     -- char* s[] = {"foo", "bar", "baz"};
s.has("foo") → true

メモ

1. '#' はクラスのインスタンスを作るときのオペレーターです。配列クラスの場合は引数に配列のサイズを指定します。
2. 参照、代入は C 言語風です。
3. ARRAY のリテラルは | item1, item2, ..... | であらわします。
4. ARRAY クラスは has(obj) メソッドがあり、配列に obj が含まれれば true を返します。

4. メソッド定義

01:     -- a simple factorial program
02:     
03:     class MAIN is
04:        main(av: ARRAY{STR}) is
05:           n:INT;
06:           if av.size = 2 then
07:     	 n := av[1].cursor.get_int;
08:           #OUT +  fact(n) + "\n";
09:           else
10:     	 #ERR + "Usage: fact N\n";
11:           end;
12:        end;
13:     
14:        fact(n:INT):INT is
15:           if n=0 then return 1;
16:           else return n * fact(n-1);
17:           end;
18:        end;
19:     end;

method_name(parm1:TYPE1, parm2:TYPE2):RETURN_TYPE is
.......
.......
end;

メモ

1. main への引数は ARRAY{STR} タイプで渡す。
2. STR を INT に変換するには str.cursor.get_int を使う。

5. 分岐

5.1. if 節

if if_test then
    if_body
elsif elsif_test then
    elsif_body
else
    else_body
end;

1. elsif, else 節は省略可能です。
2. elsif 節は好きなだけ加えることができます。

01:     -- example of if: iftest
02:     
03:     class MAIN is
04:        main(argv: ARRAY{STR}) is
05:           a1, s1: STR;
06:           flag : ARRAY{CHAR} := |'a', 'b', 'c'|;
07:           if argv.size = 2 then
08:     	 a1 := argv[1];
09:     	 if a1[0] = '-' then
10:     	    if flag.has(a1[1]) then  print_out(a1);
11:     	    else #OUT + "This option is not supported.\n";
12:     	    end;
13:     	 else show_usage;
14:     	 end;
15:           else show_usage;
16:           end;
17:        end;
18:     
19:        print_out(s:STR) is
20:           #OUT + "Option " + s + " is selected.\n"; 
21:        end;
22:     
23:        show_usage is
24:           #OUT + "Usage iftest -[abc]\n";
25:        end;
26:     end;

$ sacomp iftest.sa -o iftest
$ ./iftest -a
Option -a is selected.
$ ./iftest -d
This option is not supported.
$ ./iftest a
Usage iftest -[abc].

5.2. case 節

case parameter
when values_1 then
    procedure_1
when values_2 then
    procedure_2
else
    else_procedure
end;

1. when の後には複数の値を書くことができます。
2. when 節は必要なだけ加えることができます。
3. どの when にもマッチしない場合 else 節が実行されます。

01:     -- example of case: casetest
02:     
03:     class MAIN is
04:        main(argv: ARRAY{STR}) is
05:           a1, s1: STR;
06:     --       flag : ARRAY{CHAR} := |'a', 'b', 'c'|;
07:           if argv.size = 2 then
08:     	 a1 := argv[1];
09:     	 if a1[0] = '-' then
10:     --	    if flag.has(a1[1]) then  print_out(a1);
11:     	    case a1[1]
12:     	    when 'a', 'b', 'c' then print_out(a1);
13:     	    else #OUT + "This option is not supported.\n";
14:     	    end;
15:     	 else show_usage;
16:     	 end;
17:           else show_usage;
18:           end;
19:        end;
20:     
21:        print_out(s:STR) is
22:           #OUT + "Option " + s + " is selected.\n"; 
23:        end;
24:     
25:        show_usage is
26:           #OUT + "Usage iftest -[abc]\n";
27:        end;
28:     end;

6. 終わりに

HOME

2. Sather を インストールする。

Sather を試そう

4. 繰り返しとイテレーター

書き込む