src/edu/kit/informatik/campusmanagement/CampusManagement.java
/**
     * Returns the student with the specified name.
     * 
     * @param  forename the forename
     * @param  surname the surname
     * @param  studentnumber the student number
     * @return the student
     * @throws NullPointerException if any argument is {@code null}
     * @throws IllegalArgumentException if the student does not exist
     */
Returns the student with the specified name.


Returns the student with the specified name .
public Student student(
            final String forename,
            final String surname,
            final int studentnumber) {
        Objects.requireNonNull(forename);
        Objects.requireNonNull(surname);
        return Optional.of(new Student(null, null, studentnumber)).map(students::get)
                .filter((student) -> student.forename().equals(forename))
                .filter((student) -> student.surname().equals(surname))
                .orElseThrow(() -> noSuch(Student.class, forename, surname, studentnumber));
    }
public Student student ( final String forename , final String surname , final int studentnumber ) { Objects . requireNonNull ( forename ) ; Objects . requireNonNull ( surname ) ; return Optional . of ( new Student ( null , null , studentnumber ) ) . map ( students :: get ) . filter ( ( student ) -> student . forename ( ) . equals ( forename ) ) . filter ( ( student ) -> student . surname ( ) . equals ( surname ) ) . orElseThrow ( ( ) -> noSuch ( Student . class , forename , surname , studentnumber ) ) ; }
Returns the student with the specified name.
Returns the student with the specified name .
////