Dies ist die Befehlsrechnung, die beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Infinitesimalrechnung – Werkzeug für algebraische Typsysteme
ZUSAMMENFASSUNG
Infinitesimalrechnung [ Optionen ] Eingabedatei ... [ Möglichkeiten für das Ausgangssignal: ]
BESCHREIBUNG
Infinitesimalrechnung übersetzt eine Spezifikation eines algebraischen Typsystems, Eingang-
Datei, in Code, der dieses System darstellt. Dies geschieht in Form von a
Anzahl der Dateien, die im Ausgabeverzeichnis generiert werden, Möglichkeiten für das Ausgangssignal:.
Wenn kein Ausgabeverzeichnis angegeben ist, dann das aktuelle Arbeitsverzeichnis
wird eingesetzt.
Eingabedateien und Befehlszeilenoptionen können in beliebiger Reihenfolge angegeben werden.
Optionen beziehen sich immer auf die unmittelbar folgenden Eingabedateien.
Standardmäßig wird jedoch C-Code generiert, der das Typsystem implementiert
Dies kann über Befehlszeilenoptionen geändert werden.
OPTIONAL
-AName Gibt an, dass die Algebra benannt ist Name sollte von der verwendet werden
Ausgaberoutinen. Sofern nicht anders angegeben, die letzte Algebra
Die Eingabe wird für die Ausgabe verwendet.
-EDatei Gibt eine Datei an, die eine Liste zusätzlicher Typen enthält Infinitesimalrechnung.
Diese werden beispielsweise verwendet, um zusätzliche Lese- und Lesevorgänge auf der Festplatte zu generieren
Schreibroutinen in Verbindung mit dem -d .
-TDatei Gibt eine Vorlagendatei an, die zum Generieren einer Ausgabe verwendet wird
Datei Möglichkeiten für das Ausgangssignal:.
-a Ursachen Infinitesimalrechnung um zusätzliche Anweisungen in seinem C-Code zu generieren, die
Enthält Aussagen über Nullzeiger usw. und anderen Code dazu
Hilfe beim Schreiben von Programmen mit dem Tool.
-d Ursachen Infinitesimalrechnung zum Generieren von Lese- und Schreibroutinen für Festplatten
Entwickelt, um dem generierten Typsystem Persistenz zu verleihen.
-i Zeigt an Infinitesimalrechnung zur Abwicklung, Integrierung, Speicherung und Varianten des Eingangssignals: ist eine einfache Eingabedatei.
-o Ursachen Infinitesimalrechnung um einen Pretty-Print der Eingabealgebra auszugeben
in Möglichkeiten für das Ausgangssignal:, in diesem Fall in einer Ausgabedatei. Wenn nein
Wird eine Ausgabedatei angegeben, wird die Standardausgabe verwendet.
-p Ursachen Infinitesimalrechnung um Druckroutinen zu generieren, die für die Verwendung konzipiert sind
beim Debuggen von Programmen, die mit dem Typsystem geschrieben wurden.
-r Zeigt an Infinitesimalrechnung zur Abwicklung, Integrierung, Speicherung und Varianten des Eingangssignals: ist die Ausgabe eines vorherigen -w
.
-t Ursachen Infinitesimalrechnung generieren #pragma Zeichen Befehle beschreiben
das Typensystem. Diese sind so konzipiert aka(1) gelten kann
extrem strenge Typprüfung für Programme, die mit dem geschrieben wurden
Typensystem ein.
-v Ursachen Infinitesimalrechnung Drucken Sie die Versionsnummer aus.
-w Ursachen Infinitesimalrechnung um einen Dump der Eingabealgebra auszugeben
Möglichkeiten für das Ausgangssignal:, in diesem Fall eine Ausgabedatei.
-x Ursachen Infinitesimalrechnung um den Vektor und den Vektorzeiger zu unterdrücken
konstruiert in seiner Ausgabe.
Nutzen Sie die Infinitesimalrechnung online über die Dienste von onworks.net
