public void LoaderRoleTest1()
{
LoaderRole role = new LoaderRole();
bool pass1 = role.Equals(new LoaderRole());
Assert.IsTrue(pass1);
}
public void PersonnelTest1()
{
List<IRole> roles = new List<IRole>();
roles.Add(new XRayRole());
Personnel p1 = new Personnel(1,roles);
bool pass1 = roles == p1.get_roles();
IRole loaderrole = new LoaderRole();
roles.Add(loaderrole);
p1.add_role(loaderrole);
bool pass2 = roles == p1.get_roles();
roles.Remove(loaderrole);
p1.remove_role(new LoaderRole());
p1.add_role(loaderrole);
bool pass3 = roles == p1.get_roles();
bool fail1 = false;
try
{
p1.add_role(new LoaderRole());
}
catch (Exception e)
{
if (e.GetType().FullName == "System.Diagnostics.Contracts.__ContractsRuntime+ContractException")
fail1 = true;
}
Assert.IsTrue(pass1);
Assert.IsTrue(pass2);
Assert.IsTrue(pass3);
Assert.IsTrue(fail1);
}
