Cleanup #480: Explicitely added default priority also in interface

sauterl · sauterl · commit 94803565618c · 2024-07-15T16:07:05.000+02:00
diff --git a/backend/src/main/kotlin/dev/dres/run/validation/interfaces/JudgementValidator.kt b/backend/src/main/kotlin/dev/dres/run/validation/interfaces/JudgementValidator.kt
@@ -33,7 +33,7 @@ interface JudgementValidator {
 
     /** The priority of this [JudgementValidator], higher priorities are represent by a higher number and consumers are expected to respect this */
     val priority: Int
-
+        get() = 0
     /**
      * Retrieves and returns the next element that requires a verdict from this [JudgementValidator]'s internal queue.
      *

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ interface JudgementValidator {`
`33`	`33`
`34`	`34`	`/** The priority of this [JudgementValidator], higher priorities are represent by a higher number and consumers are expected to respect this */`
`35`	`35`	`val priority: Int`
`36`		`-`
	`36`	`+ get() = 0`
`37`	`37`	`/**`
`38`	`38`	`* Retrieves and returns the next element that requires a verdict from this [JudgementValidator]'s internal queue.`
`39`	`39`	`*`