/** * 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 ); } }