Package main.domain.models.users

Class User

java.lang.Object

main.domain.models.users.User

All Implemented Interfaces:

Entity<UserId>

public class User
extends Object
implements Entity<UserId>

Represents a user, including login details, personal details, and purchased tickets.

Constructor Summary

Constructors

Constructor	Description
User(Login login, Person person)	Constructor for creating a new user with login and personal details.
User(UserId id, Login login, Person person)	Constructor for creating a new user with a specified ID, login, and personal details.

Method Summary

Modifier and Type	Method	Description
User	asAdmin()	Promotes the user to admin.
void	buyTicket(Ticket ticket)	Buys a ticket and adds it to the user's bought tickets.
User	copy()
boolean	equals(Object obj)
boolean	equals(User other)
int	hashCode()
UserId	id()	Returns the user ID.
boolean	isAdmin()	Checks if the user is an admin.
boolean	isOwnerOf(Login login)	Checks if the user owns the specified login.
Login	login()	Returns the login details.
Person	person()	Returns the personal details.
void	returnTicket(Ticket ticket)	Returns a ticket and removes it from the user's bought tickets.
List<Ticket>	tickets()	Returns the list of bought tickets.
User	with(Login login)	Sets the login details for the user.
User	with(Person person)	Sets the personal details for the user.
User	withTickets(List<Ticket> tickets)	Sets the tickets for the user.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

User

public User(Login login,
 Person person)

Constructor for creating a new user with login and personal details.

Parameters:

login - the login details

person - the personal details

User

public User(UserId id,
 Login login,
 Person person)

Constructor for creating a new user with a specified ID, login, and personal details.

Parameters:

id - the user ID

login - the login details

person - the personal details

Method Details

withTickets

public User withTickets(List<Ticket> tickets)

Sets the tickets for the user.

Parameters:

tickets - the list of tickets

Returns:

a new User object with the specified tickets

isOwnerOf

public boolean isOwnerOf(Login login)

Checks if the user owns the specified login.

Parameters:

login - the login to check

Returns:

true if the user owns the login, false otherwise

buyTicket

public void buyTicket(Ticket ticket)

Buys a ticket and adds it to the user's bought tickets.

Parameters:

ticket - the ticket to buy

returnTicket

public void returnTicket(Ticket ticket)

Returns a ticket and removes it from the user's bought tickets.

Parameters:

ticket - the ticket to return

id

public UserId id()

Returns the user ID.

Specified by:

id in interface Entity<UserId>

Returns:

the user ID

login

public Login login()

Returns the login details.

Returns:

the login details

person

public Person person()

Returns the personal details.

Returns:

the personal details

isAdmin

public boolean isAdmin()

Checks if the user is an admin.

Returns:

true if the user is an admin, false otherwise

tickets

public List<Ticket> tickets()

Returns the list of bought tickets.

Returns:

an unmodifiable list of bought tickets

asAdmin

public User asAdmin()

Promotes the user to admin.

Returns:

a new User object with admin privileges

with

public User with(Login login)

Sets the login details for the user.

Parameters:

login - the login details

Returns:

a new User object with the specified login

with

public User with(Person person)

Sets the personal details for the user.

Parameters:

person - the personal details

Returns:

a new User object with the specified personal details

copy

public User copy()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(User other)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object