public class User extends Object
Modifier and Type | Field and Description |
---|---|
private Object |
context
User context.
|
private String |
identifier
User identifier.
|
Constructor and Description |
---|
User(String id)
Creates a new user.
|
User(String id,
Object ctx)
Creates a new user.
|
Modifier and Type | Method and Description |
---|---|
Object |
getContext()
Returns the user context.
|
String |
getIdentifier()
Returns the user identifier.
|
String |
toString() |
Copyright © 2003-2019 Virginia Tech. All Rights Reserved.