class UserTest
types
public String = seq of char;
values
-- TODO Define values here
instance variables
 public user:User := new User("testUser", "testEmail@hotmail.com", "testPassword", {}, {});
operations

-- Assert Generic Operation
 assertTrue: bool ==> ()
                assertTrue(cond) == return
                pre cond;

 -- Test User constructor (Name, gender, age, username and default values not input)
 public userConstructorTest: () ==> ()
 userConstructorTest() == (
    dcl testUser:User := new User("testUser","testEmail@hotmail.com", "testPassword", {}, {});

    assertTrue(testUser.getName() = "testUser");
    assertTrue(testUser.getEmail() = "testEmail@hotmail.com");
    assertTrue(testUser.getPassword() = "testPassword");
    assertTrue(testUser.getFriends() = {});
  assertTrue(testUser.getPosts() = {});

 return
 );

 -- Add and remove friends only on this user's side (doesn't affect the symmetrical connection on the user he is adding or removing)
public addRemoveFriendTest: () ==> ()
  addRemoveFriendTest() == (
  -- Test that user starts out with 0 friends
    dcl u1:User := new User("testUser1","testEmail1@hotmail.com", "testPassword1", {}, {});
    dcl u2:User := new User("testUser2","testEmail2@hotmail.com", "testPassword2", {}, {});
    dcl u3:User := new User("testUser3","testEmail3@hotmail.com", "testPassword3", {}, {});
    assertTrue(u1.getFriends() = {});
  assertTrue(u1.getPosts() = {});

  -- u1 adds u2 to his friends set
  u1.addFriend(u2);
    assertTrue(card u1.getFriends() = 1);
  assertTrue(forall us in set u1.getFriends() & us.getName() = "testUser2");

  -- u1 adds u3 to his friends set
  u1.addFriend(u3);
  assertTrue(card u1.getFriends() = 2);
  assertTrue(exists1 us in set u1.getFriends() & us.getName() = "testUser3");

  -- u1 removes u2 from his friends set
  u1.removeFriend(u2);
  assertTrue(card u1.getFriends() = 1);
  assertTrue(forall us in set u1.getFriends() & us.getName() = "testUser3");

  -- u1 removes u3 from his friends set
  u1.removeFriend(u3);
  assertTrue(card u1.getFriends() = 0);

  return
);

 -- Edit User Name
public editName: () ==> ()
    editName() == (
    user.editName("ModifiedName");
    assertTrue(len user.getName() = 12);
    assertTrue(user.getName() = "ModifiedName");
    user.editName("");
    assertTrue(len user.getName() = 0);
    assertTrue(user.getName() = "");
    return
);


public static main: () ==> ()
    main() ==
(
dcl UserTest: UserTest :=new UserTest();
    UserTest.userConstructorTest();
  UserTest.addRemoveFriendTest();
  UserTest.editName();
    return
);
end UserTest