package sg.ncl.testbed_interface.domain;

/**
 * The {@link UserDetails} interface represents the personal details of a {@link User}.
 *
 * @author Christopher Zhong
 */
public interface UserDetails {

    /**
     * Returns the first name of the associated {@link User}.
     *
     * @return the first name of the associated {@link User}.
     */
    String getFirstName();

    /**
     * Returns the last name of the associated {@link User}.
     *
     * @return the last name of the associated {@link User}.
     */
    String getLastName();

    /**
     * Returns the {@link Address} of the associated {@link User}.
     * @return the {@link Address} of the associated {@link User}.
     */
    Address getAddress();

    /**
     * Returns the email address of the associated {@link User}.
     * @return the email address of the associated {@link User}.
     */
    String getEmail();

    /**
     * Returns the phone number of the associated {@link User}.
     * @return the phone number of the associated {@link User}.
     */
    String getPhone();

}

@@ -609,32 +609,39 @@
 d %7B@link User%7D.%0A
+     *%0A
      * @return t
@@ -683,32 +683,32 @@
 d %7B@link User%7D.%0A
-
      */%0A    Addr
@@ -791,32 +791,39 @@
 d %7B@link User%7D.%0A
+     *%0A
      * @return t
@@ -903,32 +903,32 @@
 ail();%0A%0A    /**%0A
-
      * Returns t
@@ -971,24 +971,31 @@
 link User%7D.%0A
+     *%0A
      * @retu

Reformat code (DEV-15)