Skip to content

Commit

Permalink
feat: add solver description to solver info endpoint
Browse files Browse the repository at this point in the history
  • Loading branch information
zaibod committed Dec 20, 2024
1 parent ae35607 commit ad7b35b
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
package edu.kit.provideq.toolbox;

public record ProblemSolverInfo(String id, String name) {
public record ProblemSolverInfo(String id, String name, String description) {

}
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,8 @@ private Mono<ServerResponse> handleSolversRouteForManager(ProblemManager<?, ?> m

private static List<ProblemSolverInfo> getAllSolverInfos(ProblemManager<?, ?> manager) {
return manager.getSolvers().stream()
.map(solver -> new ProblemSolverInfo(solver.getId(), solver.getName()))
.map(solver -> new ProblemSolverInfo(solver.getId(), solver.getName(),
solver.getDescription()))
.toList();
}

Expand Down

0 comments on commit ad7b35b

Please sign in to comment.