/** * ARCHIVO : Cliente.java
* DESCRIPCION: Definicion e implementacion de la libreria Cliente * para la aplicacion Tienda de Video
* * @see Cliente * @author Ivette C. Martinez * @author Sandra Zabala * @version 0.1, 14/01/2000 */ public class Cliente { private String cedula; private String nombre; private String direccion; private String telefono; /** * @param ced La cedula del cliente * @param nom El nombre del cliente
* Precondiciones: ced != vacio
* Postcondiciones: cedula == ced & nombre == nom & direccion == dir & * telefono == tel
* @return nada
* Orden: O(1). */ public Cliente(String ced, String nom, String dir, String tel) { cedula = ced; nombre = nom; direccion = dir; telefono = tel; } /** * Precondiciones: ninguna
* Postcondiciones: ninguna
* @return la cedula del cliente
* Orden: O(1). */ public String obtCedula() { return cedula; } /** * Precondiciones: ninguna
* Postcondiciones: ninguna
* @return El nombre del cliente
* Orden: O(1). */ public String obtNombre() { return nombre; } /** * Precondiciones: ninguna
* Postcondiciones: ninguna
* @return la direccion del cliente
* Orden: O(1). */ public String obtDireccion() { return direccion; } /** * Precondiciones: ninguna
* Postcondiciones: ninguna
* @return el telefono del cliente
* Orden: O(1). */ public String obtTelefono() { return telefono; } /** * @param nuevaCed La cedula del cliente
* Precondiciones: ninguna
* Postcondiciones: obtCed(asigCedula(nuevaCed)) == nuevaCed
* @return nada
* Orden: O(1). */ public void asigCedula(String nuevaCed) { cedula = nuevaCed; } /** * @param nuevoNombre Nombre del cliente
* Precondiciones: ninguna
* Postcondiciones: obtNombre(asigNombre(nuevoNombre)) == nuevoNombre
* @return nada
* Orden: O(1). */ public void asigNombre(String nuevoNombre) { nombre = nuevoNombre; } /** * @param nuevaDir La direccion del cliente
* Precondiciones: ninguna
* Postcondiciones: obtDireccion(asigDireccion(nuevaDir) == nuevaDir
* @return nada
* Orden: O(1). */ public void asigDireccion(String nuevaDir) { direccion = nuevaDir; } /** * @param nuevaTel El telefono del cliente
* Precondiciones: ninguna
* Postcondiciones: obtTelefono(asigTelefono(nuevoTel) == nuevoTel
* @return nada
* Orden: O(1). */ public void asigTelefono(String nuevoTel) { telefono = nuevoTel; } /** * @param ci Una cedula que se quiere verificar si pertenece a un cliente
* Precondiciones: ninguna
* Postcondiciones: ninguna
* @return Verdadero, si ObtCedula(cliente) == ci, falso en otro caso
* Orden: O(1). */ public boolean EsCliente(String ci) { return (cedula.equals(ci)) ; } /** * @param ci Una cedula para verificar la del cliente es mayor que ella
* Precondiciones: ninguna
* Postcondiciones: ninguna
* @return Verdadero, si ObtCedula(cliente) > ci, falso en otro caso
* Orden: O(1). */ public boolean clienteMayor(String ci) { return ( cedula.compareTo(ci) > 0 ); } }