Skip to content

Commit

Permalink
Merge branch '__rultor'
Browse files Browse the repository at this point in the history
  • Loading branch information
rultor committed Aug 10, 2023
2 parents 50982f3 + 9173150 commit 5928a6d
Showing 1 changed file with 6 additions and 15 deletions.
21 changes: 6 additions & 15 deletions eo-maven-plugin/src/main/java/org/eolang/maven/OptimizeMojo.java
Original file line number Diff line number Diff line change
Expand Up @@ -152,11 +152,12 @@ private Scalar<Integer> task(
src
);
return () -> {
final XML optimized = this.optimization(tojo, common)
.apply(new XMLDocument(src));
if (this.shouldPass(optimized)) {
tojo.withOptimized(this.make(optimized, src).toAbsolutePath());
}
tojo.withOptimized(
this.make(
this.optimization(tojo, common).apply(new XMLDocument(src)),
src
).toAbsolutePath()
);
return 1;
};
}
Expand Down Expand Up @@ -232,14 +233,4 @@ private Path make(final XML xml, final Path file) throws IOException {
);
return target;
}

/**
* Should optimization steps pass without errors.
*
* @param xml Optimized xml
* @return Should fail
*/
private boolean shouldPass(final XML xml) {
return xml.nodes("/program/errors/error").isEmpty() || this.failOnError;
}
}

0 comments on commit 5928a6d

Please sign in to comment.