# HG changeset patch # User Shinji KONO # Date 1546693820 -32400 # Node ID 188111be26b4752cbdade384b40101501acce9cd # Parent a425c3bb31d17369ef452ac203f2bd20b6e15ae2 add document diff -r a425c3bb31d1 -r 188111be26b4 README-os9.txt --- a/README-os9.txt Sat Jan 05 22:10:08 2019 +0900 +++ b/README-os9.txt Sat Jan 05 22:10:20 2019 +0900 @@ -43,6 +43,8 @@ src/v09c -rom src/os9/os9lv2.rom -0 OS9.dsk -1 WORK.dsk +use -nt for trace debug without timmer interrupt. + Structure --------- @@ -158,12 +160,41 @@ src/os9/level1/cmds src/os9/level2/cmds - game09 VTL interpreter on os9 sbc09 sbc09 emulator on os9 - OS9: sbc09 ../../../examples_forth/kernel09 + OS9: sbc09 kernel09.s + OS9: sbc09 basic.s Todo ( program load command on game09 and forth ) +================ + +Micro C +------------- + src/os9/mc09 + only working on level2 + + OS9: mc09/mc-s -Mtestcp test/cp.c + + % src/a09 crtos9.asm -l c.lst -o testcp + + +GAME09 +------------- + game09 + src/os9/level[12]/game09 + + OS9: game09 + + > \LD "game09/asm09.game" + > #=1 + +TL/1 +------------- + TL/1 + + OS9: tl1 tl1/test/t1.tl1 + + Links/References ================ diff -r a425c3bb31d1 -r 188111be26b4 TL1/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/TL1/Makefile Sat Jan 05 22:10:20 2019 +0900 @@ -0,0 +1,16 @@ + + +all : TL1.asm TL1 + +TL1 : TL1os9.asm + ../src/a09 TL1os9.asm -o TL1 -l TL1os9.lst + cp TL1 ../os9/level1/cmds + cp TL1 ../os9/level2/cmds + +TL1.asm : TL1.txt + perl toasm.pl TL1.txt > TL1.asm + +TL1.b : TL1.asm + ../src/a09 -l TL1.lst TL1.asm + + diff -r a425c3bb31d1 -r 188111be26b4 TL1/tl1.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/TL1/tl1.html Sat Jan 05 22:10:20 2019 +0900 @@ -0,0 +1,470 @@ + + + +TL/1 言語仕様 + + + +

TL/1 言語仕様

概要

この文章はプログラミング言語 TL/1 の言語仕様のまとめです。雑誌やウェブ上にある説明などを元にして私の解釈や曖昧箇所の指摘を加えて仕様の体裁に再構成したものです。

説明のために元資料にない用語を使う場合もあります。

この文章中で「未定義」としている箇所は、元資料から判断がつかないことを陽に示したものです。

構文図も用意していますが、識別子の解釈に独特な部分があるので文章の方を先に読んでから構文図を参考にした方がよいでしょう。

+ +

字句

+ +

パーセント記号 (%) から次の改行までは無視され、プログラム的には空白文字と同等の意味しか持ちません。プログラムの説明などを記述するのに使ってください。

+ +

識別子

英文字で始まり、後続する英数字 0 個以上で構成されます。識別子を構成しない文字 (空白や記号) の直前までを 1 個の語として解釈します。大文字と小文字は区別しません。識別子の長さに上限はありません。

予約語、手続き名、関数名、大域単変数名、大域配列名、小域単変数名、小域配列名が同じ綴りを持つ可能性があります。宣言時に既存の名前と重複しないかチェックされません。宣言以外の箇所では処理系は以下の順序で名前の検索を試み、最初に発見された属性の識別子として解釈します。

小域配列名
小域単変数名
大域配列名
大域単変数名
関数名
手続き名
予約語

+ +

数値

4 種類の表現方法があります。

TL/1 で直接的に扱える数値はバイトサイズであり、ゆえにプログラム中で現れる数値表現は常に 0〜255 の範囲内です。

構文中で真偽値を要求している箇所においては 255 を真、それ以外の値は偽と解釈します。真偽値を返す関数は真として 255 を、偽として 0 を返します。

+ +

十進定数

0〜9 の文字を 1 つ以上並べて 0〜255 の範囲を数を表現できます。

頭に余計な 0 を付けた場合 (例えば 02 のような) の挙動は未定義です。

+ +

十六進定数

記号 $ に 0〜9 または a〜f で十六進表現で 0〜255 を表します。a〜f は大文字 (A〜F) を使っても同じ意味です。

記号 $ の後に空白文字を入れてはいけません。

十六進で二桁にするために余計な 0 を頭に付けること (例えば $0A のような) は許されますが、それよりも多くの 0 を頭に付けた場合 (例えば $002) の挙動は未定義です。

+ +

文字リテラル定数

クオートで挟まれた一文字で表現します。その一文字のアスキーコードと同じ数値が書かれたものと見做されます。

'A' % 65 と書いたのと同じ意味

+ +

論理定数

識別子 TRUE もしくは FALSE で表します。 TRUE は $FF 、 FALSE は 0 と同じです。

+ +

記号

その他、演算子や構文には記号を用いますが、後述する構文の説明の中で取り上げます。

+ +

空白文字

語の間に挿入することが出来ます。語の区切りとしては 1 個あれば充分ですが、何個連続しても意味は変わりませんので外観を整えるために活用して下さい。空白文字と解釈する文字は以下の通りです。

文字コード $1F 以下の文字 (制御文字)
空白
ピリオド (.)
セミコロン (;)

使い方に習慣的な意味がある場合もあり、それについては後述します。

+ + +

プログラムの構成

プログラムは以下の順序で構成されます。

+ +

手続き名宣言
関数名宣言
大域単変数名宣言
大域配列名・配列の大きさ宣言
主プログラムの定義
手続き、または関数の定義群

+ +

それぞれの内容は以下のようになります。

+ +

手続き名宣言

プログラム中で使用する手続き名を予約語 PROC に続けて書きます。手続き名が複数の場合はカンマで区切ります。

+PROC 手続き1 , 手続き2 , 手続き3 ...
+

手続きが 0 個の場合は宣言を省略します。

+ +

関数名宣言

プログラム中で使用する関数名を予約語 FUNC に続けて書きます。関数名が複数の場合はカンマで区切ります。

+FUNC 関数1 , 関数2 , 関数3 ...
+

関数を 0 個の場合は宣言を省略します。

+ +

大域単変数名宣言

プログラム全体で使用する単変数名を予約語 VAR に続けて書きます。大域単変数名が複数の場合はカンマで区切ります。

+VAR 単変数1 , 単変数2 , 単変数3 ...
+

大域単変数が 0 個の場合は宣言を省略します。

後述の大域配列と合計して 256 バイト以内である必要があります。更に副プログラムを呼出す場合は 2 バイトの余地が必要 (大域単変数と大域配列を合計した大きさが 254 バイト以下になる必要がある) です。

+ +

大域配列名・配列の大きさ宣言

プログラム全体で使用する配列名とその大きさを予約語 ARRAY に続けて書きます。配列の大きさは配列名の後に角括弧で囲んだ数値で表します。配列名が複数の場合はカンマで区切ります。

+
+ARRAY 配列1 [ 配列1の大きさ ] ,
+      配列2 [ 配列2の大きさ ] ,
+      配列3 [ 配列3の大きさ ] ...
+

配列の大きさは配列の添字の最大値です。例えば A[10] と宣言した配列に対しては 0〜10 の添字で安全に参照できることを意味します。 C などのように配列の要素数ではないことに注意してください。

主プログラムの定義

予約語 BEGIN と END で狭んだ 0 個以上の実行文から成ります。

副プログラムの定義

副プログラムとは手続きか関数です。以下のような順序で構成されます。

副プログラム名
仮引数リスト
小域単変数名宣言
小域配列名・配列の大きさ宣言
予約語 BEGIN
0 個以上の実行文
予約語 END

これが副プログラムの個数分だけ繰返されます。

副プログラムの定義は宣言の順序と一致しなくてもかまいません。

副プログラム名

プログラムの最初の手続き名宣言か関数名宣言で宣言した名前です。

仮引数リスト

丸括弧で囲まれた複数の識別子です。識別子が複数の場合はカンマで区切ります。

+( 仮引数1 , 仮引数2 , 仮引数3 ...)
+

仮引数はいわゆる値渡しのみです。呼出し時の実引数で初期化される点が異なるだけの小域単変数です。 (暗黙の小域単変数宣言)

仮引数が 0 個の場合は丸括弧ごと省略することも出来ます。

小域単変数名宣言

当該の副プログラム内だけで参照可能な単変数を宣言します。形式は大域単変数と同じです。

小域単変数が 0 個の場合は宣言を省略します。

大域単変数・大域配列と同様に、小域単変数と小域配列を合せた大きさが 256 バイト以下である必要があります。

小域配列名宣言

当該の副プログラム内だけで参照可能な配列を宣言します。形式は大域配列と同じです。

+ +

実行文

複文

文括弧で 0 個以上の実行文を囲うことで 1 個の実行文にまとめることが出来ます。

BEGIN 実行文リスト END

{ 実行文リスト }

[ 実行文リスト ]

( 実行文リスト )

まとめられた文は複文と呼ばれ、あたかもひとつの実行文であるかのように振舞いますので、以降の説明で実行文が現れることが出来る箇所のどこにでも現れることが出来ます。囲まれた実行文が 0 個の複文は空文と呼びます。

どの括弧記号を使っても同じ意味ですが、必ず対応する閉じ括弧で閉じる必要があります。例えば「{」で始めて「]」で閉じるような使い方は出来ません。

複文中のそれぞれの実行文を区切るために、空白文字として無視されるセミコロン (;) を書く習慣があります。

主プログラム、副プログラムの本文も複文の一種ではありますが、上記で示した通り BEGIN と END で挟む必要があり、他の括弧は使えません。

STOP

実行を停止してモニタに飛びます。

主プログラムの最後には自動的に挿入されるので書かなくてもよいですが、主プログラム/副プログラムの任意の場所に書けます。

RETURN

手続き、または関数から復帰します。

+RETURN
+

+RETURN 式
+

手続きから復帰する場合には式を持たない書式で、関数から復帰する場合は 1 個の式が続く書式で書きます。

手続きの最後には自動的に挿入されるので書かなくてもよいですが、手続き中のどこででも使用することが出来ます。 (一部の処理系では FOR ループ内で使ってはいけません。)

関数の定義内では必ず 1 つ以上使う必要があります。 (コンパイル時にチェックされないことに注意してください。また、 FOR ループ内で使ってはいけません。)

関数内で RETURN 文を通過せずに終端 (関数の定義の終りを表す END) に行き当たった場合の挙動は未定義です。

+ +

FOR

単変数の値を変化させながら繰返しする処理を表します。

+FOR 単変数 := 式 TO 式 DO 実行文
+

+FOR 単変数 := 式1 DOWNTO 式2 DO 実行文

カウント用の単変数に式の値を代入し、単変数を 1 ずつ増加または減少させながら実行文を繰返します。

単変数の増分は、 TO を用いたとき +1 、 DOWNTO を用いたときは -1 です。 (一部の処理系では DOWNTO を使えません。)

+ +

REPEAT

REPEAT 文リスト UNTIL 式

式の値が真値になるまで文リストを繰返し実行します。文リストは 0 個以上の実行文を並べたものです。

+ +

WHILE

WHILE 式 DO 実行文

式の値が偽ならば実行文を実行せずに次の処理へ移ります。

式の値が真の場合は実行文を実行して再び式の評価に戻ります。

+ +

IF

IF 式 THEN 実行文1

IF 式 THEN 実行文1 ELSE 実行文2

式の値が真なら実行文1を実行します。

式の値が偽であり ELSE 節が省略されていないならば実行文2 を実行します。

式の値が偽であり ELSE 節が省略されているならば何もせずに次の処理へ移ります。 (一部の処理系では ELSE 節は使えません。)

+ +

CASE

+
+CASE 式0 OF
+     式1 実行文1
+     ...
+     式k-1 実行文k-1
+     ELSE 実行文k
+

式0 の値を式1 の値と比較して合致すれば実行文1 を実行します。その後は実行文k の次の処理に移ります。

合致しなければ、同様にして合致するまで次々と式と比較し、合致した式に対応した実行文を実行します。

式の箇所に予約語 ELSE が有った場合は無条件に合致したものとみなして実行文k を実行します。

CASE 文における ELSE 節は CASE 文の最後の条件であることを示すマーカーでもあるので省略することは出来ません。 ELSE 節に実行すべき実行文がない場合は空文を書いてください。

WRITE

+WRITE ( 式 : 出力リスト )
+

式の値が表す出力装置に対して出力リストの内容を出力します。数値と出力装置との対応付けについては未定義ですが、一般的に 0 はコンソール画面であるとされています。

出力リストは以下の出力要素からなり、ひとつ以上の場合はカンマで区切ります。

式

式を記述します。十進数左詰めで出力します。

右詰め

+# ( 式1 , 式2 )
+

式2 の値を式1 の桁数で十進右詰めで出力します。

文字列

+" 文字列 "
+

ダブルクォーテーションで囲まれた文字列を出力します。

アスキーコード

+ASCII ( 式 )
+

式で与えられたアスキーコードに相当する文字を出力します。

空白

+SPACE ( 式 )
+

式で与えられた個数分の空白を出力します。式の値が 0 の場合は何も出力しません。

改行

+CRLF ( 式 )
+

+CRLF
+

式で与えられた個数分の改行を出力します。式の値が 0 の場合は何も出力しません。

式を省略した形式の場合は 1 個の改行を出力します。

十六進数

+HEX ( 式 )
+

式で与えられた値を十六進数 2 桁で出力します。

一部の処理系では使えません。

+ +

代入

変数 := 式

変数1 , 変数2 , ... , 変数k := 式

式の値を変数に代入します。

変数がカンマで区切られたリストの場合は式の値を左辺全ての変数に代入します。

代入記号はコロンとイコールの 2 語から成っているのでコロンとイコールの間に空白文字が有っても代入記号として認識されますが、一般的には間を空けずに書きます。

+ +

手続き呼出し

手続きを呼出します。

+手続き名 ( 式 ,  式 , ...  式 )
+

+手続き名
+

引数をもつ手続きでは実引数を与えて呼出します。引数を持たない手続きを呼出す場合には丸括弧ごと省略した記法で呼出せますが、引数を持たない手続きを丸括弧を省略せずに記述した場合はエラーです。

+FOO() % このような呼び方はエラー
+

実引数の渡し方はいわゆる値渡しに限定されているので、実引数が変数であっても手続きから戻ったときに値は変化しません。

+ +

CALL

機械語サブルーチンを呼出します。

+CALL ( AH , AL , A , H , L )
+

+CALL ( AH , AL , A , H )
+

+CALL ( AH , AL , A )
+

+CALL ( AH , AL )
+

各パラメータは以下の意味を持ちます。

+ + + + + + + +

AH	アドレスの上位 8 ビット
AL	アドレスの下位 8 ビット
A	アキュムレータに与える値
H	80 系 CPU では H レジスタに与える値、 6502 系 CPU では X レジスタに与える値
L	80 系 CPU では L レジスタに与える値、 6502 系 CPU では Y レジスタに与える値

A, H, L は省略した形式がありますが、省略した場合はそれぞれの値は不定となります。

この手続きは一部の処理系では利用できません。

+ +

SENSE

PC では STOP キー、 APPLE では cont-C が押されているか否かを検出し、押されていればモニタモードに戻ります。

+ +

変数

変数はすべて 1 バイト長です。以下の 4 種類があります。

単変数

VAR 宣言された英字で始まる英数字の列です。

大域、小域の区別があります。

+ +

配列変数

配列変数名 [ 式 ]

ARRAY 宣言された配列の式番目の要素です。

大域、小域の区別があります。

+ +

MEM変数

MEM ( 式1 , 式2 )

式1 の値を上位、式2 の値を下位のアドレスとするメモリ内の 1 バイト。

+ +

PORT

PORT  (式 )

PC 版専用です。

N-BASIC の INP, OUT に相当します。代入文の左辺にあれば OUT 、右辺にあれば INP と同等の作用をします。

+ +

式

定数

数値の項で示した 4 種類のいずれかの形式で定数を表します。

関数呼出し

関数名 ( 式1 , 式2 , ... , 式k )

関数名

FUNC 宣言によって宣言された関数、または処理系が用意しているシステム関数 (後述) を呼出します。引数のない関数を呼出す場合は関数名のみで呼出せます。引数がない関数を括弧付きの書式で呼出そうとした場合はエラーです。

+FOO := BAR() % このような呼び方はエラー
+

MHIGH

1 バイト同士の掛け算の結果は 2 バイトになり得ますが、式の中では下位 1 バイトしか表現されません。上位 1 バイトは専用の場所に格納されており、 MHIGH 関数で取出すことが出来ます。

MOD

割り算すると商が返りますが、同時に余が計算されて専用の場所に格納されており、 MOD 関数で取出すことが出来ます。

RND

+RND ( 式 )
+

1 以上式以下の一様乱数を返します。

GET

+GET ( 式 )
+

式が表す入力装置から 1 文字を入力し、そのアスキーコードの値を返します。

数値と入力装置の対応付けは未定義ですが、一般に 0 はキーボードであるようです。

READ

+READ ( 式 )
+

式の値に対応する入力装置から十進数を 1 つ入力し、その値を返します。 RUBOUT コードは区切り記号とみなされます。

NOT

+NOT ( 式 )
+

1 の補数を返します。後述の COM と同じです。

NEG

+NEG ( 式 )
+

2 の補数を返します。

COM

+COM ( 式 )
+

1 の補数を返します。

LSR

+LSR ( 式 )
+

1 ビット右シフトします。最上位ビットには 0 が入り、最下位ビットはキャリーに入ります。

ASR

+ASR ( 式 )
+

1 ビット右シフトします。最上位ビットは変化せず、最下位ビットはキャリーに入ります。

ASL

+ASL ( 式 )
+

1 ビット左シフトします。最下位ビットには 0 が入り、最上位ビットはキャリーに入ります。

ROR

+ROR ( 式 )
+

1 ビット右シフトします。キャリーは最上位ビットに入り、最下位ビットはキャリーに入ります。

ROL

+ROL ( 式 )
+

1 ビット左シフトします。キャリーは最下位ビットに入り、最上位ビットはキャリーに入ります。

USR

USR ( AH , AL , A , AH , L )

USR ( AH , AL , A , AH )

USR ( AH , AL , A )

USR ( AH , AL )

CALL 文と機能は同じですが、機械語サブルーチン実行後のアキュムレータの値を返却値として返します。

処理系によっては使えません。

RDHEX

RDHEX (式)

入力装置から十六進数1桁を入力します。

処理系によっては使えません。

RRC

RRC (式)

キャリーを経由せずに式の値を右に 1 ビットシフトします。最下位ビットは最上位に入ります。

処理系によっては使えません。

RLC

RLC (式)

キャリーを経由せずに式の値を左に 1 ビットシフトします。最上位ビットは最下位ビットに入ります。

処理系によっては使えません。

二項演算子

左右に 2 個の項をとって計算する演算子です。

項1 演算子 項2

演算子の優先順位は表の通りです。優先順位の同じ演算子は左結合します。

+ + + + + + +

①	乗除算演算子
②	加減算演算子
③	関係演算子
④	論理演算子
⑤	キャリー付き加減算演算子

優先順位を変更したい場合は式括弧を使用します。以下 3 種類の括弧が式括弧として使えますが標準的には丸括弧を用いることとします。

{ 式 }

[ 式 ]

( 式 )

記号ではなく識別子の演算子については空白文字と解釈されるピリオドを両側に置く習慣があります。私見ですが、関数呼出しとの区別をしやすくする工夫だと考えられます。

.AND.

+ +

乗除算演算子

+ + + +

*	乗算
/	除算の商

+ +

加減算演算子

+ + + +

+	加算
-	減算

+ +

関係演算子

2 つの値を比較して真偽値を返します。 GT と LT は左右の数値を 2 の補数表現の符号付き二進数とみなして比較します。その他の演算子は数を符号なし二進数と解釈します。

+ + + + + + + +

>	大きい
<	小さい
#	等しくない
=	等しい
GT	大きい
LT	大きい

+ +

論理演算子

+ + + + +

AND	論理積
OR	論理和
EOR	排他的論理和

+ +

キャリー付き加減算演算子

二項を足した上でキャリーの値を足す、または二項を減算した上でキャリーの値を引く演算子です。

+ + + +

ADC	キャリー付き加算
SBC	ボロー付き減算

システム関数の一部がフラグを変化させることが明記されている他はどの処理がフラグを変化させるかは未定義です。一般に加減算はフラグを変化させるようですが、処理系によっては配列要素へアクセスしたときに変化させてしまう場合もあるようです。キャリー付き加減算は加減算の直後に限って使うのが安全であると考えられます。

+ +

TL/1 言語仕様

概要

字句

コメント

識別子

数値

十進定数

十六進定数

文字リテラル定数

論理定数

記号

空白文字

プログラムの構成

手続き名宣言

関数名宣言

大域単変数名宣言

大域配列名・配列の大きさ宣言

主プログラムの定義

副プログラムの定義

副プログラム名

仮引数リスト

小域単変数名宣言

小域配列名宣言

実行文

複文

STOP

RETURN

FOR

REPEAT

WHILE

IF

CASE

WRITE

式

右詰め

文字列

アスキーコード

空白

改行

十六進数

代入

手続き呼出し

CALL

SENSE

変数

単変数

配列変数

MEM変数

PORT

式

定数

関数呼出し

MHIGH

MOD

RND

GET

READ

NOT

NEG

COM

LSR

ASR

ASL

ROR

ROL

USR

RDHEX

RRC

RLC

二項演算子

乗除算演算子

加減算演算子

関係演算子

論理演算子

キャリー付き加減算演算子