Ini ialah kalkulus arahan yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
kalkulus - alat sistem jenis algebra
SINOPSIS
kalkulus [ pilihan ] fail input ... [ output ]
DESCRIPTION
kalkulus menterjemah spesifikasi sistem jenis algebra, input-
fail, ke dalam kod yang mewakili sistem itu. Ini mengambil bentuk a
bilangan fail yang dijana dalam direktori output, output.
Jika tiada direktori output ditentukan maka direktori kerja semasa
digunakan.
Fail input dan pilihan baris arahan boleh diberikan dalam sebarang susunan.
Pilihan sentiasa berkaitan dengan fail input serta-merta selepas itu.
Secara lalai, kod C yang melaksanakan sistem jenis dijana, walau bagaimanapun
ini boleh diubah melalui pilihan baris arahan.
PILIHAN
-Anama Menentukan bahawa algebra dinamakan nama harus digunakan oleh
rutin keluaran. Melainkan dinyatakan sebaliknya algebra terakhir
input digunakan untuk output.
-Efail Menentukan fail yang mengandungi senarai jenis tambahan kepada kalkulus.
Ini digunakan, sebagai contoh, untuk menjana bacaan cakera tambahan dan
rutin menulis sempena -d pilihan.
-Tfail Menentukan fail templat yang digunakan untuk menjana output
fail output.
-a Punca kalkulus untuk menjana pernyataan tambahan dalam kod Cnya yang
termasuk penegasan tentang penunjuk nol dsb. dan kod lain kepada
membantu dalam menulis program menggunakan alat tersebut.
-d Punca kalkulus untuk menjana rutin membaca dan menulis cakera
direka untuk menambah ketekunan pada sistem jenis yang dihasilkan.
-i Menunjukkan kepada kalkulus Bahawa input ialah fail input mudah.
-o Punca kalkulus untuk mengeluarkan cetakan cantik algebra input
ke dalam output, yang dalam contoh ini dalam fail output. Jika tidak
fail output diberikan kemudian output standard digunakan.
-p Punca kalkulus untuk menjana rutin percetakan yang direka untuk digunakan
dalam penyahpepijatan atur cara yang ditulis menggunakan sistem jenis.
-r Menunjukkan kepada kalkulus Bahawa input adalah keluaran dari sebelumnya -w
pilihan.
-t Punca kalkulus untuk menjana #pragma token perintah yang menerangkan
sistem jenis. Ini direka supaya TCC(1) boleh memohon
pemeriksaan jenis yang sangat ketat untuk program yang ditulis menggunakan
sistem jenis.
-v Punca kalkulus mencetak nombor versinya.
-w Punca kalkulus untuk mengeluarkan longgokan algebra input ke dalam
output, yang dalam contoh ini ialah fail output.
-x Punca kalkulus untuk menekan vektor dan penunjuk vektor
membina dalam outputnya.
Gunakan kalkulus dalam talian menggunakan perkhidmatan onworks.net