.K Bestandsextensie
K Framework-broncodebestand
| Ontwikkelaar | Runtime Verification |
| Populariteit |
2,0 | 6 stemmen |
Wat is een K-bestand?
Een K-bestand bevat broncode, geschreven in de programmeertaal K. Ontwikkelaars maken K-bestanden met broncode-editors zoals Microsoft Visual Studio Code. Vervolgens compileren ze deze met de compiler van het K Framework, die bekendstaat als kompile.
Meer informatie
K is een framework waarmee ontwikkelaars programmeertalen en software- en hardwaresystemen kunnen ontwerpen en modelleren. Het framework bevat een eigen programmeertaal die K wordt genoemd.
Ontwikkelaars die met het K Framework werken, schrijven programma's met de K-taal en slaan de broncode van die programma's op als K-bestanden. Elk K-bestand bevat doorgaans een of meer modules die de functie(s) van een programma definiëren. De naam van elke module bestaat uit een of meer groepen letters, cijfers of underscores, gescheiden door koppeltekens. Modules bestaan voornamelijk uit syntaxis en regels. Modules kunnen ook andere modules importeren, die in andere K-bestanden zijn opgeslagen.
Nadat een ontwikkelaar zijn K-bestand(en) heeft gemaakt, kan die kompile gebruiken om de bestanden te compileren. Vervolgens kan die krun gebruiken om het programma uit te voeren dat het K-bestand (of de K-bestanden) bevat.
Een K-bestand openen
Je kunt een K-bestand openen met Microsoft Visual Studio Code (voor meerdere platforms), Vim (Linux), GNU Emacs (voor meerdere platforms) of een andere tekst- of broncode-editor.
De ontwikkelaar van K, Runtime Verification, onderhoudt extensies voor VSCode, Vim en Emacs waarmee je gemakkelijker K-bestanden in die programma's kunt bewerken. Raadpleeg de officiële documentatie van het K Framework voor informatie over het downloaden van deze extensies.