TigerBook/TestCase

Top > TigerBook > TestCase

Counter: 2873, today: 1, yesterday: 0

テストケースの内容と期待値

test1
- 有効な Tiger プログラム
- 配列
test2
- 有効な Tiger プログラム
- 配列、型定義
test3
- 有効な Tiger プログラム
- レコード型
test4
- 有効な Tiger プログラム
- 再帰関数
test5
- 有効な Tiger プログラム
- 再帰型
test6
- 有効な Tiger プログラム
- 相互再帰関数
test7
- 有効な Tiger プログラム
- 相互再帰関数
test8
- 有効な Tiger プログラム
- if 文
test9
- 5章型チェックでエラーすべき
- if 文の then/else の型不整合
test10
- 5章型チェックでエラーすべき
- while 文の本体が unit 型でない
test11
- 5章型チェックでエラーすべき
- for 文の範囲指示(hi)が int 型でない
test12
- 有効な Tiger プログラム
- for文
test13
- 5章型チェックでエラーすべき
- 比較演算の両辺の型不整合
test14
- 5章型チェックでエラーすべき
- 比較演算の両辺の型不整合
test15
- 5章型チェックでエラーすべき
- else 省略のif文で then が unit 型でない
test16
- 5章型チェックでエラーすべき
- 型定義の循環
test17
- 5章型チェックでエラーすべき
- レコード型相互参照に見えるがそうなってない定義の解決禁止
test18
- 5章型チェックでエラーすべき
- 相互再帰関数にみえるがそうなってない関数定義の解決禁止
test19
- 5章型チェックでエラーすべき
- 変数スコープ外の変数参照禁止
test20
- 5章型チェックでエラーすべき
- 未定義変数参照禁止
test21
- 5章型チェックでエラーすべき
- 関数ヘッダでの返値型が unit なのに値を返すことを禁止??
test22
- 5章型チェックでエラーすべき
- 存在しないレコード field
test23
- 5章型チェックでエラーすべき
- レコード field 型の不一致
test24
- 5章型チェックでエラーすべき
- int 型変数に対して配列添字参照
test25
- 5章型チェックでエラーすべき
- int 型変数に対してレコード参照
test26
- 5章型チェックでエラーすべき
- 算術演算で非 int 型オペランド
test27
- 有効な Tiger プログラム (実効結果に注意)
- ローカル変数定義によるグローバル変数の隠蔽
test28
- 5章型チェックでエラーすべき
- 同じフィールドを持つ異なるレコード型への代入
test29
- 5章型チェックでエラーすべき
- 同じ要素型を持つ型の異なる配列型への代入
test30
- 有効な Tiger プログラム
- 型シノニム
test31
- 5章型チェックでエラーすべき
- 明示型と右辺型の不一致
test32
- 5章型チェックでエラーすべき
- 配列の要素の型と初期化子の型の不一致
test33
- 5章型チェックでエラーすべき
- 未定義のレコード型
test34
- 5章型チェックでエラーすべき
- 関数定義の仮引数型と実引数型の不一致
test35
- 5章型チェックでエラーすべき
- 関数引数の不足
test36
- 5章型チェックでエラーすべき
- 関数引数が過剰
test37
- 有効な Tiger プログラム
- 変数の二重定義による先行定義の隠蔽
test38
- 5章型チェックでエラーすべき
- 型の相互二重定義 (test47は類似だが相互じゃないのでok)
test39
- 5章型チェックでエラーすべき
- 関数の相互二重定義 (test48は類似だが相互じゃないのでok)
test40
- 5章型チェックでエラーすべき
- 関数ヘッダでの返値型が unit なのに値を返すことを禁止
test41
- 有効な Tiger プログラム
- 型の多段定義による先行定義の隠蔽
test42
- 有効な Tiger プログラム
- やや長めのプログラム
test43
- 5章型チェックでエラーすべき
- 算術演算のオペランドが unit 型
test44
- 有効な Tiger プログラム
- レコード型への nil の代入
test45
- 5章型チェックでエラーすべき
- レコード型以外の nil の代入
test46
- 有効な Tiger プログラム
- レコード型への nil の代入と比較
test47
- 有効な Tiger プログラム
- test38 と類似だが異なる
test48
- 有効な Tiger プログラム
- test39 と類似だが異なる
test49
- 3章パースでエラーすべき
- 文法誤り