nescc-wiring - Online na nuvem

PROGRAMA:

NOME

nescc-wiring - verifique a fiação do programa nesC

SINOPSE

nescc-fiação arquivo nesc-xml

DESCRIÇÃO

nescc-fiação é uma ferramenta para verificar se as restrições de fiação especificadas em
os componentes são respeitados em um programa nesC. Essas restrições de fiação podem especificar que um
interface fornecida ou usada por um componente deve ser conectada pelo menos uma vez, pelo menos uma vez, ou
exatamente uma vez. Se nenhuma restrição de fiação for violada, a fiação nescc termina com uma saída
status de 0. Caso contrário, as mensagens de erro apropriadas são impressas e a fiação nescc termina
com um status de saída diferente de zero.

As restrições de fiação são especificadas colocando @atmostonce (), @pelo menos uma vez() e
@exactlyonce () atributos nas interfaces relevantes. Por exemplo, escrever

módulo Diversão {
fornece interface Init @atleastonce ();
...

garante que os programas usando o módulo Diversão deve conectar seu Nisso interface pelo menos uma vez.

Especificamente, quando a anotação é colocada em uma interface fornecida, deve haver o
número especificado de caminhos no gráfico de fiação de qualquer módulo para essa interface. Se o
anotações são colocadas em uma interface usada, deve haver o número especificado de caminhos em
o gráfico de fiação da interface para qualquer módulo.

Para usar esta ferramenta de verificação de fiação, você deve declarar o @atmostonce (), @pelo menos uma vez() e
@exactlyonce () atributos em algum arquivo de cabeçalho global da seguinte maneira:

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

e você deve passar as seguintes opções para nescc para criar o arquivo XML que você passa para
nescc-fiação:

-fnesc-dump = wiring
-fnesc-dump = 'interfaces (! abstract ())'
-fnesc-dump = 'referenciado (interfaces, componentes)'
-fnesc-dumpfile =arquivo nesc-xml

Use nescc-wiring online usando serviços onworks.net