Dies ist der Befehl nescc-wiring, der 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
nescc-wiring – Verkabelung des nesC-Programms prüfen
ZUSAMMENFASSUNG
nescc-verkabelung nesc-xml-Datei
BESCHREIBUNG
nescc-verkabelung ist ein Tool zur Überprüfung individueller Verkabelungsbeschränkungen
Komponenten werden in einem NESC-Programm berücksichtigt. Diese Verdrahtungsbeschränkungen können festlegen, dass ein
Die von einer Komponente bereitgestellte oder genutzte Schnittstelle muss mindestens einmal, höchstens einmal, oder verdrahtet werden
genau einmal. Wenn keine Verdrahtungsbeschränkungen verletzt werden, wird nescc-wiring mit einem Exit beendet
Status 0. Andernfalls werden entsprechende Fehlermeldungen ausgegeben und nescc-wiring wird beendet
mit einem Exit-Status ungleich Null.
Verdrahtungsbeschränkungen werden durch die Platzierung festgelegt @atmostonce(), @mindestens einmal() und
@exactlyonce() Attribute auf den relevanten Schnittstellen. Zum Beispiel Schreiben
Modul Spaß {
stellt die Schnittstelle Init @atleastonce() bereit;
...
stellt sicher, dass Programme das Modul verwenden Spaß Muss es verkabeln Drin Schnittstelle mindestens einmal.
Insbesondere wenn die Anmerkung auf einer bereitgestellten Schnittstelle platziert wird, muss die vorhanden sein
angegebene Anzahl von Pfaden im Verdrahtungsdiagramm von einem beliebigen Modul zu dieser Schnittstelle. Wenn die
Damit Anmerkungen auf einer verwendeten Schnittstelle platziert werden, muss die angegebene Anzahl an Pfaden darin vorhanden sein
das Verdrahtungsdiagramm von der Schnittstelle zu einem beliebigen Modul.
Um dieses Tool zur Verkabelungsprüfung verwenden zu können, müssen Sie Folgendes deklarieren @atmostonce(), @mindestens einmal() und
@exactlyonce() Attribute in einer globalen Header-Datei wie folgt:
struct @atleastonce() { };
struct @atmostonce() { };
struct @exactlyonce() { };
und Sie müssen die folgenden Optionen an übergeben nescc um die XML-Datei zu erstellen, an die Sie übergeben
nescc-verkabelung:
-fnesc-dump=wiring
-fnesc-dump='interfaces(!abstract())'
-fnesc-dump='referenziert(Schnittstellendefinitionen, Komponenten)'
-fnesc-dumpfile=nesc-xml-Datei
Nutzen Sie nescc-wiring online über die Dienste von onworks.net