Adjust stubs to match openapi changes

Author: JohnnyJayJay

openapi.yaml

@@ -431,7 +431,7 @@ paths:
       - $ref: "#/components/parameters/pathGameId"
     post:
       tags: [games]
-      operationId: restart
+      operationId: restartGame
       summary: Restart the game with the same or adjusted settings
       description: |
         Like starting a new game with the same settings as the current one and directly notifying all previous participants via an event.

src/main/java/org/developerden/codosseum/controller/GameController.java

@@ -92,6 +92,14 @@ public HttpResponse<String> getCodeTemplate(
     throw new UnsupportedOperationException();
   }
 
+  @Post("/{id}/restart")
+  @GameAuthorized(GameRole.PLAYER)
+  public HttpResponse<GameCreateResponse> restartGame(
+      Principal principal, @PathVariable("id") Game game
+  ) {
+    throw new UnsupportedOperationException();
+  }
+
   @ExecuteOn(TaskExecutors.IO)
   @Get("/{id}/events")
   @Produces(MediaType.TEXT_EVENT_STREAM)

src/main/java/org/developerden/codosseum/controller/InfoController.java

@@ -0,0 +1,31 @@
+/*
+ * SPDX-FileCopyrightText: 2023 JohnnyJayJay
+ * SPDX-License-Identifier: AGPL-3.0-or-later
+ *
+ * This program is free software: you can redistribute it and/or modify it under the terms of
+ * the GNU Affero General Public License as published by the Free Software Foundation, either
+ * version 3 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+ * See the GNU Affero General Public License for more details.
+ *
+ * You should have received a copy of the GNU Affero General Public License along with this program.
+ * If not, see <https://www.gnu.org/licenses/>.
+ *
+ */
+
+package org.developerden.codosseum.controller;
+
+import io.micronaut.http.annotation.Controller;
+import io.micronaut.http.annotation.Get;
+import java.util.List;
+
+@Controller
+public class InfoController {
+
+  @Get("/languages")
+  public List<String> getSupportedLanguages() {
+    throw new UnsupportedOperationException();
+  }
+}

src/main/java/org/developerden/codosseum/dto/GameCreateRequest.java

@@ -0,0 +1,34 @@
+/*
+ * SPDX-FileCopyrightText: 2023 JohnnyJayJay
+ * SPDX-License-Identifier: AGPL-3.0-or-later
+ *
+ * This program is free software: you can redistribute it and/or modify it under the terms of
+ * the GNU Affero General Public License as published by the Free Software Foundation, either
+ * version 3 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
+ * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+ * See the GNU Affero General Public License for more details.
+ *
+ * You should have received a copy of the GNU Affero General Public License along with this program.
+ * If not, see <https://www.gnu.org/licenses/>.
+ *
+ */
+
+package org.developerden.codosseum.dto;
+
+import io.micronaut.core.annotation.Introspected;
+import jakarta.annotation.Nonnull;
+import jakarta.validation.constraints.NotNull;
+
+@Introspected
+public record GameCreateRequest(
+    @Nonnull
+    @NotNull
+    GameSettings settings,
+
+    @Nonnull
+    @NotNull
+    Player player
+){
+}

src/main/java/org/developerden/codosseum/dto/GameInfo.java

@@ -27,20 +27,14 @@
 @RecordBuilder
 public record GameInfo(
     @Nonnull
-    String id,
+    GameSettings settings,
 
     @Nonnull
-    List<String> allowedLanguages,
+    String id,
 
     @Nonnull
     GameMode gameMode,
 
-    int maxPlayers,
-
-    int timeLimit,
-
-    int maxWarmupTime,
-
     @Nonnull
     Players players,
 
@@ -49,6 +43,8 @@ public record GameInfo(
 
     int timeLeft,
 
+    long nextStateAt,
+
     @Nullable
     Integer round,