Skip to content

Commit

Permalink
Merge pull request #3652 from objectionary/3636
Browse files Browse the repository at this point in the history
StrictXmir
  • Loading branch information
yegor256 authored Dec 13, 2024
2 parents 1c13ccf + 809adde commit 714cdfc
Show file tree
Hide file tree
Showing 5 changed files with 453 additions and 9 deletions.
5 changes: 5 additions & 0 deletions eo-parser/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -158,6 +158,11 @@ SOFTWARE.
<artifactId>xax</artifactId>
<!-- version from parent POM -->
</dependency>
<dependency>
<groupId>com.yegor256</groupId>
<artifactId>mktmp</artifactId>
<!-- version from parent POM -->
</dependency>
</dependencies>
<build>
<plugins>
Expand Down
263 changes: 263 additions & 0 deletions eo-parser/src/main/java/org/eolang/parser/StrictXmir.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,263 @@
/*
* The MIT License (MIT)
*
* Copyright (c) 2016-2024 Objectionary.com
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included
* in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
* SOFTWARE.
*/
package org.eolang.parser;

import com.jcabi.log.Logger;
import com.jcabi.manifests.Manifests;
import com.jcabi.xml.StrictXML;
import com.jcabi.xml.XML;
import com.jcabi.xml.XMLDocument;
import java.io.File;
import java.io.IOException;
import java.net.URI;
import java.net.URISyntaxException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Collection;
import java.util.List;
import javax.xml.namespace.NamespaceContext;
import org.cactoos.bytes.BytesOf;
import org.cactoos.bytes.IoCheckedBytes;
import org.cactoos.io.InputOf;
import org.cactoos.io.ResourceOf;
import org.w3c.dom.Node;
import org.xembly.Directives;
import org.xembly.Xembler;
import org.xml.sax.SAXParseException;

/**
* XMIR that validates itself right after construction.
*
* <p>Be careful with this class, because
* it modifies the XML encapsulated by replacing the URI of
* XSD schema with a file, thus making schema validation faster.
* The original URI of the XSD schema will be lost/removed
* from the XML. Thus, you better save the XML to disc and only
* then encapsulate it into this decorator.</p>
*
* @since 0.49.0
*/
@SuppressWarnings("PMD.TooManyMethods")
public final class StrictXmir implements XML {

/**
* The XML.
*/
private final XML xml;

/**
* Ctor.
* @param src The source
*/
public StrictXmir(final XML src) {
this(src, Paths.get("target/xsd"));
}

/**
* Ctor.
* @param src The source
* @param tmp The directory with cached XSD files
*/
public StrictXmir(final XML src, final Path tmp) {
this.xml = new StrictXML(StrictXmir.reset(src, tmp));
}

@Override
public String toString() {
return this.xml.toString();
}

@Override
public List<String> xpath(final String query) {
return this.xml.xpath(query);
}

@Override
public List<XML> nodes(final String query) {
return this.xml.nodes(query);
}

@Override
public XML registerNs(final String prefix, final Object uri) {
return this.xml.registerNs(prefix, uri);
}

@Override
public XML merge(final NamespaceContext context) {
return this.xml.merge(context);
}

@Override
@Deprecated
public Node node() {
throw new UnsupportedOperationException("deprecated");
}

@Override
public Node inner() {
return this.xml.inner();
}

@Override
public Node deepCopy() {
return this.xml.deepCopy();
}

@Override
public Collection<SAXParseException> validate() {
return this.xml.validate();
}

@Override
public Collection<SAXParseException> validate(final XML schema) {
return this.xml.validate(schema);
}

/**
* Here, we check the location of the XSD in the XML
* and replace with a new one, if necessary.
* @param xml Original XML
* @param tmp Directory with cached XSD files
* @return New XML with the same node
*/
private static XML reset(final XML xml, final Path tmp) {
final Node node = xml.inner();
final List<String> location = xml.xpath("/program/@xsi:noNamespaceSchemaLocation");
if (!location.isEmpty()) {
String uri = location.get(0);
if (uri.startsWith("http")) {
uri = String.format(
"file:///%s",
StrictXmir.fetch(
uri,
tmp.resolve(
uri.substring(uri.lastIndexOf('/') + 1)
)
).toString().replace("\\", "/")
);
}
new Xembler(
new Directives().xpath("/program").attr(
"noNamespaceSchemaLocation xsi http://www.w3.org/2001/XMLSchema-instance",
uri
)
).applyQuietly(node);
}
return new XMLDocument(node);
}

/**
* Fetch the XSD and place into the path.
* @param uri The URI
* @param path The file
* @return Where it was saved
*/
private static File fetch(final String uri, final Path path) {
final File ret;
final String mine = String.format(
"https://www.eolang.org/xsd/XMIR-%s.xsd",
Manifests.read("EO-Version")
);
if (uri.equals(mine)) {
if (path.toFile().getParentFile().mkdirs()) {
Logger.debug(StrictXmir.class, "Directory for %[file]s created", path);
}
try {
Files.write(
path,
new IoCheckedBytes(
new BytesOf(new ResourceOf("XMIR.xsd"))
).asBytes()
);
Logger.debug(StrictXmir.class, "XSD copied to %[file]s", path);
} catch (final IOException ex) {
throw new IllegalArgumentException(
String.format("Failed to save %s to %s", uri, path),
ex
);
}
ret = path.toFile();
} else {
ret = StrictXmir.download(uri, path);
}
return ret;
}

/**
* Download URI from Internet and save to file.
* @param uri The URI
* @param path The file
* @return Where it was saved
*/
@SuppressWarnings("PMD.CognitiveComplexity")
private static File download(final String uri, final Path path) {
final File abs = path.toFile().getAbsoluteFile();
if (!abs.exists()) {
if (abs.getParentFile().mkdirs()) {
Logger.debug(StrictXmir.class, "Directory for %[file]s created", path);
}
int attempt = 0;
while (true) {
++attempt;
try {
Files.write(
path,
new IoCheckedBytes(
new BytesOf(new InputOf(new URI(uri)))
).asBytes()
);
Logger.debug(
StrictXmir.class,
"XSD downloaded from %s and copied to %[file]s",
uri, path
);
break;
} catch (final IOException ex) {
if (attempt < 3) {
Logger.warn(
StrictXmir.class,
"Attempt #%d failed to download %s to %s: %[exception]s",
attempt,
uri,
path,
ex
);
continue;
}
throw new IllegalArgumentException(
String.format("Failed to download %s to %s", uri, path),
ex
);
} catch (final URISyntaxException ex) {
throw new IllegalArgumentException(
String.format("Wrong URI: %s", uri),
ex
);
}
}
}
return abs;
}
}
64 changes: 58 additions & 6 deletions eo-parser/src/main/java/org/eolang/parser/Xmir.java
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,12 @@
import com.yegor256.xsline.TrLogged;
import com.yegor256.xsline.Train;
import com.yegor256.xsline.Xsline;
import java.util.Collection;
import java.util.List;
import java.util.logging.Level;
import javax.xml.namespace.NamespaceContext;
import org.w3c.dom.Node;
import org.xml.sax.SAXParseException;

/**
* Prints XMIR to EO or PHI.
Expand All @@ -51,7 +56,8 @@
* @link <a href="https://xml.jcabi.com">xml.jcabi.com</a>
* @since 0.35.0
*/
public final class Xmir {
@SuppressWarnings("PMD.TooManyMethods")
public final class Xmir implements XML {
/**
* Train of transformations that prepare XMIR for conversion to EO.
*/
Expand Down Expand Up @@ -115,6 +121,57 @@ public Xmir(final XML src) {
this.xml = src;
}

@Override
public String toString() {
return this.xml.toString();
}

@Override
public List<String> xpath(final String xpath) {
return this.xml.xpath(xpath);
}

@Override
public List<XML> nodes(final String xpath) {
return this.xml.nodes(xpath);
}

@Override
public XML registerNs(final String pfx, final Object uri) {
return this.xml.registerNs(pfx, uri);
}

@Override
public XML merge(final NamespaceContext ctx) {
return this.xml.merge(ctx);
}

@Override
@Deprecated
public Node node() {
throw new UnsupportedOperationException("deprecated");
}

@Override
public Node inner() {
return this.xml.inner();
}

@Override
public Node deepCopy() {
return this.xml.deepCopy();
}

@Override
public Collection<SAXParseException> validate() {
return this.xml.validate();
}

@Override
public Collection<SAXParseException> validate(final XML xsd) {
return this.xml.validate(xsd);
}

/**
* Converts XMIR to EO.
* @return EO representation as {@code String}
Expand Down Expand Up @@ -161,11 +218,6 @@ public String toPhiNoSugar() {
);
}

@Override
public String toString() {
return this.xml.toString();
}

/**
* Converts XMIR.
* @param train Train of transformations that prepares XMIR
Expand Down
5 changes: 2 additions & 3 deletions eo-parser/src/test/java/org/eolang/parser/PhiSyntaxTest.java
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,6 @@
package org.eolang.parser;

import com.jcabi.matchers.XhtmlMatchers;
import com.jcabi.xml.StrictXML;
import com.jcabi.xml.XML;
import java.io.IOException;
import org.eolang.jucs.ClasspathSource;
Expand Down Expand Up @@ -98,7 +97,7 @@ void addsMetaForPackage() throws IOException {
@ParameterizedTest
@ClasspathSource(value = "org/eolang/parser/phi-syntax/", glob = "**.phi")
void checksValidExpressions(final String phi) throws IOException {
final XML xml = new StrictXML(new PhiSyntax(phi).parsed());
final XML xml = new StrictXmir(new PhiSyntax(phi).parsed());
MatcherAssert.assertThat(
"syntax is valid, can be parsed without errors",
XhtmlMatchers.xhtml(xml.toString()),
Expand All @@ -109,7 +108,7 @@ void checksValidExpressions(final String phi) throws IOException {
@ParameterizedTest
@ClasspathSource(value = "org/eolang/parser/phi-typos/", glob = "**.phi")
void checksBrokenExpressions(final String phi) throws IOException {
final XML xml = new StrictXML(new PhiSyntax(phi).parsed());
final XML xml = new StrictXmir(new PhiSyntax(phi).parsed());
MatcherAssert.assertThat(
"syntax is broken, can't be parsed without errors",
XhtmlMatchers.xhtml(xml.toString()),
Expand Down
Loading

0 comments on commit 714cdfc

Please sign in to comment.