portal property

Portal portal
final

The portal to which the user belongs.

Implementation

final Portal portal;