Laboratoire ICAR » Plateforme TXM

// Copyright © 2010-2013 ENS de Lyon.

// Copyright © 2007-2010 ENS de Lyon, CNRS, INRP, University of

// Lyon 2, University of Franche-Comté, University of Nice

// Sophia Antipolis, University of Paris 3.

//

// The TXM platform is free software: you can redistribute it

// and/or modify it under the terms of the GNU General Public

// License as published by the Free Software Foundation,

// either version 2 of the License, or (at your option) any

// later version.

//

// The TXM platform is distributed in the hope that it will be

// useful, but WITHOUT ANY WARRANTY; without even the implied

// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR

// PURPOSE. See the GNU General Public License for more

// details.

//

// You should have received a copy of the GNU General

// Public License along with the TXM platform. If not, see

// http://www.gnu.org/licenses.

//

//

//

// $LastChangedDate:$

// $LastChangedRevision:$

// $LastChangedBy:$

//

package org.txm.scripts.importer.transcriber

import java.io.File;

import java.util.ArrayList;

import javax.xml.stream.*

import org.txm.importer.ApplyXsl2

import org.txm.metadatas.Metadatas

import org.txm.utils.io.FileCopy;

// TODO: Auto-generated Javadoc

/** Build Discours corpus simple edition from a xml-tei.

 *

 *  @author mdecorde

 *

 */

class pager {

        boolean SIMPLE_TOOLTIP = false; // show less properties in word tooltips

        String ENQ_HIGHLIGHT_ELEMENT = "b"

        List<String> NoSpaceBefore;

        /** The No space after. */

        List<String> NoSpaceAfter;

        /** The pages. */

        def pages = [];

        def indexes = [];

        /** The wordcount. */

        int wordcount = 0;

        /** The pagecount. */

        int pagecount = 0;

        /** The wordmax. */

        int wordmax = 10;

        /** The wordid. */

        String wordid;

        /** The first word. */

        boolean firstWord = true;

        /** The wordvalue. */

        String wordvalue;

        /** The interpvalue. */

        String interpvalue;

        /** The lastword. */

        String lastword = " ";

        /** The wordtype. */

        String wordtype;

        /** The flagform. */

        boolean flagform = false;

        /** The flaginterp. */

        boolean flaginterp = false;

        boolean flagcomment = false;

        /** The url. */

        private def url;

        /** The input data. */

        private def inputData;

        /** The factory. */

        private def factory;

        /** The parser. */

        private XMLStreamReader parser;

        /** The writer. */

        XMLStreamWriter writer;

        BufferedOutputStream output;

        File txmfile;

        File outfile;

        String corpusname ="";

        String cuttingTag = "pb"

        String txtname;

        File htmlDir;

        File defaultDir;

        Metadatas metadatas;

        def interviewers = [];

        def eventTranslations = ["^^":"mot inconnu", "?":"orthographe incertaine",

                "()":"rupture de syntaxe", "b":"bruit indéterminé",

                "*":"mot corrigé",

                "bb":"bruit de bouche", "bg":"bruit de gorge",

                "ch":"voix chuchotée", "conv":"conversations de fond",

                "e":"expiration", "i":"inspiration",

                "mic":"bruits micro", "n":"reniflement",

                "nontrant":"non transcrit", "pap":"froissement de papiers",

                "pf":"souffle", "pi":"inintelligible",

                "pif":"inaudible", "r":"respiration",

                "rire":"rire du locuteur", "shh":"soufle électrique",

                "sif":"sifflement du locuteur", "tx":"toux"];

        String currentTime = "";

        boolean bold = false;

        int writenLength = 0;

        boolean spokenTurn = false;

        boolean firstSync = false;

        boolean firstWho = false;

        /**

         * Instantiates a new pager.

         *

         * @param infile the infile

         * @param outfile the outfile

         * @param NoSpaceBefore the no space before

         * @param NoSpaceAfter the no space after

         * @param max the max

         * @param metadatas the metadatas

         */

        pager(File txmfile, File htmlDir, String txtname, List<String> NoSpaceBefore,

        List<String> NoSpaceAfter, int max, String corpusname, String cuttingTag, Metadatas metadatas) {

                this.metadatas = metadatas

                this.wordmax = max;

                this.cuttingTag = cuttingTag;

                this.corpusname = corpusname;

                this.NoSpaceBefore = NoSpaceBefore;

                this.NoSpaceAfter = NoSpaceAfter;

                this.url = txmfile.toURI().toURL();

                this.txmfile = txmfile;

                this.htmlDir = htmlDir;

                this.txtname = txtname;

                inputData = url.openStream();

                factory = XMLInputFactory.newInstance();

                parser = factory.createXMLStreamReader(inputData);

                defaultDir = new File(htmlDir, "default")

                defaultDir.mkdir()

                new File(htmlDir, "onepage").mkdir()

                outfile = new File(htmlDir, "onepage/${txtname}.html");

                createOutput(outfile)

                try {

                        process();

                } catch(Exception e) {

                        org.txm.utils.logger.Log.printStackTrace(e);

                        if (writer != null) {

                                writer.close();

                                output.close();

                        }

                }

        }

        /**

         * Creates the output.

         *

         * @param outfile the outfile

         * @return true, if successful

         */

        private boolean createOutput(File outfile) {

                try {

                        //println "write html in : "+outfile

                        XMLOutputFactory outfactory = XMLOutputFactory.newInstance();

                        output = new BufferedOutputStream(new FileOutputStream(outfile))

                        writer = outfactory.createXMLStreamWriter(output, "UTF-8");//create a new file

                        return true;

                } catch (Exception e) {

                        System.out.println(e.getLocalizedMessage());

                        return false;

                }

        }

        /** The events. */

        List<String> events = [];

        String previousEvent = "", nextEvent = "";

        /**

         * Process.

         */

        void process() {

                String previousElem = "";

                boolean parolesRaportees = false;

                boolean firstWord = true;

                boolean shouldBreak = false;

                boolean overlapping = false;

                int nbBreak = 0;

                String previousSPK;

                String localname = "";

                ArrayList<String> whos = [];

                HashMap<String, String> speakers = new HashMap<String, String>();

                HashMap<String, String> topics = new HashMap<String, String>();

                writer.writeStartDocument("UTF-8","1.0");

                writer.writeStartElement("html");

                //<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>

                writer.writeStartElement("meta");

                writer.writeAttribute("http-equiv", "Content-Type");

                writer.writeAttribute("content", "text/html");

                writer.writeAttribute("charset", "UTF-8");

                writer.writeEndElement();

                writer.writeStartElement("head");

                //<link rel="stylesheet" type="text/css" href="class.css" />

                writer.writeStartElement("link");

                writer.writeAttribute("rel", "stylesheet");

                writer.writeAttribute("type", "text/css");

                writer.writeAttribute("href", "transcriber.css");

                writer.writeEndElement();

                writer.writeEndElement();

                nbBreak++

                writer.writeStartElement("body");

                writer.writeEmptyElement("pb");

                writer.writeAttribute("id", ""+nbBreak);

                pages << new File(defaultDir, "${txtname}_${nbBreak}.html")

                for (int event = parser.next(); event != XMLStreamConstants.END_DOCUMENT; event = parser.next()) {

                        switch (event) {

                                case XMLStreamConstants.START_ELEMENT:

                                        localname = parser.getLocalName();

                                        switch (localname) {

                                                case "text":

                                                        writer.writeStartElement("h2");

                                                        writer.writeAttribute("class","titre");

                                                        String title = parser.getAttributeValue(null, "title");

                                                        if (title != null) {

                                                                writer.writeCharacters(title);

                                                        } else {

                                                                writer.writeCharacters("Transcription "+txmfile.getName().substring(0, txmfile.getName().length() - 4));

                                                        }

                                                        writer.writeEndElement();

                                                        if(metadatas != null) {

                                                                writer.writeStartElement("table");

                                                                boolean grey = false;

                                                                for (String name : metadatas.getPropertyNames()) {

                                                                        if ("title" == name) continue; // ignore "title" metadata

                                                                        grey = !grey;

                                                                        writer.writeStartElement("tr");

                                                                        if (grey)

                                                                                writer.writeAttribute("style","background-color:lightgrey;")

                                                                        String value = parser.getAttributeValue(null, name);

                                                                        if (value != null) {

                                                                                writer.writeStartElement("td");

                                                                                writer.writeCharacters(name);

                                                                                writer.writeEndElement();

                                                                                writer.writeStartElement("td");

                                                                                writer.writeCharacters(value);

                                                                                writer.writeEndElement();

                                                                        }

                                                                        //get enqueteur to style their names

                                                                        if (name.startsWith("enq")) {

                                                                                interviewers.add(value)

                                                                        }

                                                                        writer.writeEndElement();

                                                                }

                                                                writer.writeEndElement();

                                                        }

                                                        break;

                                                case "Topics":

                                                /*writer.writeStartElement("h2");

                                         writer.writeCharacters("Topics");

                                         writer.writeEndElement();

                                         writer.writeStartElement("ul");

                                         */

                                                        break;

                                                case "Topic":

                                                        topics.put(parser.getAttributeValue(null,"id"), parser.getAttributeValue(null,"desc"))

                                                /*writer.writeStartElement("li");

                                         writer.writeCharacters(parser.getAttributeValue(null,"desc"));

                                         writer.writeStartElement("ul");

                                         for(int i = 0 ; i < parser.getAttributeCount() ; i++)

                                         {

                                         if(parser.getAttributeLocalName(i) != "desc")

                                         {

                                         writer.writeStartElement("li");

                                         writer.writeCharacters(parser.getAttributeLocalName(i)+": "+parser.getAttributeValue(i));

                                         writer.writeEndElement();

                                         }

                                         }

                                         writer.writeEndElement();

                                         writer.writeEndElement();

                                         */

                                                        break;

                                                case "Speakers":

                                                /*writer.writeStartElement("h2");

                                         writer.writeCharacters("Speakers");

                                         writer.writeEndElement();

                                         writer.writeStartElement("ul");*/

                                                        break;

                                                case "Speaker":

                                                        whos.add(parser.getAttributeValue(null,"name"));

                                                        speakers.put(parser.getAttributeValue(null,"id"), parser.getAttributeValue(null,"name"))

                                                /*writer.writeStartElement("li");

                                         writer.writeStartElement("ul");

                                         writer.writeCharacters(parser.getAttributeValue(null,"name"));

                                         for(int i = 0 ; i < parser.getAttributeCount() ; i++)

                                         {

                                         if(parser.getAttributeLocalName(i) != "name")

                                         {

                                         writer.writeStartElement("li");

                                         writer.writeCharacters(parser.getAttributeLocalName(i)+": "+parser.getAttributeValue(i));

                                         writer.writeEndElement();

                                         }

                                         }

                                         writer.writeEndElement();

                                         writer.writeEndElement();*/

                                                        break;

                                                case "Comment":

                                                        spokenTurn = true;

                                                        writenLength++;

                                                        writer.writeStartElement("span");

                                                        writer.writeAttribute("class", "comment");

                                                        writer.writeCharacters(" ["+parser.getAttributeValue(0)+"] ");

                                                        writer.writeEndElement();

                                                        flagcomment = true;

                                                        break;

                                                case "div":

                                                        writer.writeStartElement("div");

                                                        writer.writeAttribute("class", "section");

                                                        String type = parser.getAttributeValue(null,"type");

                                                        String desc = parser.getAttributeValue(null,"topic");

                                                        if (type != null && desc != null) {

                                                                writer.writeStartElement("h3");

                                                                writer.writeCharacters(type+": "+desc);

                                                                for (int i = 0 ; i < parser.getAttributeCount() ; i++) {

                                                                        String name = parser.getAttributeLocalName(i);

                                                                        if (!"type".equals(name)

                                                                        && !"topic".equals(name)

                                                                        && !"startTime".equals(name)

                                                                        && !"endTime".equals(name)) {

                                                                                writer.writeCharacters(", "+name+": "+parser.getAttributeValue(i));

                                                                        }

                                                                }

                                                                writer.writeEndElement(); // h3

                                                        }

                                                        break;

                                                case "sp":

                                                        endBoldIfNeeded()

                                                        firstSync = true;

                                                        firstWho = true;

                                                        spokenTurn = false;

                                                        overlapping = false

                                                        writer.writeStartElement("p");

                                                        writer.writeAttribute("class", "turn");

                                                        overlapping = ("true" == parser.getAttributeValue(null,"overlap"))

                                                        String spid = parser.getAttributeValue(null,"speaker");

                                                        whos = []

                                                        if (overlapping) {

                                                                writer.writeEmptyElement("br");

                                                                writeSpeaker(parser.getAttributeValue(null,"speaker"), false)

                                                                writer.writeEmptyElement("br");

                                                                whos = spid.split(" ")

                                                        }

                                                        break;

                                                case "u":

                                                        writer.writeCharacters("\n");

                                                        this.currentTime = parser.getAttributeValue(null,"time");

                                                        if (previousElem == "u" && writenLength == 0) { // if previous u had no words, it was a silence

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "event");

                                                                writer.writeCharacters("[silence]");

                                                                writer.writeEndElement(); // span

                                                                writer.writeEmptyElement("br");

                                                        }

                                                        String spk = parser.getAttributeValue(null, "spk")

                                                        if (spk != null && spk != previousSPK) {

                                                                endBoldIfNeeded()

                                                                writer.writeEmptyElement("br");

                                                                writeSpeaker(parser.getAttributeValue(null, "spk"), overlapping)

                                                                startBoldIfNeeded()

                                                        }

                                                        writeCurrentTime()

                                                        previousSPK = spk

                                                //                                                        writenLength = 0;

                                                /*writer.writeStartElement("span");

                                         writer.writeAttribute("class", "sync");

                                         writer.writeCharacters("["+parser.getAttributeValue(null,"time")+"]");

                                         writer.writeEndElement();*/

                                                        break;

                                                case "event":

                                                        spokenTurn = true;

                                                        writenLength++;

                                                        String desc = parser.getAttributeValue(null,"desc");

                                                        desc = translateEvent(desc);

                                                        String type = parser.getAttributeValue(null,"type");

                                                        if (desc.equals("paroles rapportées")) {

                                                                if (parser.getAttributeValue(null, "extent") == "end")

                                                                        writer.writeCharacters("» ");

                                                                else if (parser.getAttributeValue(null, "extent") == "begin")

                                                                        writer.writeCharacters(" «");

                                                        } else {

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "event");

                                                                if (parser.getAttributeValue(null, "extent") == "end") {

                                                                        writer.writeCharacters(" <"+desc+"] ");

                                                                        if(events.size() > 0)

                                                                                events.remove(events.size()-1)

                                                                }

                                                                else if (parser.getAttributeValue(null, "extent") == "begin")         {

                                                                        writer.writeCharacters(" ["+desc+"> ");

                                                                        events.add(desc)

                                                                }

                                                                else if (parser.getAttributeValue(null, "extent") == "previous") {

                                                                        if(parser.getAttributeValue(null, "type") == "pronounce")

                                                                                writer.writeCharacters("_["+desc+"] ");

                                                                        else

                                                                                writer.writeCharacters("_["+desc+"] ");

                                                                        previousEvent = desc;

                                                                }

                                                                else if (parser.getAttributeValue(null, "extent") == "next") {

                                                                        writer.writeCharacters(" ["+desc+"]_");

                                                                        nextEvent = desc

                                                                }

                                                                else

                                                                        writer.writeCharacters(" ["+desc+"] ");

                                                                writer.writeEndElement(); // span@class=event

                                                        }

                                                        break;

                                                case "w":

                                                        for(int i = 0 ; i < parser.getAttributeCount() ; i++)

                                                                if(parser.getAttributeLocalName(i) == "id") {

                                                                        wordid = (parser.getAttributeValue(i));

                                                                        break;

                                                                }

                                                        wordcount++;

                                                        if (wordcount >= wordmax) {

                                                                shouldBreak = true;

                                                        }

                                                        if (firstWord) {

                                                                indexes << wordid

                                                                firstWord = false;

                                                        }

                                                        break;

                                                case "ana":

                                                        String type = parser.getAttributeValue(null,"type").substring(1);

                                                        if (SIMPLE_TOOLTIP) {

                                                                if (type.contains("lemma") || type.contains("pos")) {

                                                                        flaginterp=true;

                                                                        interpvalue+=", ";

                                                                }

                                                        } else {

                                                                flaginterp=true;

                                                                interpvalue+=", "+type+"="

                                                        }

                                                        break;

                                                case "form":

                                                        wordvalue="";

                                                        interpvalue ="";

                                                        flagform=true;

                                                        break;

                                        }

                                        previousElem = localname;

                                        break;

                                case XMLStreamConstants.END_ELEMENT:

                                        localname = parser.getLocalName();

                                        switch(localname)

                                        {

                                                case "text":

                                                        break;

                                                case "Topics":

                                                //writer.writeEndElement();

                                                        break;

                                                case "Topic":

                                                        break;

                                                case "Speakers":

                                                //println "Speakers: "+speakers

                                                //writer.writeEndElement();

                                                        break;

                                                case "Speaker":

                                                        break;

                                                case "div":

                                                //writer.writeCharacters("}");

                                                        writer.writeEndElement(); // div

                                                        writer.writeCharacters("\n");

                                                        break;

                                                case "sp":

                                                //println "CLOSING: "+parser.getLocalName()

                                                        endBoldIfNeeded()

                                                        if (!spokenTurn) {

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "event");

                                                                writer.writeCharacters("[silence]");

                                                                writer.writeEndElement();

                                                                writer.writeEmptyElement("br");

                                                        }

                                                        writer.writeEndElement(); // p

                                                        if (shouldBreak) {

                                                                nbBreak++

                                                                writer.writeEmptyElement("pb");

                                                                writer.writeAttribute("id", ""+nbBreak);

                                                                writer.writeCharacters("\n");

                                                                pages << new File(defaultDir, "${txtname}_${nbBreak}.html")

                                                                indexes << wordid

                                                                wordcount = 0;

                                                                shouldBreak = false;

                                                        }

                                                        writer.writeCharacters("\n");

                                                        break;

                                                case "u":

                                                //writer.writeEndElement() // span@class=u

                                                //writer.writeEmptyElement("br");

                                                //if (overlapping) writer.writeEndElement(); // b

                                                        break;

                                                case "event":

                                                        break;

                                                case "form":

                                                        flagform = false

                                                        break;

                                                case "ana":

                                                        flaginterp = false

                                                        break;

                                                case "w":

                                                        writenLength++;

                                                        spokenTurn = true;

                                                        int l = lastword.length();

                                                        String endOfLastWord = "";

                                                        if(l > 0)

                                                                endOfLastWord = lastword.subSequence(l-1, l);

                                                        if(interpvalue != null)

                                                                interpvalue = interpvalue.replace("\"",""");

                                                        if(events.size() > 0)

                                                                interpvalue = interpvalue.replace("event=", "event="+events.toString().replace("\"",""")); // remove ", "

                                                        if(nextEvent.length() > 0)

                                                        {

                                                                interpvalue = interpvalue.replace("event=", "event="+nextEvent+", ")

                                                                nextEvent = ""

                                                        }

                                                        interpvalue = interpvalue.replace("=, ","='', "); // add '' to empty interp value

                                                        if (interpvalue.startsWith(", ")) interpvalue = interpvalue.substring(2)

                                                //                                                        println "** SPACE TEST"

                                                //                                                        println "NoSpaceBefore: "+NoSpaceBefore+" contains ? "+wordvalue

                                                //                                                        println "NoSpaceAfter: "+NoSpaceAfter+" contains ? "+lastword

                                                //                                                        println "wordvalue starts with '-' ? "+wordvalue

                                                //                                                        println "NoSpaceAfter: "+NoSpaceAfter+" contains endOfLastWord ? "+endOfLastWord

                                                        if(NoSpaceBefore.contains(wordvalue) ||

                                                        NoSpaceAfter.contains(lastword) ||

                                                        wordvalue.startsWith("-") ||

                                                        NoSpaceAfter.contains(endOfLastWord)) {

                                                                //                                                                println " NO SPACE"

                                                        } else {

                                                                //                                                                println " SPACE"

                                                                writer.writeCharacters(" ");

                                                        }

                                                        if (interpvalue.contains("rapp1")) {

                                                                writer.writeCharacters(" «");

                                                        } else if (wordvalue == "\"") {

                                                                // don't write this char

                                                        } else {

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "word");

                                                                writer.writeAttribute("title", interpvalue);

                                                                writer.writeAttribute("id", wordid);

                                                                writer.writeCharacters(wordvalue);

                                                                writer.writeEndElement();

                                                        }

                                                        if (interpvalue.contains("orth")) {

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "event");

                                                                writer.writeCharacters("_[?]");

                                                                writer.writeEndElement();

                                                        }

                                                        if (interpvalue.contains("corr")) {

                                                                writer.writeStartElement("span");

                                                                writer.writeAttribute("class", "event");

                                                                writer.writeCharacters("_[!]");

                                                                writer.writeEndElement();

                                                        }

                                                        if (interpvalue.contains("rapp2")) {

                                                                writer.writeCharacters(" » ");

                                                        }

                                                        lastword=wordvalue;

                                                        break;

                                        }

                                        break;

                                case XMLStreamConstants.CHARACTERS:

                                        if(flagform)

                                                if(parser.getText().length() > 0)

                                                        wordvalue+=(parser.getText().trim());

                                        if(flaginterp)

                                                if(parser.getText().length() > 0)

                                                        interpvalue+=(parser.getText().trim());

                                        break;

                        }

                }

                writer.writeEndElement();

                writer.writeEmptyElement("pb");

                nbBreak++

                writer.writeAttribute("id", ""+nbBreak);

                writer.writeEndElement();

                writer.close();

                output.close();

                if (parser != null) parser.close();

                if (inputData != null) inputData.close();

                File txmhome = new File(org.txm.Toolbox.getTxmHomePath());

                File xlsDir  = new File(txmhome, "xsl");

                File xslfile = new File(xlsDir,"breakByMilestone.xsl");

                if (!xslfile.exists()) {

                        println ""

                }

                //                println "xsl: "+xslfile

                //                println "html: "+outfile

                //                println "pages: "+pages

                //                println "words: "+indexes

                if (pages.size() > 1) {

                        for (int i = 1 ; i < nbBreak ; i++) {

                                ApplyXsl2 a = new ApplyXsl2(xslfile.getAbsolutePath());

                                String[] params = ["pbval1", i,"pbval2", i+1];

                                File resultfile = pages[i-1]

                                //println "BBmilestones: "+i+" "+(i+1)+" in file "+resultfile

                                //println "process $outfile -> $resultfile"

                                a.process(outfile.getAbsolutePath(), resultfile.getAbsolutePath(), params);

                        }

                } else {

                        File page = pages[0]

                        FileCopy.copy(outfile, page)

                }

        }

        private void writeCurrentTime()

        {

                writer.writeStartElement("span");

                writer.writeAttribute("class", "sync");

                writer.writeCharacters(currentTime);

                writer.writeEndElement();

        }

        private void writeSpeaker(String spk, boolean overlapping) {

                writer.writeStartElement("span");

                writer.writeAttribute("class", "spk");

                if(interviewers.contains(spk))

                        bold = true;

                else

                        bold = false;

                spk = spk.replaceAll('^([^0-9]*)([0-9]+)$', '$1 $2');

                if (overlapping) writer.writeCharacters("// ")

                writer.writeCharacters(spk+": ")

                writer.writeEndElement(); // span@class=spk

        }

        private String translateEvent(String desc) {

                if(eventTranslations.containsKey(desc))

                        return eventTranslations.get(desc);

                else

                        return desc;

        }

        boolean boldOpenned = false;

        private void startBoldIfNeeded() {

                if (bold) {

                        writer.writeStartElement(ENQ_HIGHLIGHT_ELEMENT);

                        boldOpenned = true;

                }

        }

        private endBoldIfNeeded() {

                if (boldOpenned) {

                        //                        println "CLOSE BOLD"

                        writer.writeEndElement(); // b

                        boldOpenned = false;

                }

        }

        //        private String formatTime(float time, boolean doshort)

        //        {

        //                String rez = " ";

        //                //                if(time >= 3600) // >= 1h

        //                //                {

        //                float h = time / 3600;

        //                time = time%3600;

        //                float min = (time%3600) / 60;

        //                int sec = (int)time%60;

        //

        //                if(min < 10)

        //                        rez = ""+(int)h+":0"+(int)min;//+":"+time%60;

        //                else

        //                        rez = ""+(int)h+":"+(int)min;//+":"+time%60;

        //                //if (!doshort)

        //                if (sec > 9)

        //                        rez += ":"+(int)time%60;

        //                else

        //                        rez += ":0"+(int)time%60;

        //                //                }

        //                //                else if(time >= 60) // >= 1min

        //                //                {

        //                //                        int min = time/60;

        //                //                        if(min < 10)

        //                //                                rez = "00:0"+min;//+":"+time%60;

        //                //                        else

        //                //                                rez = "00:"+min;//+":"+time%60;

        //                //                        if(!doshort)

        //                //                                rez += ":"+(int)time%60;

        //                //                }

        //                //                else // < 60

        //                //                {

        //                //                        if(time < 10)

        //                //                                return " 0:0"+time;

        //                //                        else

        //                //                                return " 0:"+time;

        //                //                }

        //                return rez;

        //        }

        /**

         * Gets the page files.

         *

         * @return the page files

         */

        public ArrayList<File> getPageFiles() {