mirror of
https://github.com/Eyre-S/sekai-scores.git
synced 2024-11-25 04:27:43 +08:00
add playtime field to UserScore
This commit is contained in:
parent
a702965151
commit
28ff69ceb8
@ -1,5 +1,6 @@
|
|||||||
plugins {
|
plugins {
|
||||||
id 'java'
|
id 'java'
|
||||||
|
id 'java-library'
|
||||||
}
|
}
|
||||||
|
|
||||||
group 'cc.sukazyo'
|
group 'cc.sukazyo'
|
||||||
|
@ -1,9 +1,11 @@
|
|||||||
package cc.sukazyo.sekai_scores;
|
package cc.sukazyo.sekai_scores;
|
||||||
|
|
||||||
import javax.annotation.Nonnull;
|
import javax.annotation.Nonnull;
|
||||||
|
import java.time.LocalDateTime;
|
||||||
|
|
||||||
public record UserScore (
|
public record UserScore (
|
||||||
@Nonnull Song song,
|
@Nonnull Song song,
|
||||||
@Nonnull Difficulty difficulty,
|
@Nonnull Difficulty difficulty,
|
||||||
@Nonnull ScoreBase score
|
@Nonnull ScoreBase score,
|
||||||
|
@Nonnull LocalDateTime playtime
|
||||||
) {}
|
) {}
|
||||||
|
Loading…
Reference in New Issue
Block a user