DocsFrameworks de contrôleurs

De Spring Boot à Nexy

Le routeur modulaire de Nexy garde la forme d'une application Spring Boot : un @RestController est une classe @Controller, un @Service est un @Injectable injecté via __init__, et un module les regroupe. Bean Validation devient Pydantic et la page OpenAPI de springdoc est intégrée.

Chaque section ci-dessous montre une habitude Spring Boot, puis la même chose dans Nexy.

Allumer le routeur modulaire

DémoApplication.java

@SpringBootApplicationpublic class DemoApplication {    public static void main(String[] args) { SpringApplication.run(DemoApplication.class, args); }}

Le module racine est un champ de nexyconfig.py, et nx dev le sert :

nexyconfig.py

from nexy.core.models import NexyConfigModel from src.apps.app_module import AppModule  class NexyConfig(NexyConfigModel):    useRouter = AppModule

Spring trouve ses grains en analysant les packages ; un module Nexy les répertorie, donc ce qu'un module sert est écrit au même endroit.

Un contrôleur

BonjourController.java

@RestController@RequestMapping("/api/hello")public class HelloController {    @GetMapping    public Map<String, String> hello() {        return Map.of("message", "Hello");    }}

Le chemin est le premier argument de @Controller et le nom de la méthode est le verbe HTTP :

src/apps/bonjour/bonjour_controller.py

from nexy.decorators import Controller  @Controller("/api/hello")class HelloController:    async def get(self) -> dict:        return {"message": "Hello"}

Un contrôleur a un gestionnaire par verbe, donc @GetMapping et @PostMapping sur un chemin sont les méthodes get et post d'une classe. GET /items et GET /items/{id} sont deux contrôleurs.

`@PathVariable` et `@RequestParam`

UserController.java

@GetMapping("/api/users/{id}")public Map<String, Object> user(@PathVariable long id,                                @RequestParam(defaultValue = "") String fields) {    return Map.of("id", id, "fields", fields);}

{id} reste dans le chemin et devient un paramètre typé ; un paramètre de requête est un paramètre avec une valeur par défaut :

src/apps/users/user_controller.py

from nexy.decorators import Controller  @Controller("/api/users/{id}")class UserController:    async def get(self, id: int, fields: str = "") -> dict:        return {"id": id, "fields": fields}

Un id non numérique répond à 404 et un paramètre de requête du mauvais type 422.

`@RequestBody`, `@Valid` et `ResponseEntity`

NouvelArticle.java

public record NewItem(@NotBlank @Size(max = 100) String name,                      @Positive double price) {}

ItemController.java

@PostMapping("/api/items")public ResponseEntity<NewItem> create(@Valid @RequestBody NewItem item) {    return ResponseEntity.status(HttpStatus.CREATED).body(item);}

L'enregistrement et ses annotations sont un modèle Pydantic, toujours validé, et @UseResponse fixe le statut :

src/apps/items/items_controller.py

from pydantic import BaseModel, Field from nexy.decorators import Controller, UseResponse  class NewItem(BaseModel):    name: str = Field(min_length=1, max_length=100)    price: float = Field(gt=0)  @Controller("/api/items")class ItemsController:    @UseResponse(status_code=201)    async def post(self, item: NewItem) -> NewItem:        return item

`@Service` et injection de constructeur

SalutationService.java

@Servicepublic class GreetingService {    public String greet(String name) { return "Hello " + name; }} @RestController@RequestMapping("/api/greet")public class GreetingController {    private final GreetingService greetings;     public GreetingController(GreetingService greetings) { this.greetings = greetings; }     @GetMapping    public Map<String, String> greet(@RequestParam String name) {        return Map.of("message", greetings.greet(name));    }}

@Service est @Injectable(), et l'annotation de __init__ indique au conteneur quoi injecter :

src/apps/greet/greeting_service.py

from nexy.decorators import Injectable  @Injectable()class GreetingService:    def greet(self, name: str) -> str:        return f"Hello {name}"

src/apps/greet/greeting_controller.py

from nexy.decorators import Controller from .greeting_service import GreetingService  @Controller("/api/greet")class GreetingController:    def __init__(self, greetings: GreetingService) -> None:        self.greetings = greetings     async def get(self, name: str) -> dict:        return {"message": self.greetings.greet(name)}

Un bean est un singleton par défaut, comme au Spring. @RequestScope est @Injectable(scope=Scope.REQUEST) et @Scope("prototype") est Scope.TRANSIENT. Voir Injection de dépendances.

`@Configuration` cours et modules

Un module répertorie ses contrôleurs et les services qu'ils utilisent, et exporte ce que d'autres modules peuvent injecter :

src/apps/greet/greet_module.py

from nexy.decorators import Module from .greeting_controller import GreetingControllerfrom .greeting_service import GreetingService  @Module()class GreetModule:    controllers = [GreetingController]    providers = [GreetingService]    exports = [GreetingService]

Le module racine importe les autres :

src/apps/app_module.py

from nexy.decorators import Module from .admin.admin_module import AdminModulefrom .greet.greet_module import GreetModulefrom .health_controller import PublicHealthControllerfrom .hello.hello_controller import HelloControllerfrom .items.items_controller import ItemsControllerfrom .orders.orders_controller import OrderControllerfrom .posts.posts_module import PostsModulefrom .signup.signup_controller import SignupControllerfrom .users.user_controller import UserControllerfrom .users.users_page_controller import UsersPageControllerfrom .ws.echo_controller import EchoController  @Module()class AppModule:    controllers = [        HelloController,        UserController,        ItemsController,        OrderController,        SignupController,        PublicHealthController,        UsersPageController,        EchoController,    ]    imports = [GreetModule, AdminModule, PostsModule]

`@RequestMapping` sur la classe

AdminController.java

@RestController@RequestMapping("/admin")public class AdminController {    @GetMapping("/stats")    public Map<String, Integer> stats() { return Map.of("users", 3); }     @GetMapping("/health")    public Map<String, String> health() { return Map.of("status", "UP"); }}

Un mappage partagé est le prefix d'un module, et chaque sous-chemin est un contrôleur de ce module :

src/apps/admin/admin_controllers.py

from nexy.decorators import Controller, UseGuard from .guards import require_admin  @Controller("/stats")@UseGuard(require_admin)class StatsController:    async def get(self) -> dict:        return {"users": 3}  @Controller("/health")@UseGuard(require_admin)class HealthController:    async def get(self) -> dict:        return {"status": "UP"}

src/apps/admin/admin_module.py

from nexy.decorators import Module from .admin_controllers import HealthController, StatsController  @Module(prefix="/admin")class AdminModule:    controllers = [StatsController, HealthController]

Sécurité du printemps

SécuritéConfig.java

@BeanSecurityFilterChain filters(HttpSecurity http) throws Exception {    return http.authorizeHttpRequests(auth -> auth            .requestMatchers("/admin/**").hasRole("ADMIN")            .anyRequest().permitAll())        .build();}

Une garde est une fonction qui se déclenche lorsque la demande ne peut pas continuer. @UseGuard le place sur un contrôleur, ou sur une méthode, comme @PreAuthorize :

src/apps/admin/guards.py

from nexy.http import Header, HTTPException  def require_admin(x_role: str = Header("")) -> None:    if x_role != "admin":        raise HTTPException(status_code=403, detail="Admins only")

Filtres

AppHeaderFilter.java

@Componentpublic class AppHeaderFilter extends OncePerRequestFilter {    @Override    protected void doFilterInternal(HttpServletRequest req, HttpServletResponse res,                                    FilterChain chain) throws ServletException, IOException {        res.setHeader("X-App", "demo");        chain.doFilter(req, res);    }}

Un filtre pour chaque requête est une classe middleware ASGI, répertoriée dans nexyconfig.py :

src/middlewares/app_header.py

from starlette.middleware.base import BaseHTTPMiddleware  class AppHeader(BaseHTTPMiddleware):    async def dispatch(self, request, call_next):        response = await call_next(request)        response.headers["x-app"] = "demo"        return response

nexyconfig.py

from nexy.core.models import NexyConfigModel from src.apps.app_module import AppModulefrom src.middlewares.app_header import AppHeader  class NexyConfig(NexyConfigModel):    useRouter = AppModule    useMiddlewares = [(AppHeader, {})]

Un HandlerInterceptor qui ne s'exécute qu'avant certains contrôleurs les protège.

`ResponseStatusException` et `@ControllerAdvice`

OrderController.java

@GetMapping("/api/orders/{id}")public Order order(@PathVariable long id) {    return orders.findById(id)        .orElseThrow(() -> new ResponseStatusException(HttpStatus.NOT_FOUND, "No such order"));}

src/apps/orders/orders_controller.py

from nexy.decorators import Controllerfrom nexy.http import HTTPException ORDERS = {1: {"id": 1, "total": 42}}  @Controller("/api/orders/{id}")class OrderController:    async def get(self, id: int) -> dict:        if id not in ORDERS:            raise HTTPException(status_code=404, detail="No such order")        return ORDERS[id]

Un client API qui envoie Accept: application/json obtient {"detail": "No such order"} avec le statut que vous avez généré ; un navigateur obtient la page HTML introuvable.

Feuille de thym

UserPageController.java

@Controllerpublic class UserPageController {    @GetMapping("/users")    public String users(Model model) {        model.addAttribute("users", List.of(new User("Ada"), new User("Alan")));        return "users";    }}

modèles/utilisateurs.html

<ul>  <li th:each="user : ${users}" th:text="${user.name}"></li></ul>

Un contrôleur renvoie une vue de la même manière qu'il renvoie "users" : useViews restitue un fichier .nexy, et son context est le Model :

---users: prop[list]---<ul>  {% for user in users %}  <li>{{ user.name | e }}</li>  {% endfor %}</ul>

src/apps/users/users_page_controller.py

from nexy import useViewsfrom nexy.decorators import Controller  @Controller("/users")class UsersPageController:    async def get(self):        users = [{"name": "Ada"}, {"name": "Alan"}]        return useViews("src/apps/users/users_view.nexy", context={"users": users})

th:text s'échappe et {{ }} ne le fait pas : échappe à ce qu'un visiteur a tapé avec | e. Une page peut aussi rester un fichier de src/routes/, servi à côté des contrôleurs.

Entités et référentiels JPA

Post.java

@Entitypublic class Post {    @Id @GeneratedValue Long id;    String title;    boolean published;} public interface PostRepository extends JpaRepository<Post, Long> {    List<Post> findByPublishedTrue();}

L'entité est une classe SQLModel, et le référentiel un service injectable autour d'une session :

src/models/post_model.py

from sqlmodel import Field, SQLModel  class Post(SQLModel, table=True):    id: int | None = Field(default=None, primary_key=True)    title: str    published: bool = False

src/apps/posts/post_repository.py

from sqlmodel import Session, select from nexy.decorators import Injectablefrom src.configs.db import enginefrom src.models.post_model import Post  @Injectable()class PostRepository:    def find_by_published_true(self) -> list[Post]:        with Session(engine) as session:            return list(session.exec(select(Post).where(Post.published)))

src/apps/posts/posts_controller.py

from nexy.decorators import Controller from .post_repository import PostRepository  @Controller("/api/posts/published")class PublishedPostsController:    def __init__(self, posts: PostRepository) -> None:        self.posts = posts     async def get(self) -> dict:        return {"titles": [post.title for post in self.posts.find_by_published_true()]}

src/apps/posts/posts_module.py

from nexy.decorators import Module from .post_repository import PostRepositoryfrom .posts_controller import PublishedPostsController  @Module()class PostsModule:    controllers = [PublishedPostsController]    providers = [PostRepository]

Les migrations Flyway ou Liquibase deviennent nx migrate -m "add posts" et nx migrate --upgrade. Voir Bases de données.

`application.properties`

Botte de printemps	Nexy
`server.port=8080`	`usePort = 8080` dans `nexyconfig.py`
`spring.datasource.url`	`DATABASE_URL` dans `.env`
`@CrossOrigin` / `CorsConfigurationSource`	`useCORS = {"allow_origins": [...]}`
`server.compression.enabled=true`	`useGZip = {"minimum_size": 1000}`
`springdoc.swagger-ui.path=/docs`	`useDocsUrl = "/docs"`, activé par défaut
`src/main/resources/static/`	`public/`, servi à `/`

nexyconfig.py

from nexy.core.models import NexyConfigModel from src.apps.app_module import AppModule  class NexyConfig(NexyConfigModel):    useRouter = AppModule    usePort = 8080    useCORS = {"allow_origins": ["https://example.com"]}    useGZip = {"minimum_size": 1000}

Santé de l'actionneur

application.propriétés

management.endpoints.web.exposure.include=health

Un bilan de santé est un contrôleur comme les autres, ici celui /admin/health ci-dessus. Un public va dans le module racine :

src/apps/health_controller.py

from nexy.decorators import Controller  @Controller("/health")class PublicHealthController:    async def get(self) -> dict:        return {"status": "UP"}

`@Async` et `@Scheduled`

MailService.java

@Asyncpublic void sendWelcome(String email) { ... }

Le travail qui s'exécute après la réponse est une tâche en arrière-plan, prise en paramètre :

src/apps/signup/signup_controller.py

from nexy.decorators import Controller, UseResponsefrom nexy.http import BackgroundTasks  def send_welcome(email: str) -> None: ...  @Controller("/api/signup")class SignupController:    @UseResponse(status_code=202)    async def post(self, email: str, tasks: BackgroundTasks) -> dict:        tasks.add_task(send_welcome, email)        return {"queued": True}

Pour les tâches @Scheduled, exécutez un planificateur tel qu'APScheduler ou une tâche cron, à côté de nx start.

WebSockets

EchoHandler.java

public class EchoHandler extends TextWebSocketHandler {    @Override    protected void handleTextMessage(WebSocketSession session, TextMessage message) throws Exception {        session.sendMessage(message);    }}

Une méthode socket ouvre un WebSocket sur le chemin de son contrôleur :

src/apps/ws/echo_controller.py

from fastapi import WebSocket from nexy.decorators import Controller  @Controller("/ws/echo")class EchoController:    async def socket(self, websocket: WebSocket) -> None:        await websocket.accept()        await websocket.send_text(await websocket.receive_text())

Les clients se connectent à /ws/echo/, avec la barre oblique finale.

Tests avec MockMvc

HelloControllerTest.java

@WebMvcTest(HelloController.class)class HelloControllerTest {    @Autowired MockMvc mvc;     @Test    void hello() throws Exception {        mvc.perform(get("/api/hello")).andExpect(jsonPath("$.message").value("Hello"));    }}

tests/test_hello.py

from fastapi.testclient import TestClient from nexy.app import app  def test_hello():    assert TestClient(app).get("/api/hello").json() == {"message": "Hello"}

Courir

Botte de printemps	Nexy
start.spring.io	`nx new`, avec le routeur modulaire
`./mvnw spring-boot:run` avec DevTools	`nx dev`
`./mvnw package && java -jar app.jar`	`nx build`, puis `nx start`
`./mvnw test`	`nx test`

Prochaines étapes

Routage modulaire
Injection de dépendances
Gardes et métadonnées
De NestJS à Nexy : le même routeur, de TypeScript

Modifier sur GitHub

De Spring Boot à Nexy

Allumer le routeur modulaire

Un contrôleur

@PathVariable et @RequestParam

@RequestBody, @Valid et ResponseEntity

@Service et injection de constructeur

@Configuration cours et modules

@RequestMapping sur la classe

Sécurité du printemps

Filtres

ResponseStatusException et @ControllerAdvice

Feuille de thym

Entités et référentiels JPA

application.properties

Santé de l'actionneur

@Async et @Scheduled

WebSockets

Tests avec MockMvc

Courir

Prochaines étapes

`@PathVariable` et `@RequestParam`

`@RequestBody`, `@Valid` et `ResponseEntity`

`@Service` et injection de constructeur

`@Configuration` cours et modules

`@RequestMapping` sur la classe

`ResponseStatusException` et `@ControllerAdvice`

`application.properties`

`@Async` et `@Scheduled`