nescc-wiring - En ligne dans le Cloud

PROGRAMME:

Nom

nescc-wiring - vérifier le câblage du programme nesC

SYNOPSIS

nescc-câblage fichier nesc-xml

DESCRIPTION

nescc-câblage est un outil pour vérifier que les contraintes de câblage spécifiées sur chaque
les composants sont respectés dans un programme nesC. Ces contraintes de câblage peuvent spécifier qu'un
l'interface fournie ou utilisée par un composant doit être câblée au moins une fois, au plus une fois, ou
exactement une fois. Si aucune contrainte de câblage n'est violée, le câblage nescc se termine par une sortie
état de 0. Sinon, les messages d'erreur appropriés sont imprimés et le câblage nescc se termine
avec un statut de sortie différent de zéro.

Les contraintes de câblage sont spécifiées en plaçant @atmosphère(), @au moins une fois() et
@exactement une fois() attributs sur les interfaces concernées. Par exemple, écrire

module amusant {
fournit l'interface Init @atleastonce();
...

garantit que les programmes utilisant le module Fun doit câbler son Init interface au moins une fois.

Plus précisément, lorsque l'annotation est placée sur une interface fournie, il doit y avoir le
nombre spécifié de chemins dans le graphique de câblage de n'importe quel module à cette interface. Si la
les annotations sont placées sur une interface utilisée, il doit y avoir le nombre spécifié de chemins dans
le graphique de câblage de l'interface à n'importe quel module.

Pour utiliser cet outil de contrôle de câblage, vous devez déclarer le @atmosphère(), @au moins une fois() et
@exactement une fois() attributs dans un fichier d'en-tête global comme suit :

struct @atleastonce() { } ;
struct @atmostone() { };
struct @exactlyonce() { } ;

et vous devez passer les options suivantes à necc pour créer le fichier XML que vous passez à
nescc-câblage:

-fnesc-dump=câblage
-fnesc-dump='interfaces(!abstract())'
-fnesc-dump='référencé(interfacedefs, composants)'
-fnesc-dumpfile=fichier nesc-xml

Utilisez nescc-wiring en ligne en utilisant les services onworks.net