package com.escolapios.fctmongo.repository; // 👈 Paquete actualizado

import java.util.List;
import org.springframework.data.mongodb.repository.MongoRepository; // 👈 Cambiado a MongoRepository
import org.springframework.stereotype.Repository;
import com.escolapios.fctmongo.entity.Documento; // 👈 Paquete actualizado

@Repository
public interface DocumentoRepository extends MongoRepository<Documento, String> { // 👈 ID cambiado a String

    // Busca los documentos asociados a un ID de convenio plano en Mongo
    List<Documento> findByConvenioId(String convenioId);

    // ✨ MAGIA DE SPRING DATA MONGO: Buscará dentro del array embebido de 'alumnos' aquellos cuyo 'id' o campo coincida
    List<Documento> findByAlumnos_Id(String alumnoId);
    
    // En tu DocumentoRepository.java
    List<Documento> findByEstadoNot(String estado);
}