package com.tykj.dev.device.train.dao;

import com.tykj.dev.device.train.entity.OnlineTainUserTime;
import org.springframework.data.jpa.repository.JpaRepository;
import org.springframework.data.jpa.repository.JpaSpecificationExecutor;

import java.util.Optional;

public interface OnlineTainUserTimeDao extends JpaRepository<OnlineTainUserTime, Integer>, JpaSpecificationExecutor<OnlineTainUserTime> {
    Optional<OnlineTainUserTime> findByUserIdAndTrainId(Integer userId, Integer trainId);
}
