Wie behebe ich diesen Syntax Error?
Hey, ich habe versucht code in Promela zu programmieren, kann jedoch nicht meinen Fehler finden. Hier der Code:
Als Error bekomme ich immer:
"spin: Quadratzahlen.pml:18, Error: syntax error saw 'an identifier' near 'result'
spin: Quadratzahlen.pml:25, Error: aborting (ana_stmnt)"
proctype Quadratzahl(int n){
int result = 0;
int tmp = 0;
if
:: n == 3 ->
do
:: n > 0 ->
result = n * n + tmp;
tmp = result;
n = n - 1;
od
:: else n != 3 ->
result = (n * (n + 1) * (2*n + 1)) / 6;
fi
printf(result);
}
init{
run Quadratzahl(3);
}
1 Antwort
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Computer, Technik, programmieren
Deiner printf-Funktion fehlt ein Argument.
Das erste Argument sollte ein Format-/Templatestring sein. Weitere Argumente stehen für die konkreten Werte, die im Template via Format Specifier angekündigt wurden.
printf("%d", result);
Der Specifier %d gibt an, dass der Wert, der für ihn eingesetzt werden soll, einer Zahl entspricht.
Weitere Specifier und Informationen kannst du in der Online Referenz von spin nachlesen.