private void processCommands() {
        
        // tratador das opções da linha de comando
        getOpt = new Getopt("prover", argv, ":nsltho:");
        getOpt.setOpterr(false);
        int c;
        // verifica as opções
        while ((c = getOpt.getopt()) != -1)
        {
            switch(c)
            {
            case 's':
                compiler.setDebugSyn(true);
                break;
            case 'l':
                compiler.setDebugLex(true);
                break;
            case 't':
                showSymTable = true;
                break;
            case 'n':
                compiler.setDoSyntactic(false);
                break;
            case 'o':
                dotFile = getOpt.getOptarg();
                break;
            case 'h':
                System.out.println("ProofApp");
                System.out.println("");
                System.out.println("USO: ProofApp [opcoes] [arquivos com a formula]");
                System.out.println("");
                System.out.println("Opções da linha de comando:");
                System.out.println("  -s  = Debug da analise sintática");
                System.out.println("  -l  = Debug da analise léxica");
                System.out.println("  -t  = Mostra a tabela de símbolos");
                System.out.println("  -n  = Nao realiza a analise sintática, apenas a léxica");
                System.out.println("  -o  = Arquivo de saída do grafo da solução");
                System.out.println("  -h  = Help");
                System.exit(0);
                break;
            case ':':
                System.err.println("Argumento ausente na opcao '" +
                        (char)getOpt.getOptopt()+"'.");
                break;
            case '?':
                System.err.println("Opcao '" + (char)getOpt.getOptopt() + 
                        "' invalida ignorada.");
                break;
            default:
                System.err.println("Erro na opcao = '" + c + "'.");
                break;
            }
        }
        // opções default (listagem de nomes de arquivos)
        defaultOptionsIndex = getOpt.getOptind(); 
    }