//Guarda este código en un archivo llamado Main.java
//package ....trabajadores;

import java.io.*;
import java.util.*;

public class Main {

    public static Scanner keyboard = new Scanner(System.in);
    public static PrintStream out = System.out;

    public static void pause_screen(String mensage) {
        out.print(mensage + "\nPresiona <ENTER> para continuar . . . ");
        keyboard.nextLine();
        out.println();
    }

    public static String read_str(String message) {
        out.print(message + ": ");
        return keyboard.nextLine();
    }

    public static int read_integer(String message) {
        try {
            return Integer.parseInt(read_str(message));
        } catch (NumberFormatException e) {
            out.print("N\u00FAmero incorrecto");
            return read_integer(message);
        }
    }

    public static float read_decimal(String message) {
        try {
            return Float.parseFloat(read_str(message));
        } catch (NumberFormatException e) {
            out.print("N\u00FAmero incorrecto. Ingr\u00E9salo nuevamente: ");
            return read_decimal(message);
        }
    }

    public static String path = "trabajadores.tsv";

    public static void main(String[] args) {

        ForEachFunction<Trabajador> print = new ForEachFunction<Trabajador>() {
            @Override
            public void call(Trabajador trabajador, Object params) {
                out.println(trabajador);
                int[] counter = (int[]) params;
                counter[0]++;
            }
        };
        ForEachFunction<Trabajador> printOnFile = new ForEachFunction<Trabajador>() {
            @Override
            public void call(Trabajador trabajador, Object params) {
                PrintStream file_stream = (PrintStream) params;
                file_stream.print(trabajador.getClave_de_empleado() + "\t");
                file_stream.print(trabajador.getNombre() + "\t");
                file_stream.print(trabajador.getHoras_trabajadas() + "\t");
                file_stream.print(trabajador.getPago_por_hora() + "\n");
            }
        };
        if(!System.getProperties().get("os.name").equals("Linux") && System.console()!=null)
            try {
                out = new PrintStream(System.out, true, "CP850");
                keyboard = new Scanner(System.in, "CP850");
            } catch (UnsupportedEncodingException e) {}
        Vector<Trabajador> vector = new Vector<Trabajador>();
        int n;
        Trabajador datum = null, trabajador;
        int[] counter = {0};
        int i, main_option, suboption;
        String[] fields;
        try {
            Scanner file_stream = new Scanner(new FileReader(path));
            while (file_stream.hasNextLine()) {
                fields = file_stream.nextLine().split("\t");
                trabajador = new Trabajador();
                trabajador.setClave_de_empleado(fields[0]);
                trabajador.setNombre(fields[1]);
                trabajador.setHoras_trabajadas(Integer.parseInt(fields[2]));
                trabajador.setPago_por_hora(Float.parseFloat(fields[3]));
                vector.add(trabajador);
            }
            file_stream.close();
        } catch (FileNotFoundException e) {}
        trabajador = new Trabajador();
        do {
            out.println("MEN\u00DA");
            out.println("1.- Altas");
            out.println("2.- Consultas");
            out.println("3.- Actualizaciones");
            out.println("4.- Bajas");
            out.println("5.- Ordenar registros");
            out.println("6.- Listar registros");
            out.println("7.- Salir");
            do {
                main_option = read_integer ("Selecciona una opci\u00F3n");
                if(main_option<1 || main_option>7)
                    out.println("Opci\u00F3n incorrecta");
            } while (main_option<1 || main_option>7);
            out.println();
            if (vector.isEmpty() && main_option!=1 && main_option!=7) {
                pause_screen("No hay registros.\n");
                continue;
            }
            if (main_option<5) {
                trabajador.setClave_de_empleado(read_str ("Ingresa el clave de empleado del trabajador"));
                i = vector.indexOf(trabajador);
                datum = i<0 ? null : vector.get(i);
                if (datum!=null) {
                    out.println();
                    print.call(datum, counter);
                }
            }
            if (main_option==1 && datum!=null)
                out.println("El registro ya existe.");
            else if (main_option>=2 && main_option<=4 && datum==null)
                out.println("\nRegistro no encontrado.");
            else switch (main_option) {
            case 1:
                trabajador.setNombre(read_str ("Ingresa el nombre"));
                trabajador.setHoras_trabajadas(read_integer ("Ingresa el horas trabajadas"));
                trabajador.setPago_por_hora(read_decimal ("Ingresa el pago por hora"));
                vector.add(trabajador);
                trabajador = new Trabajador();
                out.println("\nRegistro agregado correctamente.");
                break;
            case 3:
                out.println("Men\u00FA de actualizaci\u00F3n de campos");
                out.println("1.- nombre");
                out.println("2.- horas trabajadas");
                out.println("3.- pago por hora");
                do {
                    suboption = read_integer ("Selecciona el n\u00FAmero de campo a modificar");
                    if (suboption<1 || suboption>3)
                        out.println("Opci\u00F3n incorrecta");
                } while (suboption<1 || suboption>3);
                switch (suboption) {
                    case 1:
                        datum.setNombre(read_str ("Ingresa el nuevo nombre"));
                        break;
                    case 2:
                        datum.setHoras_trabajadas(read_integer ("Ingresa el nuevo horas trabajadas"));
                        break;
                    case 3:
                        datum.setPago_por_hora(read_decimal ("Ingresa el nuevo pago por hora"));
                        break;
                }
                out.println("\nRegistro actualizado correctamente.");
                break;
            case 4:
                vector.remove(datum);
                out.println("Registro eliminado correctamente.");
                break;
            case 5:
                Collections.sort(vector);
                out.println("Registros ordenados correctamente.");
                break;
            case 6:
                n = vector.size();
                counter[0] = 0;
                for (i=0; i<n; i++)
                    print.call(vector.get(i), counter);
                out.println("Total de registros: " + counter[0] + ".");
                break;
            }
            if (main_option<7 && main_option>=1)
                pause_screen("");
        } while (main_option!=7);
        try {
            PrintStream output_stream = new PrintStream(path);
            n = vector.size();
            for (i=0; i<n; i++)
                printOnFile.call(vector.get(i), output_stream);
            output_stream.close();
        } catch (FileNotFoundException e) {}
    }
}

interface ForEachFunction<T extends Comparable<T>> {
    void call(T datum, Object params);
}

class Trabajador implements Comparable<Trabajador> {

    private String clave_de_empleado;
    private String nombre;
    private int horas_trabajadas;
    private float pago_por_hora;

    @Override
    public boolean equals(Object trabajador) {
        return this==trabajador || (trabajador instanceof Trabajador && clave_de_empleado.equals(((Trabajador)trabajador).clave_de_empleado));
    }

    @Override
    public int compareTo(Trabajador trabajador) {
        return clave_de_empleado.compareTo(trabajador.clave_de_empleado);
    }

    @Override
    public String toString() {
        return
            "clave de empleado: " + clave_de_empleado + "\n" +
            "nombre           : " + nombre + "\n" +
            "horas trabajadas : " + horas_trabajadas + "\n" +
            "pago por hora    : " + pago_por_hora + "\n";
    }

    public String getClave_de_empleado() {
        return clave_de_empleado;
    }

    public void setClave_de_empleado(String clave_de_empleado) {
        this.clave_de_empleado = clave_de_empleado;
    }

    public String getNombre() {
        return nombre;
    }

    public void setNombre(String nombre) {
        this.nombre = nombre;
    }

    public int getHoras_trabajadas() {
        return horas_trabajadas;
    }

    public void setHoras_trabajadas(int horas_trabajadas) {
        this.horas_trabajadas = horas_trabajadas;
    }

    public float getPago_por_hora() {
        return pago_por_hora;
    }

    public void setPago_por_hora(float pago_por_hora) {
        this.pago_por_hora = pago_por_hora;
    }
}