9 package de.uni_hamburg.corpora;
12 import org.exmaralda.partitureditor.jexmaralda.BasicTranscription;
14 import java.io.PrintWriter;
15 import java.nio.file.Files;
16 import java.nio.file.Paths;
17 import org.jdom.Document;
18 import org.jdom.input.SAXBuilder;
19 import org.xml.sax.SAXException;
20 import org.jdom.JDOMException;
21 import java.io.IOException;
22 import java.io.FileNotFoundException;
23 import java.net.MalformedURLException;
25 import java.net.URISyntaxException;
27 import java.util.logging.Level;
28 import java.util.logging.Logger;
29 import javax.xml.parsers.ParserConfigurationException;
30 import javax.xml.transform.TransformerException;
31 import javax.xml.xpath.XPathExpressionException;
32 import org.apache.commons.io.FilenameUtils;
33 import org.exmaralda.partitureditor.jexmaralda.JexmaraldaException;
43 Document jdom =
new Document();
44 String originalstring;
47 String filenamewithoutending;
55 SAXBuilder builder =
new SAXBuilder();
56 jdom = builder.build(url);
57 File f =
new File(url.toURI());
58 originalstring =
new String(Files.readAllBytes(Paths.get(url.toURI())),
"UTF-8");
59 URI uri = url.toURI();
60 URI parentURI = uri.getPath().endsWith(
"/") ? uri.resolve(
"..") : uri.resolve(
".");
61 parenturl = parentURI.toURL();
62 filename = FilenameUtils.getName(url.getPath());
63 filenamewithoutending = FilenameUtils.getBaseName(url.getPath());
64 }
catch (JDOMException ex) {
66 }
catch (IOException ex) {
68 }
catch (URISyntaxException ex) {
78 private String toPrettyPrintedXML()
throws TransformerException, ParserConfigurationException, SAXException, IOException, XPathExpressionException{
82 return prettyCorpusData;
85 public String
toSaveableString() throws TransformerException, ParserConfigurationException, SAXException, IOException, XPathExpressionException {
86 return toPrettyPrintedXML();
100 return originalstring;
105 originalstring = newUnformattedString;
154 return filenamewithoutending;
159 filenamewithoutending = s;
String toUnformattedString()
void setFilename(String s)
String indent(String xml, String suppressedElements)
String getFilenameWithoutFileEnding()
void updateUnformattedString(String newUnformattedString)
void setReadbtasjdom(Document doc)
void setOriginalString(String s)
Document getReadbtasjdom()
void setJdom(Document doc)
String toSaveableString()
void setFilenameWithoutFileEnding(String s)
void setParentURL(URL url)