Package main.infra

Class Session

java.lang.Object

main.infra.Session

public class Session
extends Object

Manages the session state for a logged-in user. This class is placed in the infra folder because it handles session management and in-memory persistence, which are concerns related to the application's infrastructure.

Constructor Summary

Constructors

Constructor	Description
Session()	Constructs an empty session.

Method Summary

Modifier and Type	Method	Description
boolean	isActive()	Checks if a user is currently logged in.
static Session	loggedAs(User user)	Creates a session logged in as the specified user.
Optional<User>	loggedUser()	Returns the currently logged-in user.
void	logInAs(User user)	Logs in as the specified user.
void	logOut()	Logs out the current user.

Methods inherited from class java.lang.Object

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

Constructor Details

Session

public Session()

Constructs an empty session.

Method Details

loggedAs

public static Session loggedAs(User user)

Creates a session logged in as the specified user.

Parameters:

user - the user to log in as

Returns:

a new session with the user logged in

logInAs

public void logInAs(User user)

Logs in as the specified user.

Parameters:

user - the user to log in as

logOut

public void logOut()

Logs out the current user.

isActive

public boolean isActive()

Checks if a user is currently logged in.

Returns:

true if a user is logged in, false otherwise

loggedUser

public Optional<User> loggedUser()

Returns the currently logged-in user.

Returns:

an optional containing the logged-in user, or empty if no user is logged in