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


Returns the professor with the specified name .
public Professor professor(
            final String forename,
            final String surname,
            final String chair) {
        Objects.requireNonNull(forename);
        Objects.requireNonNull(surname);
        Objects.requireNonNull(chair);
        return Optional.of(new Professor(forename, surname, chair)).map(professors::get)
                .orElseThrow(() -> noSuch(Professor.class, forename, surname, chair));
    }
public Professor professor ( final String forename , final String surname , final String chair ) { Objects . requireNonNull ( forename ) ; Objects . requireNonNull ( surname ) ; Objects . requireNonNull ( chair ) ; return Optional . of ( new Professor ( forename , surname , chair ) ) . map ( professors :: get ) . orElseThrow ( ( ) -> noSuch ( Professor . class , forename , surname , chair ) ) ; }
Returns the professor with the specified name.
Returns the professor with the specified name .
////