Acesta este calculul de comandă care poate fi rulat în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
calcul - instrument de sistem de tip algebric
REZUMAT
calcul [ Opțiuni ] fișier de intrare ... [ producție ]
DESCRIERE
calcul traduce o specificație a unui sistem de tip algebric, intrare-
fişier, în cod care reprezintă acel sistem. Aceasta ia forma unui
numărul de fișiere care sunt generate în directorul de ieșire, producție.
Dacă nu este specificat niciun director de ieșire, atunci directorul de lucru curent
este folosit.
Fișierele de intrare și opțiunile din linia de comandă pot fi date în orice ordine.
Opțiunile se referă întotdeauna la fișierele de intrare imediat următoare.
Totuși, în mod implicit, codul C care implementează sistemul de tip este generat
aceasta poate fi schimbată prin intermediul opțiunilor din linia de comandă.
OPŢIUNI
-Anume Specifică faptul că algebra numită nume ar trebui să fie folosit de către
rutine de ieșire. Dacă nu se specifică altfel ultima algebră
intrarea este folosită pentru ieșire.
-Efişier Specifică un fișier care conține o listă de tipuri suplimentare pentru calcul.
Acestea sunt folosite, de exemplu, pentru a genera citirea suplimentară a discului și
rutine de scriere împreună cu -d opțiune.
-Tfişier Specifică un fișier șablon care este utilizat pentru a genera o ieșire
fişier producție.
-a Cauze calcul pentru a genera instrucțiuni suplimentare în codul său C care
include afirmații despre pointerii nuli etc. și alt cod pentru
ajutor la scrierea programelor folosind instrumentul.
-d Cauze calcul pentru a genera rutine de citire și scriere pe disc
conceput pentru a adăuga persistență sistemului de tip generat.
-i Indică să calcul acea intrare este un simplu fișier de intrare.
-o Cauze calcul pentru a scoate o imprimare frumoasă a algebrei de intrare
în producție, care în acest caz într-un fișier de ieșire. Daca nu
este dat fișierul de ieșire, apoi este folosită ieșirea standard.
-p Cauze calcul pentru a genera rutine de imprimare concepute pentru utilizare
în depanarea programelor scrise folosind sistemul de tip.
-r Indică să calcul acea intrare este rezultatul unui precedent -w
opțiune.
-t Cauze calcul a genera #pragma semn descriind comenzi
sistemul de tip. Acestea sunt concepute astfel încât tcc(1) se poate aplica
verificare extrem de riguroasă a tipurilor la programele scrise folosind
tip sistem.
-v Cauze calcul tipăriți-i numărul versiunii.
-w Cauze calcul pentru a scoate un dump al algebrei de intrare în
producție, care în acest caz este un fișier de ieșire.
-x Cauze calcul pentru a suprima vectorul și indicatorul vectorial
constructe în rezultatul său.
Utilizați calculul online folosind serviciile onworks.net