All Downloads are FREE. Search and download functionalities are using the official Maven repository.

application.ui.preview.server.preview.stax.StaxPreviewParser Maven / Gradle / Ivy

package application.ui.preview.server.preview.stax;

import java.io.File;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.OutputStreamWriter;
import java.io.UnsupportedEncodingException;
import java.net.MalformedURLException;
import java.net.URLDecoder;
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import java.util.logging.Logger;

import javax.xml.namespace.QName;
import javax.xml.stream.Location;
import javax.xml.stream.XMLEventReader;
import javax.xml.stream.XMLInputFactory;
import javax.xml.stream.XMLOutputFactory;
import javax.xml.stream.XMLStreamException;
import javax.xml.stream.XMLStreamWriter;
import javax.xml.stream.events.Attribute;
import javax.xml.stream.events.XMLEvent;

import org.daisy.braille.utils.api.table.BrailleConstants;
import org.daisy.braille.utils.api.table.BrailleConverter;
import org.daisy.braille.utils.api.table.Table;
import org.daisy.braille.utils.api.table.TableCatalog;
import org.daisy.braille.utils.impl.tools.table.DefaultTableProvider;
import org.daisy.braille.utils.pef.PEFBook;
import org.daisy.dotify.common.text.ConditionalMapper;
import org.daisy.dotify.common.text.SimpleUCharReplacer;
import org.daisy.dotify.studio.api.DocumentPosition;
import org.daisy.streamline.api.validity.ValidationReport;
import org.daisy.streamline.api.validity.ValidatorMessage;

import application.common.Settings;
import application.common.Settings.Keys;
import application.l10n.Messages;
import application.ui.preview.server.MainPage;

public class StaxPreviewParser {
	private static final Logger logger = Logger.getLogger(StaxPreviewParser.class.getCanonicalName());
	private static final String PEF_NS = "http://www.daisy.org/ns/2008/pef";
	private static final QName VOLUME = new QName(PEF_NS, "volume");
	private static final QName SECTION = new QName(PEF_NS, "section");
	private static final QName PAGE = new QName(PEF_NS, "page");
	private static final QName ROW = new QName(PEF_NS, "row");
	private static final String HTML_NS = "http://www.w3.org/1999/xhtml";
	
	private static final StringParser toInt = (value) -> Integer.parseInt(value);
	private static final StringParser toBoolean = (value) -> Boolean.parseBoolean(value);
	
	@FunctionalInterface
	private static interface StringParser {
		T toObject(String in);
	}
	
	static final ConditionalMapper NUMBER_PROCESSOR = ConditionalMapper.withTrigger('⠼')
													.map("⠚⠁⠃⠉⠙⠑⠋⠛⠓⠊", "0123456789")
													.putIgnorable('⠄')
													.putIgnorable('⠂')
													.build();
	
	private final List volumes;
	private final List volumeEndPositions;
	private final PEFBook book;
	private final XMLOutputFactory outFactory;
	private final SimpleUCharReplacer cr;
	private final MessageExtractor extractor;
	private final ValidationReport report;
	private int pageNumber;
	private boolean abort;
	private XMLStreamWriter out;
	private boolean isProcessing;
	private boolean used;

	StaxPreviewParser(PEFBook book, ValidationReport report) {
		this.book = book;
		this.extractor = new MessageExtractor(report.getMessages());
		this.report = report;
		this.volumes = new ArrayList<>();
		this.volumeEndPositions = new ArrayList<>();
		this.outFactory = XMLOutputFactory.newInstance();
		this.pageNumber = 1;
		this.abort = false;
		this.isProcessing = false;
		this.used = false;
		// Configures a char replacer instead of using braille converter directly in order to preserve 
		// the previous behavior of xpath function translate, in other words, keeping characters with  
		// no translation. This is not supported by the braille converter.
		this.cr = new SimpleUCharReplacer();
		BrailleConverter bc = getTable().newBrailleConverter();
		if (bc.supportsEightDot()) {
			String input = BrailleConstants.BRAILLE_PATTERNS_256;
			String tr = bc.toText(input);
			for (int i=0; i rows = new ArrayList<>();
		while (input.hasNext()) {
			event = input.nextEvent();
			if (abort) { throw new ParsingCancelledException(); }
			if (event.isStartElement() && ROW.equals(event.asStartElement().getName())) {
				rows.add(parseRow(event, input, props));
			} else if (event.isEndElement() && PAGE.equals(event.asEndElement().getName())) {
				break;
			}
		}
		writePagePreamble(pageNumber, sectionNumber, volNumber, firstPage, rows);
		writeRows(rows, true, props.cols, props.rows);
		writeRows(rows, false, props.cols, props.rows);
		writePagePostamble();
		pageNumber += props.duplex?1:2;
	}
	
	private void writeRows(List rows, boolean braille, int width, int height) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "div");
		if (braille) {
			out.writeAttribute("class", "page");
		} else {
			out.writeAttribute("class", "text");
		}
		out.writeStartElement(HTML_NS, "table");
		int totalRowgap = 0;
		for (Row r : rows) {
			totalRowgap += r.rowgap+4;
			StringBuilder classes = new StringBuilder();
			classes.append(braille?"braille":"text");
			classes.append(r.messages.isEmpty()?"":" issue");
			writeRowPreamble(classes.toString(), r.rowgap);
			String s;
			if (braille) {
				s = r.chars;
			} else {
				s = cr.replace(NUMBER_PROCESSOR.replace(r.chars)).toString();
			}
			out.writeCharacters(s);
			int fill = width-s.length();
			for (int i=0; i T getAttribute(XMLEvent event, String name, T def, StringParser val) {
		 Attribute attr = event.asStartElement().getAttributeByName(new QName(name));
		 if (attr!=null) {
			 return val.toObject(attr.getValue());
		 } else {
			 return def;
		 }
	}
	
	private static class Row {
		private final String chars;
		private final int rowgap;
		private final List messages;
		
		private Row(String chars, int rowgap, List messages) {
			this.chars = chars;
			this.rowgap = rowgap;
			this.messages = messages;
		}
	}
	
	private static class Context {
		private final int rows;
		private final int cols;
		private final boolean duplex;
		protected final  int rowgap;

		Context(int rows, int cols, boolean duplex, int rowgap) {
			this.rows = rows;
			this.cols = cols;
			this.duplex = duplex;
			this.rowgap = rowgap;
		}
	}

	private void writePreamble(int volNumber) throws XMLStreamException {
		out.writeDTD("");
		out.writeCharacters("\n");
		out.writeStartElement(HTML_NS, "html");
		out.writeDefaultNamespace(HTML_NS);
		out.writeCharacters("\n");
		out.writeStartElement(HTML_NS, "head");
		out.writeCharacters("\n");
		out.writeStartElement(HTML_NS, "title");
		Iterable it = book.getMetadata("identifier");
		String title = "";
		for (String s : it) {
			title = s;
			break;
		}
		out.writeCharacters("Visar " + title);
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "meta");
		out.writeAttribute("http-equiv", "Content-Type");
		out.writeAttribute("content", "text/html; charset=UTF-8");
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "meta");
		out.writeAttribute("http-equiv", "Content-Style-Type");
		out.writeAttribute("content", "text/css");
		out.writeEndElement();
		out.writeCharacters("\n");
		
		writeCssLink("styles/default/base.css");
		writeCssLink("styles/default/layout.css");
		writeCssLink("styles/default/theme.css");
		writeCssLink("styles/default/state.css");
		writeCssLink("chosen/chosen.css");
		
		writeCustomStyles();
		
		out.writeStartElement(HTML_NS, "script");
		out.writeAttribute("src", "script/shortcuts.js");
		out.writeCharacters("");
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "script");
		out.writeAttribute("src", "script/preview.js");
		out.writeCharacters("");
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "body");
		out.writeAttribute("class", "preview");
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("id", "view");
		writeCloseForm();
		writeNavigation(volNumber);
		out.writeEndElement();

		writeAbout(volNumber);

		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("class", "volume");
		out.writeAttribute("id", toSectionId(volNumber, 0));
		out.writeCharacters("\n");
		out.writeStartElement(HTML_NS, "p");
		out.writeAttribute("class", "volume-header");
		out.writeCharacters(Messages.XSLT_VOLUME_LABEL.localize() + " " + volNumber + " (" + book.getSheets(volNumber) + " " + Messages.XSLT_SHEETS_LABEL.localize() + ")");
		
		out.writeEndElement();
		out.writeCharacters("\n");
		
	}
	
	private void writeCloseForm() throws XMLStreamException {
		out.writeStartElement(HTML_NS, "form");
		out.writeAttribute("action", "#");
		out.writeAttribute("method", "get");
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "p");
		
		out.writeStartElement(HTML_NS, "span");
		out.writeStartElement(HTML_NS, "a");
		out.writeAttribute("href", "view.html");
		out.writeCharacters(Messages.PREVIEW_VIEW.localize());
		out.writeEndElement();
		out.writeEndElement();

		out.writeStartElement(HTML_NS, "span");
		out.writeStartElement(HTML_NS, "a");
		out.writeAttribute("href", "index.html?method=meta");
		out.writeCharacters(Messages.XSLT_ABOUT_LABEL.localize());
		out.writeEndElement();
		out.writeEndElement();
		
		out.writeStartElement(HTML_NS, "input");
		out.writeAttribute("id", "connected");
		out.writeAttribute("type", "submit");
		out.writeAttribute("value", "");
		out.writeAttribute("disabled", "disabled");
		out.writeAttribute("title", "Avsluta"); //TODO: localize
		out.writeCharacters("");
		out.writeEndElement();
		
		out.writeStartElement(HTML_NS, "input");
		out.writeAttribute("id", "notConnected");
		out.writeAttribute("type", "submit");
		out.writeAttribute("value", "");
		out.writeAttribute("title", "Avsluta"); //TODO: localize
		out.writeAttribute("disabled", "disabled");
		out.writeCharacters("");
		out.writeEndElement();
	
		out.writeEndElement();
	
		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	private void writeNavigation(int volNumber) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("id", "top-nav");
		out.writeCharacters("\n");
		
		
		out.writeStartElement(HTML_NS, "p");
		out.writeStartElement(HTML_NS, "span");
		
		out.writeStartElement(HTML_NS, "a");
		out.writeAttribute("href", "#");
		out.writeAttribute("onclick", "toggleViews();return false;");
		out.writeAttribute("accesskey", "V"); //TODO: is this correct?
		out.writeCharacters(Messages.XSLT_TOGGLE_VIEW.localize());
		out.writeEndElement();
		
		out.writeEndElement();
		
		out.writeStartElement(HTML_NS, "span");
		out.writeStartElement(HTML_NS, "select");
		out.writeAttribute("onchange", "location = this.options[this.selectedIndex].value;");
		out.writeAttribute("id", "volume-select");
		out.writeAttribute("class", "chosen-select");
		
		for (int i=1; i<=book.getVolumes(); i++) {
			out.writeCharacters("\n");
			out.writeStartElement(HTML_NS, "option");
			out.writeAttribute("value", "view.html?book.xml&volume="+(i));
			out.writeAttribute("title", "("+book.getSheets(i) + " " + Messages.XSLT_SHEETS_LABEL.localize() + ")");
			if (i==volNumber) {
				out.writeAttribute("selected", "selected");
			}
			out.writeCharacters(Messages.XSLT_VOLUME_LABEL.localize() + " " + i);
			out.writeEndElement();
			for (int j=1; j<=book.getSectionsInVolume(i); j++) {
				out.writeCharacters("\n");
				out.writeStartElement(HTML_NS, "option");
				out.writeAttribute("value", "view.html?book.xml&volume="+(i)+"#"+toSectionId(i, j));
				out.writeAttribute("title", "("+book.getSheets(i, j) + " " + Messages.XSLT_SHEETS_LABEL.localize() + ")");
				out.writeEntityRef("nbsp");
				out.writeEntityRef("nbsp");
				out.writeEntityRef("nbsp");
				out.writeCharacters(Messages.XSLT_SECTION_LABEL.localize() + " " + j);
				out.writeEndElement();
			}
		}
				
		out.writeEndElement();
		out.writeEndElement();
		
		out.writeStartElement(HTML_NS, "span");
		out.writeCharacters(Messages.XSLT_GO_TO_PAGE_LABEL.localize());
		out.writeStartElement(HTML_NS, "input");
		out.writeAttribute("id", "gotoPage");
		out.writeAttribute("type", "text");
		out.writeAttribute("size", "4");
		out.writeAttribute("onkeyup", "if (event.keyCode==13) {gotoPage();}");
		out.writeAttribute("value", "1");
		out.writeCharacters("");
		out.writeEndElement();
		out.writeEndElement();
		
		if (report==null || !report.isValid()) {
			out.writeStartElement(HTML_NS, "span");
			out.writeAttribute("id", "validation-warning");
			out.writeStartElement(HTML_NS, "img");
			out.writeAttribute("id", "warning-image");
			out.writeAttribute("src", "images/warning.png");
			out.writeEndElement();
			out.writeCharacters(Messages.VALIDATION_ISSUES.localize());
			out.writeEndElement();
		}
		
		
		out.writeEndElement();

		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	private static String toSectionId(int volume, int section) {
		return "sectionId-"+volume+"-"+section;
	}
	
	private void writeAbout(int volNumber) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("id", "about");
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "p");
		out.writeAttribute("id", "close-bar");

		out.writeStartElement(HTML_NS, "input");
		out.writeAttribute("type", "button");
		out.writeAttribute("onclick", "document.getElementById('about').style.visibility='hidden';");
		out.writeAttribute("value", "X");
		out.writeCharacters("");
		out.writeEndElement();

		out.writeEndElement();
		out.writeCharacters("\n");

		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("id", "about-content");
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "p");
		for (String s : orEmpty(book.getMetadata("identifier"))) {
			out.writeCharacters(s);
			break;
		}
		
		for (String s : orEmpty(book.getMetadata("source"))) {
			out.writeCharacters(" ("+s+")");
			break;
		}

		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "p");
		out.writeStartElement(HTML_NS, "strong");
		// TODO: This isn't very nicely done. When PEFBook returns a list instead, this can be improved
		boolean hasTitle = false;
		for (String s : orEmpty(book.getTitle())) {
			out.writeCharacters(s);
			hasTitle = true;
			break;
		}
		if (!hasTitle) {
			out.writeCharacters(Messages.UNKNOWN_TITLE.localize());
		}
		out.writeEndElement();
		out.writeStartElement(HTML_NS, "br");
		out.writeEndElement();
		out.writeStartElement(HTML_NS, "strong");
		// TODO: This isn't very nicely done. When PEFBook returns a list instead, this can be improved
		boolean hasAuthor = false;
		boolean first = true;
		for (String s : orEmpty(book.getAuthors())) {
			out.writeCharacters(s);
			hasAuthor = true;
			if (first) {
				first = false;
			} else {
				out.writeCharacters("; ");
			}
		}
		if (!hasAuthor) {
			out.writeCharacters(Messages.UNKNOWN_AUTHOR.localize());
		}
		out.writeEndElement();
		out.writeCharacters("");
		out.writeEndElement();
		out.writeCharacters("\n");

		for (String s : orEmpty(book.getMetadata("date"))) {
			out.writeStartElement(HTML_NS, "p");
			out.writeCharacters(s);
			out.writeEndElement();
			out.writeCharacters("\n");
		}
		
		out.writeStartElement(HTML_NS, "p");
		out.writeCharacters(Messages.XSLT_SHOWING_PAGES.localize() + ": " + 
							book.getFirstPage(volNumber) + "-" + book.getLastPage(volNumber));

		out.writeEndElement();
		out.writeCharacters("\n");

		out.writeEndElement();
		out.writeCharacters("\n");

		out.writeEndElement();
		out.writeCharacters("\n");		
	}
	
	private static  Iterable orEmpty(Iterable s) {
		return s==null?Collections.emptyList():s;
	}
	
	private void writeCssLink(String value) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "link");
		out.writeAttribute("rel", "stylesheet");
		out.writeAttribute("type", "text/css");
		out.writeAttribute("href", value);
		out.writeCharacters("");
		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	private void writeCustomStyles() throws XMLStreamException {
		String odt2braille = "odt2braille";
		try {
			String brailleFont = URLDecoder.decode(Settings.getSettings().getString(Keys.brailleFont, ""), MainPage.ENCODING);
			String textFont = URLDecoder.decode(Settings.getSettings().getString(Keys.textFont, ""), MainPage.ENCODING);
			if (!"".equals(brailleFont) || !"".equals(textFont)) {
				out.writeStartElement(HTML_NS, "style");
				out.writeAttribute("type", "text/css");
				if (!"".equals(textFont)) {
					out.writeCharacters("\n.text {\n");
					out.writeCharacters("font-family: \""+textFont+"\";\n");
					//This logic is ported from pef2xhtml.xsl, but I am not sure what the purpose is
					if (textFont.startsWith(odt2braille)&&brailleFont.startsWith(odt2braille)) {
						out.writeCharacters("letter-spacing: 0px;\n");
						out.writeCharacters("font-size: 26px;\n");
					} else if (textFont.startsWith(odt2braille)) {
						out.writeCharacters("letter-spacing: 1px;\n");
					} else {
						out.writeCharacters("font-size: 20px;\n");
						out.writeCharacters("letter-spacing: 0px;\n");
					}
					out.writeCharacters("}\n");
				}
				if (!"".equals(brailleFont)) {
					out.writeCharacters("\n.braille {\n");
					out.writeCharacters("font-family: \""+brailleFont+"\";\n");
					//This logic is ported from pef2xhtml.xsl, but I am not sure what the purpose is
					if (textFont.startsWith(odt2braille)&&brailleFont.startsWith(odt2braille)) {
						out.writeCharacters("letter-spacing: 0px;\n");
						out.writeCharacters("font-size: 26px;\n");
					} else if (brailleFont.startsWith(odt2braille)) {
						out.writeCharacters("font-size: 26px;\n");
					} else {
						out.writeCharacters("font-size: 20px;\n");
						out.writeCharacters("letter-spacing: 0px;\n");
					}
					out.writeCharacters("}\n");
				}
				out.writeEndElement();
				out.writeCharacters("\n");
			}
		} catch (UnsupportedEncodingException e) {
			// should never happen if encoding is UTF-8
		}
	}
	
	private void writeScripts() throws XMLStreamException {
		out.writeStartElement(HTML_NS, "script");
		out.writeAttribute("src", "chosen/jquery-1.6.4.min.js");
		out.writeAttribute("type", "text/javascript");
		out.writeCharacters("");
		out.writeEndElement();
		out.writeStartElement(HTML_NS, "script");
		out.writeAttribute("src", "chosen/chosen.jquery.js");
		out.writeAttribute("type", "text/javascript");
		out.writeCharacters("");
		out.writeEndElement();
		out.writeStartElement(HTML_NS, "script");
		out.writeAttribute("type", "text/javascript");
		out.writeCharacters(
			"\n	var config = {\n"+
			"	  '.chosen-select'           : {},\n"+
			"	  '.chosen-select-deselect'  : {allow_single_deselect:true},\n"+
			"	  '.chosen-select-no-single' : {disable_search_threshold:10},\n"+
			"	  '.chosen-select-no-results': {no_results_text:'Oops, nothing found!'},\n"+
			"	  '.chosen-select-width'     : {width:\"95%\"}\n"+
			"	}\n"+
			"	for (var selector in config) {\n"+
			"	  $(selector).chosen(config[selector]);\n"+
			"	}\n");
		out.writeEndElement();		
	}
	
	private void writePostamble() throws XMLStreamException {
		out.writeEndElement();
		out.writeCharacters("\n");
		writeScripts();
		out.writeEndElement();
		out.writeCharacters("\n");
		out.writeEndElement();
		out.writeEndDocument();
	}
	
	private void writeSectionPreamble(int volumeNumber, int sectionNumber) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("class", "section");
		out.writeAttribute("id", toSectionId(volumeNumber, sectionNumber));
		out.writeCharacters("\n");
		out.writeStartElement(HTML_NS, "p");
		out.writeAttribute("class", "section-header");
		out.writeCharacters(Messages.XSLT_SECTION_LABEL.localize() + " " + sectionNumber 
				+ " (" + book.getSheets(volumeNumber, sectionNumber) 
				+ " " + Messages.XSLT_SHEETS_LABEL.localize() + ")");
		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	private void writeSectionPostamble() throws XMLStreamException {
		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	private void writePagePreamble(int pageNumber, int sectionNumber, int volNumber, boolean firstPage, List rows) throws XMLStreamException {
		out.writeStartElement(HTML_NS, "div");
		//out.writeAttribute("id", "");
		out.writeAttribute("onmouseover", "setPage("+pageNumber+");");
		out.writeAttribute("class", "cont " + (firstPage?"first":pageNumber%2==0?"even":"odd"));
		out.writeCharacters("\n");
		rows.stream()
			.flatMap(v->v.messages.stream())
			.map(v->DocumentPosition.with(v.getLineNumber(), v.getColumnNumber()))
			.distinct()
			.forEach(m->{
				try {
					out.writeStartElement(HTML_NS, "span");
					out.writeAttribute("id", messageId(m));
					out.writeEndElement();
				} catch (XMLStreamException e) {
					e.printStackTrace();
				}
			});
		out.writeStartElement(HTML_NS, "p");
		out.writeAttribute("class", "page-header");
		out.writeAttribute("id", "pagenum"+pageNumber);
		out.writeCharacters(Messages.XSLT_VOLUME_LABEL.localize() + 
							" " + volNumber + 
							", " +
							Messages.XSLT_SECTION_LABEL.localize() +
							" " + sectionNumber + 
							" | " + 
							Messages.XSLT_PAGE_LABEL.localize() + 
							" " + pageNumber);
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeStartElement(HTML_NS, "div");
		out.writeAttribute("class", "posrel");
		out.writeCharacters("\n");
	
	}
	
	private void writePagePostamble() throws XMLStreamException {
		out.writeEndElement();
		out.writeCharacters("\n");
		
		out.writeEndElement();
		out.writeCharacters("\n");
	}
	
	/**
	 * Gets the number of parsed volumes (may change if parsing is done on a separate thread).
	 * @return returns the size
	 */
	int getSize() {
		return volumes.size();
	}
	
	/**
	 * Gets the parsed volumes (may change if parsing is done on a separate thread).
	 * @return the volumes
	 */
	List getVolumes() {
		return Collections.unmodifiableList(volumes);
	}
	
	/**
	 * Gets the book on which parsing is done.
	 * @return returns the book
	 */
	PEFBook getBook() {
		return book;
	}
	
	int getVolumeForPosition(DocumentPosition p) {
		for (int i=volumeEndPositions.size(); i>0; i--) {
			DocumentPosition vEnd = volumeEndPositions.get(i-1);
			if (vEnd.isBefore(p)) {
				return i+1;
			}
		}
		return 1;
	}
	
	/**
	 * Stops processing and deletes temporary files.
	 */
	void abort() {
		abort = true;
		while (isProcessing) {
			try {
				Thread.sleep(100);
			} catch (InterruptedException e) {
				e.printStackTrace();
			}
		}
		for (File f : volumes) {
			//delete files
			f.delete();
		}
	}

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy