|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuniandes.cupi2.messengerAmigos.cliente.Usuario
public class Usuario
Esta clase representa a un usuario del messenger.
inv:
estado = ONLINE o estado = OFFLINE
estado = OFFLINE => direccionIp = null
estado = ONLINE => direccionIp != null
nombre != null y nombre != ""
Field Summary | |
---|---|
static int |
OFFLINE
Indica que el usuario está desconectado |
static int |
ONLINE
Indica que el usuario está conectado |
static java.lang.String |
STR_OFFLINE
Indica que el usuario está desconectado |
static java.lang.String |
STR_ONLINE
Indica que el usuario está conectado |
Constructor Summary | |
---|---|
Usuario(java.lang.String nombreUsuario)
Crea un nuevo usuario cuyo estado es OFFLINE |
|
Usuario(java.lang.String nombreUsuario,
java.lang.String ipUsuario,
int puertoUsuario)
Crea un nuevo usuario cuyo estado es ONLINE |
Method Summary | |
---|---|
void |
cambiarEstado()
Cambia el estado del usuario a OFFLINE |
void |
cambiarEstado(java.lang.String ipUsuario,
int puertoUsuario)
Cambia el estado del usuario a ONLINE |
int |
compareTo(java.lang.Object otro)
Compara a este usuario con otro. |
java.lang.String |
darDireccionIp()
Retorna la dirección ip actual del usuario |
int |
darEstado()
Retorna el estado del usuario |
java.lang.String |
darNombre()
Retorna el nombre del usuario |
int |
darPuerto()
Retorna el puerto a través del cual se debe conectar al usuario |
java.lang.String |
toString()
Retorna una cadena que identifica al usuario |
void |
verificarInvariante()
Verifica el invariante de la clase inv: estado = ONLINE o estado = OFFLINE estado = OFFLINE => direccionIp = null estado = ONLINE => direccionIp ! |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int ONLINE
public static final int OFFLINE
public static final java.lang.String STR_ONLINE
public static final java.lang.String STR_OFFLINE
Constructor Detail |
---|
public Usuario(java.lang.String nombreUsuario)
nombreUsuario
- Nombre del usuario - nombreUsuario != null && nombreUsuario != ""public Usuario(java.lang.String nombreUsuario, java.lang.String ipUsuario, int puertoUsuario)
nombreUsuario
- Nombre del usuario - nombreUsuario != null && nombreUsuario != ""ipUsuario
- Direccion ip actual del usuario - ipUsuario != null && ipUsuario != ""puertoUsuario
- El puerto a través del cual se debe realizar la conexión con el usuarioMethod Detail |
---|
public int darEstado()
public java.lang.String darNombre()
public java.lang.String darDireccionIp()
public int darPuerto()
public void cambiarEstado()
public void cambiarEstado(java.lang.String ipUsuario, int puertoUsuario)
ipUsuario
- Direccion ip actual del usuario - ipUsuario != null && ipUsuario != ""puertoUsuario
- El puerto a través del cual se debe realizar la conexión con el usuariopublic java.lang.String toString()
toString
in class java.lang.Object
public int compareTo(java.lang.Object otro)
compareTo
in interface java.lang.Comparable
otro
- Es el usuario con el que se va a comparar - otro != null && otro es un Usuario
public void verificarInvariante()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |