ベースを実装（WIP）

src/main/kotlin/auth/Authenticator.kt

@@ -0,0 +1,8 @@
+package auth
+
+interface Authenticator {
+
+    fun authenticateAs(): Boolean
+
+    fun authorize():Boolean
+}

src/main/kotlin/data/Repository/course.json

@@ -0,0 +1,37 @@
+{
+  "コース": [
+    {
+      "ID": "C001",
+      "名前": "コンピュータサイエンス入門",
+      "講師": "山田太郎",
+      "曜日": "月曜日",
+      "時限": "1",
+      "学期": "前期",
+      "説明": "このコースは、コンピュータサイエンスの基本概念を紹介します。プログラミング言語の基本から始め、アルゴリズム、データ構造、ソフトウェア開発の基礎を網羅します。",
+      "学年": "1年",
+      "専攻": "コンピュータサイエンス"
+    },
+    {
+      "ID": "C002",
+      "名前": "データベース設計",
+      "講師": "田中花子",
+      "曜日": "水曜日",
+      "時限": "3",
+      "学期": "後期",
+      "説明": "このコースでは、データベース設計の基本を学びます。正規化、データモデリング、SQLクエリの実行などが含まれます。",
+      "学年": "3年",
+      "専攻": "情報システム"
+    },
+    {
+      "ID": "C003",
+      "名前": "ソフトウェアエンジニアリング",
+      "講師": "鈴木次郎",
+      "曜日": "金曜日",
+      "時限": "5",
+      "学期": "前期",
+      "説明": "このコースでは、ソフトウェアエンジニアリングの原則と実践をカバーします。ソフトウェア設計、テスト、プロジェクト管理などを理解します。",
+      "学年": "2年",
+      "専攻": "ソフトウェアエンジニアリング"
+    }
+  ]
+}

src/main/kotlin/data/database/Database.kt

@@ -0,0 +1,4 @@
+package data.database
+
+class Database {
+}

src/main/kotlin/domain/Course.kt

@@ -0,0 +1,18 @@
+package domain
+
+typealias CourseId = Identifier<Course, String>
+class Course(
+    val id: CourseId,
+    val name: String,
+    val capacity: Int
+
+) {
+    fun getId():CourseId {return id}
+    fun getName():String {return name}
+
+    fun getCapacity():Int{return capacity}
+
+    fun updateCapacity():Nothing = TODO("Async")
+
+    suspend fun getDetail(): Nothing = TODO("Async")
+}

src/main/kotlin/domain/CourseList.kt

@@ -0,0 +1,7 @@
+package domain
+
+class CourseList() {
+    fun getCourseList(): List<Course> = TODO()
+
+
+}

src/main/kotlin/domain/CourseRegistrationManager.kt

@@ -0,0 +1,10 @@
+package domain
+
+class CourseRegistrationManager {
+
+    fun drawing(courseTakingApplicationList: List<CourseTakingApplication>): List<CourseTakingApplication>
+    = TODO("抽選")
+
+    fun registerMembers(courseTakingApplicationList: List<CourseTakingApplication>):Nothing =
+        TODO("登録する")
+}

src/main/kotlin/domain/CourseTakingApplication.kt

@@ -0,0 +1,13 @@
+package domain
+
+typealias CourseTakingApplicationId = Identifier<CourseTakingApplication, String>
+
+data class CourseTakingApplication(
+    val id: CourseTakingApplicationId,
+    val courseId: String,
+    val Status: Status
+)
+
+enum class Status{
+    UNCONFIRMED,CONFIRMED
+}

src/main/kotlin/domain/CourseTakingApplicationList.kt

@@ -0,0 +1,7 @@
+package domain
+
+class CourseTakingApplicationList() {
+    fun getCourseTakingApplicationList(userId: String): List<CourseTakingApplication> = TODO()
+    fun createCourseTakingApplication(application: CourseTakingApplication): Nothing = TODO()
+    fun deleteCourseTakingApplication(applicationId: String): Nothing = TODO()
+}

src/main/kotlin/domain/CourseTakingManager.kt

@@ -0,0 +1,11 @@
+package domain
+
+class CourseTakingManager {
+    private val FirstServedState :Boolean = TODO("先着申請に空きがあるのかどうか")
+
+    suspend fun applyCourseTaking(course:CourseId):Nothing = TODO("Async " +
+            "userからidを取ってくる" +
+            "CourseTakingApplicationを作成する（DBとの通信はListがする？）")
+
+    fun cancenCourseTaking(courseTakingApplicationId: CourseTakingApplicationId):Nothing = TODO()
+}

src/main/kotlin/domain/Identifier.kt

@@ -0,0 +1,6 @@
+package domain
+
+
+data class Identifier<EntityT, RawT>(val raw: RawT)
+
+

src/main/kotlin/domain/User.kt

@@ -1,5 +1,16 @@
 package domain
 
-data class User (val id: String) {
+typealias StudentId = Identifier<Student, String>
 
-}
+
+
+sealed class User()
+class Student(
+    val id: StudentId,
+    val name: String
+): User() {
+    fun getId(): StudentId{
+        return id
+    }
+}
+class Teacher():User()

src/main/kotlin/domain/courseTakingHub.kt

@@ -1,22 +1,20 @@
 package domain
 
-import commands.CourseTakingApplicationCommand
-import commands.CourseTakingApplicationCommandHandler
+interface CourseTakingHub{
 
-interface CourseTakingHub {
-    fun getApplicationList(user: User): List<Application>?
-    fun handle(command: CourseTakingApplicationCommand): CourseTakingApplicationCommand?
 }
 
+/*
+実装クラス
 class CourseTakingApplicationHub(
     val commandHandler: CourseTakingApplicationCommandHandler
 ):CourseTakingHub {
     override fun getApplicationList(user: User): List<Application>? {
-       return null
+        return null
     }
 
     override fun handle(command: CourseTakingApplicationCommand): CourseTakingApplicationCommand? {
         return null
 
     }
-}
+}*/

src/main/kotlin/webServer/Routes.kt

@@ -1,11 +1,8 @@
 package webServer
 
-import commands.CancelCourseTakingApplication
-import commands.CreateCourseTakingApplication
-import domain.Application
+import domain.CourseTakingApplication
 import domain.CourseTakingHub
 import domain.User
-import kotlinx.serialization.json.Json
 import org.http4k.core.*
 import org.http4k.core.body.form
 import org.http4k.routing.bind
@@ -21,42 +18,53 @@ class CourseTaking(val hub: CourseTakingHub): HttpHandler {
 
     val httpHandler = routes(
         "/ping" bind Method.GET to { Response(Status.OK) },
-        "/application/{user}" bind Method.GET to ::getApplicationList,
+        "/application/{user}" bind Method.GET to ::getApplications,
         "/application/{user}" bind Method.POST to ::applyCourseTaking,
-        "/application/{user}" bind Method.DELETE to ::cancelCourseTaking
+        "/application/{user}" bind Method.DELETE to ::cancelCourseTaking,
+        "/course" bind Method.GET to ::getCourses,
+        "/course/{courseId}" bind Method.GET to ::drawing,
+        "/course/{courseId}" bind Method.PATCH to ::updateCourseCapacity,
+        "/course/{courseId}" bind Method.POST to ::registerCourseMembers,
     )
 
+    private fun getCourses(request: Request): Response{
+        TODO("履修可能な科目を返す")
+    }
+
     //Request -> User -> Result -> Response
-    private fun getApplicationList(request: Request): Response {
-        return  request.extractUser()
-            ?.let { hub.getApplicationList(it) }
-            ?.let(::convertApplicationListToJson) //TODO("convert to Json")
-            ?.let(::toResponse)
-            ?: Response(Status.NOT_FOUND)
+    private fun getApplications(request: Request): Response {
+        TODO()
     }
 
     //Request -> User,Application -> Result -> Response
     private fun applyCourseTaking(request: Request): Response {
-        val user = request.extractUser()
-        return  request.extractApplication()
-            ?.let { CreateCourseTakingApplication(user, it) }
-            ?.let(hub::handle)//Result噛ませたい
-            ?.let { Response(Status.OK) }
-            ?: Response(Status.BAD_REQUEST)
+        TODO()
+
     }
 
     //Request -> User,Application -> Result -> Response
     private fun cancelCourseTaking(request: Request): Response {
-        val user = request.extractUser()
-        return  request.extractApplication()
-            ?.let { CancelCourseTakingApplication(user, it) }
-            ?.let(hub::handle)//Result噛ませたい
-            ?.let { Response(Status.OK) }
-            ?: Response(Status.BAD_REQUEST)
+        TODO()
+
+    }
+
+    private fun drawing(request: Request): Response {
+        TODO()
+
     }
 
+    private fun updateCourseCapacity(request: Request): Response {
+        TODO()
+    }
+
+    private fun registerCourseMembers(request: Request): Response {
+        TODO()
+    }
+
+
+
     data class JsonData(val raw:String)
-    fun convertApplicationListToJson(list: List<Application>): JsonData {
+    fun convertApplicationListToJson(list: List<CourseTakingApplication>): JsonData {
         /*TODO: serialize list*/
         return JsonData("nothing")
     }
@@ -66,11 +74,5 @@ class CourseTaking(val hub: CourseTakingHub): HttpHandler {
 
 
 
-    private fun Request.extractUser(): User = path("user").orEmpty().let(::User)
-    private fun Request.extractApplication(): Application? {
-        val id = form("applicationId") ?:return null
-        val course = form("course") ?: return null
-        return Application(id, course)
-    }
 }