Spesifikasi sesuai versi 0.2.0

README.md

@@ -6,3 +6,33 @@ Repositori ini terdiri atas 2 cabang utama:
 
 - `main`: berisi kode spesifikasi Gara untuk versi Gara yang telah dirilis untuk khalayak umum
 - `lokal`: berisi kode spesifikasi untuk versi Gara yang sedang dalam tahap pengembangan
+
+## Konvensi Penulisan
+
+- Gunakan `sidang` dan kelas yang akan disidang
+- Gunakan `tentang` dan metode/perilaku yang akan disidang
+- Gunakan `saat` untuk menyidang perilaku yang sangat spesifik
+- Gunakan `ia` untuk melakukan penyidangan tingkah laku sesuai kondisi
+- Fungsi statis dideskripsikan dengan tanda `#`:
+
+  ```gr
+  tentang("#dariKata/1", fn () {
+      ia("dapat berkata-kata", fn () {
+          // ...
+      })
+  })
+  ```
+
+- Fungsi instansi dideskripsikan dengan tanda "."
+- Fungsi yang sedang dites perlu dideskripsikan aritasnya, misal: `#baru/1`, `.desimal/1`
+- Untuk ekspektasi masalah, gunakan `coba` - `tahan` sebagai berikut:
+
+  ```gr
+  tuntut coba {
+      sesuatuYangBermasalah()
+      salah
+  } tahan (e) {
+      tuntut e.pesan == "pesan"
+  } == benar
+  ```
+- Tes fungsi diurutkan secara alfabetis

sidang_coba.gr

@@ -95,7 +95,7 @@ sidang("Ekspresi coba", fn () {
         }
 
         tuntut masalah1.pesan() == "objek tipe Kelas tidak memiliki metode `baru` yang bisa dipanggil"
-        tuntut masalah2.pesan() == "hanya bisa dipanggil dengan 1 argumen"
+        tuntut masalah2.pesan() == "aripicu hanya bisa dipicu dengan 1 argumen"
     })
 
     ia("variabel pengenal pada blok penahan bisa shadowing variabel dengan pengenal yang sama", fn () {

sidang_deret.gr

@@ -33,7 +33,7 @@ sidang(Deret, fn () {
                     [].awal(1)
                 } tahan (e) {
                     tuntut e itu MasalahArgumen
-                    tuntut e.pesan().berisi?("`awal` hanya bisa dipanggil dengan tanpa argumen")
+                    tuntut e.pesan().berisi?("`awal` hanya bisa dipicu dengan tanpa argumen")
                     benar
                 }
 

sidang_fungsi.gr

@@ -207,7 +207,7 @@ sidang(Fungsi, fn () {
                     salah
                 } tahan (e) {
                     tuntut e itu MasalahArgumen
-                    tuntut e.pesan() == "hanya bisa dipanggil dengan 2 argumen"
+                    tuntut e.pesan() == "aripicu hanya bisa dipicu dengan 2 argumen"
                 } == benar
             })
 

sidang_integer.gr

@@ -18,6 +18,45 @@ sidang(Integer, fn () {
         tuntut !(satu itu Kelas)
     })
 
+    tentang("penggunaan tanda hubung `_`", fn () {
+        ia("bisa dilakukan ditengah angka", fn () {
+            tuntut 1_2 == 12
+            tuntut 123_000 == 123000
+            tuntut 123_0 == 1230
+            tuntut 123_456_789 == 123456789
+        })
+
+        ia("tidak bisa dilakukan diawal angka", fn () {
+            tuntut coba {
+                _123
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "pengenal `_123` tidak ditemukan atau belum terdefinisikan"
+                benar
+            } == benar
+        })
+
+        ia("tidak bisa dilakukan diakhir angka", fn () {
+            tuntut coba {
+                eval!("123_")
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "angka `123_` tidak dimengerti"
+                benar
+            } == benar
+        })
+
+        ia("tidak bisa bersambungan", fn () {
+            tuntut coba {
+                eval!("1__2")
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "angka `1__2` tidak dimengerti"
+                benar
+            } == benar
+        })
+    })
+
     ia(".mutlak() mengutus nilai non-negatif", fn () {
         tuntut 5.mutlak() == 5
         tuntut -5.mutlak() == 5

sidang_kata.gr

@@ -152,7 +152,7 @@ sidang(Kata, fn () {
 
     ia(".cari(arg1) menemukan posisi dimana Kata dapat ditemukan dalam Kata untuk pertama kalinya", fn () {
         tuntut coba { "".cari(1) } tahan (e) { e.pesan().berisi?("tidak dapat menerima Integer") }
-        tuntut coba { "".cari("1", "2") } tahan (e) { e.pesan().berisi?("`cari` hanya bisa dipanggil dengan 1 argumen") }
+        tuntut coba { "".cari("1", "2") } tahan (e) { e.pesan().berisi?("`cari` hanya bisa dipicu dengan 1 argumen") }
 
         tuntut "foobar".cari("") == 0
         tuntut "foobar".cari("foo") == 0
@@ -227,7 +227,7 @@ sidang(Kata, fn () {
     })
 
     ia(".kecil() menjadikan seluruh karakter berhuruf kecil", fn () {
-        tuntut coba { "".kecil(1) } tahan (e) { e.pesan().berisi?("`kecil` hanya bisa dipanggil dengan tanpa argumen") }
+        tuntut coba { "".kecil(1) } tahan (e) { e.pesan().berisi?("`kecil` hanya bisa dipicu dengan tanpa argumen") }
 
         tuntut "ABC".kecil() == "abc"
         tuntut "Abc".kecil() == "abc"
@@ -280,7 +280,7 @@ sidang(Kata, fn () {
     })
 
     ia(".panjang() memberi informasi jumlah karakter dalam kata", fn () {
-        tuntut coba { "".panjang(1) } tahan (e) { e.pesan().berisi?("`panjang` hanya bisa dipanggil dengan tanpa argumen") }
+        tuntut coba { "".panjang(1) } tahan (e) { e.pesan().berisi?("`panjang` hanya bisa dipicu dengan tanpa argumen") }
 
         tuntut "".panjang() == 0
         tuntut "1".panjang() == 1
@@ -309,7 +309,7 @@ sidang(Kata, fn () {
     })
 
     ia(".rapi() menghapus seluruh karakter spasi diawal dan diakhir Kata", fn () {
-        tuntut coba { "".rapi(1) } tahan (e) { e.pesan().berisi?("`rapi` hanya bisa dipanggil dengan tanpa argumen") }
+        tuntut coba { "".rapi(1) } tahan (e) { e.pesan().berisi?("`rapi` hanya bisa dipicu dengan tanpa argumen") }
 
         tuntut "   Gara   ".rapi() == "Gara"
         tuntut "  G a r a   ".rapi() == "G a r a"

sidang_kelas.gr

@@ -25,6 +25,42 @@ sidang(Kelas, fn () {
         tuntut a.a == 12
     })
 
+    tentang("sifat `tetap`", fn () {
+        ia("membuat kelas tidak bisa diperkaya setelah pendefinisian", fn () {
+            tidakAda!(fn () { A })
+
+            kelas tetap A {
+                ada a
+            }
+
+            ada a = A.baru
+            tuntut a.a == nil
+
+            tuntut coba {
+                kelas A { ada b }
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "kelas `A` tidak dapat diperkaya karena telah bersifat tetap"
+                benar
+            } == benar
+        })
+
+        ia("tidak bisa disematkan pada kelas yang telah terdefinisikan", fn () {
+            tidakAda!(fn () { A })
+
+            kelas A {}
+            tuntut A.tetap? == salah
+
+            tuntut coba {
+                kelas tetap A {}
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "dilarang menambahkan sifat tetap ke kelas `A` yang telah didefinisikan"
+                benar
+            } == benar
+        })
+    })
+
     tentang("nama", fn () {
         ia("harus diawali huruf kapital", fn () {
             tuntut coba {
@@ -81,6 +117,19 @@ sidang(Kelas, fn () {
         tuntut 1.kelas() != Angka
     })
 
+    tentang(".tetap?", fn () {
+        ia("mengutus `benar` jika kelas bersifat tetap", fn () {
+            tidakAda!(fn () { A })
+            tidakAda!(fn () { B })
+
+            kelas tetap A {}
+            kelas B {}
+
+            tuntut A.tetap? == benar
+            tuntut B.tetap? == salah
+        })
+    })
+
     tentang("metode", fn () {
         ia("bisa dipanggil dengan ini", fn () {
             tidakAda!(fn () { A })
@@ -1010,7 +1059,7 @@ sidang(Kelas, fn () {
                 salah
             } tahan (e) {
                 tuntut e itu Masalah
-                tuntut e.pesan() == "`sapa` adalah metode pribadi kelas Penyapa yang hanya bisa dipanggil dari dalam"
+                tuntut e.pesan() == "`sapa` adalah metode pribadi kelas Penyapa yang hanya bisa dipicu dari dalam"
                 benar
             } == benar
 
@@ -1045,7 +1094,7 @@ sidang(Kelas, fn () {
                 A.baru().b()
                 salah
             } tahan (e) {
-                tuntut e.pesan() == "`a` adalah metode pribadi kelas A yang hanya bisa dipanggil dari dalam"
+                tuntut e.pesan() == "`a` adalah metode pribadi kelas A yang hanya bisa dipicu dari dalam"
                 benar
             } == benar
         })

sidang_kelas_penurunan.gr

@@ -32,7 +32,37 @@ sidang("Penurunan `kelas`", fn () {
         tuntut A2.moyang.berisi?(Objek) == benar
     })
 
-    tentang("kelas telah terdefinisikan", fn () {
+    ia("bisa bersifat tetap", fn () {
+        tidakAda!(fn () { A })
+        tidakAda!(fn () { B })
+
+        kelas A { ada a = "a" }
+        kelas tetap B -> A { ada b = "b" }
+
+        tuntut B.tetap?
+        ada b = B.baru
+        tuntut b.a == "a"
+        tuntut b.b == "b"
+    })
+
+    saat("menurun dari kelas yang bersifat tetap", fn () {
+        ia("tidak bisa dilakukan", fn () {
+            tidakAda!(fn () { A })
+            tidakAda!(fn () { B })
+
+            kelas tetap A {}
+
+            tuntut coba {
+                kelas B -> A {}
+                salah
+            } tahan (e) {
+                tuntut e.pesan == "kelas punca `A` tidak dapat diturunkan karena telah bersifat tetap"
+                benar
+            } == benar
+        })
+    })
+
+    saat("kelas telah terdefinisikan", fn () {
         ia("bermasalah jika kelas punca berbeda", fn () {
             tuntut coba {
                 kelas Masalah -> Riil {}
@@ -390,7 +420,7 @@ sidang("Penurunan `kelas`", fn () {
                             B.baru().a()
                             salah
                         } tahan (e) {
-                            tuntut e.pesan == "`a` adalah metode pribadi kelas B yang hanya bisa dipanggil dari dalam"
+                            tuntut e.pesan == "`a` adalah metode pribadi kelas B yang hanya bisa dipicu dari dalam"
                             benar
                         } == benar
                     })
@@ -547,7 +577,7 @@ sidang("Penurunan `kelas`", fn () {
                             B.a()
                             salah
                         } tahan (e) {
-                            tuntut e.pesan == "`a` adalah fungsi statis bersifat pribadi kelas B yang hanya bisa dipanggil dari dalam"
+                            tuntut e.pesan == "`a` adalah fungsi statis bersifat pribadi kelas B yang hanya bisa dipicu dari dalam"
                             benar
                         } == benar
                     })

sidang_kelas_statis.gr

@@ -664,7 +664,7 @@ sidang("Statis pada `kelas`", fn () {
                 A.b()
                 salah
             } tahan (e) {
-                tuntut e.pesan() == "`b` adalah fungsi statis bersifat pribadi kelas A yang hanya bisa dipanggil dari dalam"
+                tuntut e.pesan() == "`b` adalah fungsi statis bersifat pribadi kelas A yang hanya bisa dipicu dari dalam"
                 benar
             } == benar
         })
@@ -745,7 +745,7 @@ sidang("Statis pada `kelas`", fn () {
                     A.baru()
                     salah
                 } tahan (e) {
-                    tuntut e.pesan() == "`baru` adalah fungsi statis bersifat pribadi kelas A yang hanya bisa dipanggil dari dalam"
+                    tuntut e.pesan() == "`baru` adalah fungsi statis bersifat pribadi kelas A yang hanya bisa dipicu dari dalam"
                     benar
                 } == benar
             })