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

regex9

Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer

Computer, Technik, programmieren

10.11.2021, 10:30

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.

<?php

  class Login {
    private $error = "";

    public function evaluate($data) {
      $email = addslashes($data['email']);
      $password = addslashes($data['password']);

      $query = "select * from users where email = '$email' limit 1 ";

      $DB = new Database();
      $result = $DB->read($query);

      if ($result) {
        $row = $result[0];

        if ($password == $row['password']) {
          $_SESSION['userid'] = $row['userid'];
        }
        else {
          $error .= "Pwrong password or Email<br>"
        }
        else {
          $error .= "Ewrong password or Email<br>"
        }

        return $error;
      }
    }

Die Fehlermeldung:

Parse error: syntax error, unexpected token "}"

in /opt/lampp/htdocs/Website/classes/login.php on line 30

Hat jemand eine Idee?

...zur Frage

Warum ist bei Zeile 3 (int main () {) Ein Syntax Error?

ich verstehe nicht was daran falsch ist

...zur Frage

Java Permutation, der Grad von?

Hallo,

kann mir einer bitte bei dieser Aufgabe helfen? Wie kann ich den Grad von a herausfinden? Also wie oft muss sich int a mit sich selbst permutieren, bis wieder a rauskommt?

Eine Lösung wäre sehr hilfreich.

Den Code von zwei Permutation habe ich hier:

import java.util.Arrays;
public class Permutation {
  public static void main(String[] args) {
    new Permutation();
  }

  public Permutation() {
    int[] a = new int [] {1,2,3,0}; 
    int[] b = new int [] {3,2,1,0}; 
    int [] result = permute(a,b);
    print(a);
    print(b);
    print(result);
  }

  private void print(int[]result) {
    String messsage = Arrays.toString(result);
    System.out.println(messsage);
  }

  private int [] permute(int[]a, int []b ) {
    int arraySize = a.length;
    int [] result = new int [arraySize];
    for (int i = 0; i < arraySize; i++) {
      int index = b[i];
      result[i] = a[index];
    }
    return result;
  }
}

...zur Frage

Warum funktioniert diese Pipe in C nicht?

Hier der Code, es wird leider nur im ersten Durchlauf der For-Schleife etwas geschrieben.

for (int m = 0; m < n; m++) {
  int c = fork();
  if (c == 0) {
   int sum = func(some value);
   char csum[10];
   sprintf(csum, "%d", sum);
   close(pdf[0]);
   printf("OFF %i SUM %i CSUM %s PID %i PPID %i\n",off,sum,csum,getpid(),getppid());
   write(pdf[1], csum, sizeof(csum));
   close(pdf[1]);
   exit(0);
  } else {
   close(pdf[1]);
   char buf[10];
   memset(buf,0,10);
   wait(NULL);
   read(pdf[0], buf, 10);
   close(pdf[0]);
   printf("%s\n", buf);
  
  }

 }

...zur Frage

Wieso bekomme ich diesen Fehler?

Ich habe eine Frage. Und zwar habe ich mit einem Freund eine Webseite erstellt, wo ich die Daten speichern möchte. Ich habe von einem YouTuber PHP und MySQL gelernt. Ich habe das Gleiche gemacht und bei ihm hat es geklappt und bei mir kommt immer dieser Fehler:

Fatal error: Uncaught PDOException: SQLSTATE[42000]: Syntax error or access violation: 1064 You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near '-Mail, Passwort, Datum-Uhrzeit) VALUES ('unbekannt', 'unbekannt@unbekannt', '...' at line 1 in C:\xampp\htdocs\FF-Find Friends\Registrierung.php:82 Stack trace: #0 C:\xampp\htdocs\FF-Find Friends\Registrierung.php(82): PDOStatement->execute() #1 {main} thrown in C:\xampp\htdocs\FF-Find Friends\Registrierung.php on line 82

Das ist der Code von der Webseite: https://pastebin.com/J725KNUh

Von db_connect.php der Code:

<?php
  $user = "FF";
  $pass = "!zNzL*4m8aEo9c7c";
  
  try {
    $dbh = new PDO('mysql:host=localhost;dbname=ff - findfriends;charset=utf8' , $user, $pass);
    $dbh->setAttribute(PDO::ATTR_ERRMODE, PDO::ERRMODE_EXCEPTION);
  }
  catch (PDOException $e) {
    print "Error!: " . $e->getMessage() . "<br/>";
    die();
  }
?>

...zur Frage

C Fehler beim Kompilieren?

Ich habe beim Kompilieren meines Programms den Fehler

collect2: error: ld returned 1 exit status

bekommen, was bedeutet er und meine eigentliche Frage: wie behebe ich diesen

das wäre die komplette Ausgabe des Compilers:

/tmp/cclgkP2u.o: In Funktion »main«:
Programm.c:(.text+0x11a): Warnung: undefinierter Verweis auf »sqrt«
collect2: error: ld returned 1 exit status

Danke im Voraus

...zur Frage

Parse error: syntax error, unexpected '$db' (T_VARIABLE) in?

was habe ich falsch gemacht braucht ihr noch mehr code

require_once CONFIG_DIR.'/database.php';
$dsn = sprintf("mysql:host=%s;dbname=%s; charset=%s",DB_HOST,DB_DATABASE,DB_CHARSET,);
$db = new PDO ($dsn,DB_USERNAME,DB_PASSWORD);
    $db = new PDO($dsn,DB_USERNAME,DB_PASSWORD);
     
    return $db;

...zur Frage

Java array middle ausgeben?

Hallo zusammen!

Ich bin gerade an einer Aufgabe und scheitere, die mittleren beiden Werte eines Arrays auszugeben. Mit gibt es immer nur die ersten beiden Werte aus!

Mein Code:

public int[] makeMiddle(int[] nums) {
  
    int counter = 0;
   
    int mid = (counter / 2);
    int midnext = (counter / 2) + 1;
    int valuemid = nums[mid];
    int valuenext = nums[midnext];
    
    int[] result = new int[2];
    result[0] = valuemid;
    result[1] = valuenext;
  
    for (int i = 0; i<nums.length;i++) {
     
        counter ++;
        
    }
    
    return result;  
    
}

Ich hoffe jemand kann mich über meinen Fehler aufklären! Liegt am counter...

Grüsse und noch einen schönen Abend!!!

...zur Frage

C++: "Forms C3861: Der Bezeichner wurde nicht gefunden"?

Hier mein Code (MyForm.cpp):

#include "MyForm.h"
#include <String>

using namespace System;
using namespace System::Windows::Forms;

[STAThreadAttribute]
String^ genrandomzahlen()
{
  int arraysize;
  std::string tmp = "";
  int* zahl = new int[arraysize];
  int min = 0;
  int max = 100;

  for (int i = 0; i < arraysize; i++) {
    zahl[i] = min + (rand() % max);
    tmp = std::to_string(zahl[i]) + " \n ";
  }

  return gcnew String(tmp.c_str());
}

int main(array<String^>^ args)
{
  Application::SetCompatibleTextRenderingDefault(false);
  Application::EnableVisualStyles();
  Uebung12CLRCPP::MyForm frm;
  Application::Run(% frm);
}

MyForm.h (button2_Click-Methode):

  private:
    System::Void button2_Click(System::Object^ sender, System::EventArgs^ e)
    {
      String^ s = genrandomzahlen();
      label1->Text = s;
    }
};

Was ist hier falsch? Ich sitze jetzt seit Stunden dran und kann den Fehler nicht finden.

Warum wird die Methode (genrandomzahlen()) nicht gefunden?

...zur Frage

Wo liegt der Fehler im batch code?

Es sagt immer Syntax error

...zur Frage

Python Syntax Error: break outside loop?

Hallo, was ist an diesem Code falsch?

        if i%2==1:
            print("Sth.")
            break
        elif i%2==0:
            print("Sth.")
            break

...zur Frage

[PHP]Wieso bekomme ich hier ein Variable Fehler?

$eo=$result->fetch(PDO::FETCH_ASSOC);

syntax error, unexpected variable "$eo"

...zur Frage

Fehlermeldung Parse error: syntax error, unexpected end of file, expecting variable (T_VARIABLE) or

Warum kommt folgende Fehlermeldung Parse error: syntax error, unexpected end of file, expecting variable (T_VARIABLE) or ${ (T_DOLLAR_OPEN_CURLY_BRACES) or {$ (T_CURLY_OPEN) in

<?php //Verbindung zur Datenbank herstellen mysql_connect("localhost", "db","pw") or die ("Verbindung nicht möglich"); mysql_select_db("wirtschaft") or die ("Datenbank existiert nicht");

echo "<table border='1'>";

echo "<tr><td>Username</td> <td>Titel</td> <td>Frage</td></tr>";

$result = mysql_query("SELECT * FROM fragen");

while($row = mysql_fetch_row($result))
{

while($row = mysql_fetch_array($search)) { echo ""; echo '' . $row['username'] . ''; echo '' . $row['titel'] . ''; echo '' . $row['log'] . ''; echo ""; } echo "; ?>

...zur Frage

Reihenfolge von Java-Code?

Das hier ist mein Java-Code, um ein Schachbrett auszugeben:

public class Chess {
  public static void main(String[] args) {
    int n = Integer.parseInt(args[0]);
    int m = Integer.parseInt(args[0]);

    for (int k = 1; k <= m; k++) {
      for (int i = 1 ; i <= n; i++) {
        if ((i + k) % 2 != 0)
          System.out.print(" ");
        else
          System.out.print("*");
      }

      System.out.print("\n");
    }

Dieser funktioniert soweit auch, nur muss ich noch einbauen das ein ERROR, also

System.out.println("ERROR");

ausgegeben wird, wenn kein Input gegeben wird.

Ich weiß aber nicht, wo ich das in dem Code einbauen muss.

Das hier müsste ich einbauen:

if (args.length == 0)
  System.out.println("ERROR");

Ich hoffe, mir kann da jemand helfen.

...zur Frage

Was möchtest Du wissen?

Deine Frage stellen