Top > TigerBook > TestCase
Counter: 2568, 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章パースでエラーすべき
    • 文法誤り

Reload   New Lower page making Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup Referer   Help   RSS of recent changes
Last-modified: (4849d)