UserRepository
class UserRepository extends ServiceEntityRepository
Methods
__construct(ManagerRegistry $registry)
No description
User|null
findByObjectId(string $objectId)
No description
User|null
findByEmail(string $email)
No description
User|null
findByPid(string $pid)
No description
array
findExistingPidSet(array $extranetPids)
Bulk lookup: given a list of Extranet PIDs, return only those that already exist locally.
array
findAllFiltered(string|null $search, string|null $roleName, array|null $pids)
No description
array
findStudentsWithoutRoomAssignment()
Students who are not (yet) assigned to any room. Group-room assignments do not count.
Details
at line 18
__construct(ManagerRegistry $registry)
No description
at line 23
User|null
findByObjectId(string $objectId)
No description
at line 36
User|null
findByEmail(string $email)
No description
at line 41
User|null
findByPid(string $pid)
No description
at line 54
array
findExistingPidSet(array $extranetPids)
Bulk lookup: given a list of Extranet PIDs, return only those that already exist locally.
Returns the set of matching local pids (which are the same Extranet pids).
at line 80
array
findAllFiltered(string|null $search, string|null $roleName, array|null $pids)
No description
at line 115
array
findStudentsWithoutRoomAssignment()
Students who are not (yet) assigned to any room. Group-room assignments do not count.