.K Dateiendung
K-Framework-Quelldatei
| Entwickler | Runtime Verification |
| Beliebtheit |
2,0 | 6 Stimmen |
Was ist eine K-Datei?
Eine K-Datei enthält Quellcode, der in der K-Programmiersprache geschrieben wurde. Entwickler erstellen K-Dateien mit Quelltexteditoren wie Microsoft Visual Studio Code. Anschließend kompilieren sie diese mit dem Compiler des K-Frameworks, der als kompile bekannt ist.
Weitere Informationen
K ist ein Framework, mit dem Entwickler Programmiersprachen sowie Software- und Hardwaresysteme entwerfen und modellieren können. Das Framework umfasst eine eigene Programmiersprache, die als K bezeichnet wird.
Entwickler, die mit dem K-Framework arbeiten, schreiben Programme in der K-Sprache und speichern den Quellcode dieser Programme als K-Dateien. Normalerweise enthält jede K-Datei ein oder mehrere Module, die die Funktion(en) eines Programms definieren. Der Name jedes Moduls besteht aus einer oder mehreren Gruppen von Buchstaben, Zahlen oder Unterstrichen, die durch Bindestriche getrennt sind. Module bestehen hauptsächlich aus Syntax und Regeln. Module können auch andere Module importieren, die in anderen K-Dateien gespeichert sind.
Nachdem ein Entwickler seine K-Datei(en) fertiggestellt hat, kann er kompile verwenden, um die Dateien zu kompilieren. Anschließend kann er krun verwenden, um das Programm auszuführen, das seine K-Datei(en) enthalten.
So öffnen Sie eine K-Datei
Sie können eine K-Datei mit Microsoft Visual Studio Code (plattformübergreifend), Vim (Linux), GNU Emacs (plattformübergreifend) oder einem anderen Text- oder Quelltexteditor öffnen.
Der Entwickler von K, Runtime Verification, pflegt Erweiterungen für VSCode, Vim und Emacs, die das Bearbeiten von K-Dateien in diesen Programmen erleichtern. Informationen zum Herunterladen dieser Erweiterungen finden Sie in der offiziellen Dokumentation des K-Frameworks.