Este é o cálculo de comando que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
cálculo - ferramenta de sistema de tipo algébrico
SINOPSE
cálculo [ opções ] Arquivo de entrada ... [ saída ]
DESCRIÇÃO
cálculo traduz uma especificação de um sistema de tipo algébrico, entrada-
lima, em um código que representa esse sistema. Isso assume a forma de um
número de arquivos que são gerados no diretório de saída, saída.
Se nenhum diretório de saída for especificado, o diretório de trabalho atual
é usado.
Arquivos de entrada e opções de linha de comando podem ser fornecidos em qualquer ordem.
As opções sempre se relacionam aos arquivos de entrada imediatamente seguintes.
Por padrão, o código C que implementa o sistema de tipos é gerado, no entanto
isso pode ser alterado por meio de opções de linha de comando.
OPÇÕES
-Anome Especifica que a álgebra nomeada nome deve ser usado pelo
rotinas de saída. A menos que especificado de outra forma, a última álgebra
entrada é usada para saída.
-Elima Especifica um arquivo contendo uma lista de tipos extras para cálculo.
Eles são usados, por exemplo, para gerar leitura de disco extra e
rotinas de escrita em conjunto com o -d opção.
-Tlima Especifica um arquivo de modelo que é usado para gerar uma saída
lima saída.
-a destaque cálculo para gerar instruções extras em seu código C que
inclui afirmações sobre ponteiros nulos etc. e outro código para
ajudar a escrever programas usando a ferramenta.
-d destaque cálculo para gerar rotinas de leitura e gravação de disco
projetado para adicionar persistência ao sistema de tipo gerado.
-i Indica para cálculo que. entrada é um arquivo de entrada simples.
-o destaque cálculo para produzir uma impressão bonita da álgebra de entrada
para dentro saída, que, neste caso, em um arquivo de saída. Se não
o arquivo de saída é fornecido e a saída padrão é usada.
-p destaque cálculo para gerar rotinas de impressão projetadas para uso
na depuração de programas escritos usando o sistema de tipos.
-r Indica para cálculo que. entrada é a saída de um anterior -w
opção.
-t destaque cálculo para gerar #pragma token comandos que descrevem
o sistema de tipo. Estes são projetados para que tcc(1) pode aplicar
verificação de tipo extremamente rigorosa para programas escritos usando o
sistema de tipo.
-v destaque cálculo imprimir seu número de versão.
-w destaque cálculo para produzir um dump da álgebra de entrada em
saída, que neste caso é um arquivo de saída.
-x destaque cálculo para suprimir o vetor e o ponteiro do vetor
constrói em sua saída.
Use cálculos online usando serviços onworks.net
