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.